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

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

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

回复   引用  


《视读逻辑学》

点赞



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

网友回复

A^Nx+B^Nx+C^Nx+D^Nx等于多少可以解天下一切难题?
---------------佛出的数学题



(a^n+b^n)^2-2a^nb^n=(a^n+b^n-(根号2a^nb^n))*(a^n*b^n+根号(2a^n*b^n))


A::
a^(4n)+b^(4n)=(a^(2n)+b^(2n))^2-2a^(2n)*b^(2n)//
----(a^n/b^n)=x,----
(b^n/a^n)=y,,
联立方程

x*y=1
x^2+y^2=(x+1/x+根号2)*(y+1/y-根号2)



 x*y=1/

/////x^4+y^4=(x^2+1/x^2-g2)*(y^2+1/y^2+g2)//
g2=根号2




关于---:X^P+Y^P=?的思考----
///////令 x*y=1
@)x^2+y^2=z^2=====(x^4+1)/x^2====((y^4+1)/y^2
////ze [(c/d)^p]^2+[(d/c)^p]^2=z*z
-------------ze :c^(4p)+d^(4p)=z*z*(cd)^(2p)



关于---:X^P+Y^P=?的思考----
///////令 x*y=1
@)x^2+y^2=z^2=====(x^4+1)/x^2====((y^4+1)/y^2
////ze [(c/d)^p]^2+[(d/c)^p]^2=z*z
-------------ze :c^(4p)+d^(4p)=z*z*(cd)^(2p)


令X*Y=1//
则:X^2n+Y^2n==(X^n+1/X^n-根号2)*(Y^n+1/Y^n+根号2)
//X^2n+Y^2n==(x^n+y^n-g2)*(x^n+y^n+g2)--------------->



费马钻牛角尖,X^N+Y^N=Z^N(MAX)+K1====或Z"N(最小)-K2...//
在一范围内,偏要来Z^N=X^N+Y^N的等式的形式---
其实来YI ---X^N+Y^N==多少来求接/解就比较简单



费马钻牛角尖,X^N+Y^N=Z^N(MAX)+K1====或Z"N(最小)-K2...//
在一范围内,偏要来Z^N=X^N+Y^N的等式的形式---
其实来YI ---X^N+Y^N==多少来求接/解就比较简单


联立方程====/
x*y=1----(!)
x^(p/2)+y^p/2=(x^(p/2)+1/x^(p/)2-g2)*(y^(p/2)+1/y^(p/2)+g2)-----@以证明成立///
设------z^(p/4)==(x^(p/2)+1/x^(p/)2----(3
---------------z^(p/4)==(y^(p/2)+1/y^(p/2)+----(4
------ze / x^(p/2)+y^(p/2)===z^(p/2)-2
p=2,3,5,7,11.....素数



,X^N+Y^N=Z^N(MAX)+K1====或Z"N(最小)-K2...//
在一范围内,偏要来Z^N=X^N+Y^N的等式的形式---
其实来YI ---X^N+Y^N==多少来求接/解就比较简单

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

(X-1/X)^4=(X-2+1/X)^2 x (X+2+1/X)^2
=====
(X-1/X)^2=(√X - 1/ √X)^4
========
(X-1/X)^2=(√X + 1/ √X)^4

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

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

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

qip
奇葩证明
S-1
S赋值1
则S-1=0
=========
S-1
S赋值0
则s-1
=0-1=-1
移项0=1-1
即得1=0
===1=0是错误的

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

费马 想是用升幂因式分解法 谢谢您的阅读, 您是本文第 150636 个阅览者

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

春节,外甥女阿蓉回来,我的儿子叫三元,
有一天,我说:“三元,帮舅舅把水拿来”,结果是外甥女哈哈大笑,而我是莫名其妙

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

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

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

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

骤之后停止

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

(2009-04-27 11:32:24)
====================
谢谢您的阅读, 您是本文第 151663 个阅览者

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

关注

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

=我靠智慧,我的论文给国家科委寄过,没有想到给期刊投稿,
===靠智慧,我虽然是在种地,实际是啃老。
想钱快想疯了。
今天将牛顿加农炮的论文寄到清华大学的杨振宁老先生处了。=====向外国期刊投稿,英文不支持。====国内期刊是收费,使用所以没有投稿
谢谢您的阅读, 您是本文第 152935 个阅览者

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

科学思想(1):简约之美
2017-02-05
张天蓉
现代科学报

物理学中的统一路,实际上追求的是一种简约之美。

把复杂的事情简单化,是一种本领和智慧。简约并不简单,大智若愚,大道至简,用简去繁,以少胜多。中国清代有位书画家郑板桥,被称为“扬州八怪”之一,在书斋中挂了一幅自写的对联,题曰:“删繁就简三秋树,领异标新二月花”,以此表明他的书法及文学理念,主张以最简练清晰的笔墨,不同凡响的思想,表现出最丰富的内容。

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

蝶恋花--灯谜
=========
三只大雁天上飞/
排成一列迎风向北归/
四大山山山相联/
层层叠叠影映水/

一轮红日冉冉升/
朝霞漂漂渺渺绕群峰/
清山绿地朝雾新/
江水碧碧水映云/

====[字谜]

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

蝶恋花--灯谜
=========
三只大雁天上飞/
排成一列迎风向北归/
四大山山山相联/
层层叠叠影映水/

一轮红日冉冉升/
朝霞漂漂渺渺绕群峰/
清山绿地朝雾新/
江水碧碧水映云/

====[字谜]

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

一个逻辑的探讨2 (2017-01-27 10:56:53)[编辑][删除]
转载

标签: 教育 it 文化
论据A:请接受历史上究竟是改变了中国历史,还是与毛同时代的广大劳动人民创造了这一段历史。
关键点:伟人决定历史,还是历史创造广大普通劳苦大众?
人的主观抉择究竟占辨证唯物论中的比例为%之几?


如果用辨证唯物主义,毛泽东思想作统一回答,则我知道答案。历史由广大劳动人民创造。则毛泽东先生一个人占广大劳动人民群众例为%之几?
如果用思想包含广大劳动人民群众,则为何要带主语毛泽东?毛泽东(一个伟人)—思想(广大劳动人民群众)。就是请教1与0的关系?
辨证法(想)答案:二进制1与0谁也离不开谁。由数字0 1 可组成计算机程序编码(机器语言)可编制成程序。解决一切问题。

则程序员与程序是什么关系,当然只有请教电脑。谁也离不开电脑(工具)。
工具(物质)请教一个问题:一台裸机(无程序)能有什么作用?

世界上先进产生是有电脑设计师或程序员的主观创造力还是先有物质(工具电脑)
就是请教马克思(主观创作抽象)在先还是物质(工具书《资本论》)在先?



即使裸机(算盘)是有用的?但别忘了是某一位—主人创造出来算盘(裸机)。
物质(唯物)永远为:从开始(起点)到现在,将来是永远属于主义的—伸()【神】的产生创造出来的附属品,物质(唯物)依附于伸(抽象)【神】的概念。
对于唯物无论你使用在高级的修饰,即使你们可以唯物变成可以控制一切的万能巨型电脑,也别忘了他是帕斯卡—信上帝的人的产物。

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

天诗:!
不在规律不在爻,
而在载之连素王;
不在载之连数王;
而在规律而在爻;
载之规律爻数王。
回复 引用
天诗:@
不在规律不在爻,
而在载之连数王;
不在载之连数王;
而在规律而在爻;
载之规律爻数王。
===============
谢谢您的阅读, 您是本文第 154663 个阅览者

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

费马猜想的质数指数3==》6
5==>10
7==》14
。。。。。
指数生幂

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

三句话证明哥德巴赫猜想!
关于哥德巴赫猜想的证明的逻辑探讨
一)建立特称命题
二)得出是特称否定命题
三)对特称否定命题进行真假的判断
四)一步到位断定: 由亚里士多德的对当关系出发
特称否定命题是假,则原命题(全称命题)是真
通过构造满足毕达哥拉斯定理的GB【哥德巴赫猜想】,
===得出满足毕达哥拉斯定理的GB【哥德巴赫猜想】不成立的特称否定命题
===记为GB(SOP)
== ,对此【特称否定命题】GB(SOP)真假进行判断!

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

因为假设B是素数,而解出B是合数
得出特称否定命题:哥德巴赫猜想不成立表示为GB(SOP)

1)SAP=任何一个偶数可以由两个素数之和构成,任何一个奇数可以由三个素数之和构成
2)SEP=任何一个偶数不可以由两个素数之和构成,任何一个奇数不可以由三个素数之和构成
3)SIP=任何一个奇数可以由三个素数之和构成(有些数的哥德巴赫猜想是成立)
4)SOP==有哥德巴赫猜想猜想不成立的数【GB(SOP)】
∵采用配数法
对于Q=I=5
则B=3Q=15
A=5+15=20
C=5+5+15=25
400+225=625
================
A=20=3+17
∴ GB(SOP)是假
在GB(SOP)中,A=20是哥德巴赫猜想不成立的
实际A=20=17+3
由亚里士多德的对当关系出发
∴GB(SOP)假,则SAP为真
既哥德巴赫猜想猜想成立

《形式逻辑》金岳霖
《视读逻辑》P3
====云南 玉龙县 杨艳红

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

哥德巴赫猜想的关键公式,可能是机器审帖的设置,发不出来
谢谢您的阅读, 您是本文第 156002 个阅览者

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

莫比乌斯带的拓扑图可以表示为哥猜:一只蚂蚁就在莫比乌斯带上爬行,是不可能走出圈子
==哥猜如同同样?如此。
====不知道什么原因,图片在旧版发不出来。教育板块又没有新版

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

《数学漫画-ZT微趣》
=====http://2015.home.news.cn/detail/79867946/1.html
http://2015.home.news.cn/detail/79867946/1.html

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

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