SATにソリューションを組み込むことは可能ですか？
NP完全問題の「ハード」な個別インスタンスに興味があります。 Ryan Williams はRichard LiptonのブログでSAT0の問題について議論しました。SAT0は、SATインスタンスがすべて0で構成される特定のソリューションを持っているかどうかを尋ねます。これにより、「難しい」と思われるSATインスタンスの構築について考えました。 句と変数を持つSATインスタンスを考えます。は、ほとんどすべてのインスタンスが満たされない相転移を超えた領域に分類されるという意味で、「十分に大きい」です。ましょうの値にランダムに割り当て可能。φϕ\phiメートルmmんnnα = m / nα=m/n\alpha = m/nバツxxφϕ\phi それは、変更することは可能です新しいインスタンスを取得するには、そのため「主に似て」であるとが、そうすることをために満たすassigmentです？φϕ\phiϕ | バツϕ|x\phi|xϕ | バツϕ|x\phi|xφϕ\phiバツxxϕ | バツϕ|x\phi|x たとえば、各句に、ソリューションからランダムに選択されたリテラルを追加しようとすることができます。これは、が解であることを保証します。バツxx または、これは絶望的であり、次の最近の論文に沿って「隠された」ソリューションを見つけるための高速アルゴリズムにつながりますか？ Uriel FeigeおよびDorit Ron、線形時間で隠されたクリークを見つける、DMTCS proc。AM、2010、189〜204。 私はクックとミッチェルによる議論を知っていて、彼らが参照する仕事をしています。しかし、満足のいく代入式を明示的に埋め込もうとしたときに、式の構造がどうなるかについては何もわかりませんでした。これが民間伝承なら、ポインタは大歓迎です！ スティーブンA.クックとデビッドG.ミッチェル、充足可能性問題のハードインスタンスの発見：調査、離散数学および理論コンピューターサイエンスのDIMACSシリーズ35 1–17、AMS、ISBN 0-8218-0479-0、1997。（PS）