ＮＰ是否包含在Ｐ／ｐｏｌｙ中的问题迄今仍为开问题。８０年代初证明了如果ＮＰ∪→Ｐ／ｐｌｙ，则ＰＨ＝∑２，最近，又有了如果ＮＰ∪→Ｐ／ｐｏｌｙ，则ＰＨ＝ＺＰＰ的问题。文中将借助于广义一阶逻辑ζ（ι）及其上......