Insert title here
左侧导航栏
  • 论坛声明:本帖由网友上传,只代表网友个人观点,转帖请注明作者及出处。

原创 千禧年难题PNP的逻辑证明 The logical proof of P<---->NP (cond

  • 之zizizi十
  • 等级:白银
  • 经验值:4941
  • 积分:0
  • 181
  • 243427
  • 2016-06-14 19:09:01

天气千禧年难题P-NP与天气预报逻辑探讨
============中国 云南 玉龙纳西族自治县 杨艳红

P<---->NP(条件S=1)千禧年难题PNP的逻辑证明
The logical proof of P<---->NP (conditional S=1) Millennium puzzle PNP
[编辑] P和NP 满足条件S赋值为1,,则有:P<------>NP
Meet the conditions S assigned to 1, there are: P<------>NP


复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题;类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成,或者等效的说,那些解可以在非確定型圖靈機上在多项式时间内找出的问题的集合。很可能,计算理论最大的未解决问题就是关于这两类的关系的:

[编辑] 学术定义
计算机天气预报显而易见是一个类P[WENTI]问题。
天气预报如果是有雨或者天晴。
DYI
定义
有雨是【1】
定义
天晴是【0】
预报有雨,实际天气也是下雨,则计算机天气预报是准的。
预报有雨,实际天气是晴,则计算机天气预报是不准。
======
预报天晴,实际天气也是天晴,则计算机天气预报是准的。
预报天晴,实际天气是下雨,则计算机天气预报是不准。
=====
有三种选择
AJ计算机天气预报的实际结果是准的。
BJ计算机天气预报的实际结果是不准的。
CJ计算机天气预报的实际结果是有时准有时不准。
===从计算机天气预报经时间到实际的天气状况的验证,不管从统计学还是实际经验来谈,可以得到验证的结果是CJ计算机天气预报的实际结果是有时准有时不准。
=====CONG从验证的时间检验的实际的天气结果如果用计算机语言逻辑来说结果是属于模糊逻辑。
即即计算机天气预报是数值计算是类P
===ER而可知:计算机天气预报的验证是类NP的。
====从实际经验来看有
1) 天气预报是类P,ER而天气预报的实际验证是类NP.
2)
3)
4) CHUL除了图灵停机问题外
5) 除了图灵停机问题外,所有的类PWT,类p问题不等于类NP问题
6) 除了图灵停机问题外,所有的类P问题等于类NP问题
7) 除了图灵停机问题外,有类P问题等于类NP问题,也有类P问题不等于类NP问题。
8)
9) 天气预报结果准加一分,天气预报结果不准减一分
10) 逻辑为S+1(准),S-1(不准), SFUZHU ……S赋值


定义  
有雨是表示为符号 F


定义  
天晴是表示为符号 L  
预报有雨,实际天气也是下雨,则计算机天气预报是准的。  
预报有雨,实际天气是晴,则计算机天气预报是不准。  
======  
预报天晴,实际天气也是天晴,则计算机天气预报是准的。  
预报天晴,实际天气是下雨,则计算机天气预报是不准。  
====================================

MFANG

模仿维特根斯坦真值表

[F ,F] 》S+1

[F ,L] 》S- 1

[L ,L] 》S+ 1

[L ,F] 》S - 1

YONG

用以1表示下雨,表示真,表示准

dou都符合维特根斯坦真值表规则
模仿维特根斯坦真值表

[F ,F] 》S+1       [1 ,1]》1+1  为1



[F ,L] 》S- 1       [1 ,0]》1- 1  为0

[L ,L] 》S+ 1     [0 ,0]》1+1  为1

[L ,F] 》S - 1      [0 ,1]》1- 1 为0

====考虑S赋值1

=====这是单次的天气预报的结论。
15 楼: 玉龙县杨艳红  关注  于 2016-05-22 19:04  发表    只看该作者    发短消息    加为好友  
对照仿维特根斯坦真值表

