Alguns problemas difíceis de NP que são exponenciais em gráficos gerais são subexponenciais em gráficos planares porque a largura da árvore é no máximo e eles são exponenciais na largura da árvore.
Basicamente, estou interessado se existem algoritmos subexponenciais para o PLANAR SAT, que é NP-completo.
Seja uma fórmula CNF nas variáveis e a ésima cláusula é .x i i c i
O gráfico de incidência p. 5 de está nos vértices e arestas se ou .ϕ V ( G ) = { x i } ∪ { c i } ( x i , c i ) x i ∈ c i ¬ x i ∈ c i
está em PLANAR SAT se o gráfico de incidência for plano.
Existem algoritmos subexponenciais para o PLANAR SAT em termos de ?
Não excluo a possibilidade de reduzir SAT para PLANAR SAT para tornar isso possível, embora SAT ainda seja exponencial e seja subexponencial por causa do aumento no tamanho.