Turing Machine
← All Turing Machine questions
When is a verifier redundant, and can one verifier's criterion imply another's?
The rulebook's advanced strategy says no verifier repeats another's information, and players confirm the test.
- pacific · Designer · 2022-10-31
- Mechti · Community · 2022-11-02
- pacific · Designer · 2022-12-06
- Turing Machine rulebook · Rulebook · ADVANCED STRATEGY:
- biophys · Community · 2023-07-04
- poptasticboy · Community · 2023-09-21
A verifier is redundant only if removing it still leaves a unique code, so a verifier whose criterion always implies another's is not allowed in a valid puzzle. Two verifiers may concern the same colour, or have overlapping sets of codes, as long as neither implies the other. The same logic can eliminate a statement that would make another verifier useless, but only when the remaining verifier adds nothing new.