[F ,F] 》S+1       [1 ,1]》1+1  为1



[F ,L] 》S- 1       [1 ,0]》1- 1  为0

[L ,L] 》S+ 1     [0 ,0]》1+1  为1

[L ,F] 》S - 1      [0 ,1]》1- 1 为0

====考虑S赋值1

=====这是单次的天气预报的结论

由逻辑真值表得出:在S赋值为1的情况下,单次的天气预报与验证是证明出了



   P=(NP)



,在任何情况下,总有P = Q。即一个命题与其逆否命题等价。也记做: P ←→ Q

1) 天气预报是类P,ER而天气预报的实际验证是类NP.





         即P ←→ (NP)

即是) 除了图灵停机问题外,有类P问题等于类NP问题
=====S=0时,计算机采用算术通用规则
计算真与证明假

==由一般的算术规则出发

可以知道0-1= -1

===============
20 楼: 玉龙县杨艳红  关注  于 2016-05-23 08:44  发表    只看该作者    发短消息    加为好友  
S=0时,计算机采用算术通用规则




js计算真与证明假

==由一般的算术规则出发

可以知DAO道:S+1=0+1=1


S-1=0-1= - 1

有哥德尔 不完备定理告诉我们存在YOU      cz 存在有 P不等于NP完全问题并且是不可证明的

表示为P≥(NP!)    等号成立条件(s=0000)
=========================================

216 楼: 之zizizi十  关注  于 2016-05-23 18:20  发表    只看该作者    发短消息    加为好友  
计算机可以解决的问题就是计算机可以验证的问题  
等价:计算机不可验证的问题就是计算机不可解决的问题
《形式逻辑》金岳霖

2《虚实世界》哟翰。L.卡斯蒂

3,《维基百科》

4 《阿西莫夫科学指南》

5  《有趣的悖论详謬》---黄儒经  吴晓兰

回复   引用  


《视读逻辑学》

点赞



  • 分享到
    谢谢您的阅读, 您是本文第 243427 个阅览者

网友回复

A-A=0 的证明

楼: ylf521你好 关注 于 2010-12-18 10:58 发表 只看该作者 发短消息 加为好友




对OF修订为δF后,的修订版,同时对原来的日期进行了删除



==========================================

P与NP难题的证明 回复 | 推荐 | 收藏 | 树状

作者: ylf521你好 于 2010-12-14 11:08:37 发表

[编辑] P和NP

复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题;类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成,或者等效的说,那些解可以在非確定型圖靈機上在多项式时间内找出的问题的集合。很可能,计算理论最大的未解决问题就是关于这两类的关系的:



[编辑] 学术定义

更正式一些,一个决定问题是一个取一些字符串为输入并要求输出为是或否的问题。若有一个算法(譬如图灵机,或一个LISP或Pascal的程序并有无限的内存)能够在最多nk步内对一个串长度为n的输入给出正确答案,其中k是某个不依赖于输入串的常数,则我们称该问题可以在多项式时间内解决,并且将它置入类P。直观的讲,我们将P中的问题视为可以较快解决的问题。



IF程序输出一个完整的数学证明

AND证明的每一步合法

AND结论是S确实有(或者没有)一个和为0的子集

THEN

OUTPUT "是"(或者"不是"如果那被证明了)并停机

=============================================================



把f(X)+F(-X)=0归类为P问题,表示为集合S1--->{x|x∈Z,X>0,N-N=0}





猜想的运运算规则出发 设数字S+1 ,S-1 准需准寻同一角谷运算规则运算S整数



阿A=3(S+1)+1 T=3(S-1)+1 A+T=6S+2=



YOU由角谷规则出发A+T为偶数则应除2 记作角谷运算规则f(s)=A+T=3s+1



@@ 由解决-5,-7,-17时依3X+1计算重复执行时会进入循环圈 据负数运算规则出发修改角谷奇数负时运



