Quantenalgorithmen für Graphkonnektivität und Formelauswertung