File = datas/Apli6316.txt

1 : TITLE=Apli 6316
2 :
3 : [a:Apli indexへ,apli-VeryHard.txt]
4 :
5 : --- --- 7--
6 : --4 -68 -3-
7 : -57 9-- --8
8 :
9 : --6 --- 253
10 : -2- -3- --9
11 : -3- --1 4--
12 :
13 : 5-- 1-9 32-
14 : -6- 5-- 8--
15 : --3 68- --5
16 :
17 :
18 :
19 : Ae,Ce != 1 // 列予約
20 : Fh = 3 // HS
21 : Da = 3 // HS
22 : Ac = 3 // HS
23 : Ed,Fd,Fe != 4 // 行予約
24 : Fd = 7 // NS
25 : Db = 7 // HS
26 : Ah,Ai != 7 // 行予約
27 : Cg = 8 // NS
28 : Ce = 5 // NS
29 : Ef = 5 // HS
30 : Fa = 5 // HS
31 : Gb = 5 // HS
32 : Aa = 6 // HS
33 : Fe = 6 // HS
34 : Ig = 6 // HS
35 : Hf = 6 // HS
36 : Gc = 6 // HS
37 : Ed = 9 // HS
38 : Ha = 9 // HS
39 : Gi = 9 // HS
40 : Bb = 9 // HS in column
41 : Cf = 9 // NS
42 : Ah = 9 // HS
43 : Ge = 1 // FH in column
44 : Df = 2 // HS
45 : Ea != 2 // 列予約
46 : Ab = 8 // HS
47 : He = 8 // HS
48 : Dd = 8 // HS
49 : Af = 8 // HS
50 : De = 4 // FH
51 : If = 7 // FH
52 : Ae = 7 // FH
53 :
54 : この時点で
55 : 6 8 12 | 3 14 5 | 7 9 124
56 : 12 9 4 | 7 6 8 | 5 3 12
57 : 3 5 7 | 9 124 24 | 6 14 8
58 : -----------+----------+----------
59 : 14 14 6 | 8 9 7 | 2 5 3
60 : 7 2 5 | 4 3 6 | 1 8 9
61 : 8 3 9 | 2 5 1 | 4 6 7
62 : -----------+----------+----------
63 : 5 47 8 | 1 47 9 | 3 2 6
64 : 9 6 12 | 5 247 3 | 8 147 14
65 : 124 147 3 | 6 8 24 | 9 147 5
66 :
67 : CEHach 1 の finned Sordfish にて　Ih != 1
68 : or
69 : CEIach 1 の finned Sordfish にて　Hc != 1
70 : or
71 : Ca:Ch と Ea,Ih の　W-Wing にて　Eh,Ia != 1
72 : or
73 : Ad に注目 Ad=1　なら　Bd=4,Bg!=4,Eg=4,Ea=1,Ca!=1,Ab=1 となり矛盾する (Forcing XY-chain)　よって　Ad!=1
74 : or
75 : Eh に注目 Eh=7 なら Ch=2,Ca=1,Ea=4,Eg=7 となり矛盾する (Forcing XY-chain) よって　Eh != 7
76 : or
77 : Ai に注目 Ai!=2 なら Ch=2,Ca=1,Ea=4,Fc=2,Fi!=2 となりi行に2が入らなくなる (Forcing XY-chain) よって Ai=2
78 : or
79 : Bi に注目 Bi=1 なら Bi!=7,Bg=7,Eg=4,Ea=1,Ca=2,Ch=1 となり矛盾する (Forcing XY-chain) よって Bi!=1
80 : or
81 : Ca に注目 Ca=1 なら Ch=2,Eh!=2,Ec=2,Ea=1 となり矛盾する (Forcing Chain) よって Ca!=1
82 : or ....
83 : 以下略
84 :
85 : Ih != 1 // 上記 Finned Swordfish を採用して解き進める
86 : Ih = 4 // NS
87 : Hc = 4 // HS
88 : Ea = 4 // HS
89 : Fi = 4 // HS
90 : Bg = 4 // HS
91 : Ad = 4 // HS
92 : 以下略
93 : あとは容易だろう
94 :
95 :
96 : この数独の分析結果
97 : Fullhouse 14
98 : Hidden Single (block) 31
99 : Hidden Single (column) 3
100 : Naked Single 2
101 : Locked Candidates (Claiming, row) 1
102 : Finned Swordfish 1
103 :
104 :
105 : [EOF]

--- EOF ---