Classes like IP and AM are defined using Interactive proof systems.
Các lớp như IP và AM được định nghĩa thông qua hệ thống chứng minh tương tác.