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

Классические алгоритмы могут решать 3-SAT за времени (рандомизированный) или времени (детерминированный). (Ссылка: лучшие верхние границы по SAT )1,3071N1,3071N1.3071^n1,3303N1,3303N1.3303^n Для сравнения, используя алгоритм Гровера на квантовом компьютере, можно было бы найти и найти решение в , рандомизированное. (Это может все еще потребовать некоторого знания о том, сколько решений может быть или …

29 quantum-computing  sat  exp-time-algorithms 

Следующая проблема возникла во время исследования, и она удивительно чиста: У вас есть источник монет. Каждая монета имеет уклон, а именно вероятность того, что она упадет на «голову». Для каждой монеты независимо существует вероятность 2/3, что она имеет смещение не менее 0,9, а с остальной вероятностью ее смещение может быть …

29 ds.algorithms  pr.probability 

Пусть обозначает (решение) задачу в NP, а # X обозначает ее счетную версию.ИксXXИксXX При каких условиях известно, что «X является NP-полным» ⟹⟹\implies "#X # P-complete"? Конечно, существование экономного сокращения - одно из таких условий, но это очевидно и единственное условие, о котором я знаю. Конечная цель - показать, что никаких …

29 cc.complexity-theory  np-hardness  counting-complexity 

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

29 cc.complexity-theory  complexity-classes  quantum-computing 

Известно, что с помощью счетного набора алгоритмов (характеризуемых числом Гёделя) мы не можем вычислить (построить двоичный алгоритм, который проверяет принадлежность) все подмножества N. Доказательство может быть обобщено следующим образом: если бы мы могли, то множество всех подмножеств N было бы счетным (мы могли бы связать с каждым подмножеством число Гёделя …

29 computability  halting-problem 

Строка имеет подпоследовательностей, но обычно они не все различны. Какова сложность нахождения максимальной частоты любой подпоследовательности?2n2n2^n Например, строка «подпоследовательность» содержит 7 копий подпоследовательности «иск», и это максимум. Пример кода перебора на http://ideone.com/UIp3t Есть ли связанные структурные теоремы? Оба из них оказываются ложными : самая длинная из подпоследовательностей максимальной частоты уникальна …

29 ds.algorithms  string-search 

Существуют ли (функциональные?) Языки программирования, в которых все функции имеют каноническую форму? То есть любые две функции, которые возвращают одинаковые значения для всего набора ввода, представляются одинаково, например, если f (x) вернул x + 1, а g (x) вернул x + 2, то f (f (x )) и g (x) …

29 computability  pl.programming-languages  functional-programming  function 

Были два вопросы недавно спросил о cs.se , которые были либо связанные или имели особый случай , эквивалентный следующему вопросу: Предположим, у вас есть последовательность из n чисел, такая что ∑ n i = 1 a i = n ( n + 1 ) . Разложите его в сумму двух …

29 cc.complexity-theory  ds.algorithms  co.combinatorics  np-hardness  permutations 

Из теоремы Ладнера хорошо известно, что если , то существует бесконечно много N P -интермедиантных ( N P I ) задач. Есть также естественные кандидаты на этот статус, такие как Изоморфизм графов и ряд других, см. Проблемы между P и NPC . Тем не менее, подавляющее большинство в толпе известной …

29 cc.complexity-theory  p-vs-np  np-intermediate 

Теорема Валианта-Вазирани говорит, что если существует алгоритм полиномиального времени (детерминированный или рандомизированный) для разграничения между формулой SAT, которая имеет ровно одно удовлетворяющее назначение, и формулой неудовлетворительного типа, - тогда NP = RP . Эта теорема доказана тем, что UNIQUE-SAT является NP- трудным при рандомизированных редукциях. С учетом вероятных гипотез дерандомизации, …

29 cc.complexity-theory  reductions  derandomization  unique-solution 

Предполагается, что поскольку обратное подразумевает \ mathsf {PH} = \ Sigma_2 . Теорема Ладнера устанавливает, что если \ mathsf {P} \ ne \ mathsf {NP}, то \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset , Однако доказательство, …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

В одном предложении: подразумевает ли существование иерархии для какие-либо результаты дерандомизации?B P T I M EBPTIME\mathsf{BPTIME} но неопределенный вопрос: подразумевает ли существование иерархии для какие-либо трудные нижние границы? Влияет ли решение этой проблемы на известный барьер в теории сложности?B P T I M EBPTIME\mathsf{BPTIME} Моя мотивация для этого вопроса состоит …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

Пусть - булева функция, и давайте подумаем о f как о функции от до . На этом языке разложение Фурье функции f является просто разложением функции f по квадратным свободным мономам. (Эти мономов образуют базис для пространства вещественных функций на . Сумма квадратов коэффициентов равна просто так что приводит к …

29 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions  fourier-analysis 

Легко видеть, что изоморфизм графов (GI) находится в NP. Это большая открытая проблема, находится ли GI в coNP. Существуют ли потенциальные кандидаты в свойства графов, которые можно использовать как сертификаты coNP GI. Какие-нибудь домыслы, которые подразумевают ? Каковы некоторые последствия ?G I∈ c o Nпгя∈соNпGI \in coNPG I∈ c o …

29 cc.complexity-theory  graph-isomorphism 

Полиномиальные методы , скажем, теорема о комбинаторном нульстелленсаце и Шевалле – Предупреждениее, являются мощными инструментами аддитивной комбинаторики. Представляя проблему с собственными полиномами, они могут гарантировать существование решения или количество решений полиномов. Они использовались для решения таких задач, как ограниченные наборы сумм или задачи с нулевой суммой , и некоторые из …

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials