171
правка
Изменения
Нет описания правки
Надо написать, что V хочет установить истину. Надо расставить ссылки (например, на вероятностную МТ). Надо правильным начертанием оформить не только BPP и NP, но и всех остальных (IP, AM, GNI…). Надо закрыть фигурные скобки в определениях. Можно-нельзя достичь нельзя писать внутри определения, ибо это путает; надо, наверное, просто текстом после определения (или, лучше, обоих определений). Точки в формулирвоках теорем и последнем определении. [[Участник:Kirelagin|Кирилл Елагин]] 02:01, 4 июня 2012 (GST)
И <tex>P</tex>, и <tex>V</tex> видят входное слово. Хорошо бы об этом явно написать.
Чем отличается <tex>\mathrm{BPP}</tex> от <tex>\mathrm{IP[0]}</tex>?
[[Участник:Shevchen|Дмитрий Шевченко]] 23:38, 4 июня 2012 (GST)
