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

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

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

回复   引用  


《视读逻辑学》

点赞



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

网友回复

引自:41 楼: 之zizizi十 关注 于 2016-08-15 08:43 发表计算机不可验证的问题就是计算机不可解决的问题 ================ 计算机不可验证的问题====逻辑是0 计算机不可解决的问题====逻辑是0 ======================= 计算机不可验证的问题就是计算机不可解决的问题=(0,0)》S+1 S赋值1或者0,S+1都是1即为【真】

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

中秋节到了,祝你节日愉快,

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

只要作出:S-1,问题就变得简单易解了
===
谢谢您的阅读, 您是本文第 57880 个阅览者

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

此解题方法叫=========对折迭加发法
谢谢您的阅读, 您是本文第 59650 个阅览者

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

谢谢你的点击,能否留下个脚印。

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

引自:61楼:之zizizi十于  2016-09-09 20:22:01发表 引自:41 楼: 之zizizi十 关注 于 2016-08-15 08:43 发表计算机不可验证的问题就是计算机不可解决的问题 ================ 计算机不可验证的问题====逻辑是0 计算机不可解决的问题====逻辑是0 ======================= 计算机不可验证的问题就是计算机不可解决的问题=(0,0)》S+1 S赋值1或者0,S+1都是1即为【真】

回复:计算计的程序是人设置的如有误差是不可想象的。只有0怎么算都不会有误差的。

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

==由一般的算术规则出发

可以知DAO道:S+1=0+1=1


S-1=0-1= - 1
=======================
有1+1-1+1-1+1.。。。。。。。的和是个悖论
===不证自明

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

==由一般的算术规则出发
S=0
可以知DAO道:S+1=0+1=1


S-1=0-1= - 1
=======================
有1+1-1+1-1+1.。。。。。。。的和是个悖论
===不证自明

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

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

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

幼儿园大班炊事员阿燕----所有的帖子都(山)了

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

维基百科
=======================================
相关
编辑
最常被引用的结果之一设计神喻。假想你有一个魔法机器可以解决单个问题,例如决定一个给定的数字是否为质数,但可以瞬间解决这个问题。我们的新问题是,若我们被允许任意利用这个机器,是否存在我们可以在多项式时间内验证但无法在多项式时间内解决的问题?结果是,依赖于机器能解决的问题,P = NP和P ≠ NP二者都可以证明。这个结论的后果是,任何可以修改来证明该机器的存在性的结果不能解决问题。不幸的是,几乎所有经典的方法和大部分已知的方法可以这样修改(我们称它们在相对化)。
如果这还不算太糟的话,1993年Razborov和Rudich证明的一个结果表明,给定一个特定的可信的假设,在某种意义下“自然”的证明不能解决P = NP问题。这表明一些现在似乎最有希望的方法不太可能成功。随着更多这类的定理得到证明,该定理的可能证明有越来越多的陷阱要规避。这实际上也是为什么NP完全问题有用的原因:若有一个多项式时间算法,或者没有一个这样的算法,对于NP完全问题存在,这将用一种相信不被上述结果排除在外的方法来解决P = NP问题。P=NP问题可以用逻辑命题的特定类的可表达性的术语来重新表述。所有P中的语言可以用一阶逻辑加上最小不动点操作(实际上,这允许了递归函数的定义)来表达。类似地,NP是可以用存在性二阶逻辑来表达—也就是,在关系、函数、和子集上排除了全域量词的二阶逻辑。多项式等级,PH中的语言对应与所有的二阶逻辑。这样,“P是NP的真子集吗”这样的问题可以表述为“是否存在性二阶逻辑能够表达带最小不动点操作的一阶逻辑的所不能表达的语言?”[4]
普林斯顿大学计算机系楼将二进制代码表述的“P=NP?”问题刻进顶楼西面的砖头上。如果证明了P=NP,砖头可以很方便的换成表示“P=NP!”。康奈尔大学的Hubert Chen博士提供了这个玩笑式的P不等于NP的证明:“反证法。设P = NP。令y为一个P = NP的证明。证明y可以用一个合格的计算机科学家在多项式时间内验证,我们认定这样的科学家的存在性为真。但是,因为P = NP,该证明y可以在多项式时间内由这样的科学家发现。但是这样的发现还没有发生(虽然这样的科学家试图发现这样的一个证明),我们得到矛盾。

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


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

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

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

在凯迪---开心科普有一万二的点击,没想到今天开心科普的版块没有了。

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

http://tpic.home.news.cn/xhForum/xhdisk003/M00/4B/CA/wKhJCVc2xvkEAAAAAAAAAAAAAAA636.bmp

