求解多文字可满足SAT问题的置信传播算法

可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得合取范式公式中每个子句至少有一个文字为真.多文字可满足SAT问题是指:是否存在一组布尔变元赋值,使得CNF公式中每个子句至少有两个文字为真.显然,此问题仍然是一个NP难问题.为了研究解决多文字可满足SAT问题的算法,引入随机实例产生模型,设计求解多文字可满足SAT问题的置信传播算法.最后,用实例模型产生了大量数据进行实验验证,结果表明:该算法求解多文字可满足SAT问题的性能优于其他启发式算法.     

建筑文化与社区文明、家庭文明

建筑是物质文明和精神文明的载体。从精神文化的视角来分析，建筑其实是构成当今时代精神文明的重要组成部分，和谐的社区文化建设和家庭伦理构建，需要与之相适应的建筑物作载体，指导这种建筑物建设的，是与时代相适应的建筑文化、建筑思想。因此建立新的时代要求相统一的建筑文化在当前具有重要的意义。     

基于K维结构熵的调查传播算法收敛性分析

信息传播算法在可满足性（SAT）问题上性能表现优越,其收敛性却依赖于因子图的结构复杂程度,至今缺少系统的理论解释。调查传播算法（SP）是解决SAT问题效果最好的信息传播算法。为有效分析SP算法的收敛性,借助因子图转换技术和鲁汶算法划分因子图社区,基于K维结构熵理论,提出了SAT实例的K维结构熵度量模型,得出了随机SAT实例的K维结构熵。分析了SP算法收敛性与K维结构熵之间的关系,给出了SP算法收敛性的K维结构熵阈值。实验证明该方法有效。