科学网—accsys的博文

顺序思维和全面思维

热度 1 姜咏江 2015-11-27 06:53

西方人善于线性顺序思维，因而他们发明的文字是线性结构的。中国人善于全面的思维方式，因而发明的汉字是非线性的。线性思维容易理出头绪，但会缺乏全面。非线性思维头绪繁多，所以常常犹豫不前。这大概是中国人不敢进行科技创新评判的原因？什么时候我们能够自己对科学发明说对与错？

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

神奇的子句消去法

姜咏江 2015-11-26 08:45

神奇的子句消去法姜咏江连我自己都想不到子句消去法最终竟然如此简单神奇。这里给出 100 变量的 3-SAT 解题的例子。你可以选择任意的关联段求解，只要记住解题一般步骤如下： 1. 避免出现无解情况（找一个变量有 4 个相同值的子句块，为这个变量设定该值，消去相关子句）； 2. 找出剩下的有唯一解动 ...

个人分类: 3SAT解法|1928 次阅读|没有评论

子句消去法无需重复求3SAT的解

姜咏江 2015-11-23 02:57

经过艰苦细致地钻研，我终于找到了3SAT有限次函数过程求解的方法。我可以理直气壮地认为破解了P/NP问题。研究问题本身就是一种乐趣。不过这种乐趣与一般的娱乐不同，这要付出艰苦的脑力劳动。一年多以来我寝食难安，经常半夜爬起来，记录自己那睡梦中迸发出来的智慧火花。子句消去法，一个简单到让人耻笑的算法！然而它 ...

个人分类: 随笔|1827 次阅读|没有评论

3SAT解题步骤与规则

姜咏江 2015-11-19 10:08

3SAT 解题步骤与规则姜咏江随着我对 3SAT 的分段子句消去法的深入，使求解 3SAT 的过程也在不断地瘦身，此次介绍的分段子句消去法步骤更加简单化，解法更加易学。一、规则运用分段子句消去法求解 3SAT 的满足解，要遵循如下两条规则：（ 1 ）处理好可能无解子句块。 3SAT 数值表示法可能无解的子句 ...

个人分类: 3SAT解法|1898 次阅读|没有评论

3SAT解题步骤与规则

姜咏江 2015-11-19 10:04

3SAT 解题步骤与规则姜咏江随着我对 3SAT 的分段子句消去法的深入，使求解 3SAT 的过程也在不断地瘦身，此次介绍的分段子句消去法步骤更加简单化，解法更加易学。一、规则运用分段子句消去法求解 3SAT 的满足解，要遵循如下两条规则：（ 1 ）处理好可能无解子句块。 3SAT 数值表示法可能无解的子句 ...

个人分类: 教学笔记|2171 次阅读|没有评论

3-SAT求解基本方法

姜咏江 2015-11-18 08:38

3-SAT 求解基本方法姜咏江分段子句消去法的求解，最关键的是关联段求解。 3SAT 关联段无解只有 3 中情况：（ 1 ）出现有 8 个子句的子句块；（ 2 ）出现了只有一个变量需要确定值，却无值可选的动态块；（ 3 ）在确定了一个变量值之后，出现了 4 个 2SAT 子句的动态块，叫全 2sat 动态块。 3SAT 解 ...

个人分类: 教学笔记|4216 次阅读|没有评论

3SAT求解什么情况下可以确定变量只有惟一值？

姜咏江 2015-11-4 08:32

3SAT求解什么情况下可以确定变量只有惟一值？用分段子句消去法去求解 3SAT ，关键是找出变量的惟一值。下面 4 种情况都可以惟一地确定逻辑变量的值。 1. 动态子句块只有一个变量需要确定值； 2. 动态子句块 2 个变量需要确定值，这两个变量刚好组成了 3 ...

个人分类: 3SAT解法|2261 次阅读|没有评论

不要祈求大神，我们自己就是大神

热度 1 姜咏江 2015-11-3 07:17

不要祈求大神，我们自己就是大神昨天看了国防科大姜新文教授的博客《为民族为科学为中国梦我们一起奋斗吧》之后颇有感慨。一个雄起的大国的科学人研究成果，难道非需要大神的赞许和认可才成吗？姜新文教授研究的是全世界都没有解决的 P/NP 公开难题，这就是说无人知道这个问题的正确解答是什么，那么谁应 ...

个人分类: 随笔|4443 次阅读|1 个评论热度 1

3-SAT问题为什么长期得不到解决？

姜咏江 2015-11-2 09:38

3-SAT 问题为什么长期得不到解决？ 3-SAT 是解决 P/NP 问题的关键问题之一，可就是长期得不到有效的解法，原因在哪里呢？第一、人们过于将 3-SAT 问题做为整体性问题来求解了。例如，随便写出 100 个变量的 3-SAT ，如果你将 3 个逻辑变量的子句放到一起，如果同变量的子句有 8 个（不包括同一变量正反 ...

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

p与np问题的通俗解释

姜咏江 2015-11-2 06:13

由条件和结论组成问题。解法是按照某种已知的规律（函数）从条件出发逐步将问题答案求出，这类问题是p类问题。猜测问题答案，并能够通过问题本身的条件和结论进行验证其正确与否，正确的一类条件和结论是np类问题。 p问题的特点是不论给出什么样的条件，总可以按照规 ...

个人分类: 教学笔记|7914 次阅读|没有评论

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

关闭 安全验证

accsys

关闭安全验证