Запитання з тегом «counting-complexity»

За http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Якщо є PSPACE-повний мову, Р = N P A .АAAПА= NПАPA=NPAP^{A}=NP^{A} Якщо - детермінований оракул полінома-часу, P B ≠ N P B (якщо вважати P ≠ N P ).БBBПБ≠ NПБPB≠NPBP^{B}\ne NP^{B}П≠ NПP≠NPP\ne NP - клас аналогів задач рішення для # P і P ⊆ P P ⊆ P …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

У мене є частина спроби підтвердження . Спроба доказування полягає у скороченні Карпа від -повної проблеми 3-РЕГУЛЯРНОГО ВЕРТЕКСНОГО ПОКРИТТЯ до SAT.⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus З огляду на кубічний графік , скорочення виводить формулу CNF, що має обидві наступні властивості:GGGFFF FFF має не більше задовольняючого завдання.111 FFF задовольняється тоді і …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

У формулі CNF, що читається двічі протилежно, кожна змінна з’являється двічі, один раз позитивна та один раз негативна. Мене цікавить проблема , яка полягає в обчисленні паритету кількості задовольняючих завдань читання вдвічі протилежної формулі CNF.⊕ Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Я не зміг знайти жодної згадки про складність такої проблеми. Найближче мені вдалося знайти, …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

Для поліноміальної локальної проблеми пошуку ми знаємо, що принаймні одне рішення (локальний оптимум) повинно існувати. Однак може існувати набагато більше рішень, наскільки важко підраховувати кількість рішень для проблеми, заповненої PLS? Мене особливо цікавить проблема вирішення: чи має примірник цієї проблеми, повний PLS, два чи більше рішення? Чи залежить складність від …

11 cc.complexity-theory  counting-complexity  gt.game-theory 

Я думаю, це буде називатися # P-Space, але я знайшов лише одну статтю, тумано згадуючу про це. Як щодо рахункової версії проблем EXP-TIME-Complete, NEXP-Complete, а також проблем EXP-SPACE-Complete? Чи є якась попередня робота, яку можна навести стосовно цього чи будь-якого типу включення чи виключення, наприклад, теорема Тоди?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Що відомо про фазовий перехід у проблемах # P-Complete? Зокрема, чи існує різний фазовий перехід для # DNF-k-SAT та # CNF-k-SAT? Оновлення: Як ми знаємо, у Random k-SAT є фазовий перехід, коли вирішення проблеми переходить від простого до важкого і знову до легкого. Я хотів би знати, чи існує таке …

11 cc.complexity-theory  counting-complexity  phase-transition 

КОРОТКЕ ЗАПИТАННЯ: Чи MAJ-3CNF є проблемою повного ПП при скороченні багато-одного? ДОВІЖНА ВЕРСІЯ: Загальновідомо, що MAJSAT (вирішуючи, чи задовольняє більшість присуджень пропозиційного речення вирок) є повним рівнем PP при скороченні багатьох-один, а #SAT є # P-повним при парсимонічних скороченнях. Очевидно також, що # 3CNF (тобто #SAT обмежений формулами 3-CNF) є …

10 counting-complexity  complexity  probabilistic-complexity 

Мене цікавить наступна проблема. Нам в якості введення подається "цільова перестановка" , а також упорядкований список індексів i 1 , ... , i m ∈ [ n - 1 ] . Потім, починаючи зі списку L = ( 1 , 2 , … , n ) (тобто перестановка тотожності), на …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

Я переглядав насіннєвий документ Ле Валіанта, і мені було важко з пропозицією 4.3 на сторінці 10 статті. Я не можу зрозуміти, чому так, якщо є генератор з певними значеннями для з основою { ( a 1 , b 1 ) … ( a r , b r ) } , …

10 ds.algorithms  counting-complexity  survey 

Це питання виникло в мене на думці, прочитавши статті Андраса Саламона та Коліна МакКіллана до мого попереднього питання « Підрахунок рішень формул Monotone-2CNF» . EDIT 30 - го березня 2011 року Додана питання п ° 2. EDIT 29 - го жовтня 2010 р Питання перефразувати після пропозиції Андраш формалізувати його …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Розглянемо класичну проблему # P-завершення №3SAT, тобто підрахуємо кількість оцінок, щоб скласти 3CNF з нnnзмінні, що задовольняються Мене цікавить адитивна наближеність. Зрозуміло, що існує тривіальний алгоритм, якого потрібно досягти2n - 12n−12^{n-1}-помилка, але якщо k &lt;2n - 1k&lt;2n−1k<2^{n-1}, чи можливо мати ефективний алгоритм наближення, або ця проблема також є # P-жорсткою?

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

Гомоморфізм з графа в графі є відображенням від до таке , що якщо і є суміжними в , то і суміжні в . Ендоморфізм графа є гомоморфизмом з до себе; вона є фіксованою без точки, якщо немає такою, що і нетривіальна, якщо вона не тотожність.G=(V,E)G=(V,E)G = (V, E)G′=(V′,E′)G′=(V′,E′)G' = (V', …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

Розглянемо формулу Monotone 3CNF, що має обидва наступні додаткові обмеження: Кожна змінна відображається точно 222 пункти. Дано будь-яке 222 пункти, вони поділяють максимум 111 змінна. Мені хотілося б знати, як важко підраховувати задовольняючі завдання такої формули. Оновлення 06.04.2013 12:55 Я також хотів би знати, як важко визначити паритет кількості задовольняючих …

9 cc.complexity-theory  sat  counting-complexity 

Дозволяє G = ( V, Е)G=(V,E)G = ( V, E )бути графіком. Дозволяєk ≤ | V|k≤|V|k \leq |V|бути цілим числом. ДозволяєОкOkO_k - кількість крайових підграфів ГGG маючи кkkвершин і непарна кількість ребер. ДозволяєЕкEkE_k - кількість крайових підграфів ГGG маючи кkkвершин і парної кількості ребер. ДозволяєΔк=Ок-ЕкΔk=Ok−Ek\Delta_k = O_k - E_k. Проблема …

9 ds.algorithms  graph-theory  graph-algorithms  counting-complexity 

У попередньому запитанні Параметризований алгоритм пошуку бікліків я запитав, чи існують швидкі параметризовані алгоритми для знаходження -biclique в вершинному графіку і дізнався, що він відкритий, якщо це FPT wrt . Те ж саме вірно і для підрахунку в -bicliques, або відомо , що це # -Жорсткий WRT (або який -небудь …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity