Tips turingmachine

Alle Verifikatoren sind nützlich. Du kannst viele Informationen daraus gewinnen. Lass uns ein Beispiel nehmen, die Verifikatoren sind:

A) Parität (gerade/ungerade) der blauen Zahl

B) Blaue Zahl > 1

C) Anzahl der 4er in der Kombination

D) Blaue Zahl < 4

Zunächst einmal, wenn die Antwort '444' wäre, würde das bedeuten, dass die Verifikatoren A, B und D nutzlos wären, was nicht möglich ist. Also ist es nicht 444.

Du kannst sehen, dass wir sehr wenig Informationen über Gelb und Lila haben. Wenn die Antwort 123 ist, dann würde kein Verifikator den Unterschied zum Code 133 zeigen. Das bedeutet, Gelb kann nicht 2 oder 3 sein.

Die einzige Information, die wir für Gelb und Lila haben könnten, ist die Anzahl der 4er. Also können wir ableiten, dass Gelb und Lila gleich 4 sind.

Darüber hinaus, wenn Blau gleich 1 wäre, dann würden B & C ausreichen, um die Kombination als 144 zu identifizieren. Also ist Blau nicht gleich 1.

Wenn Blau 4 oder 5 wäre, dann wäre B im Vergleich zu D nutzlos. Anders gesagt, A, C und D würden ausreichen, um festzustellen, ob es sich um 444 oder 544 handelt, und B wäre nutzlos, was nicht möglich ist. Also ist B nicht 4 oder 5.

Die beiden verbleibenden möglichen Kombinationen sind also 244 und 344.

Aber jetzt, wenn du dir 244 ansiehst und die Verifikatoren ACD verwendest, haben wir zwei 4er, Blau gleich 1, 2 oder 3, und Blau gerade... Das bedeutet, es ist bereits 244, ohne B zu verwenden. Also ist B nutzlos. Also ist es das nicht, und es ist nicht 244.

Und es ist genau 344 ohne Überprüfung.

Und wir können es überprüfen:

Mit diesen Antworten (Blaue Zahl ungerade, Blau > 1, zwei 4er, Blau < 4) gibt es nur eine Möglichkeit: Blau ist gezwungen, 3 zu sein, und Y & P sind gezwungen, 4 zu sein.

Wenn du Verifikator A entfernst, gibt es 2+ Lösungen: 244 & 344.

Wenn du Verifikator B entfernst, gibt es 2+ Lösungen: 144 & 344.

Wenn du Verifikator C entfernst, gibt es 2+ Lösungen (25): zum Beispiel 325 & 314.

Wenn du Verifikator D entfernst, gibt es 2+ Lösungen: 344 & 544.

Jeder Verifikator ist also nützlich, und es gibt nur eine Möglichkeit am Ende. Ohne die oben genannte Argumentation bedeutet das nur, dass es eine gültige Lösung ist, nicht dass es die einzige ist.