膨胀图论文

带随机步的可满足性算法
论文摘要满足性问题是研究如何判定一个任意给定的逻辑表达式是否存在可满足真值指派,它是人工智能、计算理论和理论计算机科学中的最瞩目问题之一,它是第一个被证明的NP完全问题,在计算...
基于膨胀图的随机算法求解SAT问题
论文摘要膨胀图是有很好连通性的稀疏图。它的每一个不太大的结点集都有一个相对更大的邻接结点集,因此,要想使图不连通,需要切断许多边。由于膨胀图的这一特性,使得它在理论与实践中发挥...