Редкие языки

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

Теорема (Махэни)

[math]NP \le L,~L\in Sparse \Rightarrow P = NP[/math]