科学网—accsys的博文

能不能依靠国家的力量挺起中文科学发表？

热度 18 姜咏江 2016-5-29 18:42

能不能依靠国家的力量挺起中文科学发表？姜咏江中国这么一个大国，这些年科学研究界一直在追求着所谓的英文“科学论文发表”。英文科学论文发表对人类来说无疑是一件大好事，然而对追求“中华民族伟大复兴”的国家来说，追求英文发表却未必是一件益处颇多的壮举。据说，世界上论文发表能够被认可的， ...

个人分类: 科研论文|6381 次阅读|58 个评论热度 18

3-SAT分段子句消去法(正规专业版）

热度 1 姜咏江 2015-10-15 06:53

前言：本文投给《中国科技论文在线》后说我已经在科学网上发表了。前在博客中发表的不够正规专业，因此将正规一些的再用博文发表一次，供数学计算机专业的人士讨论。 3-SAT 分段子句消去法姜咏江摘要：本文给出了 3-SAT 分段消去子句的求解算法。证明了可以在多项式时间求出 3-SAT 的解。从而证实 ...

个人分类: 科研论文|5673 次阅读|1 个评论热度 1

3-SAT关联段子句消去法（详细解法）

热度 1 姜咏江 2015-10-4 06:54

3-SAT 关联段子句消去法姜咏江摘要：本文给出了 3-SAT 分段消去子句的求解算法。证明了可以在多项式时间求出 3-SAT 的解。从而证实斯提芬 . 库克定义下的 NP-complete 问题就是一个 P 类问题。。关键词： NP-complete ， P/NP 问题，子句消去法 1. ...

个人分类: 科研论文|5888 次阅读|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 ...

个人分类: 科研论文|5552 次阅读|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 ...

个人分类: 科研论文|3106 次阅读|2 个评论热度 1

K-CNF-SAT多项式时间求解算法和软件（正式发表）

热度 2 姜咏江 2015-8-13 14:42

K-CNF-SAT 多项式时间求解算法和软件姜咏江 Email:accsys@126.com ...

个人分类: 科研论文|4906 次阅读|3 个评论热度 2

子句消去记数法分组定解算法

热度 3 姜咏江 2015-7-27 14:55

子句消去记数法分组定解算法姜咏江你想不到难题竟然这么简单！有人认为子句消去记数法用到了对 2 n 个可能解标志的搜索，故而这就是指数型算法。虽然我一再强调 2 n 个可能解标志只是一组数而已，但他们仍然认为 n 就是规模。其实，求解 K-CNF-SAT 的过程，将子句逐一消去的操作，显然与合取范式子句的数 ...

个人分类: 科研论文|3618 次阅读|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 ...

个人分类: 科研论文|3500 次阅读|没有评论

k-CNF-SAT子句消去计数法求解

热度 4 姜咏江 2015-7-16 12:05

k-CNF-SAT 子句消去计数法求解(正式发表）姜咏江 Email:accsys@126.com 摘要：给出子句消去计数法算法，该算法可以很容易求出 ...

个人分类: 科研论文|5783 次阅读|32 个评论热度 4

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

关闭 安全验证

accsys

关闭安全验证