Der Vorteil dieser Proben liegt darin, dass sich die Richtigkeit des Ergebnisses einer langwierigen Rechnung anhand leichterer alternativer Rechenwege auf Glaubwürdigkeit prüfen bzw. gegebenenfalls die Fehlerhaftigkeit einer Rechnung nachweisen lässt.
Für Eingaben, für die die Antwort Nein lautet, muss der Algorithmus unabhängig von der nichtdeterministischen Wahl des Rechenweges die Antwort Nein liefern.
Hier gibt der Proband Auskunft über seine Rechenwege und gegebenenfalls seine konkretistischen Techniken, so dass sich subjektive (falsche oder umständliche) Algorithmen und begriffslose Lösungswege ermitteln lassen.
