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

Мы говорим, что машина Тьюринга смертна, если M останавливается для каждой начальной конфигурации (в частности, содержимое ленты и начальное состояние могут быть произвольными). Каждый рекурсивный язык распознается смертной машиной Тьюринга? (т. е. если есть ТМ, принимающий L , существует также смертный ТМ, принимающий L )MMMMMMLLLLLL

15 computability 

Краткий вопрос Какова вычислительная мощность «квантовых» схем, если мы допускаем неунитарные (но все еще обратимые) вентили и требуем, чтобы выходные данные давали правильный ответ с уверенностью? Этот вопрос в некотором смысле касается того, что происходит с классом EQPEQP\mathsf{EQP} когда вы разрешаете схемам использовать больше, чем просто унитарные вентили. (Мы все …

15 complexity-classes  quantum-computing 

Когда нам дается древовидная декомпозиция графа с шириной w , есть несколько способов сделать его «красивым». В частности, известно, что его можно преобразовать в разложение дерева, где дерево является двоичным, а его высота равна O ( log n ) . Это может быть достигнуто при сохранении ширины разложения не более …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

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

15 ds.algorithms  linear-programming 

Граф Изоморфизм ( ) является хорошим кандидатом для N P -проблемой задачи. N P -intermediate проблемы существуют , если Р не = Н Р . Я ищу естественную проблему, которая трудна для G I при редукции Карпа (графовая задача X такая, что G I &lt; m p X ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Есть исследования об алгоритмах аппроксимации для NP полных задач за полиномиальное время и точных алгоритмов за экспоненциальное время. Проводятся ли исследования по алгоритмам аппроксимации для полных задач NP в субэкспоненциальном времени вида где ?2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Меня особенно интересуют то, что известно о проблемах, приближающихся к сложному полиномиальному времени, таких как число …

15 approximation-algorithms  approximation-hardness 

Это написано в вики-записи Символического Выполнения , но я не могу найти для этого никакой ссылки. Кто-нибудь может показать мне указатель? Спасибо.

15 reference-request  lo.logic  program-analysis 

За последние два десятилетия была проделана фантастическая работа над перманентом. Некоторое время я размышлял о возможности алгоритма Smooth P для перманента неотрицательных матриц. Конечно, есть известный алгоритм JSV, но это fpras. Думая о другой работе в рамках Сглаженной Сложности, сильным намеком на присутствие в Сглаженном P было существование алгоритма fpras …

15 cc.complexity-theory  complexity-classes 

Усилия по проверке компилятора часто сводятся к тому, чтобы доказать, что компилятор полностью абстрактен: он сохраняет и отражает (контекстуальные) эквивалентности. Вместо того, чтобы предоставлять полные доказательства абстракции, некоторые недавние (основанные на категориях) работы по проверке компилятора Hasegawa [ 1 , 2 ] и Egger et. и др. [ 3 ] …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Мне дают в качестве входных данных DAG из n вершин, где каждая вершина x дополнительно помечена некоторым S ( x ) ⊆ { 1 , … , nGGGnnnxxx .S(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Топологическим видом является биекция f из вершин G в { 1 , … , n } такая, …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

Известно, что минимизация размера регулярного выражения является PSPACE-полной, даже если у нас есть DFA в качестве спецификации языка . Каковы результаты, если язык конечен? Можно рассмотреть эту проблему в двух моделях: Входные данные - это все строки в языке, и мы измеряем размер ввода как сумму длины всех строк. Входные …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Я надеялся, что кто-нибудь сможет объяснить мне, почему именно проблема подмножеств является сильно NP-трудной, в то время как проблема сумм подмножеств является NP-трудной. Подмножество Сумма: Дано и Т , существует ли подмножество X ' такое , что Σ я ∈ Х ' х я = Т .Икс= { х1, . …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

Если вы посмотрите на рекурсивные комбинаторы в нетипизированном лямбда-исчислении, такие как Y-комбинатор или омега-комбинатор: Понятно, что все эти комбинаторы в конечном итоге дублируют переменную где-то в своем определении.ωYзнак равнознак равно( λ х .Иксх )( λ х .Иксх )λ f,( λ х .е( хх ) )( λ х .е( хх ) …

15 lo.logic  pl.programming-languages  linear-logic 

Фон Внешняя память, или модель DAM, определяет стоимость алгоритма по количеству операций ввода-вывода, которые он выполняет (по сути, по числу пропущенных кешей). Эти времена выполнения обычно даются в терминах , размера памяти и B , количества слов, которые могут быть переданы в память за один раз. Иногда L и Z …

15 ds.algorithms  ds.data-structures  cache-oblivious 

Этот вопрос касается логики высказываний, и все случаи «разрешения» следует понимать как «предложенные решения». Этот вопрос является чем-то чрезвычайно основным, но это беспокоило меня некоторое время. Я вижу, как люди утверждают, что решение по предложению завершено, но я также вижу, что люди утверждают, что решение является неполным. Я понимаю смысл, …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution