Вопросы с тегом «time-complexity»

12
Сложность членства-тестирования для конечных абелевых групп

Рассмотрим следующую задачу проверки принадлежности к абелевой подгруппе . Входы: Конечная абелева группа с произвольно большим .G = Zd1× Zd1… × ZdмG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m}dяdid_i Производящая-набор { ч1, ... , чN}{h1,…,hn}\lbrace...

12
Сторнирование списка с использованием двух очередей

Этот вопрос основан на существующем вопросе о том, можно ли моделировать стек с использованием двух очередей с амортизированным раз на операцию стека. Ответ кажется неизвестным. Вот более конкретный вопрос, соответствующий особому случаю, когда сначала выполняются все операции PUSH, а затем все...

11
Эквивалентная формулировка теории сложности в лямбда-исчислении?

В теории сложности определение сложности времени и пространства ссылается на универсальную машину Тьюринга: соотв. количество шагов до остановки и количество ячеек на ленте, которых коснулись. Учитывая тезис Черча-Тьюринга, должно быть возможно определить сложность и в терминах лямбда-исчисления....

11
Что является естественной проблемой в теории вычислений?

В статье Стивена Кука о проблеме P против NP [1] он утверждает следующее [2]: Тезис осуществимости: естественная задача имеет выполнимый алгоритм, если он имеет алгоритм полиномиального времени. У меня вопрос, что именно он (или вообще, на самом деле, что один) подразумевает под « естественной...

11
Можем ли мы вычислить

Я ищу эффективный алгоритм для решения проблемы: Входные данные : положительное целое число 3n3n3^n (сохраняется в виде битов) для некоторого целого числа n≥0n≥0n \geq 0 . Вывод : число nnn . Вопрос : Можем ли мы вычислить nnn из битов 3n3n3^n за O(n)O(n)O(n) времени? Это теоретический вопрос,...

11
Может ли Мерлин убедить Артура в определенной сумме?

Мерлин, имеющий неограниченные вычислительные ресурсы, хочет убедить Артура, что для с и Простое вычисление этой суммы (модульное возведение в степень и сложение) занимает время с умножением на основе БПФ. * Но Артур может выполнять только операций.m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\...

10
Простой путь на даге с задними краями

Какова сложность следующей задачи ( P? NP-hard?):∈∈\in Входные данные: направленный ациклический граф , множество обратных ребер и два отдельных узла и .E ′ ⊂ V × V s tD=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt Вопрос: Пусть обозначает граф, образованный добавлением к ребер из ....

10
Сложность поиска точки Борсук-Улам

Теорема Борсука-Улама говорит, что для любой непрерывной нечетной функции из n-сферы в евклидово n-пространство существует точка такая, что .х 0 г ( х 0 ) = 0гggИкс0x0x_0г( х0) = 0g(x0)=0g(x_0)=0 Simmons и Su (2002) описывают метод аппроксимации точки с использованием леммы Такера . Однако не ясно,...

10
Сложность преобразования булевой схемы в булеву формулу

Учитывая булеву схему для переменных (которая использует только вентили NOT, AND и OR), каков наиболее эффективный способ извлечь логическую формулу, представленную схемой? Есть ли алгоритм Polytime для этой...

10
Является ли этот язык распознаваемым 3 символами ТМ в O (n log n)?

Я играл с очень интересным и все еще открытым вопросом « Азбука одноленточной машины Тьюринга » (Эмануэле Виола) и придумал следующий язык: L = { x ∈ { 0 , 1 }N ул  | х | = n = 2м и  c o u n t 1 ( x ) = k ∗ m ;n , m , k ≥ 1 }L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L = \{ x \in \{0,1\}^n...

10
Самый быстрый известный алгоритм для нахождения простых путей по заданному набору вершин

Для неориентированного графа и данного множество S вершин, что является асимптотически быстрым известным алгоритма для нахождения простого пути , содержащий все элементы S . Что, если мы требуем, чтобы путь был максимально...

10
Сравнивая два произведения списков целых чисел?

Предположим, у меня есть два списка положительных целых чисел ограниченной мужественности, и я беру произведение всех элементов каждого списка. Какой лучший способ определить, какой продукт больше? Конечно, я могу просто вычислить каждый продукт, но я надеюсь, что есть более эффективный подход, так...

10
Что произойдет, если мы улучшим теоремы иерархии времени?

Короче говоря, теоремы иерархии времени говорят о том, что машина Тьюринга может решить больше проблем, если у нее будет больше времени для вычислений. Подробно для детерминированных TM и функций, построенных по времени, с это и для недетерминированных функций TM и функций времени, f, g с f (n + 1)...

9
Можем ли мы получить отсортированный список из отсортированной матрицы в

Я смущен. Я хочу доказать, что это проблема сортировкиnNn по nnn матрица, т.е. строки и столбцы в порядке возрастания Ω(n2logn)Ω(n2log⁡n)\Omega(n^2\log n), Я исхожу из предположения, что это можно сделать быстрее, чемn2lognn2log⁡nn^2\log n и попытаться нарушить log(m!)log⁡(m!)\log(m!) нижняя...

9
Алгоритм пересечения DFA для особых случаев

Меня интересуют эффективные алгоритмы пересечения DFA для особых случаев. А именно, когда DFA пересекаются, подчиняются определенной структуре и / или работают по ограниченному алфавиту. Есть ли источник, где я могу найти алгоритмы таких случаев? Чтобы не делать вопрос слишком широким, особый...

9
Сложность нахождения собственного разложения * симметричной * матрицы

Это специализированная версия предыдущего вопроса: сложность нахождения собственного разложения матрицы . Для симметричных матриц NxN известно, что времени O (N ^ 3) достаточно для вычисления собственного разложения. Вопрос в том, можем ли мы достичь субкубической сложности?...

9
2-NEXPTIME-полные задачи

У нас есть проблема, и мы нашли алгоритм, который выглядит как 2-nexptime. Я хотел бы найти известные 2-nexptime-полные проблемы, чтобы найти нижнюю границу. В литературе я обнаружил в основном две такие проблемы: будет ли PCP как решение размером меньше 22N22N2^{2^n} и проблема вспашки для...

9
Скрытые константы в сложности алгоритмов

Для многих задач алгоритм с наилучшей асимптотической сложностью имеет очень большой постоянный коэффициент, который скрыт большими обозначениями O. Это происходит в матричном умножении, целочисленном умножении (в частности, недавнем алгоритме умножения целых чисел O (n log n) Харви и...