博文
全部博文|未分类|
生活点滴|
计算机核|
随笔|
教学点滴|
科技畅想|
计算机实验|
教学笔记|
计算机科普|
科研讨论|
机器计算|
国防科研|
科研论文|
3SAT解法|
k-SAT求解|
SAT问题|
P/NP问题|
子句消去法|
数学定义|
相关计算|
离散数学|
科研生活|
类脑计算|
计算机制造|
限位数|
数字密码锁|
仿量子计算机|
- SAT问题的子句消去法及数学原理
- 热度 2
- SAT问题的子句消去法及数学原理 姜咏江 对外经济贸易大学 （ UIBE） 摘要 本文我们介绍如何利用限位数理论，通过子句消去法算法（ CEASP），在O(n k+1 )多项式算法时间复杂度来求解SAT问题满足解。SAT问题可以用二进制数码以表的形式表达出来。我们借助于限位数理论文中定义变量唯一解和 ...
- 脑机器会像人脑一样思考吗？
- 热度 2
- 脑机器 会像 人脑 一样思考 吗？ 姜咏江 人工智能要能够解决的第一个问题就是机器的思考。思考的基本过程离不开判断和联想。当然，判断和联想离不开信息的存储与传输。 无数的实验已经证明人脑的思考过程是一个电学过程，因而才出现了用电学传感器向外表达没有语言和动作能力的人的思想。例如著名 ...
- Look at This paper，Why Do TOCS not Touch It？
- Mathematical Theory of Clause Elimination Algorithm for SAT_acm00.pdf
- 廉颇老矣尚能编程否？
- 热度 1
- 廉颇老矣尚能编程否？ 七十二岁，还能够自己编写计算机程序否？可，只要科学安排自己的体力。 为了向学界证明我的子句消去法能够完备地求出 3-SAT 问题满足解，我不得不拼了老命，自己编写计算机程序。因为这种计算机科学的最大问题，只有通过计算机程序的验证，才能够有效地说明我的发明创造的正确性。 我先 ...
- 国外著名学术期刊害怕什么？
- 热度 1
- 国外著名学术期刊害怕什么？ Dear Dr Yongjiang Jiang: I am writing in regard to your TOCS submission: Number: TOCS-2017-0049 Title: Mathematical Theory of Clause Elimination and Algorithm for SAT Authors: Jiang, Yongjiang The editorial board doe ...
- 用C++编写的子句消去法要比VFP快得多
- 用 C++ 编写的子句消去法要比 VFP 快得多 姜咏江 本人最近为解决巨量3-SAT问题，用C++编写了子句消去法程序。与以前用VFP所写程序执行比较，C++程序要快多了。一个实际逻辑电路转换的合取范式求满足解，VFP程序执行用时2秒，而用C++程序执行时间不到一秒。下图是对比。C++用负数表示“假”，用正数表示“真” ...
- 关于物质宇宙的闲聊回复
- 热度 2
- 张老师，您好。 不论中国还是国外，在物质宇宙的研究上都有近似呆傻的学派，因而出现了“子生娘”式逻辑错误。在我看来，物质的客观性是毋庸置疑的。宇宙的演变不过是物质形态，或者说是信息形态的演变过程而已。物质应是客观世界存在的基本要素，不承认这一基本出发点，就会使一切理论研究变得虚无缥缈，势必造成悖论。 ...
- 关于物质定义的回复
- 热度 2
- 关于物质定义的回复 姜咏江 1.物质是可以回答“是、否”或“有、无”元素的集合。人类认识其客观性在于最终的确认（未能确认之前唯物唯心皆有市场）。 2.信息是事物的表现或描述（间接表现）。事物的基础是物质。没有物质，信息无从谈起。反之，没有物质的信息，就无从确认物质的存在。因而，信息又是物质存在和相互 ...
- 灵感来自知识的积累
- 热度 7
- 灵感来自知识的积累 姜咏江 搞创新，一个普遍的现象是来自灵感。灵感说到底是你感兴趣的事情积累的爆发。一个人如果根本就不注重科学知识的积累，很难想象他能够搞出惊天动地的创新发明。知识的积累不只是一个学的过程，更重要的是思考，多提为什么？只有自己能够将为什么搞清楚了，那么知识才真正为你所积累了 ...
- 投稿ACM TOCS
- 热度 2
- 投稿 ACM TOCS 昨天将最终定稿的子句消去法论文投向了 ACM TOCS 。看看他们是否有定力能够对我的论文给出评价。我已经设计完成了 3-SAT 的子句消去法测试程序设计，经过我的多方检验没有问题。如果他们需要，我可以将测试程序寄给他们。其实，子句消去法程序在计算机上正确地运行，才具有可靠的说服力。 也 ...
