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

千禧年难题PNP---(二)

  • 杨志宏与阿燕
  • 等级:白银
  • 经验值:5757
  • 积分:0
  • 43
  • 27300
  • 2017-05-31 08:29:41


============
天气千禧年难题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)

===========
s-s=0的证明
<<一>>
作者:ylf521 (2010-10-02 17:36:02) 得票:14

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

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

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

骤之后停止

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

(2009-04-27 11:32:24) 得票:0

作者:ylf521 (2009-04-02 23:09:59) 得票: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


谢谢您的阅读, 您是本文第 167 个阅览者 关闭窗口

 第1条回复: 参与讨论 推荐
作者:ylf521你好 于 2008-11-23 15:15:44.0 发表  来自: 发送短消息

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


谢谢您的阅读, 您是本文第 167 个阅览者 关闭窗口

 第2条回复: 参与讨论 推荐
作者:ylf521你好 于 2008-11-23 15:17:44.0 发表  来自: 发送短消息

图林条件停机、
误解无解
此解题方法叫=========对折迭加发法

知识的第一原理-----
---------同一事物即存在又不存在是不可能的-----
----------------==== A=A
--------------=====--[A]+[-A]=0 0就是不可能

“ 知识的第一原理-----
---------同一事物即存在又不存在是不可能的-
-------------是非常清楚确定的,但我看不出能供给我们任何知识”
-----《波儿罗亚尔逻辑》----《形式逻辑》---金乐霖


谢谢您的阅读, 您是本文第 153 个阅览者 关闭窗口


结论==== S-S=0
参考书籍

1 形式逻辑》金岳霖

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

3,《维基百科》

4 《阿西莫夫科学指南》

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



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

点赞

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

网友回复

通过逻辑真值表,表达了计算机pnp的布尔逻辑的满足问题

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

回复  杨志宏与阿燕 的帖子:杨先生真够东一榔头、西一棒槌,就是和主题连接不上题!

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

空洞无味的逻辑必定是耗无意义。

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

今天割埂子,手指割掉一层肉,到卫生室包,花了五块

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

作品入选--川陕苏区将帅碑林楹联

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

科幻需去实践,实事求是、是实践得真知的结果!“正、负电荷论”没“正电荷”而电子确实有n、s极磁!所谓 夸克 、胶子来自何妨?

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

Philox
[凯迪会员]  
第 6 楼
强扭的瓜不甜。强制性灌脑容易脑残。你叫那些经过严密几何逻辑与严格数学定律训练并筛选上来的学生接受“辩证法”:你既是A(正题),又是非A(反题),过会儿就成了新A(合题),还说这是自然规律和世界真理?如何自洽矛盾律(不存在既真又假和真假合一),如何解释正负数或实数与虚数(1)+(-1)=0,等等)?集合论、数论、群论还可能吗?

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

Philox
[凯迪会员]   | 只看此人 | 不看此人 | 2017/6/4 12:27:20    iPhone客户端
第 6 楼
强扭的瓜不甜。强制性灌脑容易脑残。你叫那些经过严密几何逻辑与严格数学定律训练并筛选上来的学生接受“辩证法”:你既是A(正题),又是非A(反题),过会儿就成了新A(合题),还说这是自然规律和世界真理?如何自洽矛盾律(不存在既真又假和真假合一),如何解释正负数或实数与虚数(1)+(-1)=0,等等)?集合论、数论、群论还可能吗?

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

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

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

引自:28楼:杨志宏与阿燕于  2017-06-15 10:16:02发表 Philox [凯迪会员] | 只看此人 | 不看此人 | 2017/6/4 12:27:20 iPhone客户端 第 6 楼 强扭的瓜不甜。强制性灌脑容易脑残。你叫那些经过严密几何逻辑与严格数学定律训练并筛选上来的学生接受“辩证法”:你既是A(正题),又是非A(反题),过会儿就成了新A(合题),还说这是自然规律和世界真理?如何自洽矛盾律(不存在既真又假和真假合一),如何解释正负数或实数与虚数(1)+(-1)=0,等等)?集合论、数论、群论还可能吗?
  • 2017-06-04 17:24:29发表

  • 6楼


收割机收割

回复  杨志宏与阿燕 的帖子:杨先生真够东一榔头、西一棒槌,就是和主题连接不上题!这客户端 第 6 楼 强扭的瓜不甜。是从那里搞来的?不过这却提出点问题请问这是什么逻辑呢?

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

用数学语言解答,用逻辑语言描述,用语文做解释谢谢您的阅读, 您是本文第17925个阅览者

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

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

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

引自:23楼:研究物理认于  2017-06-14 04:34:08发表 空洞无味的逻辑必定是耗无意义。

逻辑就是将复杂的问题简单化

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

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

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

要证实猜想就要按照逻辑规则给出有理有据的证明,或者按照逻辑规则给出科学合理的解释。

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

证明存在。

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

引自:35楼:杨志宏与阿燕于  2017-06-20 11:36:37发表 要证实猜想就要按照逻辑规则给出有理有据的证明,或者按照逻辑规则给出科学合理的解释。

回复  杨志宏与阿燕 的帖子:在这只看了你的猜想、还从未见你那照逻辑规则给出有理有据的证明和给出科学合理的解释。你要有不妨帖岀来看看!

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

将复杂的问题用逻辑来简单化,符合奥卡姆剃刀原理

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

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

高阶逻辑====

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

卖了本《逻辑导论》美。苏佩斯===看了一遍通读。记忆力不行了,连模仿写成规范的逻辑学表达式的能力也没有。

------------

不过,我的证明 是通俗易懂

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

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

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