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

Рассмотрим # P-полную задачу подсчета числа покрытий вершин данного графа .G=(V,E)G=(V,E)G = (V, E) Я хотел бы знать, есть ли какой-либо результат, показывающий, как сложность такой проблемы изменяется с некоторым параметром (например, d = | E |GGG).d=|E||V|d=|E||V|d = \frac{|E|}{|V|} У меня такое ощущение, что проблема должна быть легче, когда разрежена, …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

Я провел некоторый поиск по этому вопросу, но так или иначе не смог найти ответ. Гек ответил на это полностью. Благодарность :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Знаете ли вы о каких-либо проблемах (предпочтительно, по крайней мере, несколько хорошо известных), где для практического размера задачи экспоненциальный алгоритм работает намного быстрее, чем самый известный аналог полиномиального времени. Например, предположим, что задача имеет практический размер *, равный и существует два известных алгоритма: один равен 2 n, а другой - …

13 time-complexity  polynomial-time  exp-time-algorithms 

Хорошо известно, что сложность отличия монеты, смещенной на от монеты-монеты - это . Есть ли результаты для отличия монеты от монеты ? Я вижу, что для частного случая сложность будет . У меня есть догадка, что сложность будет зависеть от того, имеет ли порядок , но не может доказать это …

13 reference-request  time-complexity 

Мы говорим, что функция f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} является конструируемой во времени , если существует детерминированная многоленточная машина Тьюринга MMM которая на всех входах длины nnn делает не более f(n)f(n)f(n) шагов, и для каждого существует некоторый вход длина на которой делает точно шагов.n M f ( n )nnnnnnMMMf(n)f(n)f(n) Будем говорить , что функция …

13 cc.complexity-theory  time-complexity  terminology 

Гауссовское исключение делает определитель матрицы полиномиальным временем вычислимым. Снижение сложности в вычислении детерминанта, которое в противном случае является суммой экспоненциальных членов, обусловлено наличием альтернативных отрицательных признаков (отсутствие которых делает вычисление постоянным, является #P-hard#P-hard \#P\mbox{-}hard т. Е. Сложнее, чем проблемы NP-CNP-CNP\mbox{-}C ) , Это приводит к некоторой симметрии в определителе, например, …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

То, что я называю подсчетом, - это проблема, заключающаяся в том, чтобы найти количество решений для функции. Точнее, если задана функция f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (не обязательно черный ящик), приблизительный #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|, Я ищу алгоритмические проблемы, которые включают какой-то счет и для которых сложность времени сильно зависит от этой …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

Я читал статью Бермана и Гомера «Суперполиномиальные цепи, почти разреженные оракулы и экспоненциальная иерархия» . В нижней части страницы 2 они отмечают, что результаты Каннана подразумевают, что NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} не имеет цепей полиномиального размера. Я знаю, что в экспоненциальной иерархии времени NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} является просто Σ2EXPΣ2EXP\Sigma_2EXP , и я также знаю, что …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

aaabbbaaabbbaaabbbO(mlogmloglogm)O(mlog⁡mlog⁡log⁡m)O(m\log m\log\log m)mmmmax{a,b}max{a,b}\max\{a,b\}Ω(mlogmloglogm)Ω(mlog⁡mlog⁡log⁡m)\Omega(m\log m\log\log m) нижняя граница этой проблемы? Спасибо и всего наилучшего, и извините, если это такой наивный вопрос.

12 time-complexity  lower-bounds  nt.number-theory  primes 

Зафиксируем NP-полную задачу поиска, например форму поиска SAT. Поиск Левина предоставляет алгоритм L для решения X, который в некотором смысле является оптимальным. В частности, алгоритм таков: «Выполните все возможные программы P в соответствии друг с другом на входе x , как только некоторые P вернут ответ y, проверяет, правильно ли …

12 cc.complexity-theory  time-complexity  p-vs-np 

Существуют ли разрешимые проблемы, такие, что для любого алгоритма, который решает проблему, мы можем дать ограничение по времени как функцию длины n входного экземпляра? Я пришел к этому вопросу, потому что думал о следующем: Предположим, у нас есть рекурсивно перечислимая, но неразрешимая проблема. Предположим далее, что я - "да" -инстанция …

12 computability  time-complexity 

Рассмотрим следующую задачу проверки принадлежности к абелевой подгруппе . Входы: Конечная абелева группа с произвольно большим .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 h_1,\ldots,h_n\rbrace подгруппы ЧАС⊂ GH⊂GH\subset G . Элемент b ∈ Gb∈Gb\in G . Вывод: «да», если b ∈ Hb∈Hb\in H и «нет» в …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory 

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

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting 

Определите как класс языков, которые могут быть приняты машиной (множественной) Тьюринга за время f ( n ) + 1 . (« + 1 » просто для упрощения обозначений и предотвращения путаницы.) Обратите внимание, что вокруг f ( n ) + 1 нет O ( ⋅ ) .D T I M …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

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

11 ds.algorithms  time-complexity