Trennung der polynomialen Zeit-Hierarchie durch Orakel | Synapse