Planar 3-SATの定義

結果について何が混乱しましたか？

一部の人が言うように、私はさまざまな定義を見ています：句とリテラルの間の2部グラフは平面でなければなりません（リテラルではx_iのみ、またはx_iとその否定の両方を意味するのかわかりません、つまり、それらが何であるかわかりませんガジェットグラフはここにありますか？）。他には、2つのタイプを定義するものがあります。句とリテラルの間の二部エッジのみ、またはこれらのプラス（x_i、〜x_i）。あるいは、上記のグラフに（x_i、x_ {i + 1}）を加えたものは何ですか？それに掲載されたオリジナルの論文も見つけられませんか？基本的に私はそれのための完全な定義を持つ良いリファレンスを見つけることができませんか？

元の参照は次のとおりです。D。リヒテンシュタイン、「平面式とその使用」（1982）。しかし、まだNP完全な多くの小さなバリエーションがあります（それらのほとんどのNPC証明は簡単です）。

@Marzio De Biasiありがとうございます！ただし、このページに基づくと、平面3-SATは、リテラル（x_iだけが否定ではない）の句の間の2部グラフが平面である場合です。正しい？平面性を乱すことなく、それらの間にエッジを追加するだけで、x_iの否定も含めるというケースを簡単に結論付けることができます。

$x_i$$+x_i$$-x_i$