3-SAT NPハードの「ローカル」バージョンはありますか？
以下は、空間ベイジアンネットワークに関する大規模な研究プロジェクトの一部を簡略化したものです。 変数が出現する最初の句と最後の句の間により少ない句がある場合、文字列変数が " -local" であるとします（は自然数）。kkkC∈ 3 -cnfC∈3-CNFC \in 3\text{-CNF}kkkkkk ここで、任意のに対して、すべての変数という基準によって定義されたサブセットある -local。何のためである（もしあれば） NP困難？（3 、K ）-LSAT ⊆ 3 -SAT(3,k)-LSAT⊆3-SAT(3,k)\text{-LSAT} \subseteq 3\text{-SAT}C∈ （3 、k ）-LSATC∈(3,k)-LSATC \in (3,k)\text{-LSAT}CCCkkkkkk(3,k)-LSAT(3,k)-LSAT(3,k)\text{-LSAT} これが私がこれまでに検討したことです： （1）がPであることを意味するものとして書き直し、これらの意味の有向グラフ上の有向パスを調べることにより、ここに記され、詳細はpp.184-に示されています。 Papadimitriouの計算の複雑さの185 ）。とは異なり、には有向パスの分岐がありますが、有向パスの数は変数の空間的制約によって制限されている可能性があります。これまでのところこれで成功はありません。2-SAT2-SAT2\text{-SAT}2-SAT2-SAT2\text{-SAT}(3,k)-LSAT(3,k)-LSAT(3,k)\text{-LSAT} （2）（または他の既知のNP完全問題）のへの多項式時間短縮。たとえば、新しい変数を導入するさまざまな方法を試しました。ただし、元の変数を含む句をまとめるには、通常、新しい変数を含む追加の句の「チェーン」をドラッグする必要があり、これらは他の変数の空間制約に干渉します。3-SAT3-SAT3\text{-SAT}(3,k)-LSAT(3,k)-LSAT(3,k)\text{-LSAT}xkxkx_k きっと私はここで新しい領域にいるわけではない。削減できる既知のNP困難な問題はありか、それとも空間的な制約により問題が難しくなることはありませんか？(3,k)-LSAT(3,k)-LSAT(3,k)\text{-LSAT}