795 байт добавлено,
00:52, 4 июня 2012 Надо написать, что V хочет установить истину. Надо расставить ссылки (например, на вероятностную МТ). Надо правильным начертанием оформить не только BPP и NP, но и всех остальных (IP, AM, GNI…). Надо закрыть фигурные скобки в определениях. Можно-нельзя достичь нельзя писать внутри определения, ибо это путает; надо, наверное, просто текстом после определения (или, лучше, обоих определений). Точки в формулирвоках теорем и последнем определении.