Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Die Klasse NP Verifizieren versus Berechnen -TSP: