| 
 | 
 
 
 楼主 |
发表于 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 |   
 
 
 
 |