Sechzehn Steine durch Elimination

Bei $16$ Steinen mit Linienbedingungen ist blindes Durchprobieren zu gross. Man muss Felder ausschliessen, die in keiner gültigen Lösung vorkommen können, und Felder erkennen, die erzwungen sind, weil alle Alternativen wegfallen.

Das ist dieselbe Logik wie bei einem Deduktionsgitter, nur grösser. Jede Setzung hat Folgen in anderen Brettbereichen. Führt eine Folge zum Widerspruch, war der gewählte Zweig falsch und wird zurückgenommen.