-
打破惯性思维才会有科学原创
-
热度 7 2017-6-27 07:38
-
打破惯性思维才会有科学原创 姜咏江 如何才能有科学原创?这是科学研究中值得思考的问题。科学知识的继承应该说是一般科技创新的基础。这就是科学研究中“不要重复发明轮子”的理由。没有继承就没有发展,这是普遍适用的道理。但原始的创新仅仅有很好的继承是远远不够的,而必须打破常规的继承模式,去寻求前所 ...
-
个人分类: 随笔|6086 次阅读|14 个评论 热度 7
-
一个民科三年公开科研的成果
-
热度 15 2017-6-24 06:54
-
一个民科三年公开科研的成果 科学网上常有在职,吃皇粮,拿着国家科研基金的研究人员、教师,或者在读的博士、硕士研究生,把自行进行科学研究的人嘲笑地称为“民科”,并且认为“民科” = “荒谬”。这种对科学研究的认识,是那些总是行走于学校、科研单位,接受公认的知识传承者不知不觉之中产生的一种偏见。 ...
-
个人分类: 随笔|6014 次阅读|38 个评论 热度 15
-
求解世界难题如同坐过山车刺激富有吸引力
-
2017-6-21 21:27
-
求解世界难题如同坐过山车刺激富有吸引力 姜咏江 一晃,研究 P/NP 世界难题已经过去三年多了。在求解 SAT 问题多项式时间算法的研究中,真感到了玩“过山车”般的惊险刺激,然而却是那样充满了吸引力。 当我将 3-SAT 一般性求解程序设计完成之后,我才踏实地感觉到, Boolean Satisfiability Problem ...
-
个人分类: P/NP问题|3286 次阅读|没有评论
-
计算机时代的数学家应该有新思维了
-
热度 2 2017-6-4 05:51
-
计算机时代的数学家应该有新思维了 姜咏江 我在 2016 年提出的“专家排序法”( http://blog.sciencenet.cn/blog-340399-995138.html http://blog.sciencenet.cn/blog-340399-993790.html ) 居然没有得到国内数学家们的重视。很奇怪,在计算机时代,或者说在用计算机进行计算的时 ...
-
个人分类: 相关计算|4078 次阅读|6 个评论 热度 2
-
你有SAT问题?我来帮你解答
-
热度 1 2017-6-2 08:37
-
你有 SAT 问题?我来帮你解答 姜咏江 我们不谈 3-SAT 问题是否是关系到开放的 P/NP 问题,只谈 3-SAT 问题的求满足解的算法快慢。如果你的问题可以转化为布尔电路可满足性问题,那么很幸运,这个问题有了在一定变量数之后,较指数时间快的多项式时间算法了。 本人宣布过在理论上解决了 SAT 问题的多 ...
-
个人分类: SAT问题|4188 次阅读|4 个评论 热度 1
-
Algorithm ZJXQF for SAT Problem
-
热度 1 2017-5-16 08:07
-
Algorithm ZJXQF for SAT Problem &n ...
-
个人分类: 3SAT解法|2906 次阅读|1 个评论 热度 1
-
活到老、学到老、研究到老
-
热度 1 2017-5-13 07:03
-
活到老、学到老、研究到老 姜咏江 人的生命就是一个过程,怎样让这个过程灿烂多彩,个人都有不同的理解。从小家境很穷,没有什么很高的志向。只是有一个偶然的机会,不知从哪里弄到了一本《科学家谈二十一世纪》的科普本本。那本书中,科学家们谈到的许多科学知识都吸引了我。从此,想将来做一名科学家就成了我的追 ...
-
个人分类: 科研生活|3776 次阅读|2 个评论 热度 1
-
P=NP后果会怎样?
-
热度 1 2017-5-11 13:04
-
P=NP 后果会怎样? 姜咏江 计算机科学的世界公开难题最重要的是 P versus NP 问题。科学界争论了几十年 P 类问题是否就是 NP 类问题,到了 2017 年这个问题应该终结了。最终的结论应该是 P=NP 。 中国计算机兼数学科学家用限位数理论,破解了 SAT 问题隐藏在繁云复杂子句中的密码,找到了制约每个逻辑变量取值的 ...
-
个人分类: SAT问题|24303 次阅读|2 个评论 热度 1
-
3-SAT满足解软件ZJXQF使用说明书
-
2017-5-10 08:37
-
3-SAT 满足解软件ZJXQF使用说明书 姜咏江 2017-5-1 直到本人发明的《子句消去法》,没有人能够肯定自己设计出了在多项式时间求出 3-SAT 满足解的程序。 3-SAT 问 ...
-
个人分类: 3SAT解法|3832 次阅读|没有评论
本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