संवादात्मक
आयपी (IP) आणि एएम (AM) सारख्या क्लासेस इंटरअॅक्टिव प्रूफ सिस्टीमचा वापर करून परिभाषित केल्या जातात.
आयपी (IP) आणि एएम (AM) हे सामान्यतः कोणत्या प्रकारचे प्रूफ सिस्टीम (proof system) द्वारे परिभाषित केले जातात?