Легко наблюдение состоит в том, что если проблема разрешима недетерминированной программы полиномиальное время , используя O ( журнал N ) недетерминированных битов (то есть, все свидетели логарифмические в длину), то ∈ P .AAAO(logn)O(logn)O(\log n)A∈PA∈PA \in \mathsf{P} Если тогда кто-то задает...
Теорема иерархии времени утверждает, что машины Тьюринга могут решить больше проблем, если у них есть (достаточно) больше времени. Имеет ли это какое-то значение, если пространство ограничено асимптотически? Как DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) относится к...
В недавнем препринте https://arxiv.org/abs/1801.00776 утверждается, что вещественных чисел можно отсортировать по времени и линейному пространству. Статья кажется разумной, хотя я не эксперт в алгоритмах сортировки.nnnO(nlogn−−−−√),O(nlogn),O(n \sqrt{\log n}), Если это правильно, это будет...
Есть исследователь, показывающий, что стирающий бит должен потреблять энергию, а сейчас проводится какое-либо исследование среднего потребления энергии алгоритмом с вычислительной сложностью ? Я предполагаю, что вычислительная сложность F ( n ) коррелирует со средним потреблением энергии, надеюсь,...
Представьте, что у нас есть два размера mmm наборов точек X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Какова (временная) сложность тестирования, если они отличаются только ротацией? : существует матрица вращения OOT=OTO=IOOT=OTO=IOO^T=O^TO=I такая, что X=OYX=OYX=OY ? Здесь возникает проблема...
Отсюда я читаю доказательства и наткнулся на техническую (хотя и крайне важную) проблему. Я знаю, что это довольно специфично, и контекст проблематичен, но я не мог понять это сам. На страницах 51 и 55 после представления «стандартных» верификаторов они поворачиваются, чтобы модифицировать...
Для любого простого неориентированного графа G нетривиально определить, имеет ли G нетривиальные (неединичные) автоморфизмы. Но каковы результаты на верхних / нижних границах этой проблемы...
Интересно, равны ли классы NPC, определенные сокращениями «многие-один» и сокращениями Тьюринга? Редактировать: Другой вопрос, являются ли сокращения Тьюринга только свертыванием классов C и co-C для некоторого C или существует класс такой как существует проблема не в при сокращении Карпа, а в в...
Какова точная временная сложность неориентированного алгоритма пространства журналирования st-связности Омера
В то время как EE старшекурсник я посетил некоторые лекции, которые представили хорошую характеристику булевых схем с точки зрения, сколько у них вложенных циклов. По своей сложности булевы схемы часто считаются дагами, но в реальных аппаратных циклах это обычное явление. Теперь, по модулю...
Для заданного графа в задаче сепаратора задается вопрос, существует ли вершина или множество ребер малой мощности (или веса), удаление которых разбивает на два непересекающихся графа приблизительно равных размеров. Это называется проблемой разделения вершин, когда удаленный набор является набором...
Предположим, что NP = co-NP, а полином ограничивает длину доказательства неудовлетворенности для экземпляра 3-CNF x . Тогда есть ли какие-либо результаты о том, в какой форме может быть получено любое доказательство неудовлетворенности для x длины ≤ p ( x ) ? Т.е. в целом, должно ли такое...
То, что следует, может показаться глупым (и это, вероятно, отражает мое плохое понимание - поэтому, пожалуйста, потерпите меня) У меня был вопрос по теореме PCP. Мы знаем, что после первых трех шагов, а именно. Уменьшение степени, расширение и усиление разрыва, у нас есть граф ограничений с...
Это продолжение моего предыдущего вопроса о нижних границах связи для частичных булевых функций . Может ли кто-нибудь предложить какую-либо ссылку на нижние границы для недетерминированного многопартийного общения? Я просматривал статьи в этой области, но все, кажется, демонстрируют разделение...
Игры с двумя пруверами в один раунд (2P1R) являются важным инструментом для определения приближенности. В частности, параллельное повторение однокруговых игр с двумя проверками дает возможность увеличить размер пропуска в версии решения задачи аппроксимации. См . Обзорный доклад Ран Раза на КХЦ...
В параметризованной сложности люди используют сокращение с фиксированным параметром (FPT), чтобы доказать W [t] -твердость. Теоретически FPT-редукция не является редукцией за полиномиальное время, поскольку она может экспоненциально выполняться по параметру k. Но на практике все сокращения FPT,...
Я читал статью под названием « Случайные оракулы» с возможностью программирования . Последний абзац раздела 2.3 гласит: [Используя наш новый подход], нет необходимости применять известные классические асимптотические (и равномерные) методы дерандомизации , основанные на лемме Бореля-Кантелли ....
Поскольку 2 NP-полные задачи по определению сводимы друг к другу, поэтому решение одной из них можно получить с помощью черного ящика, решающего другую, почему они не имеют сходных отношений аппроксимации (ссылаясь на их аналоги по оптимизации )? Я предполагаю, что некоторый постоянный или даже...
Этот вопрос был мотивирован вопросом, заданным на stackoverflow . Предположим, вам дано корневое дерево (т. Е. Есть корень, а у узлов есть дочерние элементы и т. Д.) На n узлах (обозначены 1 , 2 , … , n ).TTTNnn1 , 2 , … , n1,2,…,n1, 2, \dots, n Каждая вершина имеет неотрицательный целочисленный...
Мерлин, имеющий неограниченные вычислительные ресурсы, хочет убедить Артура, что для с и Простое вычисление этой суммы (модульное возведение в степень и сложение) занимает время с умножением на основе БПФ. * Но Артур может выполнять только операций.m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\...