Flagged Revisions installed. Unapproved pages display a Red unchecked notice under the title. Trolls attack here by creating and archiving pages with offensive content. To verify an archived page, check the original URL. Questions about administration? Contact User talk:Abd. Limited privacy on this site, see CFC:Limited privacy

Difference between revisions of "Sudoku/Puzzles/Inkala's Maze/Solution process"

From CFC
Jump to: navigation, search
[checked revision][checked revision]
(in process of solving again.)
 
Line 19: Line 19:
 
*-----11 91=3
 
*-----11 91=3
 
*------12 72=2
 
*------12 72=2
 +
*------12 72=4* contrad.
 +
*-----11 91=6*
 +
*------13 82=2 contrad.
 +
*------13 82=4*
 +
*-------14 13=4
 +
*--------15 27=1
 +
*---------16 74=4 contrad.
 +
*---------16 74=9* contrad.
 +
*--------15 27=8*
 +
*---------17 12=1 contrad.
 +
*---------17 12=2* contrad.
 +
*-------14 13=9*
 +
*--------18 74=4 contrad.
 +
*--------18 74=9* contrad.
 +
*---9 93=6*
 +
*----19 82=2
 +
*-----20 72=3 contrad.
 +
*-----20 72=4* contrad.
 +
*----19 82=4* BSNs 72={23}, <>2 72=3 etc. contrad.
 +
*---8 87=9*
 +
*----21 27=1

Revision as of 01:45, 2 December 2019

Inkala's Maze in SW Solver has relatively few bifurcation seeds, but more than some "unsolvables." There is a bivalue cell display in SW Solver, and it shows seven chains and one cell pair. One chain connects three cells, so for a Bivalue Ariadne's Thread (BAT) process, a pair in that is an optimal choice, it would appear. We can choose the next bifurcation pair as a reasonable choice among what has become available.

  • 1. 61=7 link
  • -2 77=5
  • --3 27=1
  • ---4 31=1 contrad.
  • ---4 36=1* contrad.
  • --3 27=8* contrad.
  • -2 71=5*
  • --5 91=3
  • ---6 72=2 contrad.
  • ---6 72=4* contrad.
  • 1 63=7* [resolved]
  • -7 77=5
  • --8 87=3
  • ---9 93=5
  • ----10 33=4 contrad.
  • ----10 33=6*
  • -----11 91=3
  • ------12 72=2
  • ------12 72=4* contrad.
  • -----11 91=6*
  • ------13 82=2 contrad.
  • ------13 82=4*
  • -------14 13=4
  • --------15 27=1
  • ---------16 74=4 contrad.
  • ---------16 74=9* contrad.
  • --------15 27=8*
  • ---------17 12=1 contrad.
  • ---------17 12=2* contrad.
  • -------14 13=9*
  • --------18 74=4 contrad.
  • --------18 74=9* contrad.
  • ---9 93=6*
  • ----19 82=2
  • -----20 72=3 contrad.
  • -----20 72=4* contrad.
  • ----19 82=4* BSNs 72={23}, <>2 72=3 etc. contrad.
  • ---8 87=9*
  • ----21 27=1