科学网—accsys的博文

并行处理器SPU的ppt

热度 1 姜咏江 2018-12-20 07:24

解决密码破译等问题的关键，是要设计出真正实现并行处理的计算机处理器。计算机SPU处理器采用纠缠态存储计算方式，将数据用三态表达，实现了计算机多项式时间就可以求出SAT问题的全部解。因为像密码破译等诸多难题，都能够在多项式时间内转化为SAT问题，故而SPU处理器出现意义重大。我设计的SPU处理器计算机正在寻求合作者 ...

个人分类: SAT问题|2887 次阅读|5 个评论热度 1

用数据的眼光看待计算机根基

热度 1 姜咏江 2018-8-18 06:34

用数据的眼光看待计算机根基姜咏江数据从结构上分，只有了两种，那就是纯离散型和连续型。用电子计算机来处理数据，数据都抽象成了能够用二进制数码表示的点。点与点之间直接相互关联，就可以用连续的实数进行描述。而没有直接关联特征的那些点，是一盘散沙，称为纯离散数据，不能够直接用实数来描 ...

个人分类: SAT问题|2531 次阅读|2 个评论热度 1

国外著名学术期刊害怕什么？

热度 1 姜咏江 2017-8-10 15:57

国外著名学术期刊害怕什么？ 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 ...

个人分类: SAT问题|5320 次阅读|5 个评论热度 1

你有SAT问题？我来帮你解答

热度 1 姜咏江 2017-6-2 08:37

你有 SAT 问题？我来帮你解答姜咏江我们不谈 3-SAT 问题是否是关系到开放的 P/NP 问题，只谈 3-SAT 问题的求满足解的算法快慢。如果你的问题可以转化为布尔电路可满足性问题，那么很幸运，这个问题有了在一定变量数之后，较指数时间快的多项式时间算法了。本人宣布过在理论上解决了 SAT 问题的多 ...

个人分类: SAT问题|4498 次阅读|4 个评论热度 1

P=NP后果会怎样？

热度 1 姜咏江 2017-5-11 13:04

P=NP 后果会怎样？姜咏江计算机科学的世界公开难题最重要的是 P versus NP 问题。科学界争论了几十年 P 类问题是否就是 NP 类问题，到了 2017 年这个问题应该终结了。最终的结论应该是 P=NP 。中国计算机兼数学科学家用限位数理论，破解了 SAT 问题隐藏在繁云复杂子句中的密码，找到了制约每个逻辑变量取值的 ...

个人分类: SAT问题|25269 次阅读|2 个评论热度 1

征求数字电路优化和基因计算等方面合作者

姜咏江 2017-5-6 13:27

征求数字电路优化和基因计算等方面合作者姜咏江布尔电路可满足性问题，即一般称为 SAT 问题，长时间没有多项式时间的快速算法出现。 DPLL 方法虽然能够完备求出满足解，但是速度较慢，特别当合取范式 CNF=1 有唯一解的时候， DPLL 获得其可满足解，消耗的时间叫人难以忍受。本人发明的子句消去法求 3-SAT 满 ...

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

二进制数纠缠态与SAT问题全解

热度 2 姜咏江 2017-3-1 13:16

姜咏江最近读了一篇网传中国科学院院士，南方科技大学创校校长关于“量子纠缠”等方面的报告文，院士主张“ 人类的主观意识是客观物质世界的基础 —— 客观世界很有可能并不存在！ ”真是“科学透顶”！我研究 P/NP 问题的 SAT 问题求解，一不小心竟然整出了二进制数域的“纠缠态”，看来我也 ...

个人分类: SAT问题|4079 次阅读|5 个评论热度 2

SAT求解与逻辑电路检测。

姜咏江 2017-2-22 21:15

姜咏江逻辑电路基本上都是与、或、非门电路搭建起来的。电路运行中如何检测每个器件的好坏？实际上可以通过 SAT 表达式求出的解来进行验证。我这里举一个维基百科上的实际例子来说明这个问题的解决办法。在 https://en.wikipedia.org/wiki/Tseytin_transformation 网页可以找到图 1 这个逻辑电路。 ...

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

破解SAT问题必须要解决的几个层次问题

姜咏江 2017-2-6 05:52

姜咏江逻辑变量的可满足性问题 SAT 的破解，用子句消去法求解需要解决五个层面的问题。第一， k 阶子句块什么情况下无解？ k 阶子句块有 2 k 个不同的子句，则一定无解。例如， 3 个变量的子句块如果有 8 个不同的子句，那么合取范式 CNF=1 一定无解。改变一下判断方法：一个变量在 k 阶子句块中有 ...

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

SAT问题子句消去法快速求解 —— 摘要

热度 1 姜咏江 2016-12-31 11:26

姜咏江1，陈跃2 （1. 对外经济贸易大学离退休处，北京朝阳，100013； 2. 西安交通大学，陕西西安，710000）摘要：布尔可满足性问题（SAT）是最基本的NPC问题，直接涉及到集成电路设计优化、生物基因、人工智能、互联网等诸多领域的快速计算。给出了一种子句消去法，运用限位数、子句块和关联段等概 ...

个人分类: SAT问题|3031 次阅读|1 个评论热度 1

帐号		自动登录	找回密码
密码			注册

关闭 安全验证

accsys

关闭安全验证