Wikipedia podaje przykłady problemów, w których liczenie wersji jest trudne, natomiast wersja decyzyjna jest łatwa. Niektóre z nich liczą doskonałe dopasowania, licząc liczbę rozwiązań SAT i liczbę sortowań topologicznych.
Czy są jeszcze jakieś inne ważne klasy (powiedzmy przykłady z sieci, drzew, teorii liczb i tak dalej)? Czy istnieje kompendium takich problemów?
Istnieje wiele rodzajów problemów w które mają wersje z zliczaniem.# P
Czy istnieje wersja z naturalnym problemem w , który jest bardziej lub całkowicie zrozumiałym prostszy niż ogólna dwustronnego idealnego dopasowania (proszę podać szczegóły na temat dlaczego prostsze, takie jak bycie provably w najniższych klas -hierarchy i tak dalej), w innej strefie (takich jak teoria liczb, sieci) lub przynajmniej dla konkretnych prostych wykresów dwustronnych, których wersja zliczania jest ?# P
Docenione zostaną przykłady z sieci, polytopów, liczenia punktów, teorii liczb .
Odpowiedzi:
Oto naprawdę doskonały przykład (mogę być stronniczy).
Biorąc pod uwagę częściowo uporządkowany zestaw:
a) czy ma rozszerzenie liniowe (tj. Całkowite zamówienie zgodne z porządkiem częściowym)? Trywialne: Wszystkie zestawy mają co najmniej jedno rozszerzenie liniowe
b) Ile ma? # P-complete, aby to ustalić (Brightwell i Winkler, Counting Linear Extensions , Order, 1991)
c) Czy możemy je wszystkie szybko wygenerować? Tak, w stałym zamortyzowanym czasie (Pruesse i Ruskey, Szybkie generowanie rozszerzeń liniowych , SIAM J Comp 1994)
źródło
Ciekawym przykładem teorii liczb jest wyrażenie dodatniej liczby całkowitej jako sumy czterech kwadratów. Można to zrobić stosunkowo łatwo w losowym czasie wielomianowym (patrz mój artykuł z Rabinem z 1986 r. Na stronie https://dx.doi.org/10.1002%2Fcpa.3160390713 ), a jeśli dobrze pamiętam, teraz jest nawet deterministyczny czas wielomianowy rozwiązanie. Ale policzenie liczby takich reprezentacji pozwoliłoby obliczyć funkcję sumy dzielników , która jest losowym wielomianowym czasem równoważnym faktorowaniu . Problem liczenia jest więc prawdopodobnie trudny.nσ(n) n
źródło
Bardzo ładnym i prostym przykładem z teorii grafów jest zliczanie obwodów eularskich na niekierowanym wykresie.
Wersja decyzyjna jest łatwa (... a problem Siedmiu Mostów Królewskich nie ma rozwiązania :-)
Wersja liczenie jest # P-hard: Graham R. Brightwell Piotr Winkler: Liczenie Eulera Circuits jest # P-Complete . ALENEX / ANALCO 2005: 259–262
źródło
Jeśli chodzi o twoje drugie pytanie, problemy takie jak Monotone-2-SAT (decydujące o spełnianiu formuły CNF posiadającej co najwyżej 2 literały pozytywne według klauzul) są całkowicie trywialne (musisz tylko sprawdzić, czy twoja formuła jest pusta, czy nie), ale problem liczenia to # P-trudny. Nawet przybliżenie liczby spełniających zadania takich formuł jest trudne (patrz O twardości przybliżonego rozumowania, Dan Roth, Artificial Intelligence, 1996).
źródło
From [Kayal, CCC 2009] : Jawna ocena wielomianów anihilujących w pewnym momencie
Ze streszczenia: `` Jest to jedyny naturalny problem obliczeniowy, w którym określenie istnienia obiektu (w naszym przypadku wielomian anihilujący) może być wykonane skutecznie, ale rzeczywiste obliczenie obiektu jest trudne. ''
Niech będzie pola i → F = ( f 1 , . . . , K k ) ∈ F [ x 1 , . . . , X n ] jest zestaw K to wiele stopnio d n -variate wielomianów ponad F . → F -annihilating Wielomian może być dowolny (nietrywialnym) st ( f 1 , . .F f⃗ =(f1,...,fk)∈F[x1,...,xn] k d n F. f⃗ A A(f1,...,fk)=0.
Decyzja jest łatwe: Przez dowolne pole, a za wielomianów ( f 1 , . . . , K k ) - jeśli k ≥ n + 1 , jest taka anihilujący do ( f 1 , . . . , K k ) . ((Za pomocą argumentu zliczającego wymiary.))k (f1,...,fk) k≥n+1, A (f1,...,fk)
Zliczanie jest trudne: Określanie unicestwiania-EVAL jako funkcjonalny problemu oceniając wielomianu niwecząc w pewnym momencie : względu głównym a zestaw ( f 1 , . . . , K k ) ∈ Z [ x 1 , . . . , X n ] , które mają minimalny monic unicestwiania A ( T : 1 , . . . , T k ) ∈ Zp, (f1,...,fk)∈Z[x1,...,xn] wyjście całkowitą ( 0 , . . . , 0 ) mod p .A(t1,...,tk)∈Z[t1,...,tk], A(0,...,0)modp.
ANNIHILATING-EVAL to twardy. Co więcej, anihilujący wielomian nie ma reprezentacji małego obwodu, chyba że zawali.#P p HA(t1,...,tk) PH
źródło