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

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

  • 之zizizi十
  • 等级:白银
  • 经验值:4941
  • 积分:0
  • 198
  • 254034
  • 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  《有趣的悖论详謬》---黄儒经  吴晓兰

回复   引用  


《视读逻辑学》

点赞



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

网友回复

杨艳红原创

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

图灵机,这个装置包含一条无限长的磁带,上面划有小格,每一格上可以包含符号0或1,另有一个能够呈几种状态的读写头。这些状态可以看作是读写头内的一个指针的可能位置。读写头可以沿着磁带逐格移动,每一步执行下列行为中的一项:
在当前格子中书写1
在当前格子中书写0
向左移动一格
向右移动一格
将当前状态改写为另一状态
保持当前状态
停机
就这样,读写头的每一步仅有这7种可能性。
==========================
《虚实世界-----------计算机仿真如何改变科学的疆域》作者约翰。L。卡斯蔕 P51

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

更改了一个字:
S=0时,计算机采用算术通用规则




哥德尔不完全性定理有-----要么“计算真不可证”,要么“计算假可证”

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

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


S-1=0-1= - 1

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

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

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

自然的逻辑证明可以等价计算机程序证明吗?

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

自然的逻辑证明可以等价计算机程序证明吗?
=====真值表在逻辑上是应该等价的。

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

真值表是数理逻辑的基础

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

引自:23 楼: 之zizizi十 关注 于 2016-08-01 09:28 发表更改了一个字: S=0时,计算机采用算术通用规则 哥德尔不完全性定理有-----要么“计算真不可证”,要么“计算假可证” ==由一般的算术规则出发 可以知DAO道:S+1=0+1=1 S-1=0-1= - 1 有哥德尔 不完备定理告诉我们存在YOU cz 存在有 P不等于NP完全问题并且是不可证明的 表示为P≥(NP!) 不 等号成立条件(s=0000) =========================================
====这也是要证明。

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

有一个男人,有一个女人
这个男人是男人,要证明这个人是男人
==============
这个人是男人,要证明这个男人是个男人,该如何证明?

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


解决P/NP问题就能拿到100万美元,这可是货真价实的金券!

更妙的是,如果你能证明P=NP,那么你也就掌握了找到金券的秘诀,解决其余的千禧年难题将是举手之劳。也就是说,证明了P=NP,你就能解决6道千禧年难题,并得到600万美元。然而证明P=NP或P≠NP可没那么容易。一心想得到600万美元的人最好去玩彩票,那样把握更大一些。
=====《可能与不可能的边界----P/NP问题史趣》

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

存在NP完全问题不等于P问题,要证明P不等于NP完全问题。
要证明以上,是否是奇葩证明???

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

7) 除了图灵停机问题外,有类P问题等于类NP问题,也有类P问题不等于类NP问题。

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

对于数学而言:存在不等于证明。

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

物理来说-----存在就是证明。
数学而言,存在不等于证明,证明依靠公理为前提,进行演绎推理或归纳推理而证明命题,得出结论定理。

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

存在于哥德尔不完全定理

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

我的证明是小学生可以看,是非懂似懂,初中生可以看明白,高中生可以完成,到大学生就是怎么想不到会如此简单。。。

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

简单不等于没有深度,布尔代数是简单的,同时是具有深度同时在现代科学中应用广泛

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

【奥卡姆剃刀】以结果为导向,始终追寻高效简洁的方法,600多年来,这一原理在科学上得到了广泛的应用,从牛顿的万有引力到爱因斯坦的相对论,奥卡姆剃刀已经成为重要的科学思维理念。

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

物理来说-----存在就是证明。 数学而言,存在不等于证明,证明依靠公理为前提,进行演绎推理或归纳推理而证明命题,得出结论定理。[/qt]

====SX数学上存在就是证明也是存在的----就是归谬法(反证法)

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

引自:38 楼: 之zizizi十 关注 于 2016-08-13 09:54 发表物理来说-----存在就是证明。 数学而言,存在不等于证明,证明依靠公理为前提,进行演绎推理或归纳推理而证明命题,得出结论定理。
====SX数学上存在就是证明也是存在的----就是归谬法(反证法)[/qt]====像哥德巴赫猜想,黎曼猜想,角谷猜想是计算机已经验证了很多的数,也就是存在很多的数都是满足猜想,可是并不是数学的证明------即为存在(?是否)是证明???

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

计算机可以解决的问题就是计算机可以验证的问题
等价:计算机不可验证的问题就是计算机不可解决的问题
前提条件 :S=1
=================
逻辑来说:计算机不可验证的问题就是计算机不可解决的问题---是真值为真

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

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