Изменения
→Доказательство
=== Доказательство ===
Рассмотрим [[Классы_EXP,_NEXP._Полнота_языков_EXP_и_NEXP#Полнота класса NEXP|NEXP-полный]] — полный язык <tex>\text{BH}_{2N}=\{\langle m, x, t \rangle ~|~ m(x)=1, T(m, x) \le t \}</tex>.
Докажем, что при условии выполнения равенства <tex>\text{P=NP,~BH}_{2N} \in \text{EXP}</tex>.
