论文摘要
满足性问题是研究如何判定一个任意给定的逻辑表达式是否存在可满足真值指派,它是人工智能、计算理论和理论计算机科学中的最瞩目问题之一,它是第一个被证明的NP完全问题,在计算复杂性理论中起着很重要的作用。求解SAT问题一般分为完全算法和非完全算法两类。如果一个SAT实例有可满足解,完全算法能够找到可满足解,如果这个SAT实例无解,完全算法能给出所有解都是不可满足的证明,但需要花指数级时间;对于一个可满足的SAT实例,非完全算法一般都能以很高的概率找到其可满足解,虽然对一些满足解很少的SAT实例不能找到其满足解,但是非完全算法能在多项式时间内结束算法,所以非完全算法在实际应用中得到了广泛的应用。随机算法是求解SAT问题的一种重要的非完全算法,就是在算法中引入随机化,算法中根据随机数选择下一步的操作。随机算法的一般框架是随机地选取一个给定SAT实例的解,验证其是否满足,如果满足,算法结束;否则,就根据随机源所产生的随机数选择下一个解,直到找到一个满足解或者到t个解后算法结束。在随机算法中由随机源产生随机数,但真正的随机源很难得到,一般用伪随机数发生器来代替,这也是随机算法的一个致命弱点。改进的办法有两种:一种是改进伪随机数发生器;另一种是在不改变算法的性能的情况下,尽量减少伪随机数的产生,从而减少算法对随机位的依赖。本文研究的是后一种方法,在随机算法中引入膨胀图,利用膨胀图的性质去诱导算法中的随机步,减少算法中伪随机数的产生,进而减少算法对随机数的依赖和伪随机数对算法的影响。一般的随机算法中如果搜索t个解,随机搜索一个解需要n位伪随机码(n为给定SAT实例中的变元个数),总共需要tn位伪随机码;而在本文中的算法只需要n+(t-1)log2n位伪随机码,减少了算法中伪随机码的产生,降低了伪随机码对算法的影响。
论文目录
相关论文文献
- [1].算法:一种新的权力形态[J]. 治理现代化研究 2020(01)
- [2].算法决策规制——以算法“解释权”为中心[J]. 现代法学 2020(01)
- [3].面向宏观基本图的多模式交通路网分区算法[J]. 工业工程 2020(01)
- [4].算法中的道德物化及问题反思[J]. 大连理工大学学报(社会科学版) 2020(01)
- [5].算法解释请求权及其权利范畴研究[J]. 甘肃政法学院学报 2020(01)
- [6].算法新闻的公共性建构研究——基于行动者网络理论的视角[J]. 人民论坛·学术前沿 2020(01)
- [7].算法的法律性质:言论、商业秘密还是正当程序?[J]. 比较法研究 2020(02)
- [8].关键词批评视野中的算法文化及其阈限性[J]. 学习与实践 2020(02)
- [9].掌控还是被掌控——大数据时代有关算法分发的忧患与反思[J]. 新媒体研究 2020(04)
- [10].美国算法治理政策与实施进路[J]. 环球法律评论 2020(03)
- [11].算法解释权:科技与法律的双重视角[J]. 苏州大学学报(哲学社会科学版) 2020(02)
- [12].大数据算法决策的问责与对策研究[J]. 现代情报 2020(06)
- [13].大数据时代算法歧视的风险防控和法律规制[J]. 河南牧业经济学院学报 2020(02)
- [14].风险防范下算法的监管路径研究[J]. 审计观察 2019(01)
- [15].模糊的算法伦理水平——基于传媒业269名算法工程师的实证研究[J]. 新闻大学 2020(05)
- [16].算法推荐新闻对用户的影响及对策[J]. 新媒体研究 2020(10)
- [17].如何加强对算法的治理[J]. 国家治理 2020(27)
- [18].“后真相”背后的算法权力及其公法规制路径[J]. 行政法学研究 2020(04)
- [19].算法规制的谱系[J]. 中国法学 2020(03)
- [20].论算法排他权:破除算法偏见的路径选择[J]. 政治与法律 2020(08)
- [21].政务算法与公共价值:内涵、意义与问题[J]. 国家治理 2020(32)
- [22].算法的法律规制研究[J]. 上海商业 2020(09)
- [23].新闻算法分发对隐私权的冲击及规制[J]. 青年记者 2020(27)
- [24].算法如何平等:算法歧视审查机制的建立[J]. 南海法学 2020(02)
- [25].蚁群算法在文字识别中的应用研究[J]. 信息与电脑(理论版) 2019(22)
- [26].大数据聚类算法研究[J]. 无线互联科技 2018(04)
- [27].RSA算法的改进研究[J]. 计算机与网络 2018(14)
- [28].智能时代的新内容革命[J]. 国际新闻界 2018(06)
- [29].改进的负载均衡RSA算法[J]. 电脑知识与技术 2018(25)
- [30].基于深度学习的视觉跟踪算法研究综述[J]. 计算机科学 2017(S1)