Verifizierung

Beim Verifizieren wird geprüft für jede Kante geprüft, ob der vordere oder der hintere Knoten der Kante im Cover enthalten ist. Der Aufwand beträgt daher $O(\textrm{Kantenanzahl}\cdot 2\cdot \textrm{Cover-Größe})$.