Сложность вычислений: дополнительные главы 12. Завершение доказательства MIP = NEXP @ SciTopus