Проще говоря: как соотносятся машины Тьюринга с оракулами и семействами однородных цепей с оракулами? Как последние определяются для получения той же вычислительной модели для данной машины оракула Тьюринга? Это может быть элементарный вопрос, но не очевидно, где искать, и я из тех людей, которым...
После обсуждения нижних границ для 3SAT [ 1 ] мне интересно, каковы основные результаты нижней границы, сформулированные как компромиссы пространства-времени. Я исключаю такие результаты, как, например, теорема Савича; хорошая статья будет сосредоточена на одной проблеме и ее границах. Примером...
В статье под названием «Об отрицании в общей эталонной строке и случайной модели Oracle» Рафаэль Пасс пишет: Мы отмечаем, что при проверке безопасности в соответствии со стандартным определением нулевого знания в модели RO [Random Oracle], симулятор имеет два преимущества по сравнению с симулятором...
Предположим, у нас есть множество S графов (конечных графов, но их бесконечное число) и группа перестановок P, которая действует на S. Экземпляр: перестановка p в P. Вопрос: существует ли граф g в S, который допускает автоморфизм p? Является ли эта задача NP-полной для некоторых множеств S? Было бы...
Формула Monotone-2CNF - это формула CNF, в которой каждое предложение состоит ровно из двух положительных литералов. Теперь у меня есть Монотонный-2CNF формула . Пусть S будет множеством удовлетворяющих заданий F. У меня также есть оракул O, который может дать следующую информацию:FFFSSSFFFOOO...
В рассматриваемом приложении мне необходимо знать сложность связи следующей проблемы: Для данного пусть S будет множеством целых чисел от 1 до n . Алиса, Боб и Кэрол каждый получает подмножество S , обозначенное A , B и C соответственно. Они хотят , чтобы проверить , является ли , B и C образуют...
Класс сложности PPAD обычно определяется указанием того, что End-Of-The-Line является PPAD-завершенным. End-Of-The-Line - это проблема поиска. Входные данные состоят из ориентированного графа, в котором у каждого узла максимальная и минимальная степени равны 1. Граф задается вычисляемой функцией...
Вопрос возник у меня, когда я получил ответ Даны Мошковиц на другую тему . Пусть будет языком NP , и пусть будет соответствующим отношением NP . Мы знаем, что существует некоторый полином такой, что:LLLрLрLR_Lппp ∀ x ∈ L ,, ∃ ж ∈0 , 1р ( | х | )( x , w ) ∈...
Известно, что определение того, является ли данное триангулированное 3-многообразие 3-сферой, входит в NP посредством работы Сола Шлеймера в 2004 году: «Распознавание сфер лежит в NP» arXiv: math / 0407047v1 [math.GT] . Я задаюсь вопросом, было ли это установлено, чтобы быть законченным NP за...
Допустим, у нас есть однослойная прямая нейронная сеть с k входами и одним выходом. Он вычисляет функцию из , довольно легко увидеть, что она имеет по крайней мере ту же вычислительную мощность, что и A C 0 . Просто для удовольствия мы назовем набор функций, вычислимых однослойной нейронной сетью,...
Пусть быть мульти-мерный полином с коэффициентами над полем . Мультилинеаризация , обозначаемая , является результатом многократной замены каждого с на . Результат, очевидно, является полилинейным полиномом.р ( х 1 , ... , х п ) F р р х д я д > 1 х...
Многие классы сложности, определенные с помощью машин Тьюринга, имеют определения в терминах однородных цепей. Например, P также может быть определен с использованием схем с однородным полиномиальным размером, и аналогично BPP, NP, BQP и т. Д. Могут быть определены с помощью однородных схем. Так...
Задача о гамильтоновом цикле (HC) состоит в том, чтобы найти цикл, который проходит через все вершины в данном неориентированном графе. Задача коммивояжера (TSP) состоит в том, чтобы найти цикл, который проходит через все вершины в данном графе, взвешенном по ребрам, и минимизирует общее...
и N L o g T i m e - два самых маленьких класса сложности, которые мы имеем. (Обратите внимание, что логарифмическая иерархия времени L H равна A C 0, и это первые два уровня L H ).DLogTimeDLogTime\mathsf{DLogTime}NLogTimeNLogTime\mathsf{NLogTime}LHLH\mathsf{LH}AC0AC0\mathsf{AC}^0LHLH\mathsf{LH}...
Вот проблема: У нас есть квадрат с несколькими числами от 1..N в некоторых ячейках. Нужно определить, можно ли его завершить до магического квадрата. Примеры: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> NO SOLUTION 8 _ _ Эта проблема NP-полная? Если да, как я могу это...
Наблюдение, связанное с асимметричной криптографией, заключается в том, что некоторые функции (как полагают) легко выполнять в одном направлении, но трудно инвертировать. Кроме того, если существует некоторая информация о «ловушке», которая позволяет быстро вычислять обратную операцию, тогда...
Покрытие Vertex может быть легко уменьшено до Независимого набора и наоборот. Однако в контексте параметризованной сложности Независимый набор сложнее, чем Vertex Cover. Ядро с вершин существует для Vertex Cover, но независимое множество W 1 жестких.2k2k2k Как меняется характер Независимого...
Хорошо известно, что в худшем случае существует оптимальный алгоритм для вычисления кода Хаффмана за время θ ( н лгн )θ(NЛ.Г.N)\theta(n\lg n) . Это улучшается двумя ортогональными способами: Оптимальные коды без префиксов могут быть вычислены быстрее, если набор различных частот мал (например,...
Если предположить, что NP! = CoNP, то для проблемы полного завершения coNP нет сертификата полиномиального размера. Но как насчет субэкспоненциального размера сертификата? Особенно для coSAT, есть ли субэкспоненциальное доказательство размера, чтобы доказать, что формула неудовлетворительна? Если...
Фиксированный параметр и аппроксимация - это совершенно разные подходы для решения сложных задач. У них разная мотивация. Приближение ищет более быстрый результат с приближенным решением. Фиксированный параметр ищет точное решение с временной сложностью в терминах экспоненциальной или некоторой...