============
天气千禧年难题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问题。
天气预报如果是有雨或者天晴。
DYI
定义
有雨是【1】
定义
天晴是【0】
预报有雨，实际天气也是下雨，则计算机天气预报是准的。
预报有雨，实际天气是晴，则计算机天气预报是不准。
======
预报天晴，实际天气也是天晴，则计算机天气预报是准的。
预报天晴，实际天气是下雨，则计算机天气预报是不准。
=====
有三种选择
AJ计算机天气预报的实际结果是准的。
BJ计算机天气预报的实际结果是不准的。
CJ计算机天气预报的实际结果是有时准有时不准。
===从计算机天气预报经时间到实际的天气状况的验证，不管从统计学还是实际经验来谈，可以得到验证的结果是CJ计算机天气预报的实际结果是有时准有时不准。
===从验证的时间检验的实际的天气结果如果用计算机语言逻辑来说结果是属于模糊逻辑。
即即计算机天气预报是数值计算是类P
===ER而可知：计算机天气预报的验证是类NP的。
====从实际经验来看有
1） 天气预报是类P,而天气预报的实际验证是类NP.
2）
3）
4） CHUL除了图灵停机问题外
5） 除了图灵停机问题外，所有的类PWT,类p问题不等于类NP问题
6） 除了图灵停机问题外，所有的类P问题等于类NP问题
7） 除了图灵停机问题外，有类P问题等于类NP问题，也有类P问题不等于类NP问题。
8）
9） 天气预报结果准加一分，天气预报结果不准减一分
10） 逻辑为S+1(准)，S-1(不准)， ……S赋值
定义
有雨是表示为符号 F
定义
天晴是表示为符号 L
预报有雨，实际天气也是下雨，则计算机天气预报是准的。
预报有雨，实际天气是晴，则计算机天气预报是不准。
======
预报天晴，实际天气也是天晴，则计算机天气预报是准的。
预报天晴，实际天气是下雨，则计算机天气预报是不准。
====================================
MFANG
模仿维特根斯坦真值表
[F ,F] 》S+1
[F ,L] 》S-1
[L ,L] 》S+1
[L ,F] 》S-1
YONG
用以1表示下雨，表示真，表示准
都符合维特根斯坦真值表规则
模仿维特根斯坦真值表
对照逻辑真值表
[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
由逻辑真值表得出：在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
存在有1-1+1-1+1-1+1.。。。。。。。的和是个悖论
===不证自明
有哥德尔 不完备定理告诉我们存在YOU cz 存在有 P不等于NP完全问题并且是不可证明的
表示为P≥(NP！) 等号成立条件（s=0000）
=========================================
216 楼： 之zizizi十 关注 于 2016-05-23 18:20 发表 只看该作者 发短消息 加为好友
计算机可以解决的问题就是计算机可以验证的问题
等价：计算机不可验证的问题就是计算机不可解决的问题，前提是（s=1)
===========
