CMP设计分享 http://blog.sciencenet.cn/u/accsys 没有逆向思维就没有科技原创。 不自信是科技创新的大敌。

博文

按标题搜索
能不能依靠国家的力量挺起中文科学发表?
热度 18 2016-5-29 18:42
能不能依靠国家的力量挺起中文科学发表? 姜咏江 中国这么一个大国,这些年科学研究界一直在追求着所谓的英文“科学论文发表”。英文科学论文发表对人类来说无疑是一件大好事,然而对追求“中华民族伟大复兴”的国家来说,追求英文发表却未必是一件益处颇多的壮举。 据说,世界上论文发表能够被认可的, ...
个人分类: 科研论文|6118 次阅读|58 个评论 热度 18
3-SAT分段子句消去法(正规专业版)
热度 1 2015-10-15 06:53
前言:本文投给《中国科技论文在线》后说我已经在科学网上发表了。前在博客中发表的不够正规专业,因此将正规一些的再用博文发表一次,供数学计算机专业的人士讨论。 3-SAT 分段子句消去法 姜咏江 摘要 :本文给出了 3-SAT 分段消去子句的求解算法。证明了可以在多项式时间求出 3-SAT 的解。从而证实 ...
个人分类: 科研论文|5198 次阅读|1 个评论 热度 1
3-SAT关联段子句消去法(详细解法)
热度 1 2015-10-4 06:54
3-SAT 关联段子句消去法 姜咏江 摘要 :本文给出了 3-SAT 分段消去子句的求解算法。证明了可以在多项式时间求出 3-SAT 的解。从而证实斯提芬 . 库克定义下的 NP-complete 问题就是一个 P 类问题。 。 关键词 : NP-complete , P/NP 问题,子句消去法 1. ...
个人分类: 科研论文|5458 次阅读|2 个评论 热度 1
3-SAT分段子句消去算法,数学人都能看懂NPC=P的证明
热度 1 2015-9-21 06:30
3-SAT 分段多项式时间求解算法 姜咏江 摘要 :本文给出了 3-SAT 分段消去子句的求解算法。证明了可以在多项式时间求出 3-SAT 的解。从而证实斯提芬 . 库克定义下的 NP-complete 问题就是一个 P 类问题。 关键词 : NP-complete , P/NP 问题,子句消去法 转: http://blog.sciencenet.cn/blog-340399-9282 ...
个人分类: 科研论文|5275 次阅读|2 个评论 热度 1
3-SAT分段多项式时间求解算法
热度 1 2015-9-19 04:57
3-SAT 分段多项式时间求解算法 姜咏江 摘要 :本文给出了 3-SAT 分段消去子句的求解算法。证明了可以在多项式时间求出 3-SAT 的解。从而证实斯提芬 . 库克定义下的 NP-complete 问题就是一个 P 类问题。 关键词 : NP-complete , P/NP 问题,子句消去法 转: http://blog.sciencenet.cn/blog-340399 ...
个人分类: 科研论文|2883 次阅读|2 个评论 热度 1
K-CNF-SAT多项式时间求解算法和软件(正式发表)
热度 2 2015-8-13 14:42
K-CNF-SAT 多项式时间求解算法和软件 姜咏江 Email:accsys@126.com ...
个人分类: 科研论文|4600 次阅读|3 个评论 热度 2
子句消去记数法分组定解算法
热度 3 2015-7-27 14:55
子句消去记数法分组定解算法 姜咏江 你想不到难题竟然这么简单! 有人认为子句消去记数法用到了对 2 n 个可能解标志的搜索,故而这就是指数型算法。虽然我一再强调 2 n 个可能解标志只是一组数而已,但他们仍然认为 n 就是规模。其实,求解 K-CNF-SAT 的过程,将子句逐一消去的操作,显然与合取范式子句的数 ...
个人分类: 科研论文|3325 次阅读|14 个评论 热度 3
Solution k-CNF-SAT by The Remove Clause Counting Method
2015-7-17 19:26
Solution k-CNF-SAT by The Remove Clause Counting Method Jiang Yongjiang Email: accsys@126.com Abstract : This paper presents a method for the remove clauses, which can be easily obtained from the total solution of k-CNF-SAT. This paper can prove NPC =P. Keywords : NPC, P/NP ...
个人分类: 科研论文|3297 次阅读|没有评论
k-CNF-SAT子句消去计数法求解
热度 4 2015-7-16 12:05
k-CNF-SAT 子句消去计数法求解(正式发表) 姜咏江 Email:accsys@126.com 摘要 :给出子句消去计数法算法,该算法可以很容易求出 ...
个人分类: 科研论文|5403 次阅读|32 个评论 热度 4

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏

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

GMT+8, 2024-4-20 04:39

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部