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

博文

P与NP问题概念解剖

已有 4796 次阅读 2014-12-12 10:54 |个人分类:科研讨论|系统分类:科研笔记| 多项式时间, P与NP问题

PNP问题概念解剖

姜咏江      

把简单问题说复杂了,那叫蒙人;把复杂问题说简单了,那叫学问。

定义1集合X一个元素x与集合Y的一个元素y的对应(xy)称为问题。

定义2集合XY关系确定的问题称为NP类问题,函数(映射)确定的问题称为P类问题。

定理1集合XYP类问题亦是NP类问题。

证明:若(xy)P,则因函数(映射)是关系的特例,所以(xy)NP

定理2集合XYNP类问题亦是P类问题。

证明:假设有xXyY,有问题(xy)NP(xy)P,则可以定义一个函数(映射)使得(xy)是该函数(映射)的一个问题。于是就有了(xy)P

函数或映射的定义域可以一般集合,可以是n维集合上的元素。例如,xn个数集A={a1,a2,...,an}的幂集元素,则x元素和函数的问题为(x,Σai)(这里不好表示aix)

定义3关系确定问题可用自然数标号,则称此关系是有序关系,问题的标号称为序

所谓标号,就是问题与自然数集的数能够建立一一对应。

定义4函数确定问题可用自然数标号,则称此函数是有序函数,问题的标号称为序

定理3:有限元素集合XYXY关系是有序关系

证明:设集合Xm个元素,集合Yn个元素,则当xXyY时,互不相同的问题 (xy) 共有mn个,于是可以建立问题与自然数集N={1,2,...,mn}元素的一一对应。

推论1:有限元素集合XY函数是有序函数

推论2:以有限集合A的非空子集为元素定义的函数是有序函数。

证明:设集合A的元素有n个,则A的幂集Β有2n-1非空子集元素。将非空子集用12n-1的自然数标号,于是定义在Β上的任意函数的问题与2n-1个从12n-1的自然数一一对应。

定义5:有序关系问题按序列表,称为关系真值表。

定义6:有序函数问题按序列表,称为函数真值表。

定义7:寻找附合条件问题的过程,叫做求解。

定理4(多项式时间定理):m元与k元有限集合间关系求解时间是多项式时间。

证明:设有限集合间关系的序为N={1,2,...,n}n=mk问题(a0,y0)是要验证的问题。则依序最多比较n次可以得到是与否的结果。故查找问题(a0,y0,的时间复杂度是O(n)

推论3:二有限集合间的函数问题求解时间是多项式时间。

推论4有限集合到自身的关系求解是多项式时间。

推论5有限集合到自身的函数求解是多项式时间。

 

E-mail:accsys@126.com

 

2014-12-12

 

 

 



https://blog.sciencenet.cn/blog-340399-850443.html

上一篇:解析式不能表达的子集和函数,自由的正式发表
下一篇:当代中国科学界最缺少什么?
收藏 IP: 124.64.104.*| 热度|

1 icgwang

该博文允许注册用户评论 请点击登录 评论 (2 个评论)

数据加载中...
扫一扫,分享此博文

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

GMT+8, 2024-11-23 00:11

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部