Вопросы с тегом «counting-complexity»

Насколько сложно считать количество решений?

1
Сокращение лог-пространства от схем Parity-L до CNOT?
Вопрос. В своей работе « Улучшенное моделирование цепей стабилизатора» Ааронсон и Готтесман утверждают, что имитация схемы CNOT является ⊕L-полной (при сокращении пространства журнала). Ясно, что оно содержится в ⊕L ; как держится результат твердости? Эквивалентно: есть ли сокращение лог-пространства от итерированных матричных произведений по модулю 2 до итерированных произведений элементарных …
3
Как я могу показать, что проблема Gap-P находится за пределами #P
В теории комбинаторного представления и алгебраической геометрии существует ряд проблем, для которых не существует положительной формулы. Есть несколько примеров, о которых я думаю, но позвольте мне взять в качестве примера вычисление коэффициентов Кронекера . Обычно понятие «положительная формула» не совсем точно определено в комбинаторике, но оно примерно означает «описание, поскольку …
4
Подсчет количества покрытий вершин: когда это сложно?
Рассмотрим # P-полную задачу подсчета числа покрытий вершин данного графа .G=(V,E)G=(V,E)G = (V, E) Я хотел бы знать, есть ли какой-либо результат, показывающий, как сложность такой проблемы изменяется с некоторым параметром (например, d = | E |GGG).d=|E||V|d=|E||V|d = \frac{|E|}{|V|} У меня такое ощущение, что проблема должна быть легче, когда разрежена, …
2
# P-полная проблема, чья версия решения находится в P
1) Возможно ли экономное сокращение от # P-полной задачи #A до проблемы подсчета #B, когда (версия решения) A является NP-полной, а B находится в P? Например, может ли быть экономное сокращение от #SAT до #B, когда B находится в P? 2) Если B находится в P, каковы различные возможности для …
3
Сложность проверки, имеют ли два CNF одинаковое количество решений
Учитывая два CNF, если они имеют одинаковое количество назначений, чтобы сделать их правдой, ответьте «Да», в противном случае ответьте «Нет». Легко увидеть, что это в P#PP#PP^{\#P} , поскольку, если мы знаем точное число решений этих двух CNF, мы просто собираем их и отвечаем «Да» или «Нет». В чем сложность этой …
2
Нижние границы на #SAT?
Проблема #SAT является канонической # P-полной проблемой. Это скорее функциональная проблема, чем проблема решения. При булевой формуле в пропозициональной логике спрашивается, сколько удовлетворяющих заданий имеет. Каковы лучшие нижние границы на #SAT?FFFFFF
2
Какова сложность Median-SAT?
Пусть - формула CNF с n переменными и m предложениями. Пусть t ∈ { 0 , 1 } n представляет присваивание переменной, а f φ ( t ) ∈ { 0 , … , m } подсчитывает количество предложений, удовлетворяемых присваиванием переменной φ . Затем определите Median-SAT как задачу вычисления …
2
Подсчет количества удовлетворяющих заданий в ПОЗИТИВНОМ CNF-SAT
Мы знаем, что проблема подсчета количества удовлетворяющих назначений в данной общей булевой формуле (CNF-SAT), заданной формуле DNF или даже заданной формуле 2SAT является проблемой # P-полной . Теперь рассмотрит CNF-SAT без отрицательного литерала (не , всегда A ). Решить задачу очень легко (установите все переменные в значение ИСТИНА и проверьте, …
1
Паритет-Л против НЛ
Паритет-L, также известный как L, представляет собой набор языков, распознаваемых недетерминированной машиной Тьюринга, которые могут различать только четное число или нечетное число путей «принятия». Недавно связанный вопрос был задан Ниль де Бодрап.⊕⊕\oplus Мой вопрос заключается в следующем: Мы знаем, если NL ⊕ L? Или эти два класса считаются несравненными?⊆⊆\subseteq ⊕⊕\oplus
1
Является ли подсчет максимальных кликов в графе несопоставимости # P-полным?
Этот вопрос мотивирован вопросом MathOverflow Пэна Чжана . Валиант показал, что подсчет максимальных клик в общем графе является # P-полным, но что если мы ограничимся графами несопоставимости (т. Е. Мы хотим подсчитать максимальные антицепи в конечном множестве)? Этот вопрос кажется достаточно естественным, и я подозреваю, что он рассматривался ранее, но …
6
Любая алгоритмическая задача имеет сложность времени, в которой преобладает счет?
То, что я называю подсчетом, - это проблема, заключающаяся в том, чтобы найти количество решений для функции. Точнее, если задана функция f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (не обязательно черный ящик), приблизительный #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|, Я ищу алгоритмические проблемы, которые включают какой-то счет и для которых сложность времени сильно зависит от этой …
4
О методах Пфаффа в подсчете и комбинаторике
Недавно я изучал введение в голографические алгоритмы. Я столкнулся с некоторыми комбинаторными объектами, которые называются пфаффианцами. Я не очень много знаю о них на данный момент и натолкнулся на некоторые неожиданные способы их использования. Например, я узнал, что их можно использовать для эффективного подсчета количества идеальных совпадений на плоских графиках. …
2
Подсчет растворов формул Монотон-2CNF
Формула Monotone-2CNF - это формула CNF, в которой каждое предложение состоит ровно из двух положительных литералов. Теперь у меня есть Монотонный-2CNF формула . Пусть S будет множеством удовлетворяющих заданий F. У меня также есть оракул O, который может дать следующую информацию:FFFSSSFFFOOO Мощность множества (т. Е. Количество решений F ).SSSFFF Учитывая …
3
Сложность подсчета путей в графе
Дан ориентированный граф с n узлами, такими, что каждая вершина имеет ровно два исходящих ребра, и натуральное число N, закодированное в двоичном виде, две вершины s и t, Я хочу посчитать количество (не обязательно простых) путей от s до t в течение N шагов. Это # P-сложная проблема? Или вообще, …
2
Сложность подсчета всех связанных подграфов
Пусть G связный граф. Какова сложность подсчета всех связанных подграфов, если G имеет следующие типы? G является общим. Г плоская. G является двудольным. Я не забочусь о каких-либо структурах или ..., просто нужно сосчитать все связанные подграфы! Меня также интересует сложность подсчета всех связанных подграфов с ровно k узлами в …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.