Ex 173 gelöst mit DEC (WiderspruchsKette)
Posted: Friday 25. October 2013, 14:01
Str8ts Ex173
Mit dem Solver ergibt sich A6=5c, B9=8c, A3=7c, A1=2, B1=3c, J2=8c, H9=5, J9=4c, E6=7 und H1=8c.
Weiter geh’ts mit C5=3s, D678=789, BCEFJ12345=Star(5)Fish5, D1-4=1-4, D1=4, CDFH4678=JF7, B8=9c, E8=2, E9=1c, F8=3, J8=6, F9=2c, H8=7, J5=5, D8=8, C8=4c, D7=7, D6=9c, 345CFG=SF8, C7=6c, G2-8=2-8, G7=2, H7=1c, 24FH=XW9, H5=6, B5=2, B4=5, J6=1s, J4=2c, D4=1s und DE23=XW3 oder 46GH=XW3. Anfang und Ende der AIC (Alternating Infering Chain) /C4//C6//H6//H4//G4/ können sich in Spalte 4 gegenseitig sehen. Startet und endet man mit 8, wäre /C4~8//C6~7//H6~2//H4~3//G4~8/. Dies ergäbe einen Widerspruch in Spalte 4.
Auf diesem Widerspruch basiert die hiermit neu zu definierende DEC (Dead End Chain). Die rot umränderte widersprüchliche Ziffer 8 kann daher aus den DEC-Kopfzellen C4 und G4 entfernt werden, die grün markierten Ziffern bleiben.
C4=7, G4=3, C6=2, H4=9, C2=5, F4=8c, H2=2, H6=3c, C3=8c, D2=3, F5=4, D3=2c, E2=6, G3=6, G5=8c, B2=4, E1=5, F2=9c, F3=5, G6=4c, B6=6c, E3=3c, F1=6c und F6=7.
Mit dem Solver ergibt sich A6=5c, B9=8c, A3=7c, A1=2, B1=3c, J2=8c, H9=5, J9=4c, E6=7 und H1=8c.
Weiter geh’ts mit C5=3s, D678=789, BCEFJ12345=Star(5)Fish5, D1-4=1-4, D1=4, CDFH4678=JF7, B8=9c, E8=2, E9=1c, F8=3, J8=6, F9=2c, H8=7, J5=5, D8=8, C8=4c, D7=7, D6=9c, 345CFG=SF8, C7=6c, G2-8=2-8, G7=2, H7=1c, 24FH=XW9, H5=6, B5=2, B4=5, J6=1s, J4=2c, D4=1s und DE23=XW3 oder 46GH=XW3. Anfang und Ende der AIC (Alternating Infering Chain) /C4//C6//H6//H4//G4/ können sich in Spalte 4 gegenseitig sehen. Startet und endet man mit 8, wäre /C4~8//C6~7//H6~2//H4~3//G4~8/. Dies ergäbe einen Widerspruch in Spalte 4.
Auf diesem Widerspruch basiert die hiermit neu zu definierende DEC (Dead End Chain). Die rot umränderte widersprüchliche Ziffer 8 kann daher aus den DEC-Kopfzellen C4 und G4 entfernt werden, die grün markierten Ziffern bleiben.
C4=7, G4=3, C6=2, H4=9, C2=5, F4=8c, H2=2, H6=3c, C3=8c, D2=3, F5=4, D3=2c, E2=6, G3=6, G5=8c, B2=4, E1=5, F2=9c, F3=5, G6=4c, B6=6c, E3=3c, F1=6c und F6=7.