Niektóre problemy trudne NP, które są wykładnicze na grafach ogólnych, są sub wykładnicze na grafach płaskich, ponieważ szerokość wynosi co najwyżej i są wykładnicze w szerokości.
Zasadniczo jestem zainteresowany, czy istnieją algorytmy podwykładnicze dla PLANAR SAT, który jest NP-zupełny.
Niech być wzór nanowłókien węglowych o zmiennych x i i i -tym klauzula C I .
Wykres występowania s. 5 z ϕ jest na wierzchołkach V ( G ) = { x i } ∪ { c i } i na krawędziach ( x i , c i ) iff x i ∈ c i lub ¬ x i ∈ c i .
jest w PLANARZE SAT, jeśli wykres występowania jest płaski.
Czy istnieją algorytmy podwykładnicze dla PLANAR SAT pod względem ?
Nie wykluczam możliwości zredukowania SAT do PLANARU SAT, aby było to możliwe, chociaż SAT wciąż ma charakter wykładniczy, a jest subeksponcyjny z powodu wzrostu wielkości.
źródło
Odpowiedzi:
Możesz zastosować twierdzenie o separatorze planarnym wraz z programowaniem dynamicznym i uzyskać czas działania 2 O (2O(n√) n
Jeśli węzeł klauzuli jest duży, musisz być nieco bardziej sprytny - musisz zgadnąć, czy przypisać go do podproblemu po lewej czy po prawej stronie. Szczegóły takich rzeczy bywają nieporządne i nie są natychmiastowe, więc nie zamierzam podawać więcej szczegółów. Myślę, że oryginalne prace Liptona i Tarjana rozwiązały podobne problemy przy użyciu podobnych pomysłów, jeśli moja pamięć dobrze mi służy.
źródło