为SAT嵌入解决方案是否可行？
我对NP完全问题的“困难”个体实例感兴趣。 Ryan Williams 在Richard Lipton的博客中讨论了SAT0问题。SAT0询问SAT实例是否具有由全0组成的特定解决方案。这让我开始思考构造可能“困难”的SAT实例。 考虑一个SAT实例与米条款和ñ变量，其中α = 米/ Ñ是“足够大”，因为它属于超越了相变，其中几乎所有的情况下都不可满足的区域感。设X是一个随机分配的值φ。ϕϕ\phimmmnnnα=m/nα=m/n\alpha = m/nxxxϕϕ\phi 是否可以修改以获取新实例ϕ | x，所以ϕ | X是“基本上相似” φ，但让X是一个令人满意的分配新建分配FY φ | X？ϕϕ\phiϕ|xϕ|x\phi|xϕ|xϕ|x\phi|xϕϕ\phixxxϕ|xϕ|x\phi|x 例如，可以尝试向解决方案中的每个子句添加一个随机选择的文字，该文字尚未出现在该子句中。这将保证是一个解。xxx 还是这种无望的方法，导致了一种快速的算法，可以按照以下最新论文的思路找到“隐藏”的解决方案？ Uriel Feige和Dorit Ron，在线性时间中发现隐藏的集团，DMTCS proc。上午，2010，189-204。 我知道Cook和Mitchell的讨论以及他们所引用的工作。但是，当人们试图将令人满意的赋值明确地嵌入到公式中时，我什么都找不到。如果这是民间传说，那么指针将是非常受欢迎的！ Stephen A. Cook和David G. Mitchell，“ 发现可满足性问题的难例：一项调查，离散数学和理论计算机科学的DIMACS系列” 35 1–17，AMS，ISBN 0-8218-0479-0，1997年。（PS）