科学网—accsys的博文

我应不应该去踢美国克雷数学研究所的门？

热度 2 姜咏江 2016-12-20 10:48

姜咏江美国克雷数学研究所千禧年悬赏百万美元，征求 P/NP 问题解答。我用我的限位数理论和子句消去法，两年多时间找到了 SAT 问题的多项式时间求解算法，从而使 NPC=P 了，进而也就将 P=NP 这个问题解决了。我是不是应该在圣诞节之前去踢克雷数学所的门？

个人分类: 随笔|3020 次阅读|4 个评论热度 2

限位数——一个人们不曾研究的领域

姜咏江 2016-12-19 09:03

姜咏江什么是限位数？就是数码位数一定的数。以往人们并没有注意对限位数的研究，是因为人们极少用到它。现在人们用电脑了，用电脑要解决问题，在设计上就不得不考虑位数一定的数，而且要考虑怎样用位数一定的数来表达实数。当然这个问题首先是计算机设计专家碰到的问题。在计算机中只有不带符号的二进制整数 ...

个人分类: 离散数学|2381 次阅读|1 个评论

SAT问题基本定义和术语

姜咏江 2016-12-17 08:30

Basicdefinitionsandterminology A propositionallogic formula ,alsocalled Booleanexpression ,isbuiltfrom variables ,operatorsAND( conjunction ,alsodenotedby∧), ...

个人分类: 生活点滴|3673 次阅读|没有评论

同行评议可信可不信

热度 10 姜咏江 2016-12-16 11:45

说实话，科学同行之间进行交流是有基础的。如果大家探讨的是同一问题，并且用相同的方法在研究，那么你提出的问题会得到卓有成效的意见交换。有时即使是研究的同一问题，但基础方法不同，也会出现各说各话，南辕北辙的情况。所以同行评议可信，又可不信。特别是那些开创性的科学研究，同行评议多数都会摇头晃脑，其实你 ...

个人分类: 随笔|3119 次阅读|14 个评论热度 10

子句消去法与DPLL方法求SAT满足解比较

姜咏江 2016-12-12 10:49

子句消去法与 DPLL 方法求 SAT 满足解比较 Davis,Logemann,Loveland(1962)haddevelopedthisalgorithm.Somepropertiesofthisoriginalalgorithmare: · Itisbasedonsearch. ...

个人分类: SAT问题|2839 次阅读|2 个评论

包括批评我的那些关心子句消去法的人都是我珍贵的朋友

热度 1 姜咏江 2016-12-8 09:17

科学研究总会从不成熟走向成熟，从肤浅走向深奥。我在科学网上从事SAT问题子句消去法的研究，就是这样一个过程。这一公开科学研究的过程，必然会经过批评、建议、鼓励、嘲笑、友好、甚至是谩骂等甜酸苦辣的体会。我欢迎这种体会，因为公开的科学研究过程会比封闭的过程能够更快地达到目标。无论赞赏与批评都会为你增添营养 ...

个人分类: 科研讨论|2409 次阅读|2 个评论热度 1

基于3SAT问题说明子句消去法的多项式时间复杂度

姜咏江 2016-12-8 08:44

基于 3SAT 问题说明子句消去法的多项式时间复杂度姜咏江为让大家能理解子句消去法的多项式时间复杂度特性，本文就以 3SAT 问题来简单说明。三个变量的子句在施行子句消去法的过程中，也会出现一个变量或两个变量的子句。因而 3SAT 问题实际就是最高阶是 3 的 SAT 问题。算法：（ 1 ）子句消去法先查找 ...

个人分类: 3SAT解法|3774 次阅读|1 个评论

子句消去法求解SAT问题思想方法如此简单

姜咏江 2016-12-8 05:31

子句消去法能够快速求出SAT问题满足解，基本思想方法是：先找子句块中无解变量和唯一解变量，唯一解取值消子句；后找关联变量无解和唯一解，唯一解取值消去子句；剩下全多选解变量部分，任选变量施行子句消去法都可得解。如果SAT问题有满足解，子句消去法就能让你不重复计算，一次求出满足解。 2016•12•8

个人分类: SAT问题|1858 次阅读|没有评论

限位数揭开了机器数值运算的全部秘密

姜咏江 2016-12-7 03:39

人们时常不能理解，为什么机器能够替代人做算术运算？一般的回答是，因为机器可以表示二进制数。小数点和正负号机器也能表示吗？回答是不能直接表示，可以隐含小数点，通过限位数大小来判断正负数。数值运算机器只做加法，其它的数值运算都是通过加法实现的。超长的数用限位数能够分段计算。本人近期又发现限位数可以实 ...

个人分类: 教学点滴|2130 次阅读|没有评论

外国人扯淡中国的科学界就信，可悲呀！

热度 2 姜咏江 2016-12-6 12:15

外国人扯淡中国的科学界就信，可悲呀！姜咏江最近我将 SAT问题快速求解的算法寄给同行讨论。曾有人告诉我，国外 SAT 问题大赛，几十万个变量的问题都很快计算出来了。我查了一下所谓的竞赛，题目中子句块中子句都很少，因而参赛人蒙上正确的变量值可能性很大。所以比赛计算结果都要带回原式验证，才能知道对与错。 ...

个人分类: 随笔|2413 次阅读|2 个评论热度 2

帐号		自动登录	找回密码
密码			注册

关闭 安全验证

accsys

关闭安全验证