科学网—accsys的博文 - 第2页

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › accsys的博文

accsys

https://blog.sciencenet.cn/?340399

3-SAT-CNF 一次性确定解！库克的P/NPC到头了！: 热度 2 姜咏江 2015-7-11 17:02; 3 － SAT-CNF 一次性确定解！姜咏江经过 n 次为逻辑变量赋值，就可以找到 n 个变量的 3-SAT-CNF 的解，有人做得到吗？本人用我的论文 http://blog.sciencenet.cn/blog-340399-902729.html 中介绍的子句消去法，就可以在 n 次子句消去之后，确定出 n 个变量的 3-SAT-CNF 的解。这大概不会有人相信！等着 ...; 个人分类: 科研论文|4186 次阅读|4 个评论热度 2

公布一个3－CNF-SAT函数的所有解: 姜咏江 2015-7-8 06:28; 公布一个 3 － CNF-SAT 函数的所有解姜咏江为了证实我创造的子句消去法求解 k-CNF-SAT 的真实有效性，特给出一个 6 个逻辑变量的 3-CNF-SAT 函数求解实例，希望读者能够通过这个实例的全部解求出，更好地理解子句消去法的正确性。 f (x 1 ,..., x 6 )= (x 1 +x 1 '+x 2 ')(x 2 +x ...; 个人分类: 科研论文|5489 次阅读|没有评论

库克定义下的k-CNF-SAT＝P证明（中文版）: 热度 2 姜咏江 2015-7-4 08:45; 库克定义下的 k-CNF-SAT ＝ P 证明（中文版）姜咏江 Email:accsys@126.com 摘要：采用子句消去法证明了斯提芬 . 库克定 ...; 个人分类: 科研论文|8613 次阅读|35 个评论热度 2

谁说P≠NP？中国人的智力要让世界震惊！: 热度 3 姜咏江 2015-7-1 07:52; 谁说 P ≠ NP ？姜咏江据说世界头号难题 P/NP 问题，最后落实到 NPC 问题是否是 P 问题上？依据斯提芬 . 库克的理论，又落实到 3-CNF-SAT 这个 NPC 问题是否是 P 问题上。直至今日，世界上尚未见到有人能够明确地指出 3-CNF-SAT 是否是 P 问题。本文作者经过较长时间的研究， ...; 个人分类: 科研论文|5141 次阅读|7 个评论热度 3

会议

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

GMT+8, 2024-9-21 01:53

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部