博文
全部博文|未分类|
生活点滴|
计算机核|
随笔|
教学点滴|
科技畅想|
计算机实验|
教学笔记|
计算机科普|
科研讨论|
机器计算|
国防科研|
科研论文|
3SAT解法|
k-SAT求解|
SAT问题|
P/NP问题|
子句消去法|
数学定义|
相关计算|
离散数学|
科研生活|
类脑计算|
计算机制造|
限位数|
数字密码锁|
仿量子计算机|
- 这样的难题大家都可以看懂，需要送到国外认可吗？
- 热度 1
- 姜咏江 用 n 个逻辑变量和其变量非形式中的不超过 k （ k 是一个常数）个，写出若干个或运算多项式（子句），问能不能设定这 n 个变量的一组值（是一个 n 位二进制数），使每一个多项式的逻辑值都是 1 （真）？这个问题就是被国外认定的世界难题 SAT 。 举个例子，有逻辑变量 x 1 , x 2 , … , x 5 ...
- 我们要实现科技强国的梦想，必须实行科技原创先国内后国外的策略
- 热度 7
- 科学技术的创新常常来自个人或极少数人，特别是科学技术原创。不可否认，创新发明源自学习和积累。我们要尽可能地学习国外的先进科学技术，并使学到的先进科学技术成为自己的本领和特长。但要想实现科学技术在世界领先，象现在这样，一切有水平的发明创造都要国外的期 ...
- 中国c802反舰导弹为什么没有击中美宙斯盾舰？
- 热度 6
- 今天凤凰网刊登了消息《中国血统导弹首次实战美神盾舰 三枚都没命中》。特约军事专家杜文龙和房兵评论。短短的一周时间，美国宙斯盾军舰遭遇三次导弹袭击，然都被美舰成功化解。 毫无疑问，美军舰反反舰导弹技术成熟。而仿中国 c802 反舰导弹显然有信息战条件下的诸多问题。我想最大的问题是美国对仿美的信息系统设 ...
- 美国为何对中国肆无忌惮？而对俄罗斯不敢？
- 热度 20
- 美国、俄罗斯和中国都是拥有核武器的大国，但美国为何不敢对俄罗斯象对中国那样肆无忌惮？甚至有些忍气吞声，这是为什么？分析原因，对中华民族的未来生存非常重要。 虽然核武器能够毁灭一个国家，甚至毁灭地球。但可控的核战争也许就只会有前者。为什么？核战争的关键是你能否将核弹投到对方 ...
- 子句消去法求3-SAT满足解的练习题
- 这是我在研究子句消去法求3-SAT满足解的部分验证题，具体是否有解可以运用子句消去法检验一下，从这些题目中可以确认子句消去法的正确性。给出这些练习是为了减少朋友们的工作。 3SAT求解.xls 4sat4.xls 10Book2.xls 100.xls Boo2.xls Book1.xls Book2.xls Book3.xls Book4.xls Book5.xls ...
- 子句消去法多项式时间复杂度证明的详细解释
- 子句消去法 k-CNF=1 求满足解的算法如下（原文见附件）： （1） 化简：将变量有唯一表现值设定为解，将相关子句消去； （2） 去掉子句块中重复子句； （3） 判断变量可选解，无可选解转（ 10 ）； （4） &nbs ...
- 求出SAT全部解的验证小程序
- 用子句标志消去法可以一次性求出 SAT 的全部满足解。这里我设计了一个在计算机资源能够满足的个人电脑上求出 SAT 全部解的小程序。你可以通过系统菜单的“子句集”一项，任意设计你的 SAT ，然后通过“再执行”得到 SAT 的全部解。说明书在安装文件夹当中。 姜咏江 ...
- 子句消去法求k-SAT满足解的基本思路和练习
- 姜咏江 子句消去法能够一次性求出 k-SAT 的满足解，基本思路十分简单。如果按照穷举法的思路，每一个逻辑变量都有 0 和 1 两个可能解值，因而 n 个变量组合到一起所成的 k-SAT 就要有 2 n 个可能解，这样就会在最坏的情况下，要验证 2 n 次才能够得到有解与无解的结果。 子句消去法的思路：假 ...
- 子句消去法求k-SAT满足解(正式发表），附件是正式版
- 子句消去法求 k-SAT 满足解 姜咏江 （对外经济贸易大学 北京 中国 100013 ） （没法直接写公式，只好将2016...pdf文件放在后面。） 摘要 本文将 k-SAT 问题用表格式表达，用限位数理论和方法找出了 k-CNF 特有规律，用作者发明的变量唯一解消去法，能 ...
本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏
