Co wiadomo na temat przejścia fazowego w problemach # P-Complete? W szczególności, czy istnieje inne przejście fazowe dla # DNF-k-SAT i # CNF-k-SAT?
Aktualizacja:
Jak wiemy, w Random k-SAT występuje przejście fazowe, w którym rozwiązanie problemu staje się łatwe i trudne. Chciałbym również wiedzieć, czy istnieje takie zjawisko w przypadku problemów z # P-Complete. Co ważniejsze, jeśli istnieje przejście fazowe, czy to samo dla # CNF-k-SAT i # DNF-k-SAT?
Myślę, że dla # CNF-k-SAT istnieje pewien rodzaj przejścia fazowego. Z drugiej strony nie wydaje mi się, że dla # DNF-k-SAT występuje przejście fazowe i problem staje się trudniejszy, gdy dodajemy więcej klauzul ...
11
Odpowiedzi:
Do zliczania zestawów niezależnych istnieje najnowszy dowód na obliczeniowe przejście fazowe, autorstwa Allana Sly'ego: http://arxiv.org/abs/1005.5584 (algorytm opracowany przez Drora Weitza z 2006 r .; Allan udowodnił, że jest dopasowany do twardości i został zwycięzcą najlepsza nagroda papierowa w FOCS'10 za to)
Zauważ, że dla losowych 3SAT i podobnych problemów nie ma dowodów, że problemy te są rzeczywiście trudne w odpowiednim przedziale. Kiedy przejdziesz do trudniejszych problemów z liczeniem, łatwiej będzie udowodnić twardość.
źródło