伊恩·P·根特。;托比·沃尔什 简单的问题有时很难解决。 （英语） Zbl 0824.68107号 Artif公司。智力。 70，编号1-2，335-345（1994）. 摘要：我们对随机生成的可满足性问题实例的易-硬-易相变进行了详细的实验研究。相变困难部分的问题已被广泛用于基准可满足性算法。这项研究表明，以前被认为容易的问题类别和相变区域有时比被认为难的问题类别或相变区域中最差的问题要难几个数量级。这些难题要么是硬不可满足问题，要么是在错误分裂后给出硬不可满足子问题的可满足问题。虽然这些难以满足的问题可能有简短的证明，但这些证明似乎很难找到，而其他证明又长又难。 引用于22文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：可满足性 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Gent}和\textit{T.Walsh}，Artif。智力。70，编号1--2，335--345（1994；Zbl 0824.68107） 全文： 内政部 参考文献： [1] 库克，S.A.，《定理证明过程的复杂性》，（第三届美国计算机学会计算理论研讨会论文集。第三届ACM计算理论研讨会会议论文集，纽约（1971）），151-158·Zbl 0363.68125号 [2] Cheeseman，P。；Kanefsky，B。；Taylor，W.M.，《真正困难的问题在哪里》，（《国际JCAI-91会议录》）。《IJCAI-91会议记录》，澳大利亚悉尼（1991），163-169·Zbl 0747.68064号 [3] 克劳福德，J.M。；Auton，L.D.，关于可满足性问题中交叉点的实验结果，（论文集AAAI-93。AAAI-93会议记录，华盛顿特区（1993年） [4] Davis，M。；Putnam，H.，量化理论的计算程序，J.ACM，7201-215（1960）·Zbl 0212.34203号 [5] Gent，I.P。；Walsh，T.，《简单的问题有时很难》（爱丁堡大学人工智能系研究论文642（1993））·Zbl 0824.68107号 [6] （ECAI-94程序。ECAI-94会议记录，阿姆斯特丹（1994年）·Zbl 0823.68006号 [7] Gent，I.P。；Walsh，T.，《最难的随机SAT问题》（第18届德国人工智能年会论文集。第18届德语人工智能年会刊，研究论文680（1994），爱丁堡大学人工智能系），也在 [8] Hogg，T。；Williams，C.P.，《最难的约束问题：双相变》，Artif。整数。，69, 359-377 (1994) ·Zbl 0938.68826号 [9] 胡克，J.N。；Fedjki，C.，命题逻辑中推理问题的分支与切割解法，《数学年鉴》。AI，1123-139（1990）·Zbl 0878.68065号 [10] Jeroslow，R.E。；王杰，解决命题可满足性问题，《数学年鉴》。AI，1167-187（1990）·Zbl 0878.68107号 [11] Larrabee，T。；Tsuji，Y.，随机3CNF配方奶粉可满足性阈值的证据，（技术报告UCSC-CRL-92-42（1992），加州大学：加州大学圣克鲁斯分校） [12] Mitchell博士。；塞尔曼，B。；Levesque，H.J.，SAT问题的难易分布，（会议记录AAAI-92。诉讼程序AAAI-92，加利福尼亚州圣何塞（1992）） [13] Purdom，P.W。；Brown，C.A.，《纯文字规则和多项式平均时间》，SIAM J.Compute。，943-953年4月14日（1985年）·Zbl 0575.68060号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。