3- SAT阈值上界解的非一致选择
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold
摘要：
我们给出了一个新的见解3-SAT阈值的上界的一阶矩方法。到目前为止，最好的标准来选择要计算的解决方案，区分相邻的解决方案的基础上，统一的信息，每个单独的自由变量。我们所说的均匀信息是指不依赖于解的信息：例如，所考虑的变量的正/负出现的次数。我们的方法的新之处在于我们使用了关于变量的非均匀信息。因此，我们能够进行更精确的调整，从而略微改善了由其分布定义的各种公式模型的3-SAT阈值的上限。
英文摘要：
We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discriminate among neighboring solutions on the basis of uniform information about each individual free variable. What we mean by uniform information, is information which does not depend on the solution: e.g. the number of positive/negative occurrences of the considered variable. What is new in our approach is that we use non uniform information about variables. Thus we are able to make a more precise tuning, resulting in a slight improvement on upper bounding the 3-SAT threshold for various models of formulas defined by their distributions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
