博文
全部博文|未分类|
生活点滴|
计算机核|
随笔|
教学点滴|
科技畅想|
计算机实验|
教学笔记|
计算机科普|
科研讨论|
机器计算|
国防科研|
科研论文|
3SAT解法|
k-SAT求解|
SAT问题|
P/NP问题|
子句消去法|
数学定义|
相关计算|
离散数学|
科研生活|
类脑计算|
计算机制造|
限位数|
数字密码锁|
仿量子计算机|
- 致科学网的编辑-丢失插图问题解决不了吗？
- 热度 2
- 我喜欢科学网，但博文中的插图不是丢失，就是看不到。不知能否解决？ 还有发博文总是回复出错，但实际已经上传了。 估计科学网缺少必要的支持吧？
- 论文参考文献自引就一定不好吗？
- 论文参考文献自引就一定不好吗？ 姜咏江 科学网上一些人对论文自引持一律否定态度，还有名词叫“自我剽窃”。其实这种认识未必正确。 当一个人的科学研究是在别人研究的基础上深入的时侯，将别人的文章提出来做为参考文献，这是最正常不过的事情。因为第一，你尊重文献作者的成果；第二，可以为你的文章增加可信 ...
- 子句消去法与DPLL方法求SAT满足解比较
- 子句消去法与 DPLL 方法求 SAT 满足解比较 Davis,Logemann,Loveland(1962)haddevelopedthisalgorithm.Somepropertiesofthisoriginalalgorithmare: · Itisbasedonsearch. ...
- 包括批评我的那些关心子句消去法的人都是我珍贵的朋友
- 热度 1
- 科学研究总会从不成熟走向成熟，从肤浅走向深奥。我在科学网上从事SAT问题子句消去法的研究，就是这样一个过程。这一公开科学研究的过程，必然会经过批评、建议、鼓励、嘲笑、友好、甚至是谩骂等甜酸苦辣的体会。我欢迎这种体会，因为公开的科学研究过程会比封闭的过程能够更快地达到目标。无论赞赏与批评都会为你增添营养 ...
- 基于3SAT问题说明子句消去法的多项式时间复杂度
- 基于 3SAT 问题说明子句消去法的多项式时间复杂度 姜咏江 为让大家能理解子句消去法的多项式时间复杂度特性，本文就以 3SAT 问题来简单说明。三个变量的子句在施行子句消去法的过程中，也会出现一个变量或两个变量的子句。因而 3SAT 问题实际就是最高阶是 3 的 SAT 问题。 算法 ： （ 1 ） 子句消去法先查找 ...
- 子句消去法求解SAT问题思想方法如此简单
- 子句消去法能够快速求出SAT问题满足解，基本思想方法是：先找子句块中无解变量和唯一解变量，唯一解取值消子句；后找关联变量无解和唯一解，唯一解取值消去子句；剩下全多选解变量部分，任选变量施行子句消去法都可得解。 如果SAT问题有满足解，子句消去法就能让你不重复计算，一次求出满足解。 2016•12•8
- 限位数揭开了机器数值运算的全部秘密
- 人们时常不能理解，为什么机器能够替代人做算术运算？一般的回答是，因为机器可以表示二进制数。小数点和正负号机器也能表示吗？回答是不能直接表示，可以隐含小数点，通过限位数大小来判断正负数。数值运算机器只做加法，其它的数值运算都是通过加法实现的。超长的数用限位数能够分段计算。 本人近期又发现限位数可以实 ...
- 外国人扯淡中国的科学界就信，可悲呀！
- 热度 2
- 外国人扯淡中国的科学界就信，可悲呀！ 姜咏江 最近我将 SAT问题 快速求解的算法寄给同行讨论。曾有人告诉我，国外 SAT 问题大赛，几十万个变量的问题都很快计算出来了。我查了一下所谓的竞赛，题目中子句块中子句都很少，因而参赛人蒙上正确的变量值可能性很大。所以比赛计算结果都要带回原式验证，才能知道对与错。 ...
- 开天辟地的科技创新请教权威好比问道于盲
- 热度 6
- 开天辟地的科技创新请教权威好比问道于盲 姜咏江 科学研究分为两种。一种是跟随研究，另一种是开创性研究。 跟随研究，最盛行的是跟风研究。这种研究常常是领域的权威起着重要的作用。所谓的同行评议，是最有效的肯定与否定研究成果的途径。 从无到有的开创性研究，企图通过请教权威，想通过同行评价，快速得到 ...
- 限位数——你想到会有什么用吗？
- 限位数——你想到会有什么用吗？ 姜咏江 计算机能够准确地进行算术运算，归功于有了限位数运算的理论。我在研究 SAT 问题快速计算的过程中，又总结出了一些限位数非常有用的性质。这些性质使纯离散因素计算成为了可能。 1. 限位数定义 什么是限位 ...
