The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs
Diese Arbeit formalisiert die Zeit- und Platzkomplexität der Überprüfung mehrerer Assertions in Quantenprogrammen und zeigt auf, dass während das Melden aller Ergebnisse lineare Ressourcen erfordert, das Erkennen eines beliebigen Fehlers oder das Identifizieren des ersten Fehlers mit logarithmischer Komplexität erreicht werden kann, wodurch eine fundamentale Landschaft asymptotischer unterer und oberer Schranken für ressourcenbeschränkte Quanten-Fehlersuche etabliert wird.