Zweipersonenspiele

Satz: PSPACE = APTIME (alternierend)

Anwendung (Projekt!): Zweipersonenspiele (mit polynomieller Länge)

$\exists$s₁$\forall$w₂...$\forall$w_n : (s₁, w₂,..., w_n) ist gültige Zugfolge und Resultat ist verloren für Weiß.