科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
关于物质宇宙的闲聊回复
热度 2 姜咏江 2017-7-22 16:33
张老师,您好。 不论中国还是国外,在物质宇宙的研究上都有近似呆傻的学派,因而出现了“子生娘”式逻辑错误。在我看来,物质的客观性是毋庸置疑的。宇宙的演变不过是物质形态,或者说是信息形态的演变过程而已。物质应是客观世界存在的基本要素,不承认这一基本出发点,就会使一切理论研究变得虚无缥缈,势必造成悖论。 ...
个人分类: 科研讨论|2525 次阅读|5 个评论 热度 2
关于物质定义的回复
热度 2 姜咏江 2017-7-21 08:49
关于物质定义的回复 姜咏江 1.物质是可以回答“是、否”或“有、无”元素的集合。人类认识其客观性在于最终的确认(未能确认之前唯物唯心皆有市场)。 2.信息是事物的表现或描述(间接表现)。事物的基础是物质。没有物质,信息无从谈起。反之,没有物质的信息,就无从确认物质的存在。因而,信息又是物质存在和相互 ...
个人分类: 科研讨论|2284 次阅读|4 个评论 热度 2
包括批评我的那些关心子句消去法的人都是我珍贵的朋友
热度 1 姜咏江 2016-12-8 09:17
科学研究总会从不成熟走向成熟,从肤浅走向深奥。我在科学网上从事SAT问题子句消去法的研究,就是这样一个过程。这一公开科学研究的过程,必然会经过批评、建议、鼓励、嘲笑、友好、甚至是谩骂等甜酸苦辣的体会。我欢迎这种体会,因为公开的科学研究过程会比封闭的过程能够更快地达到目标。无论赞赏与批评都会为你增添营养 ...
个人分类: 科研讨论|1532 次阅读|2 个评论 热度 1
2016中国计算机大会P与NP问题论坛已获批准
热度 3 姜咏江 2016-7-8 11:52
各位学界朋友: 2016 年中国计算机大会 Pvs.NP 问题论坛已经批准,这是我们第一次在中国计算机学会领导下的,针对世界难题展开的研讨会。论坛会议时间定为 10 月 22 日 下午。 如果您对该问题有独到的见解,并想参加大会发表成果,请您将发言题 ...
个人分类: 科研讨论|3040 次阅读|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 ...
个人分类: 科研讨论|1582 次阅读|没有评论
一个简单的3-SAT求解例题
热度 1 姜咏江 2015-9-22 13:09
一个简单的 3-SAT 求解例题 姜咏江 这里给出一个最简单有唯一解的 3-SAT 例题,其解法如下图。 本例选择 x1x2x3 为起始块,则因子句 110 和 001 互反,所以块值只有 000 、 100 、 010 。图中所示是起始块解除法的计算,出现黄色块表示无解,只有 x1x2x3=010 时才可能得到该 3-SAT 的解。 此题 3-SAT ...
个人分类: 科研讨论|2102 次阅读|1 个评论 热度 1
分段子句消去法求解3-SAT的练习
姜咏江 2015-9-22 04:54
分段子句消去法求解 3-SAT 的练习 姜咏江 这里给出用 excel 的表练习求解 3-SAT 的例子。有兴趣的读者可以自己练习一下。为了全面观查,消去的子句块用颜色覆盖就可以。遵循每行一个子句,变量相同的子句写到一起,形成子句块的形式,可以添加子句,当然也可以自己设计3-SAT。记住,子句块要有解,先选二元关联段消 ...
个人分类: 科研讨论|1515 次阅读|没有评论
组合数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 ...
个人分类: 科研讨论|4871 次阅读|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 ...
个人分类: 科研讨论|1918 次阅读|没有评论

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2020-11-26 21:22

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部