Запитання з тегом «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, які різні можливості щодо складності #B?
3
Складність перевірки наявності двох CNF однакової кількості рішень
Давши два CNF, якщо вони мають однакову кількість завдань, щоб зробити їх правдивими, відповідь "Так", інакше відповісти "Ні". Це легко помітити в , оскільки, якщо ми знаємо точну кількість рішень для цих двох CNF, ми просто розставляємо їх і відповідаємо "Так" або "Ні".P#PP#PP^{\#P} У чому полягає складність цієї проблеми?
2
Нижні межі на #SAT?
Проблема #SAT - це канонічна проблема P-завершення. Це проблема функції, а не проблема рішення. Він запитує, дано логічне значення формули в логіці висловлювань, скільки задовольняють завдання F має. Які найкращі нижчі межі на #SAT?FFFFFF
2
У чому складність Median-SAT?
Нехай - формула CNF з змінними та m застереженнями. Нехай t \ in \ {0,1 \} ^ n являє собою присвоєння змінної і f _ {\ varphi} (t) \ in \ {0, \ ldots, m \} підраховують кількість пропозицій, задоволених призначенням змінної \ варфі . Потім визначте Median-SAT як задачу …
2
Підрахунок кількості задовольняючих завдань у ПОЗИТИВНІЙ CNF-SAT
Ми знаємо, що проблема підрахунку кількості задовольняючих завдань у заданій загальній булевій формулі (CNF-SAT), заданій формулі DNF або навіть заданій формулі 2SAT є повною проблемою # P. Тепер розглянемо CNF-SAT без від'ємного прямого (ні , завжди A ). Проблема рішення дуже проста (встановіть всі змінні на TRUE і перевірте, чи …
1
Паритет-L проти NL
Parity-L, також відомий як L, - це набір мов, розпізнаваний недетермінованою машиною Тюрінга, яка може розрізняти лише парне число чи непарне число шляхів "прийняття". Нещодавно пов'язане питання було задано Ніль де Бодорап.⊕⊕\oplus Моє запитання таке: Чи знаємо ми, чи NL L? Або ці два класи вважаються незрівнянними?⊆⊆\subseteq ⊕⊕\oplus
1
Чи є підрахунок максимальних кліків у графі незрівнянності # P-повний?
Це питання мотивоване запитанням MathOverflow Peng Zhang . Валіант показав, що підрахунок максимальних кліків у загальному графіку є # P-повним, але що робити, якщо ми обмежимось графами незрівнянності (тобто ми хочемо порахувати максимальні античаїни у скінченному наборі)? Це питання видається досить природним, що я підозрюю, що воно було розглянуто раніше, …
6
Будь-яка алгоритмічна проблема має часову складність, в якій переважає підрахунок?
Те, що я називаю підрахунком, - це проблема, яка полягає у знаходженні кількості рішень функції. Точніше, задавши функцію f: N→ { 0 , 1 }f:N→{0,1}f:N\to \{0,1\} (не обов'язково чорний ящик), приблизний # { x ∈ N∣ f( х ) = 1 } = | f- 1( 1 ) |#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid …
4
Щодо методів Пфафафа в підрахунку та комбінаториці
Нещодавно я переглядав вступ до голографічних алгоритмів. Я натрапив на деякі комбінаторні об’єкти під назвою Пфаффі. На даний момент я не дуже знаю про них, і натрапив на дивовижні користі, які вони можуть застосувати. Наприклад, я дізнався, що вони можуть бути використані для ефективного підрахунку кількості ідеальних відповідностей у плоских …
2
Підрахунок розчинів формул Монотон-2CNF
Формула Monotone-2CNF - це формула CNF, де кожен пункт складається саме з 2 позитивних літералів. Тепер у мене формула Monotone-2CNF . Нехай - безліч задач , що задовольняють. У мене також є Oracle який може дати наступну інформацію:S F OЖFFSSSЖFFОOO Можливість множини (тобто кількість розв’язків ).FSSSЖFF Дано змінну : хxx …
3
Складність підрахунку контурів у графі
Дано спрямований графік з n вузлами, таким чином, що кожна вершина має рівно два вихідних ребра, і натуральне число N, закодоване у двійкові, дві вершини s і t, Я хочу порахувати кількість (не обов'язково простих) шляхів від s до t протягом N кроків. Це # Р-важка проблема? Або взагалі в …
2
Складність підрахунку всіх підключених підграфів
Нехай G - зв'язаний графік. Яка складність підрахунку всіх підключених підграфів, якщо G має такі типи? G загальний. G - планарний. G - двосторонній. Мені не цікаво жодних структур або ..., просто потрібно порахувати всі підключені підграграфи! Мене також цікавить складність підрахунку всіх пов'язаних підграфів з точно k вузлами у …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.