IP (복잡도)
위키백과 ― 우리 모두의 백과사전.
계산 복잡도 이론에서 IP는 대화형 증명 체계로 풀 수 있는 문제의 집합이다. 이 시스템의 개념은 골트바서 들이 1985년에 처음 소개하였다. 대화형 증명 체계는 문자열 n이 어떤 언어에 들어가는 것을 증명하는 증명자 P와, 증명이 올바른지를 검증하는 검증자 V로 이루어져 있다.
| 주요 복잡도 종류 (더 보기) |
|---|
|
P | NP | co-NP | NP-C | co-NP-C | NP-난해 | UP | #P | #P-C | L | NL | NC | P-C | PSPACE | PSPACE-C |

