|
楼主 |
发表于 2023-8-23 23:57
|
显示全部楼层
S=0 则布尔代数 S+1=1
S₂ =0 S₂ +1=1
可知在单次 S₂ =0 下也有 P=NP 即 PNP
S=1 则为,S+1=1,S=1
S₂ =1 则 S₂ +1=1 S₂ =1
S₂ =1 则 P≠NP
综合以上的逻辑表格
可以得出结论除了图灵停机问题外
有类 p 问题等于类 NP 问题,也有类 p 问题不等于类 NP 问题。
参考文献
1、《形式逻辑》金岳霖
2、《虚实世界》 约翰.L.卡斯蒂.P52,P128 |
|