度类)，因为TALLY里面每一种长度的字串至多只有一个。虽然并非所有的P/poly语言都是稀疏语言，但对任何在P/poly里面的语言均存在一个将之转换为稀疏语言的多项式时间变换。 在1979年，Fortune 证明若任何稀疏语言是co-NP-完全，则P = NP； Mahaney在1982年利用这个证明了如果任何稀疏语言是NP-完全, 则 P = NP (这就是Mahaney's theorem). 在1991年， Ogihara和Osamu提出一个基于left-sets的比较简单的证明。 EXPTIME