Beberapa masalah NP-hard yang eksponensial pada grafik umum adalah subeksponensial pada grafik planar karena treewidth paling banyak dan mereka eksponensial dalam treewidth.
Pada dasarnya saya tertarik jika ada algoritma subeksponensial untuk PLANAR SAT yang NP-complete.
Biarkan menjadi rumus CNF pada variabel dan klausa ke- adalah .
The grafik kejadian p. 5 dari adalah pada simpul dan tepi IFF atau .
ada di PLANAR SAT jika grafik insiden adalah planar.
Apakah ada algoritma subeksponensial untuk PLANAR SAT dalam hal ?
Saya tidak mengecualikan kemungkinan pengurangan SAT ke PLANAR SAT untuk membuat ini mungkin, meskipun SAT masih eksponensial dan subeksponensial karena peningkatan ukuran.