科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
并行处理器SPU的ppt
热度 1 姜咏江 2018-12-20 07:24
解决密码破译等问题的关键,是要设计出真正实现并行处理的计算机处理器。计算机SPU处理器采用纠缠态存储计算方式,将数据用三态表达,实现了计算机多项式时间就可以求出SAT问题的全部解。因为像密码破译等诸多难题,都能够在多项式时间内转化为SAT问题,故而SPU处理器出现意义重大。我设计的SPU处理器计算机正在寻求合作者 ...
个人分类: SAT问题|1425 次阅读|5 个评论 热度 1
用数据的眼光看待计算机根基
热度 1 姜咏江 2018-8-18 06:34
用数据的眼光看待计算机根基 姜咏江 数据从结构上分,只有了两种,那就是纯离散型和连续型。用电子计算机来处理数据,数据都抽象成了能够用二进制数码表示的点。点与点之间直接相互关联,就可以用连续的实数进行描述。而没有直接关联特征的那些点,是一盘散沙,称为纯离散数据,不能够直接用实数来描 ...
个人分类: SAT问题|1378 次阅读|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问题|3462 次阅读|5 个评论 热度 1
你有SAT问题?我来帮你解答
热度 1 姜咏江 2017-6-2 08:37
你有 SAT 问题?我来帮你解答 姜咏江 我们不谈 3-SAT 问题是否是关系到开放的 P/NP 问题,只谈 3-SAT 问题的求满足解的算法快慢。如果你的问题可以转化为布尔电路可满足性问题,那么很幸运,这个问题有了在一定变量数之后,较指数时间快的多项式时间算法了。 本人宣布过在理论上解决了 SAT 问题的多 ...
个人分类: SAT问题|3010 次阅读|4 个评论 热度 1
P=NP后果会怎样?
热度 1 姜咏江 2017-5-11 13:04
P=NP 后果会怎样? 姜咏江 计算机科学的世界公开难题最重要的是 P versus NP 问题。科学界争论了几十年 P 类问题是否就是 NP 类问题,到了 2017 年这个问题应该终结了。最终的结论应该是 P=NP 。 中国计算机兼数学科学家用限位数理论,破解了 SAT 问题隐藏在繁云复杂子句中的密码,找到了制约每个逻辑变量取值的 ...
个人分类: SAT问题|6912 次阅读|2 个评论 热度 1
征求数字电路优化和基因计算等方面合作者
姜咏江 2017-5-6 13:27
征求数字电路优化和基因计算等方面合作者 姜咏江 布尔电路可满足性问题,即一般称为 SAT 问题,长时间没有多项式时间的快速算法出现。 DPLL 方法虽然能够完备求出满足解,但是速度较慢,特别当合取范式 CNF=1 有唯一解的时候, DPLL 获得其可满足解,消耗的时间叫人难以忍受。 本人发明的子句消去法求 3-SAT 满 ...
个人分类: SAT问题|2478 次阅读|没有评论
二进制数纠缠态与SAT问题全解
热度 2 姜咏江 2017-3-1 13:16
姜咏江 最近读了一篇网传中国科学院院士,南方科技大学创校校长关于“量子纠缠”等方面的报告文,院士主张“ 人类的主观意识是客观物质世界的基础 —— 客观世界很有可能并不存在! ”真是“科学透顶”! 我研究 P/NP 问题的 SAT 问题求解,一不小心竟然整出了二进制数域的“纠缠态”, 看来我也 ...
个人分类: SAT问题|2807 次阅读|5 个评论 热度 2
SAT求解与逻辑电路检测。
姜咏江 2017-2-22 21:15
姜咏江 逻辑电路基本上都是与、或、非门电路搭建起来的。电路运行中如何检测每个器件的好坏?实际上可以通过 SAT 表达式求出的解来进行验证。我这里举一个维基百科上的实际例子来说明这个问题的解决办法。 在 https://en.wikipedia.org/wiki/Tseytin_transformation 网页可以找到 图 1 这个逻辑电路。 ...
个人分类: SAT问题|3743 次阅读|没有评论
破解SAT问题必须要解决的几个层次问题
姜咏江 2017-2-6 05:52
姜咏江 逻辑变量的可满足性问题 SAT 的破解,用子句消去法求解需要解决五个层面的问题。 第一, k 阶子句块什么情况下无解? k 阶子句块有 2 k 个不同的子句,则一定无解。例如, 3 个变量的子句块如果有 8 个不同的子句,那么合取范式 CNF=1 一定无解。改变一下判断方法:一个变量在 k 阶子句块中有 ...
个人分类: SAT问题|2906 次阅读|没有评论
SAT问题子句消去法快速求解 —— 摘要
热度 1 姜咏江 2016-12-31 11:26
姜咏江1,陈跃2 (1. 对外经济贸易大学离退休处,北京朝阳,100013; 2. 西安交通大学,陕西西安,710000) 摘 要 :布尔可满足性问题(SAT)是最基本的NPC问题,直接涉及到集成电路设计优化、生物 基因、人工智能、互联网等诸多领域的快速计算。给出了一种子句消去法,运用限位数、子句 块和关联段等概 ...
个人分类: SAT问题|2106 次阅读|1 个评论 热度 1

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2020-11-26 20:44

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部