Изменения

Надо написать, что 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)