Einige NP-harte Probleme, die in allgemeinen Graphen exponentiell sind, sind in ebenen Graphen subexponentiell, da die Baumbreite höchstens 4,9 √ beträgtund sie sind exponentiell in der Baumbreite.
Grundsätzlich interessiert mich, ob es subexponentielle Algorithmen für PLANAR SAT gibt, die NP-vollständig sind.
Sei eine CNF-Formel für Variablen und der te Satz ist .
Das Inzidenzdiagramm p. 5 von liegt auf Eckpunkten und Kanten wenn oder .
ist in PLANAR SAT, wenn der Inzidenzgraph planar ist.
Gibt es subexponentielle Algorithmen für PLANAR SAT in Bezug auf ?
Ich schließe die Möglichkeit nicht aus, SAT auf PLANAR SAT zu reduzieren, um dies zu ermöglichen, obwohl SAT immer noch exponentiell ist und aufgrund der Zunahme der Größe subexponentiell ist.