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

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

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

回复   引用  


《视读逻辑学》

点赞



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

网友回复

计算机不可验证的问题就是计算机不可解决的问题
================
计算机不可验证的问题====逻辑是0
计算机不可解决的问题====逻辑是0
=======================
计算机不可验证的问题就是计算机不可解决的问题=(0,0)》S+1
S赋值1或者0,S+1都是1即为【真】


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

进行系统的思考并且证明你的思考过程步调一致,即一个接着一个,者这就是一种能力。
当这种能力用于处理繁缛复杂的内容时,就体现出其自身的条理性和优势条件---亚里士多德

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

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

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

真值表的逻辑的证明如同是个框架。框架可以支持数理证明。

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

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

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

证明简单不等于没有难度

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

科学简单说就是真与假

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

布尔代数是简单。可也是有深度的。

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

将复杂的问题化为简单是一种能力
谢谢您的阅读, 您是本文第 43211 个阅览

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

逻辑实证论
逻辑实证论:
维特根斯坦
维特根斯坦
19世纪中叶,出生于奥地利维也纳的哲学家维特根斯坦(后加入英国籍),结合实证主义中重经验的学说和符号逻辑学说,成为逻辑实证论。符号逻辑就是将代数的方法和符号,应用在逻辑上。这种理论运用逻辑,达成具有像数学那样明显和确实的结论。
什么是实证主义
江怡:什么是实证主义--对它的一种史前史考察
实证主义是自古希腊以来的西方哲学中的重要传统。但作为一种哲学思潮,实证主义萌芽于17世纪的欧洲,18世纪后逐渐形成的所谓唯理论与经验论之间表面对立的背后,隐藏着一种深刻的一致,即对关于世界的偶然知识与关于永恒之物的必然知识的严格区分。

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

zr自然逻辑的方法,自然逻辑的论证

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

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

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

逻辑是科学的。本文逻辑是清晰的。只是不足是对NP完全的一个具体求解(算法)没有给出。

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

演绎逻辑推理要

逻辑清晰,推导要简洁明了的,结论要一目了然

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

科学不是吹牛耍嘴皮子。

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

数学推理

  推理是从一个或几个判断得出一个新判断的思维过程。一个推理由前提和结论两部分所组成,推理时所依据的判断称为前提,从前提通过推理得到的新判断称为结论。

  例如,等腰三角形的两腰相等,△ABC是等腰三角形,所以△ABC的两腰相等。

  就是一个推理,前面的两个判断是前提,后一个所得的新判断为结论。

  判断有内容和形式两方面的问题,推理也有内容和形式两方面的问题。内容方面即前提和结论的真假问题,这个问题要靠各门具体科学,靠实践解决;形式方面即推理的结构问题,形式逻辑学是从形式方面来研究什么样的推理形式是正确的,提供关于前提和结论之间的逻辑规则。正确的推理首先要求前提必须真实,其次必须遵守推理规则,合乎逻辑,这样才能反映客观事物间的逻辑关系
谢谢您的阅读, 您是本文第 47857 个阅览者

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

梦见比尔盖兹教我编程序

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

引自:57 楼: 之zizizi十 关注 于 2016-09-01 21:23 发表梦见比尔盖兹教我编程序
谢谢您的阅读, 您是本文第 49458 个阅览者

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

爱因斯坦说 “想象力比知识更重要,因为知识是有限的,而想象力概括着世界的一切,推动着进步 谢谢您的阅读, 您是本文第 50881 个阅览者

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

梦到mao说我是二十世纪后实证主义

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

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