登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
SLS算法求解平衡正则(k,2r)-CNF公式
  • 摘要

    可满足性问题的求解算法和结构性质研究是计算机科学中重要问题之一,为寻求某些CNF公式子类问题有效算法或算法改进途径,对公式的结构加以某些限制,其中限定子句长度为恒定常数和变元出现次数是常见的处理方式.研究具有正则结构且每个变元正负出现均衡的结构化公式的可满足性问题求解,其随机生成模型的构建及随机实验测试有助于观察解分布状况.并且,随机局部搜索算法在求解具有一定规则结构CNF公式实例中具有良好效率.本文集中研究平衡正则(k,2r)-CNF公式的求解问题,即限制每个子句的长度为k,每个变元出现的次数为偶数2r,并且每个变元正负出现的次数在相等情况下的可满足性问题求解.给出BR(n,k,2r)模型,以此模型来生成具有特殊结构的平衡正则(k,2r)-CNF公式实例,利用随机局部搜索算法求解问题.通过限制初始指派的0文字和1文字各占一半且均匀生成,以WalkSAT算法和NSAT算法做实验对比,发现对于平衡正则(k,2r)-CNF公式,实例具有明显效率.

  • 作者

    李梓齐  许道云  LI Zi-qi  XU Dao-yun 

  • 作者单位

    贵州大学计算机科学与技术学院,贵州 贵阳,550025

  • 刊期

    2019年1期 ISTIC

  • 关键词

    SAT问题  正则CNF公式  随机局部搜索  WalkSAT算法  NSAT算法 

相似文献 查看更多>>
34.226.244.70