315
правок
Изменения
м
== NP-полнота <tex> \mathrm{BH_{1N}} </tex> ==
→NP-полнота \mathrm{BH_{1N}}
<tex> \mathrm{BH_{1N}} = \lbrace \langle m, x, 1^t \rangle \bigm| m </tex> {{---}} недетерминированная машина Тьюринга, <tex> m(x) = 1, T(m,x) \le t \rbrace </tex>
{{Теорема
|statement=<tex> \mathrm{BH_{1N}} \in \mathrm{NPC} </tex>
