非均匀选择解以改进3-SAT阈值上界
离散数学
2010-04-19 v3
摘要
我们通过第一矩方法对3-SAT阈值上界给出了新的见解。迄今为止，为选择待计数解而开发的最佳判据，基于关于每个自由变量的均匀信息来区分相邻解。我们所说的均匀信息，是指不依赖于解的信息：例如，所考虑变量的正/负出现次数。我们方法的新颖之处在于使用了关于变量的非均匀信息。因此，我们能够进行更精确的调整，从而针对由分布定义的各种公式模型，在3-SAT阈值上界方面实现了轻微改进。
引用
@article{arxiv.1002.1636,
title = {Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold},
author = {Thomas Hugel and Yacine Boufkhad},
journal= {arXiv preprint arXiv:1002.1636},
year = {2010}
}
备注
28 pages; presentation improved