Tag Archives: cell forcing chains

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