PSPACE
Sign in to saveAlso known as polynomial space
thumb|Inclusions of complexity classes including P (complexity)|P, NP, [[co-NP, BPP, P/poly, PH, and PSPACE]]
Article · Nederlands
In de complexiteitstheorie is PSPACE een die alle beslissingsproblemen bevat die met polynomiale ruimte opgelost kunnen worden. PSPACE kan gedefinieerd worden in termen van : . PSPACE is onder andere gelijk aan de complexiteitsklassen , en . Het bewijs voor de laatstgenoemde equivalentie, IP = PSPACE, werd geleverd door Adi Shamir. De complexiteitsklasse IP is gedefinieerd met behulp van . In juli 2009 werd bewezen dat PSPACE gelijk is aan . Enkele deelverzamelingen van PSPACE zijn P en NP.
Abstract from DBpedia / Wikipedia · CC BY-SA