Mirrored from Sudopedia, the Free Sudoku Reference Guide
Aliases include conflict and error.
A contradiction is an essential part of Trial & Error and related solving techniques. It is also used in the proof for other advanced solving techniques, but not necessarily used when such a technique is employed by a player.
When a contradiction is found, either the puzzle or a previous move is invalid. Since most solving techniques depend on a valid puzzle, the move is assumed to be invalid. This allows the player to perform the complementary move.
Depending on the way the solving technique is implemented, the second type can easily be transformed into the first type by letting one of the conflicting candidates eliminate the other.This page was last modified 18:21, 11 October 2007.