科学网—accsys的博文

关于物质宇宙的闲聊回复

热度 2 姜咏江 2017-7-22 16:33

张老师，您好。不论中国还是国外，在物质宇宙的研究上都有近似呆傻的学派，因而出现了“子生娘”式逻辑错误。在我看来，物质的客观性是毋庸置疑的。宇宙的演变不过是物质形态，或者说是信息形态的演变过程而已。物质应是客观世界存在的基本要素，不承认这一基本出发点，就会使一切理论研究变得虚无缥缈，势必造成悖论。 ...

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

关于物质定义的回复

热度 2 姜咏江 2017-7-21 08:49

关于物质定义的回复姜咏江 1.物质是可以回答“是、否”或“有、无”元素的集合。人类认识其客观性在于最终的确认（未能确认之前唯物唯心皆有市场）。 2.信息是事物的表现或描述（间接表现）。事物的基础是物质。没有物质，信息无从谈起。反之，没有物质的信息，就无从确认物质的存在。因而，信息又是物质存在和相互 ...

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

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

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

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

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

2016中国计算机大会P与NP问题论坛已获批准

热度 3 姜咏江 2016-7-8 11:52

各位学界朋友： 2016 年中国计算机大会 Pvs.NP 问题论坛已经批准，这是我们第一次在中国计算机学会领导下的，针对世界难题展开的研讨会。论坛会议时间定为 10 月 22 日下午。如果您对该问题有独到的见解，并想参加大会发表成果，请您将发言题 ...

个人分类: 科研讨论|4100 次阅读|8 个评论热度 3

为什么子句分段消去法可以求出3SAT的解？

姜咏江 2015-10-16 16:44

为什么子句分段消去法可以求出 3SAT 的解？姜咏江 A proof that P = NP could havestunning practical consequences, if the proof leads to efficient methods forsolving some of the important problems in NP . 上面这句话引自维基百科的 P versus NP 。说得是否有些过分了？用子句分段消去法求解 3 ...

个人分类: 科研讨论|2435 次阅读|没有评论

一个简单的3-SAT求解例题

热度 1 姜咏江 2015-9-22 13:09

一个简单的 3-SAT 求解例题姜咏江这里给出一个最简单有唯一解的 3-SAT 例题，其解法如下图。本例选择 x1x2x3 为起始块，则因子句 110 和 001 互反，所以块值只有 000 、 100 、 010 。图中所示是起始块解除法的计算，出现黄色块表示无解，只有 x1x2x3=010 时才可能得到该 3-SAT 的解。此题 3-SAT ...

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

分段子句消去法求解3-SAT的练习

姜咏江 2015-9-22 04:54

分段子句消去法求解 3-SAT 的练习姜咏江这里给出用 excel 的表练习求解 3-SAT 的例子。有兴趣的读者可以自己练习一下。为了全面观查，消去的子句块用颜色覆盖就可以。遵循每行一个子句，变量相同的子句写到一起，形成子句块的形式，可以添加子句，当然也可以自己设计3-SAT。记住，子句块要有解，先选二元关联段消 ...

个人分类: 科研讨论|2355 次阅读|没有评论

组合数C(n:n-k)是不是多项式？

热度 2 姜咏江 2015-8-26 08:10

组合数 C n n-k 是不是多项式？姜咏江在 P/NP 的问题中，多项式的概念成为了探讨 P 是否等于 NP 问题的关键。关于多项式我在博文《关于多项式时间的辨析》 http://blog.sciencenet.cn/blog-340399-895336.html 、《算法多项式时间复杂度不靠谱的证明》 http://blog.sciencenet.cn/blog-340399-898296.h ...

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

k-CNF-SAT无解条件

姜咏江 2015-7-30 05:11

k-CNF-SAT 无解条件姜咏江 K 阶合取范式如何去判断有无解有实际意义。判断无解的方法简单，只要某子句的变量完全表示都存在，那么合取范式必定无解。什么叫子句的完全表示？举例来说， k=3 ，那么子句的完全表示有 2 3 =8 个： x i ’+x j ’+x m ’ ， x i ’+x j ’+x m ， x i ’+x j +x m ’ ， x i ...

个人分类: 科研讨论|3248 次阅读|没有评论

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

关闭 安全验证

accsys

关闭安全验证