Язык [math]L[/math] - редкий, если [math] | L \cap \Sigma^n | \le p(n)[/math].
[math]NP \le L,~L\in Sparse \Rightarrow P = NP[/math]