Questions tagged «hard-instances»

3
是否存在最困难的DCFL?
Greibach著名定义的语言,所谓的非确定性版本的d 2,使得任何CFL是的逆的Morphic图像ħ。DCFL是否存在类似的陈述,可能对允许的词素有一些限制?HHHd2D2D_2HHH (参见,例如,M。Autebert,J。Berstel和L. Boasson。上下文无关的语言和下推自动机。在R. Rozenberg和A. Salomaa中,《形式语言手册》第一卷,第3章。Springer Verlag ,1997年。)

2
随机3-SAT的树宽和实例硬度之间有什么关系?
这篇来自FOCS2013的最新论文是Gaspers 和Szeider 撰写的《Strong Backdoors to Bounded Treewidth SAT》,讨论了SAT子句图的树宽与实例硬度之间的联系。 对于随机的3-SAT,即随机选择的3-SAT实例,子句图的树宽与实例硬度之间的相关性是什么? 可以将“实例硬度”视为“对于典型的SAT求解器来说很困难”,即运行时间。 我正在寻找理论或经验风格的答案或参考。据我所知,似乎没有对此的经验研究。我知道构建SAT子句图有一些不同的方法,但是这个问题并不集中在区别上。 一个自然密切相关的问题是子句图的树宽如何与3-SAT相变相关。


3
为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)
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.