科学网

 找回密码
  注册
投稿ACM TOCS
热度 2 姜咏江 2017-6-27 08:37
投稿 ACM TOCS 昨天将最终定稿的子句消去法论文投向了 ACM TOCS 。看看他们是否有定力能够对我的论文给出评价。我已经设计完成了 3-SAT 的子句消去法测试程序设计,经过我的多方检验没有问题。如果他们需要,我可以将测试程序寄给他们。其实,子句消去法程序在计算机上正确地运行,才具有可靠的说服力。 也 ...
个人分类: 子句消去法|4323 次阅读|6 个评论 热度 2
简单求3-SAT解DPLL方法与子句消去法比较
热度 1 姜咏江 2016-12-19 21:07
SAT 问题求解的 DPLL 算法是一种带回溯的深度优先搜索,其方法简单例子如下: a' b' c a' b' c a' b' c a' b' c a' b c' a' b c ...
个人分类: 子句消去法|5777 次阅读|4 个评论 热度 1
千禧难题P与NP问题(科普1)
姜咏江 2016-11-17 10:01
姜咏江 P与NP问题是美国克雷数学所2000年悬赏百万美元的七大世界难题之一。 1. 什么是 P 与 NP 问题? 下面这段话是从维基百科的 p 与 np 问题的绍中摘录的。 Inthistheory,theclass P consistsofall&n ...
个人分类: 子句消去法|4174 次阅读|没有评论
看看英文的反码是如何定义的
姜咏江 2016-11-13 13:46
看看英文的反码是如何定义的 姜咏江 要把我的文章翻译成英文,遇到反码这个词。在维基百科也未找到。找了半天好像找了一个最全的: · baseminusone'scomplement · ...
个人分类: 子句消去法|5829 次阅读|没有评论
子句消去法求3-SAT满足解的练习题
姜咏江 2016-10-20 09:12
这是我在研究子句消去法求3-SAT满足解的部分验证题,具体是否有解可以运用子句消去法检验一下,从这些题目中可以确认子句消去法的正确性。给出这些练习是为了减少朋友们的工作。 3SAT求解.xls 4sat4.xls 10Book2.xls 100.xls Boo2.xls Book1.xls Book2.xls Book3.xls Book4.xls Book5.xls ...
个人分类: 子句消去法|2182 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-10-5 23:33

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部