博文
全部博文|未分类|
生活点滴|
计算机核|
随笔|
教学点滴|
科技畅想|
计算机实验|
教学笔记|
计算机科普|
科研讨论|
机器计算|
国防科研|
科研论文|
3SAT解法|
k-SAT求解|
SAT问题|
P/NP问题|
子句消去法|
数学定义|
相关计算|
离散数学|
科研生活|
类脑计算|
计算机制造|
限位数|
数字密码锁|
仿量子计算机|
- SAT问题子句消去法快速求解 —— 摘要
- 热度 1
- 姜咏江1，陈跃2 （1. 对外经济贸易大学离退休处，北京朝阳，100013； 2. 西安交通大学，陕西西安，710000） 摘 要 ：布尔可满足性问题（SAT）是最基本的NPC问题，直接涉及到集成电路设计优化、生物 基因、人工智能、互联网等诸多领域的快速计算。给出了一种子句消去法，运用限位数、子句 块和关联段等概 ...
- 2016年是我收获的一年，七十一岁的纪念
- 热度 5
- 俗话说，人生七十古来稀。不知不觉中我已经过了七十岁。从 69 到 71 岁我竟然干了一件 70 岁这个年龄不应该干的事。为了一个 P/NP 问题，几乎耗尽了我的精力。不过还好， P/NP 问题中最基本，也是最关键的 SAT 问题被我解决了。 一般人还可能怀疑我的成就，我不认为这是问题，因为得到科学 ...
- 只看国际期刊只重名气和声望的中国科研氛围阻碍弯道超车
- 热度 2
- 姜咏江 中国的只看国际期刊发表，只看个人的名气、地位和声望的现象由来已久。这种科学研究的氛围直接影响着科学技术在中国的发展，湮灭了前所未有的科学创新“冒出来”，更重要的是阻碍着 21 世纪的中国科技创新的“弯道超车”。 历史已经证明，真正的科学原创常常来自于那些无名的科学新人。而那些功成名就的大 ...
- 我们的国家怎样才能为科技强国？
- 热度 3
- 姜咏江 我的国家是一个科技发展快速前进的国家，因而学习西方还是这个国家科学研究的主流，这势必跟风研究盛行。在群众和领导的眼睛里，谁能够在西方的顶尖科学杂志上发表文章，自然就是好样的，因而在社会中的影响力很大。 这是一种追赶式的科研运动会！前些年，这种运动会促进中国科学技术发展，起到了巨大的 ...
- 搞科技原创有时很需要别人批评
- 费了两年多的时间，自认为已经彻底解决了P/NP最基本的SAT问题。真希望中国的同行能够提出批评。记得刚提出子句消去法的时候，常会听到各种批评，还有嘲讽和谩骂。现在还想听。科学研究没有讨论和争论就显得没劲多了。
- 我应不应该去踢美国克雷数学研究所的门？
- 热度 2
- 姜咏江 美国克雷数学研究所千禧年悬赏百万美元，征求 P/NP 问题解答。我用我的限位数理论和子句消去法，两年多时间找到了 SAT 问题的多项式时间求解算法，从而使 NPC=P 了，进而也就将 P=NP 这个问题解决了。我是不是应该在圣诞节之前去踢克雷数学所的门？
- 简单求3-SAT解DPLL方法与子句消去法比较
- 热度 1
- SAT 问题求解的 DPLL 算法是一种带回溯的深度优先搜索，其方法简单例子如下： a' b' c a' b' c a' b' c a' b' c a' b c' a' b c ...
- 限位数——一个人们不曾研究的领域
- 姜咏江 什么是限位数？就是数码位数一定的数。以往人们并没有注意对限位数的研究，是因为人们极少用到它。现在人们用电脑了，用电脑要解决问题，在设计上就不得不考虑位数一定的数，而且要考虑怎样用位数一定的数来表达实数。当然这个问题首先是计算机设计专家碰到的问题。在计算机中只有不带符号的二进制整数 ...
- SAT问题基本定义和术语
- Basicdefinitionsandterminology A propositionallogic formula ,alsocalled Booleanexpression ,isbuiltfrom variables ,operatorsAND( conjunction ,alsodenotedby∧), ...
- 同行评议可信可不信
- 热度 10
- 说实话，科学同行之间进行交流是有基础的。如果大家探讨的是同一问题，并且用相同的方法在研究，那么你提出的问题会得到卓有成效的意见交换。有时即使是研究的同一问题，但基础方法不同，也会出现各说各话，南辕北辙的情况。 所以同行评议可信，又可不信。特别是那些开创性的科学研究，同行评议多数都会摇头晃脑，其实你 ...