算重复执行3X-1 偶数则除2记作F(S")



G=3(s"+1)-1 C=3(s"-1)-1 G+C=6S"-2=3S'-1 既F(s")=G+C



ze A+T+G+C=f(S)+F(S'")=3s+1+3S"-1=3(s+S")=3a



当(s+S")奇时则以!3x+1 f(s)+F(S"0=3a*3+1=9a+1 s+S">0



@@3x-1 f(s)+F(S")=3*3a-1=9a-1 s+S"<0



s+S"为偶数除以2 f(s)+F(S")=3/2a



yi乙 一整数小C表示为c=log(N*1/N*X) 则 -c=-log(N*1/N*X)



A+T=c=logN+log(X/N ) G+C=-c=logN+long(1/N*1/X)



ze A+T+G+C=f(c)+F(-c)=0000



ji f(s)+F(S")=A+T+G+C=0



因为由0定义是非奇非偶出发 当一个数表达为A+T+G+C时 不用(无法)执行循环的程序语句 即f(s)+F



(S")有一种可能结果为0000







a+t=3c+1=3logN+3log(x/N)+1

g+c=3x-1=3logN+3log(1/(Nx))-1

f(x)+f(-X)=6logN+3log(1/N*1/N)



=6logN-6logN=0000









图林条件停机、

D等价于哥德尔不完全定理



此解题方法叫=========对折迭加发法



知识的第一原理-----

---------同一事物即存在又不存在是不可能的-----

----------------==== A=A

--------------=====--[A]+[-A]=0 0就是不可能



“ 知识的第一原理-----

---------同一事物即存在又不存在是不可能的-

-------------是非常清楚确定的,但我看不出能供给我们任何知识”

-----《波儿罗亚尔逻辑》----《形式逻辑》---金乐霖



    谢谢您的阅读, 您是本文第 243427 个阅览者

A-A=0 的证明

楼: ylf521你好 关注 于 2010-12-18 10:58 发表 只看该作者 发短消息 加为好友




对OF修订为δF后,的修订版,同时对原来的日期进行了删除



==========================================

P与NP难题的证明 回复 | 推荐 | 收藏 | 树状

作者: ylf521你好 于 2010-12-14 11:08:37 发表

[编辑] P和NP

复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题;类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成,或者等效的说,那些解可以在非確定型圖靈機上在多项式时间内找出的问题的集合。很可能,计算理论最大的未解决问题就是关于这两类的关系的:



[编辑] 学术定义

更正式一些,一个决定问题是一个取一些字符串为输入并要求输出为是或否的问题。若有一个算法(譬如图灵机,或一个LISP或Pascal的程序并有无限的内存)能够在最多nk步内对一个串长度为n的输入给出正确答案,其中k是某个不依赖于输入串的常数,则我们称该问题可以在多项式时间内解决,并且将它置入类P。直观的讲,我们将P中的问题视为可以较快解决的问题。



IF程序输出一个完整的数学证明

AND证明的每一步合法

AND结论是S确实有(或者没有)一个和为0的子集

THEN

OUTPUT "是"(或者"不是"如果那被证明了)并停机

=============================================================



把f(X)+F(-X)=0归类为P问题,表示为集合S1--->{x|x∈Z,X>0,N-N=0}





猜想的运运算规则出发 设数字S+1 ,S-1 准需准寻同一角谷运算规则运算S整数



阿A=3(S+1)+1 T=3(S-1)+1 A+T=6S+2=



YOU由角谷规则出发A+T为偶数则应除2 记作角谷运算规则f(s)=A+T=3s+1



@@ 由解决-5,-7,-17时依3X+1计算重复执行时会进入循环圈 据负数运算规则出发修改角谷奇数负时运



算重复执行3X-1 偶数则除2记作F(S")



G=3(s"+1)-1 C=3(s"-1)-1 G+C=6S"-2=3S'-1 既F(s")=G+C



ze A+T+G+C=f(S)+F(S'")=3s+1+3S"-1=3(s+S")=3a



当(s+S")奇时则以!3x+1 f(s)+F(S"0=3a*3+1=9a+1 s+S">0



@@3x-1 f(s)+F(S")=3*3a-1=9a-1 s+S"<0



s+S"为偶数除以2 f(s)+F(S")=3/2a



yi乙 一整数小C表示为c=log(N*1/N*X) 则 -c=-log(N*1/N*X)



A+T=c=logN+log(X/N ) G+C=-c=logN+long(1/N*1/X)



ze A+T+G+C=f(c)+F(-c)=0000



ji f(s)+F(S")=A+T+G+C=0



因为由0定义是非奇非偶出发 当一个数表达为A+T+G+C时 不用(无法)执行循环的程序语句 即f(s)+F



(S")有一种可能结果为0000







a+t=3c+1=3logN+3log(x/N)+1

g+c=3x-1=3logN+3log(1/(Nx))-1

f(x)+f(-X)=6logN+3log(1/N*1/N)



=6logN-6logN=0000









图林条件停机、

D等价于哥德尔不完全定理



此解题方法叫=========对折迭加发法



知识的第一原理-----

---------同一事物即存在又不存在是不可能的-----

----------------==== A=A

--------------=====--[A]+[-A]=0 0就是不可能



“ 知识的第一原理-----

---------同一事物即存在又不存在是不可能的-

-------------是非常清楚确定的,但我看不出能供给我们任何知识”

-----《波儿罗亚尔逻辑》----《形式逻辑》---金乐霖



    谢谢您的阅读, 您是本文第 243427 个阅览者

计算机可以解决的问题就是计算机可以验证的问题
等价:计算机不可验证的问题就是计算机不可解决的问题
前提条件 :S=1

    谢谢您的阅读, 您是本文第 243427 个阅览者

计算机可以解决的问题就是计算机可以验证的问题
The computer can solve the problem is the computer can verify the problem
等价:计算机不可验证的问题就是计算机不可解决的问题
Equivalence: the problem that the computer does not verify is the problem that the computer cannot solve
前提条件 :S=1
Prerequisite: S = 1

    谢谢您的阅读, 您是本文第 243427 个阅览者

http://forum.home.news.cn/post/viewPost.do?id=139489093http://forum.home.news.cn/post/viewPost.do?id=139486345

十五楼谈到“算术算法”在二值数学中应用,属于歪打误中,值得商榷。
我们知道布尔代数,逻辑代数以及集合论都属于二值系统。在概念代数学(概念关系代数学的简称)出现以前各自为政。直到概念代数学于本世纪由吴士珑建立,统一了这几门代数学。在概念代数学中,基本运算也是四则运算,类似于算术中算法。但是这种适用于二值系统的四则运算要增加约束条件,如附图中表格所示。这是与算术中法则有根本区别的。

在概念代数学中,以这种四则运算为基础,引入了能表达逻辑命题中具有判断含义的动词,及能表达集合之间关系的动词含义的复合运算符。这样许多逻问题和集合关系可以通过求解各自方程得到解答。于走成千上万个适合于逻辑和集合领域的定律被发掘了出来。

概念代数学发展了布尔代数,统一了逻辑和集合两种数学,成为人类逻辑思维的数学基础。是人类的亚里士多德发理三段论的两千多年来的一项重大突破。使逻辑学可以从哲学神台上脱离出来成为一门独立的应用学科。这种过程与数理代脱离哲学的过程极为类似。从而也实现了莱布尼茨的科学预见……

网友想了解详情,请关注微信公众号:概念代数学,

    谢谢您的阅读, 您是本文第 243427 个阅览者

附图

帖子附图:
    谢谢您的阅读, 您是本文第 243427 个阅览者

P和NP [ 编辑 ]

复杂度类P即为所有可以由一个确定型图灵机在多项式表达的时间内解决的问题;类NP由所有可以在多项式时间内验证解是否正确的决定问题组成,或者等效的说,那些解可以在非确定型图灵机上在多项式时间内找出的问题的集合。 很可能, 计算理论最大的未解决问题就是关于这两类的关系的:
========维基百科

    谢谢您的阅读, 您是本文第 243427 个阅览者

大自然中物质变化——化学

大自然中物质运动——物理

大自然中客体之间关系——逻辑?

    谢谢您的阅读, 您是本文第 243427 个阅览者

回复铁臂道人的帖子:
说得好!
逻辑是研究世间客体之间关系的科学!

而决不是像教科书所说的是“研究推理和论证的学科”。

如果是推理和论证,那么证明三角形内角之和为180度的过程就应该属于逻辑学,而不叫几何学了!

    谢谢您的阅读, 您是本文第 243427 个阅览者

梦:三个园与两条直线平行于相交的反复运用,除了费马猜想外,所有的代数问题都可以转化为[jihe]问题

    谢谢您的阅读, 您是本文第 243427 个阅览者

谢谢您的阅读, 您是本文第 11494 个阅览

    谢谢您的阅读, 您是本文第 243427 个阅览者

什么是逻辑?
逻辑是反映世间客体之间关系的规律,例如三段论

如果A是B,B是C,那么A是C

表示了三个客体A,B和C之间通过逻辑联词而表达的从属关系。

    谢谢您的阅读, 您是本文第 243427 个阅览者

本人简介:71年生,89年考入武汉工学院电子系工业自动化专业。94年因病退学
======现在家务农。

    谢谢您的阅读, 您是本文第 243427 个阅览者

概念客 ----网友你介绍的书是应该如何购买?

    谢谢您的阅读, 您是本文第 243427 个阅览者

概念客 ----网友你介绍的书是如何购买?
=====书名是什么,
====是否可以为你充值电话费,把书邮寄来。
=====我的地址是云南省玉龙县巨甸镇巨甸二社杨艳红
=====手机13312690681

    谢谢您的阅读, 您是本文第 243427 个阅览者


演绎:由假设和普谝原理得出特殊事件的推断和预测
利用逻辑规则分析时,演绎推断依赖于一组最初假设既(公理)假如最初假设为真同时分析中不存在逻辑

矛盾,依照逻辑规则则结论就必定为真
图灵提出的问题----------------------------------给定一台计算机的一个程序F ,Y以及该程序将处

理的输入数据集Q,是否存在一个算法,使我们预先知道程序F ,在处理数据Q 的过程中是否将在有限步

骤之后停止

注意图灵追求的是这样一个程序
它将对所有可能的程序F与输入Q决定是否停机
图灵1936发表文章指出“停机问题”无解,即不存在这样的算法
--------------------------------《虚实世界》------计算机仿真如何改变科学的疆域

(2009-04-27 11:32:24)

    谢谢您的阅读, 您是本文第 243427 个阅览者

回复玉龙杨艳红的帖子

    谢谢您的阅读, 您是本文第 243427 个阅览者

愿更多的人关注,引起共识,少施农药,为粮食安全,人类健康献力!

    谢谢您的阅读, 您是本文第 243427 个阅览者

1 《形式逻辑》金岳霖

2《虚实世界》哟翰。L.卡斯蒂

3,《维基百科》

4 《阿西莫夫科学指南》

5 《有趣的悖论详謬》---黄儒经 吴晓兰




6 《视读逻辑学》
7姜咏江

    谢谢您的阅读, 您是本文第 243427 个阅览者

逻辑简明,条理清晰,证明简洁

    谢谢您的阅读, 您是本文第 243427 个阅览者
单张最大不超过1M!

    用户名: 密码:         注册新用户     找回密码