Эта лекция будет посвящена методу арифметизации и характеризации с его помощью класса IP. Оказывается, он совпадает с PSPACE - классом задач, решаемых на полиномиальной памяти.