2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/229784We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient parallel algorithm, based on the multiplicative weights update method, for approximately solving a certain class of semidefinite programs.24 pagesComputational ComplexityQuantum PhysicsF.1.3; F.2.1text