Tag Archives: cell forcing chains

Sudokuwiki Ends Nakex 63 On Its Own

This post picks up on the Sudokuwiki/Sysudoku resolution of Nakamoto Extreme 63 where it was overtaken by pattern analysis and coloring, and finishes it in two ways, one humanly practical and one not. Sudokuwiki doesn’t maintain coloring clusters between moves, … Continue reading

Posted in Extreme Solving, Nakamoto, Puzzle Reviews | Tagged , , , , , , , , | Leave a comment

Insane 475 by Sudokuwiki and SASdC

In the updated review of the KrazyDad collection of puzzles, Andrew Stuart’s Sudokuwiki solver is a backup on advanced solving, except in irregular XYZ, coloring, pattern analysis, and trials. Prior to the update on Sysudoku review of Insane 475 in … Continue reading

Posted in Advanced Solving, Extreme Solving, KrazyDad, Puzzle Reviews | Tagged , , , , , , | Leave a comment

Higher Rank Theory

This post extends the proof of the rank theorem to the rank = r >0 case, and finds a sysudoku interpretation of a rank 3 removal from the General Logic page of http://www.SudokuOne.com .  The method is Andrew Stuart’s cell … Continue reading

Posted in Barker, Expert Reviews, Extreme Solving | Tagged , , , | Leave a comment

ALS Merged Cell Forcing Chains

This post demonstrates the merger of cell forcing chains by means of ALS nodes.  I  checkpoint  three triple cell forcing chains from the challenge of the previous post, and argue that comprehensive search for cell forcing chains beyond the dual level … Continue reading

Posted in Advanced Solving, Uncategorized | Tagged , , , , , | Leave a comment

Cell Forcing Chains

Here we examine forcing chains starting from all candidates in a cell.  When the number of chains is 2, there is nothing new.  Above that,  there is a new strategy to explore, which rivals LPO in complexity, but falls behind … Continue reading

Posted in Advanced Solving, Expert Reviews, Stuart | Tagged , , , , , | Leave a comment