#1 P=！NP发现与尝试证明的历史
发表于 ： 2025年 8月 9日 09:26
见图
但引入电路复杂性，后被人证明不会有自然证明，因此解决不了这个问题。至于PCP层级引入，仅仅证明了NP-Hard问题不可近似，并没有暗示NP！=P。现在只有有限模型论方法还有希望解决这个问题
但引入电路复杂性，后被人证明不会有自然证明，因此解决不了这个问题。至于PCP层级引入，仅仅证明了NP-Hard问题不可近似，并没有暗示NP！=P。现在只有有限模型论方法还有希望解决这个问题