姜咏江 学术研究并不都需要秘密地进行，特别是那些所谓的世界难题一类，公开在科学网上研究论证，不怕讥笑和嘲讽，借助于批评者，能够获得快意和驱动力，激奋你快速前进。这是我两年多钻研子句消去法求解 SAT 问题满足解的特有体会。 两年中，我从无知 SAT 问题到有所收获，除了我自身的数学和计算机的功底之外 ...
姜咏江 用 n 个逻辑变量和其变量非形式中的不超过 k （ k 是一个常数）个，写出若干个或运算多项式（子句），问能不能设定这 n 个变量的一组值（是一个 n 位二进制数），使每一个多项式的逻辑值都是 1 （真）？这个问题就是被国外认定的世界难题 SAT 。 举个例子，有逻辑变量 x 1 , x 2 , … , x 5 ...
SAT 无满足解的充分必要条件 姜咏江 本人发明的子句消去法，是快速求出 SAT 满足解的方法。该方法无疑在电子电路设计的化简和优化中会起到十分重要的作用。关于子句消去法的原理和方法，请参阅： http://blog.sciencenet.cn/blog-340399-961507.html 。 SAT 的满足解是由 n 元逻辑变量的一组值构成的，这组由 ...
博文
视频
基金
相册
收藏
积分
会议