Złożoność liczenia prostych ścieżek na ukierunkowanym wykresie

16

Niech sol będzie cyfrą (niekoniecznie DAG) i niech . Co jest złożoność zliczania liczby prostych ścieżek . s,tV.(sol) s-tsol

Spodziewałbym się, że problemem będzie # -kompletny, ale nie udało mi się znaleźć dokładnego odwołania. P.

Zauważ również, że na wiele podobnych pytań udzielono poprawnych odpowiedzi tutaj i gdzie indziej, ale nie na to dokładne pytanie - aby podkreślić, że nie jestem zainteresowany liczeniem spacerów i / lub niekierowanych wykresów (w pierwszym przypadku wariant znajduje się w i w drugim # -hard).P.P.

SamiD
źródło
Kompletność # P dotyczy nawet grafów bezkierunkowych , co zostało omówione wcześniej. Być może bardziej interesujące byłoby pytanie, czy wiadomo, że jest to twardy . ZAP.X
RB

Odpowiedzi:

19

Dowód kompletności # P zliczania prostych ścieżek st na wykresach niekierowanych i ukierunkowanych można znaleźć w:

Leslie G. Valiant: Złożoność problemów z liczeniem i rzetelnością . SIAM J. Comput. 8 (3): 410–421 (1979)

Z gazety:





sol;s,tV.
st

Marzio De Biasi
źródło