sets的比较简单的证明。 EXPTIME ≠ NEXPTIME 若且唯若存在任何属于NP的稀疏语言不属于P。 在1999年，基于之前Ogihara的证明，Jin-Yi Cai和D. Sivakumar证明出若存在任何稀疏语言是P-完全 问题，则L =P.