A General Logic for Sudoku Fata Morgana - Initial Loops |
Elimination 1, 2D Grid Diagram Elimination 1, 3D Grid Diagram Elimination 1, 3D Layers Only Elimination 1, Rank 0 Sets Elimination 1, Set Logic and Grid EX0a
36 Nodes, Rank 3: 11 Sets = {136c2 136c5 136c8 5n46} 14 Links = {16r1 3r2 136r5 6r8 13r9 4n2 6n8
136b5} --> (4n2) => r4c2<>2, (4n2)
=> r4c2<>4
+-----------------------------------------------------------------------------+ | 2458
247(6) 245678 | 126789
789(16) 1678 | 24589 248(1)
3 | | 2348
247(3) 1 | 23789 789(3)
5 | 6 248
249 | | 2358
9 2568
| 12368 4 1368
| 258 7 125
|
+-----------------------------------------------------------------------------+ | 12348
24(136) 2468 | 13678 78(136) 9 | 2347 5
12467 | | 7
24(136) 2469 | (136) 5
(136) | 2349 24(136) 8 | | 1389
5 689 | 4
78(136) 2 | 379 (136)
1679 |
+-----------------------------------------------------------------------------+ | 145
8 457 | 1367
2 13467 | 3457
9 4567 | | 249
247 3 | 5 789(6)
4678 | 1 248(6)
2467 | | 6
247(1) 24579 | 13789
789(13) 13478 | 234578 248(3)
2457 | +-----------------------------------------------------------------------------+ Elimination 1, Logic Diagram Note (= strong set, | weak set, * node, A one triplet node). A==============B==============C ___/\___ ___/\___ ___/\___ | |
| | |
| *==*==* |
| | |
| * |
| | |
| | | | |
| | |
| | | | |
*==*=====|========|==* | | | |
| | |
| | | | *=====*==*
| |
| | | | |
| | |
| | | | |
*==*==* | |
| | | |
| | |
| | |
| | |
| | *==*==*
| | | | |
| | |
* | |
| | |
| | |
| | |
| | |
| *=====*==|==* |
| | |
| | |
| | | | |
| | |
*==*=====* | | |
| | |
| | | | |
*==|========|=====*==* | | | |
| | |
| | | | |
| | |
*==*==* | |
| | |
* |___ ___|
|___ ___| |___
___| \/ \/ \/ D==============E==============F Note (= strong set, | weak set, p123 is p(rcn) A, B, C indicate single nodes in 2+ linksets, i.e., triplets). p541A=============p541A=======p543B=============p543B=======p546C=============p546C | | | | | | p451==p951==p151 |
| | | | p651 |
| | | | | | |
| | | |
| | | |
|
p181==p581=========|=================|====p681 | | |
| | | | |
| | |
p921========p521==p421 | | |
| | | | |
| | |
| | | | p423==p523==p223 |
| | | | | |
| | | |
| | | | |
| p253==p953==p453 |
| |
| | |
| | p653
| | | | | |
| | |
| | | | | |
p583========p983===|====p683 | |
| | |
| | |
| | | | |
| | p686==p586========p886 |
| | |
| | | |
| | |
p426===|=================|==========p526==p126 |
| | | | | | |
| | | | | | | p156==p856==p456 | | | | | p656 | | | | | | p561D=============p561D=======p563E=============p563E=======p566F=============p566F
Elimination 2, 2D Grid Diagram Elimination 2, 3D Grid Diagram Elimination 2, 3D Layers Only Elimination 2, Rank 0 Sets Elimination 2, Set Logic and Grid E2z
42 Nodes, Rank 7: 14 Sets = {136r3 136r7 136c2 136c8 5n46} 21 Links = {136r5 136c4 136c6 3n46 4n2
6n8 7n46 36b1 1b3 1b7 36b9} --> (6b1) => r1c3<>6, (3b1)
=> r2c1<>3, (6r5) => r5c3<>6, (3r5) => r5c7<>3,
(6b9) => r8c9<>6, (3b9) => r9c7<>3 +-----------------------------------------------------------------------------+ | 2458
247(6) 245678 | 126789
16789 1678 | 24589
248(1) 3 | | 2348
247(3) 1 | 23789 3789
5 | 6 248
249 | | 258(3)
9 258(6) | 28(136) 4 8(136)
| 258 7 25(1)
|
+-----------------------------------------------------------------------------+ | 12348
(136) 2468 | 13678
13678 9 | 2347 5
12467 | | 7
24(136) 2469 | (136) 5
(136) | 2349 24(136) 8 | | 1389
5 689 | 4
13678 2 | 379 (136)
1679 |
+-----------------------------------------------------------------------------+ | 45(1)
8 457 | 7(136)
2 47(136) | 457(3) 9
457(6) | | 249
247 3 | 5 6789
4678 | 1 248(6)
2467 | | 6
247(1) 24579 | 13789
13789 13478 | 234578
248(3) 2457 | +-----------------------------------------------------------------------------+ Elimination
2, Logic Diagrams Note (= strong set, | weak set, * node, A==A one triplet node, in 2 weak sets(linksets)). G==G====================H=====H=======================I=====I | | | | | | D==A==|==*==============|=====|==============A==D |
| | |
| | | |
| | |
| | |
*==*==============|=====|=====*
| | |
| | |
| | |
| | |
| | | |
*===========*=====|=====|==*
| | |
| | | |
| | |
| | |
| | |
| P==M==|=====M==P==* |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | *==*=====|==|==* |
| | | | |
| | |
| | |
| | |
| | | |
N==Q=====*==|==Q==N | |
| | |
| | |
| | |
| | |
| | |
| | | |
| | |
E==B==|==|==*=====B==E
| | | |
| | |
| | |
| | |
| | | |
| | *==|=====*==|==* |
| | | | |
| | |
| | |
| | |
| | |
| | |
| | |
*==C==F=====|==F==C | |
| | |
| | |
| | | | | |
| | |
| | *=====|========*==* | | | |
| | |
| | | |
| | | | | |
| | |
*========*========|==* | | | |
| | |
| | |
| | | |
O==R========|==|=======================*==|==R==O | | | | | | J=====J=================K==K=============================L==L |
p541G=p541G===============================p543H=======p543H===========================================p546I=======p546I
| | | | | | p361D=p341A==|====p391===========================|===========|============================p341A=p361D | | | |
| | | | |
| | | | |
p581==p181===========================|===========|==========p681 | | | | | |
|
| | | | |
| | | |
p521====================p921=========|===========|====p421 | | | | | | |
| | | | |
| | |
| | p761P=p741M==|==========p741M=p761P=p711 | | |
| | | | | | | | | | | |
| | | | | | | | | p983==p583=========|=====|====p683 | | | | | | | | | | | |
| | | | | | |
p743N=p763Q=======p773===|====p763Q=p743N |
| | | | | | | | | | |
| | | | | | | | |
| | | p363E=p343B==|=====|====p313========p343B=p363E | | | | | | | | | |
| | | | | | | |
|
p523===|==========p423===|====p223 |
| | | | | | | | | | | | | | | | | | | | | | | p336==p346C=p366F========|====p366F=p346C | | | | | | | | | | |
| | | | |
| | | p686=========|================p886==p586 |
| | | | | | | | | | |
| | | | | | | |
p426==============p126===============|====p526 |
| | | | | | |
| | |
| | | p746O=p766R==============|=====|==============================================p796===|====p766R=p746O
| | | |
| | p561J=======p561J===============================p563K=p563K=================================================p566L=p566L |