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

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

1
Подсчитайте количество связующих деревьев быстро
t(G)t(G)t(G)GGGnnnt(G)t(G)t(G)O(n3)O(n3)O(n^3)QGJ11n2det(J+Q)1n2det(J+Q)\frac{1}{n^2} \det(J + Q)QQQGGGJJJ111 Интересно, есть ли способ вычислить t(G)t(G)t(G) быстрее. (Да, есть более быстрые, чем O(n3)O(n3)O(n^3) алгоритмы для вычисления определителя, но меня интересует какой-то новый подход.) Он также заинтересован в рассмотрении специальных семейств графов (может быть, планарных). Например, для циркулянтных графов t(G)t(G)t(G) может быть вычислено в O(nlgn)O(nlg⁡n)O(n \lg n) …
3
Подсчет количества простых путей в неориентированном графе
Как я могу определить количество уникальных простых путей в неориентированном графе? Либо для определенной длины, либо диапазона приемлемых длин. Напомним, что простой путь - это путь без циклов, поэтому я говорю о подсчете количества путей без циклов.
1
Какова сложность подсчета случайных 2-SAT?
Была ли проделана какая-либо работа над тем, как сложность случайных экземпляров # 2-SAT зависит от плотности предложения? То есть: как изменяется сложность подсчета удовлетворяющих решений для случайно сгенерированного экземпляра 2-SAT , когда меняется плотность предложений? В частности, известны ли какие-либо строгие результаты, касающиеся критических порогов? Конечно, поскольку 2-SAT ∈ P …
1
Каковы # P-полные подсемейства # 2-SAT?
Укороченная версия. Первоначальное доказательство того, что # 2-SAT является #P -завершенным, фактически показывает, что экземпляры # 2-SAT являются монотонными (без учета отрицаний каких-либо переменных) и двудольными (график, образованный предложениями над Переменный является двудольным графом) являются #P -Жесткими. Таким образом, два случая # 2-ТОН-SAT и № 2-двудольный-SAT является #P -Жестким. Существуют …
1
Аппроксимация для подсчета количества простых
Мне сказали, что есть несколько хороших алгоритмов полиномиального времени для аппроксимации числа простых путей в ориентированном графе от заданной начальной вершины до заданной конечной вершины t . Кто-нибудь знает хорошую ссылку на эту тему?sssTTt Справочная информация: подсчет точного числа путей в общем графе # P-полон, но для задачи могут существовать …
1
Сложность подсчета простых путей в ориентированном графе
Пусть орграф (не обязательно DAG) и . Что является сложность подсчета количества простой путей в . GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-tGGG Я ожидал бы, что проблема будет # -полной, но не смог найти точную ссылку. PP{\mathsf P} Также обратите внимание, что на ряд похожих вопросов были даны правильные ответы здесь и …
2
Сложность подсчета количества краевых покрытий графа
Край крышки представляет собой подмножество ребер графа, что каждая вершина графа смежна по крайней мере , одного края крышки. В следующих двух статьях говорится, что подсчет краевых покрытий является # P- полным: Простая FPTAS для подсчета краевых покрытий и генерации краевых покрытий для графов путей . Однако, если я что-то …
2
Линейное диофантово уравнение в неотрицательных целых числах
Существует очень мало информации, которую я могу найти по NP-полной задаче решения линейного диофантового уравнения в неотрицательных целых числах. То есть, есть решение в неотрицательном к уравнению 1 х 1 + 2 х 2 + . , , + a n x n = b , где все константы положительны? …
1
Графовые разложения для объединения «локальных» функций маркировки вершин
ΣИксΠi j ∈ Eе( хя, хJ)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)МаксимумИксΠi j ∈ Eе( хя, хJ)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Где max или сумма берется по всем меткам VVV , произведение берется по всем ребрам ЕEE для графа G = { V, E}G={V,E}G=\{V,E\} а еff - произвольная функция. Эту величину легко …
3
Подсчет количества гамильтоновых циклов в кубических гамильтоновых графах?
Это -трудного найти постоянный коэффициент приближение длинного цикла в кубических гамильтоновых графах. Кубические гамильтоновы графы имеют как минимум два гамильтоновых цикла.NпNпNP Каковы наиболее известные верхняя и нижняя границы числа гамильтоновых циклов в кубических гамильтоновых графах? Учитывая кубический гамильтонов граф, какова сложность нахождения числа гамильтоновых циклов? Это # -hard?ппP
1
Можно ли эффективно равномерно выбрать соседа вершины в графе многогранника?
У меня есть многогранник определенный как .PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Вопрос: Учитывая вершину из P , есть ли алгоритм полиномиального времени для равномерной выборки из соседей v в графе P ? (Многочлен в измерении, число уравнений и представление б . Я могу предположить, что число …
1
Выборка равномерно случайного удовлетворяющего задания
Проблема: Учитывая представленный булевой схемой, генерируем равномерно случайный x ∈ { 0 , 1 } n такой, что ϕ ( x ) = 1 (или выводим ⊥, если таких нет х существует). ϕ : { 0 , 1 }N→ { 0 , 1 }φ:{0,1}N→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { …
2
Выше #P и подсчета поисковых проблем
Я читал статью в Википедии о проблеме восьми королев. Установлено, что не существует известной формулы для точного числа решений. После некоторых поисков я нашел статью под названием «О сложности подсчета проблем полных отображений». В этой статье есть проблема, показанная не более, чем #queens, которая выходит за пределы #P. Если взглянуть …
4
Является ли eta-эквивалентность для функций совместимой с операцией seke в Haskell?
Лемма: Предполагая, что эта эквивалентность у нас есть (\x -> ⊥) = ⊥ :: A -> B. Доказательство: ⊥ = (\x -> ⊥ x)по eta-эквивалентности и (\x -> ⊥ x) = (\x -> ⊥)по сокращению под лямбду. В отчете Haskell 2010, раздел 6.2, seqфункция определяется двумя уравнениями: seq :: a …
2
Вопрос к # P-полному доказательству перманента от Ben-Dor / Halevi
В статье Бен-Дор / Галеви [1] приводится еще одно доказательство того, что перманент является -завершенным. В более поздней части статьи они показывают цепочку сокращений то время как постоянное значение сохраняется вдоль цепи. Так как число постоянных назначений формулы 3SAT может быть получено из постоянного значения, достаточно вычислить постоянный из конечной …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.