克里斯蒂安·科尔法;德米特里厄斯·德莫普洛斯。;圣米盖尔·阿吉雷，阿方索;Subramanian，德维卡;莫舍·瓦尔迪。 随机3-SAT：图变厚。 （英语） Zbl 1044.68746号 Dechter，Rina（编辑），约束编程的原理和实践-CP 2000。第六届国际会议，新加坡，2000年9月18日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41053-8）。莱克特。注释计算。科学。1894, 143-159 (2000). 摘要：本文对以下问题进行了实验研究：随机3-SAT的平均情况复杂度是如何依赖于密度的？是否存在复杂性从多项式转变为指数的相变？过渡是依赖于解算器还是独立于解算程序？为了研究这些问题，我们收集了大量随机3-SAT问题的中位数和平均运行时间，同时系统地改变了实例的密度和顺序。我们使用三种不同的完整SAT解算器，体现了非常不同的底层算法：GRASP、CPLEX和CUDD。我们观察到所有三个解算器的新相变，其中中值运行时间从多项式顺序转移到指数顺序。相变的位置似乎取决于溶剂。当GRASP和CUDD以约3.8的密度从多项式复杂度转变为指数复杂度时，CUDD在0.1到0.5的密度之间表现出这种转变。我们相信这些实验观察对于理解随机3-SAT的计算复杂性非常重要，并且可以用作开发3-SAT密度感知解算器的理由。有关整个系列，请参见[Zbl 0947.00041号]. 引用于6文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 软件：CUDD公司;CPLEX公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Coarfa}等人，Lect。注释计算。科学。1894143-159（2000年；Zbl 1044.68746） 全文： 链接