Теоретическая информатика

Impagliazzo, Paturi и Calabro, Impagliazzo, Paturi представили гипотезу экспоненциального времени (ETH) и гипотезу сильно экспоненциального времени (SETH). Грубо говоря, SETH говорит, что нет алгоритма, который решает SAT за время . 1.99n1.99n1.99^n Мне было интересно, что бы это значило, чтобы сломать SETH. Нам определенно нужно найти алгоритм, который решает SAT менее …

11 cc.complexity-theory  sat  exp-time-algorithms 

Класс UP определяется так: Класс решения задач, решаемых машиной NP, такой, что Если ответ «да», принимается ровно один путь вычислений. Если ответ «нет», все пути вычислений отклоняются. Я пытаюсь развить интуицию для этого определения. Можно ли сказать, что проблемы UP - это проблемы с уникальными решениями (например, первичная факторизация)? Это …

11 cc.complexity-theory  complexity-classes 

«Вторая » проблема - это проблема принятия решения о существовании другого решения, отличного от некоторого данного решения для экземпляра проблемы.XXX Для некоторых задач с завершением второй версией решения является -complete (решающий вопрос о существовании другого решения для задачи с частичным завершением латинского квадрата), в то время как для других он …

11 cc.complexity-theory  unique-solution 

Я читаю знаменитую статью Impagliazzo и Wigderson в 1997 году. Так как я новичок в этой области, и эта статья является краткой версией конференции, мне трудно следить за их доказательствами. В частности, некоторые из их новых теорем не имеют доказательств. Насколько мне известно, не было опубликовано ни одной версии журнала.P=BPPP=BPP\mathsf …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Я ищу ресурсы (желательно справочник) по сложным темам в алгоритмах (темам, выходящим за рамки учебников по алгоритмам, таким как CLRS и DPV). Тип материала, который можно использовать для преподавания таких тем в курсе алгоритмов, как курс Эрика Демейна и Дэвида Каргера « Расширенные алгоритмы» . Ресурсы, которые дают обзор области …

11 ds.algorithms  reference-request  survey  books 

Я заинтересован в изучении полных задач Изоморфизма графов (GI). В работе Kellogg S. Booth (1979) «Проблемы, полиномиально эквивалентные изоморфизму графа» доказано, что многие базовые задачи являются GI-полными с использованием методов замены краев, методов композиции и т. Д. Я хотел бы изучить еще несколько методов, которые используются в недавних работах. Кто-нибудь …

11 cc.complexity-theory  reference-request  graph-isomorphism 

Предположим, что нам дан массив содержащий неотрицательные целые числа (не обязательно различающиеся).A[1..n]A[1..n]A[1..n] Пусть будет отсортированным в неубывающем порядке. Мы хотим вычислить BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. Очевидным решением является сортировка AAA а затем вычисление mmm . Это дает алгоритм, который работает во времени O(nlgn)O(nlg⁡n)O(n \lg n) в худшем случае. Можно …

11 cc.complexity-theory  ds.algorithms  optimization  sorting 

Шон Андерсон опубликовал немного вертел хаки , содержащие алгоритм Эрика Коула , чтобы найти А.Н. -разрядного целочисленного в операций с умножения и поиска.N v O ( lg ( N ) )⌈log2v⌉⌈log2⁡v⌉\lceil\log_2 v \rceilNNNvvvO(lg(N))O(lg⁡(N))O(\lg(N)) Алгоритм опирается на «магическое» число из последовательности де Брюина. Кто-нибудь может объяснить основные математические свойства последовательности, используемой …

11 nt.number-theory  comp-number-theory 

Пусть x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) - вектор булевых переменных. Пусть C,DC,DC,D две булевы схемы на xxx . Скажите, что CCC похож на DDD если: x { 0 , 1 } nPr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]xxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D различаются по расстоянию редактирования графика незначительно (их расстояние редактирования намного меньше размера схемы, скажем, или некоторой небольшой константы), что …

11 sat  application-of-theory 

Односторонние чередующиеся нажимные автоматы (1APDA) могут распознавать любой язык в (Чередование, Чандра, Козен и Стокмейер, 1981) . Заменив хранилище 1APDA со счетчиком, можно получить односторонний чередующийся автомат с одним счетчиком (1ACA). Мой вопрос о 1ACA на унарных языках.Д ТяMЕ( 2O ( n ))DTяMЕ(2О(N)) DTIME(2^{O(n)}) Может ли 1ACA распознавать некоторые унарные …

11 automata-theory  counter-automata  unary-languages 

У меня есть трудности в понимании последних шагов алгоритма AHSP. Пусть абелева группа и е функция , которая скрывает подгруппу H . Пусть G * представляет двойную группу G .GGGfffHHHG∗G∗G^*GGG Вот шаги алгоритма Сначала подготовь государство, .I=1|G|∑g∈G|g⟩|0⟩I=1|G|∑g∈G|g⟩|0⟩\qquad \displaystyle I=\frac{1}{|G|} \sum_{g \in G} |g\rangle|0\rangle Затем примените квантовый оракул, который оценивает на …

11 ds.algorithms  quantum-computing  gr.group-theory 

Я понимаю следующие утверждения, чтобы быть правдой: Два разных вывода строки в данном CFG могут иногда приписывать строку одному и тому же дереву разбора. Когда есть производные некоторой строки в данном CFG, которые приписывают различные деревья разбора, CFG является неоднозначным. Некоторые языки без контекста, генерируемые неоднозначными CFG, также генерируются однозначными …

11 fl.formal-languages  regular-language  context-free 

Прежде всего, мое понимание теоремы Гёделя о неполноте (и формальной логики в целом) очень наивно, а также мои знания в области теоретической информатики (имеется в виду только один выпускной курс, когда я еще студент), поэтому этот вопрос может быть очень наивно Насколько я мог найти, доказуемость P против NP является …

11 np-hardness  proofs  p-vs-np 

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

11 ds.algorithms  time-complexity 

Для полиномиальной задачи локального поиска мы знаем, что должно существовать хотя бы одно решение (локальный оптимум). Тем не менее, может существовать гораздо больше решений, насколько сложно сосчитать количество решений для PLS-полной задачи? Меня особенно интересует проблема решения: есть ли у этого экземпляра полной проблемы PLS два или более решений? Зависит …

11 cc.complexity-theory  counting-complexity  gt.game-theory