Этот вопрос касается логики высказываний, и все случаи «разрешения» следует понимать как «предложенные решения». Этот вопрос является чем-то чрезвычайно основным, но это беспокоило меня некоторое время. Я вижу, как люди утверждают, что решение по предложению завершено, но я также вижу, что люди...
Известно, что минимизация размера регулярного выражения является PSPACE-полной, даже если у нас есть DFA в качестве спецификации языка . Каковы результаты, если язык конечен? Можно рассмотреть эту проблему в двух моделях: Входные данные - это все строки в языке, и мы измеряем размер ввода как сумму...
Я надеялся, что кто-нибудь сможет объяснить мне, почему именно проблема подмножеств является сильно NP-трудной, в то время как проблема сумм подмножеств является NP-трудной. Подмножество Сумма: Дано и Т , существует ли подмножество X ' такое , что Σ я ∈ Х ' х я = Т .Икс= { х1, . , , ,...
За последние два десятилетия была проделана фантастическая работа над перманентом. Некоторое время я размышлял о возможности алгоритма Smooth P для перманента неотрицательных матриц. Конечно, есть известный алгоритм JSV, но это fpras. Думая о другой работе в рамках Сглаженной Сложности, сильным...
Мне дают в качестве входных данных 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 } такая, что для всех x , y , если в G...
Есть ли какой-то естественный способ понять сущность реляционной семантики для параметрического полиморфизма? Я только начал читать о понятии реляционной параметричности, а именно «Типах, абстракциях и параметрическом полиморфизме» Джона Рейнольдса, и у меня возникают проблемы с пониманием...
Есть исследования об алгоритмах аппроксимации для NP полных задач за полиномиальное время и точных алгоритмов за экспоненциальное время. Проводятся ли исследования по алгоритмам аппроксимации для полных задач NP в субэкспоненциальном времени вида где...
Это написано в вики-записи Символического Выполнения , но я не могу найти для этого никакой ссылки. Кто-нибудь может показать мне указатель?
Усилия по проверке компилятора часто сводятся к тому, чтобы доказать, что компилятор полностью абстрактен: он сохраняет и отражает (контекстуальные) эквивалентности. Вместо того, чтобы предоставлять полные доказательства абстракции, некоторые недавние (основанные на категориях) работы по проверке...
Граф Изоморфизм ( ) является хорошим кандидатом для N P -проблемой задачи. N P -intermediate проблемы существуют , если Р не = Н Р . Я ищу естественную проблему, которая трудна для G I при редукции Карпа (графовая задача X такая, что G I < m p X...
Один из способов показать, что проверка выполнимости линейной системы неравенств так же сложна, как и линейное программирование, - это приведение с помощью метода эллипсоидов. Еще более простой способ - угадать оптимальное решение и ввести его в качестве ограничения с помощью бинарного поиска. Оба...
Когда нам дается древовидная декомпозиция графа с шириной w , есть несколько способов сделать его «красивым». В частности, известно, что его можно преобразовать в разложение дерева, где дерево является двоичным, а его высота равна O ( log n ) . Это может быть достигнуто при сохранении ширины...
Мы говорим, что машина Тьюринга смертна, если M останавливается для каждой начальной конфигурации (в частности, содержимое ленты и начальное состояние могут быть произвольными). Каждый рекурсивный язык распознается смертной машиной Тьюринга? (т. е. если есть ТМ, принимающий L , существует также...
Существует множество ситуаций, когда рандомизированное «доказательство» намного проще, чем детерминированное доказательство, каноническим примером является проверка полиномиальной идентичности. Вопрос : Существуют ли естественные математические «теоремы», в которых рандомизированное доказательство...
Краткий вопрос Какова вычислительная мощность «квантовых» схем, если мы допускаем неунитарные (но все еще обратимые) вентили и требуем, чтобы выходные данные давали правильный ответ с уверенностью? Этот вопрос в некотором смысле касается того, что происходит с классом EQPEQP\mathsf{EQP} когда вы...
Я хотел бы попросить предложения для хороших текстов, которые вводят сложность схемы. Любые ссылки на последние достижения и открытые проблемы в этой области также будут...
Одна из интересных открытых проблем о DFA, перечисленных в разделе. Есть ли еще какие-либо открытые проблемы о DFA? размер DFA, необходимый для разделения двух строк длины . Мне любопытно, есть ли какие-либо результаты о способности случайного DFA разделять две заданные (неслучайные) строки.nNn...
Вместо того, чтобы эмпирически доказывать, какими формальными принципами мы доказали, что квантовые вычисления будут быстрее, чем традиционные / классические...
Что произойдет, если мы определим P P A DP P A D{\bf PPAD} таким образом, чтобы вместо схемы времени Тьюринга / машины полисайта схема Тьюринга пространства журналов или схема A C 0A C0{\bf AC^0} кодировали проблему? В последнее время оказалось важным дать более быстрые алгоритмы для обеспечения...
Каждая монотонная арифметическая схема , то есть -цепь, вычисляет некоторый многомерный многочлен с неотрицательными целыми коэффициентами. Учитывая полином , схема{+,×}{+,×}\{+,\times\}f ( x 1 , … , x n )F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) вычисляет если...