公开搞学术研究要经得起冷嘲热讽

姜咏江 2016-11-5 07:17

姜咏江 学术研究并不都需要秘密地进行，特别是那些所谓的世界难题一类，公开在科学网上研究论证，不怕讥笑和嘲讽，借助于批评者，能够获得快意和驱动力，激奋你快速前进。这是我两年多钻研子句消去法求解 SAT 问题满足解的特有体会。 两年中，我从无知 SAT 问题到有所收获，除了我自身的数学和计算机的功底之外 ...

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

也谈什么是数学

热度 2 姜咏江 2016-11-1 06:42

什么是数学？这个问题需要从数学的起源挖掘，而不能从现今的各种数学方法中去找答案。 不可否认，数源自事物的比较。最简单的比较是是与非的问题。这是最基本的比较，其结果现在由逻辑值来表示。有比较才会产生推理，因而比较是逻辑学的基石。 比较只能在事物的同种属性中进行 ...

个人分类: 数学定义|2965 次阅读|15 个评论 热度 2

子句消去法求3-SAT满足解的练习题

姜咏江 2016-10-20 09:12

这是我在研究子句消去法求3-SAT满足解的部分验证题，具体是否有解可以运用子句消去法检验一下，从这些题目中可以确认子句消去法的正确性。给出这些练习是为了减少朋友们的工作。 3SAT求解.xls 4sat4.xls 10Book2.xls 100.xls Boo2.xls Book1.xls Book2.xls Book3.xls Book4.xls Book5.xls ...

个人分类: 子句消去法|1959 次阅读|没有评论

子句消去法多项式时间复杂度证明的详细解释

姜咏江 2016-10-19 09:58

子句消去法 k-CNF=1 求满足解的算法如下（原文见附件）： （1） 化简：将变量有唯一表现值设定为解，将相关子句消去； （2） 去掉子句块中重复子句； （3） 判断变量可选解，无可选解转（ 10 ）； （4） &nbs ...

个人分类: k-SAT求解|2934 次阅读|没有评论

求出SAT全部解的验证小程序

姜咏江 2016-10-18 08:59

用子句标志消去法可以一次性求出 SAT 的全部满足解。这里我设计了一个在计算机资源能够满足的个人电脑上求出 SAT 全部解的小程序。你可以通过系统菜单的“子句集”一项，任意设计你的 SAT ，然后通过“再执行”得到 SAT 的全部解。说明书在安装文件夹当中。 姜咏江 ...

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

子句消去法求k-SAT满足解的基本思路和练习

姜咏江 2016-10-18 05:27

姜咏江 子句消去法能够一次性求出 k-SAT 的满足解，基本思路十分简单。如果按照穷举法的思路，每一个逻辑变量都有 0 和 1 两个可能解值，因而 n 个变量组合到一起所成的 k-SAT 就要有 2 n 个可能解，这样就会在最坏的情况下，要验证 2 n 次才能够得到有解与无解的结果。 子句消去法的思路：假 ...

个人分类: k-SAT求解|2593 次阅读|没有评论

悲哀：中国人科学原创一定要用英文发表吗？否则不算？

热度 20 姜咏江 2016-10-15 18:42

一个七十多岁的老头要研究世界顶尖的计算机科学问题，因为研究这一问题需要他一生的积累。这积累包括数学、物理学、电子学和计算机等一系列深刻的科学。他立志要自己制造一台属于自己的计算机。在中国他经历了三十多年的努力，终于做到了。一个属于他自己设计，自己制作的动态计算机原型验证机于 2006 年诞生 ...

个人分类: 随笔|5191 次阅读|49 个评论 热度 20

年轻人求知欲让我想办CPU设计免费培训

热度 4 姜咏江 2016-10-7 09:20

姜咏江 这年头若说有人免费办技术培训班，很多人都会说是骗人的。可见在这方面做点公益事业是很难的事情。自从出版了《自己设计制作 CPU 与单片机》一书之后，经常收到读者的来信，最近收到的一位自学青年的来信（见附录），使我萌生了办免费培训班的想法。初步设想今年寒假试试。 培训宗旨：让学员掌握用 FPGA 开 ...

个人分类: 计算机核|3488 次阅读|12 个评论 热度 4

搞创新科研最忌讳的是什么？

热度 5 姜咏江 2016-9-8 10:54

姜咏江 科学研究离不开知识的积累，因而学习是必不可少的重要环节。但过于循规蹈矩，只讲知识积累，不思突破，不研究已有学问的优缺点，找出其中的不足或谬误，那就永远不会有所创新。 在科学研究的道路上没有什么金科玉律是不可以怀疑的 ...

个人分类: 随笔|3188 次阅读|5 个评论 热度 5

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