=====================================================================
假如定义
LL=A
LF=C
FL=U
FF=G
================
HE很容易得出遗传密码的与64卦的联系
乾=AAA
排列左右:
L L
L L
L L
SX上下是经
左右是维
坤为=GGG从64卦排列出遗传密码叫【规律】
========================
从遗传密码排列出64卦是逻辑推理
F F
F F
F F
因为64卦=遗传密码
既 A=B
ZE则遗传密码=64卦
既遗传密码与【易】相同1
用数字容易分析,把上下结构的八卦排列成左右结构的64卦就容易同遗传密码相联系了!

回复 引用
【不易】【变易】【简易】
====是太简单,转换一下思维的角度
计算机有神经网络的计算。=
遇到先有鸡,还是先有蛋的悖论,不知道计算机是否可以输出一个结果?

现在的人工智能相当于几岁的儿儿童
人机对话:究竟体现计算机有智能,还是表现是计算机软件,既人的编程的意思意识在通过计算机来表达出来的形式??
一个问题:两方面?
一个是演绎的逻辑推理!
--另一是【归纳法】
---假设计算机有演绎的逻辑推理能力?
---【归纳法】
===问计算机具有【归纳法】的运算能力与否???
用抛硬币的方式记录下随机结果
========================
人类基因字典大约有30亿个字母================
===================================
用数学方式记录抛硬币的60亿次的排序
==============================
正面用○,反面用●

基因图谱的排序可以翻译○及●排列顺序


基因图谱的排序可以翻译○及●排列顺序
用有由A--->Z ==由A得出Z
======================
YOU
==又可以:の
=Z------->A
既:○ ●的60亿次的随机的记录的符号串,就是人类基因图谱?
=====回答是什么?
用A--->Z表示原命题
则Z---->A是表示逆命题
原命题成立,为真
则不等于逆命题也是真
人机对
话:究竟计算机是表达【计算机自我】的逻辑结构的运算的必然结构结果的输出?
---还是既及程序的编排的【程序员】的意识通过机器的表达?
===就是表象的背后是【程序员】的意识?
回复 引用
不辨雌雄,焉知鸡同蛋。
鸡蛋蛋鸡,实习生演论。
鸡,蛋,蛋鸡,溯先属后。
即使悖悖。问君鸡有几何,?但
蛋有几何?请中先答、
再回辨别1
---------------
先有鸡,还是先有蛋?
一般回答“先有鸡”
反问:“既然先有鸡,鸡是由蛋孵化,没有蛋,活来的鸡”
==============
假如回答 ‘先有蛋’
反问“蛋是由鸡下的,没有鸡,哪来的蛋”
===作为悖论,就如同是个脑筋体操
其实转变思维的方式,有人问“先有鸡,还是先有蛋?”
反问“一个不受精的蛋,是否可以孵化出小鸡?”
蛋是如何受精的?
没有公鸡,下的蛋能否孵化出小鸡?
=====================================================

计算机有神经网络的计算。=
遇到先有鸡,还是先有蛋的悖论,不知道计算机是否可以输出一个结果?

现在的人工智能相当于几岁的儿儿童
人机对话:究竟体现计算机有智能,还是表现是计算机软件,既人的编程的意思意识在通过计算机来表达出来的形式??

假如的计算机对“先有鸡,还是先有蛋”进行三个回答
1)先有鸡
2)先有蛋
3)悖
进行设计
这也可以是否评价为人工智能?
能够造出会思考的电脑吗?
计算是否是一个思考的过程??

数学计算及证明依靠的是思维的【规律性】
规律性依靠一定的规则
==像莱布尼兹的三大定律
@@@@@¥#==思考,问问【为什么】???
计算是依靠规则,进行简单明了的演算
=结果是明了的对就是对,真同假是客观的结果!
电脑进行计算,得出也是符合客观规律的客观的结果!
=======================================
思考包含客观规律

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

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

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

发了遗传密码与八卦的图片,是上传附件失败

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

引自:68 楼: 杨志宏与阿燕 关注 于 2016-12-01 19:08 发表==由一般的算术规则出发 S=0 可以知DAO道:S+1=0+1=1 S-1=0-1= - 1 ======================= 有1+1-1+1-1+1.。。。。。。。的和是个悖论 ===不证自明
=====更正下:是减号==由一般的算术规则出发S=0可以知DAO道:S+1=0+1=1S-1=0-1= - 1=======================有1-1+1-1+1-1+1.。。。。。。。的和是个悖论===不证自明

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

计算机可以解决的问题就是计算机可以验证的问题
The computer can solve the problem is the computer can verify the problem
等价:计算机不可验证的问题就是计算机不可解决的问题
Equivalence: the problem that the computer does not verify is the problem that the computer cannot solve
前提条件 :S=1
Prerequisite: S = 1

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

计算机可以处理的问题包括图像处理。语音输入,数值计算

图像处理与语音输入与数值计算的三者交集就是二进制:0,1

对0,1进行穷举法有【0,0】【0,1】【1,0】【1,1】四种

===计算机验证解的正确与否是S+1,S-1

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

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