|
[编辑] P和NP
复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题;类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成,或者等效的说,那些解可以在非確定型圖靈機上在多项式时间内找出的问题的集合。很可能,计算理论最大的未解决问题就是关于这两类的关系的:
[编辑] 学术定义
更正式一些,一个决定问题是一个取一些字符串为输入并要求输出为是或否的问题。若有一个算法(譬如图灵机,或一个LISP或Pascal的程序并有无限的内存)能够在最多nk步内对一个串长度为n的输入给出正确答案,其中k是某个不依赖于输入串的常数,则我们称该问题可以在多项式时间内解决,并且将它置入类P。直观的讲,我们将P中的问题视为可以较快解决的问题。
IF程序输出一个完整的数学证明
AND证明的每一步合法
AND结论是S确实有(或者没有)一个和为0的子集
THEN
OUTPUT "是"(或者"不是"如果那被证明了)并停机
<<一>>
作者: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 个阅览者 关闭窗口
第1条回复: 参与讨论 推荐 收藏
作者:ylf521你好 于 2009-07-28 09:02:59.0 发表 发送短消息
A不 1
否则1-1=不可能
谢谢您的阅读, 您是本文第1214个阅览者
结论==== S-S=0
谢谢您的阅读, 您是本文第1104个阅览者
谢谢您的阅读, 您是本文第226个阅览者 关闭窗口
第5条回复: 参与讨论 推荐
作者:ylf521你好 于 2010-11-05 15:28:45 发表 只看该作者
<<ER 二>>
设有NP问题表达为多项式(X-1/X)*(X-1/X)
次/
此多项式用逻辑表达上为G=X-1/X
有布尔代数的逻辑G*G=G
用哥德尔配数法进行计算
G(1)=0
或AND
G(0)=不可以证明
既G=G(1)+G(0)
+为逻辑AND
FANYAN
反演逻辑为:
OG=G(0)*G(1)=可证明=1*S
=============
反演变换.对于一逻辑表达式F施行这样的变换:1与0互换,"+"与"*"互换,原变量换成他的非(~),此时所的得变换为反演变化,记为OF/
反演定理.对逻辑式F实行反演变换后所得OF为F的逻辑非既:OF=~ F
谢谢您的阅读, 您是本文第226个阅览者 关闭窗口
第6条回复: 参与讨论 推荐
作者:ylf521你好 于 2010-11-05 15:30:01 发表 只看该作者
<<三>>
谢谢您的阅读, 您是本文第226个阅览者 关闭窗口
第7条回复: 参与讨论 推荐
作者:ylf521你好 于 2010-11-05 15:43:42 发表 只看该作者
已知道:(X-1/X)*(X-1/X)=X*X+1/X*1/X-2
///////////
因为X*X+1/X*X-2 可以递归为(X+1/X-2)*(X+1/X+2)
。。。。。。。
-------》X+1/X-2=(根号X+1/根号X-2)*(根号X+1/根号X+2)
=====。。。。。。。。。
KEY可以无限因式分解下去。。。
有又由哥德尔配数在计算机系统内存在无理数,使得计算机无限运算而无法
得出结果//
记(X-1/X)*(X-1/X)=G
//G
F(S)
为逻辑的哥德尔不完全定理//
D定义S不等于O.
YOU
有逻辑
F(1)=O
AND(+)
F(S)=不可证明
则F(~ S)=~ 不可以证明=可证明
逻辑反演:OF=1*可证明
由布尔逻辑代数====》G*G=G
G=X-1/X
F=X+1/X-2
===========================
G(1)=0
G(0)=不可以证明
有布尔逻辑反演定律===》OG(0)=~不可以证明===》
OG(0)==可证明
谢谢您的阅读, 您是本文第226个阅览者 关闭窗口
第8条回复: 参与讨论 推荐
作者:ylf521你好 于 2010-11-05 15:43:01 发表 只看该作者
,,,,
谢谢您的阅读, 您是本文第226个阅览者 关闭窗口
第9条回复: 参与讨论 推荐
作者:ylf521你好 于 2010-11-05 15:54:29 发表 只看该作者
把数学证明当作游戏也是有趣的!
谢谢您的阅读, 您是本文第226个阅览者
------WIKI百科 |
|