Verifizierung

Beim Verifizieren wird nur geprüft, ob die beiden erzeugten Ketten gleich sind. Der Aufwand hierfür ist linear. Es wird nicht geprüft, ob die Lösung die kürzeste ist, da der Rechenaufwand hierfür enorm werden kann.