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

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

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

回复   引用  


《视读逻辑学》

点赞



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

网友回复

表妹的丈夫的爷爷去世了,今天要去吊孝。
===
9号中一注直选,到今天剩下400元

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

二月份中奖两千,加上亲戚给了一千五
===
给了老婆一千,剩下的都投入彩票了。
===
三月中奖一千,给老婆二百五,到今天已经一分没有了。

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

不东拉西扯了,还是谈点正题。
==========
本证明是符合逻辑真值表的布尔逻辑

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

mjian梦见18号开奖18亿

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

上孔夫子旧书网买了本《逻辑导论》,原价是一块六,花18块买来。
============
作者是美国斯坦福大学哲学教授P.苏佩斯
记忆力不行,看书也是不好理解
谢谢您的阅读, 您是本文第 185200 个阅览者

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

回复  杨志宏与阿燕 的帖子:“逻辑”只是事物发展的过程,事物的发展必须要有物质基础,这就是物质结构的最小基本粒子【电子、并且、有磁n、s极的物理反应】!

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

逻辑是以逻辑真值表为基础,我的证明是存在符合 <---->的逻辑真值表的逻辑证明


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

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

计算机不可验证的问题就是计算机不可解决的问题(前提S=1)
=========
HAOX好像是个不证自明的问题。

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

如果pnp难题的证明获得承认,则牛顿原子炮的论文自然而然的得到大家的公认
===============
如果牛顿原子炮的论文得到承认,则pnp难题自然而然是得到专家的认可
===关系就是名人效应。

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

逻辑是内在的,逻辑推理是保真的论证

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

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

逻辑证明,使用自然的逻辑。逻辑是依靠真值表来断定真同假
谢谢您的阅读, 您是本文第 194368 个阅览者

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

计算机不可验证的问题就是计算机不可解决的问题(前提S=1)
========= 不证自明。
===还要证明,就用逻辑真值表来说明。

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

-这句话用逻辑该如何表达?=============
の===我用逻辑真值表证明“计算机不可验证的问题就是计算机不可解决的问题”,好像是正确的废话。

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

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

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

使用是自然逻辑的语言,没有能力使用形式化的数理逻辑的语言
谢谢您的阅读, 您是本文第 203724 个阅览者

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

有631个赞。
谢谢大家的支持

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

《三句话证明哥德巴赫猜想》的帖子被屏蔽了

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


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

今天去上坟,过去清明都是到山上做饭,今年没有,准备了水饭,点灯,烧香,烧纸。割了割草。
=====
谢谢您的阅读, 您是本文第 208856 个阅览者

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

证明是简单,证明结果出来当然是觉得简单
==简单不等于没有难度,不然如何是十六年了。
谢谢您的阅读, 您是本文第 212964 个阅览者

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

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