QLSU40 – Loại trị khả dụng bằng phân tích
Rod Hagglund đã tìm được một cách rất hay để loại bớt trị khả dụng trong những thành phần Sudoku khi thành phần đó có nhiều ô trống chứa không nhiều trị khả dụng, thuận lợi nhất khi có nhiều ô trống chỉ có 2 trị khả dụng. (Chú thích: Thành phần Sudoku là hàng, cột hay khối Sudoku)
Xét dãy khối ngang 1 sau đây:
Xét sự kết hợp các trị khả dụng trong 2 ô B1(5,6,8) và B3(4,5,9) trên hàng B.
a) B1 = 5, B3 = 4 => không chấp nhận vì B5 sẽ không còn trị khả dụng
b) B1 = 5, B3 = 5 => không chấp nhận được
c) B1 = 5, B3 = 9 => chấp nhận được
d) B1 = 6, B3 = 4 => không chấp nhận được vì A2 sẽ không còn trị khả dụng
e) B1 = 6, B3 = 5 => chấp nhận được
f) B1 = 6, B3 = 9 => không chấp nhận vì B9 sẽ không còn trị khả dụng
g) B1 = 8, B3 = 4 => không chấp nhận được vì B7 = 8
h) B1 = 8, B3 = 5 => không chấp nhận được vì B5 = 4, B7 = 4
i) B1 = 8, B3 = 9 => chấp nhận được
Theo phân tích trên, thì trong mọi kết hợp, B3 không thể bằng 4, nên 4 có thể loại khỏi danh sách các trị khả dụng của B3.
Một thí dụ khác.
Xét dãy khối dọc 1 sau đây:
Xét sự kết hợp các trị khả dụng trong 2 ô G2(5,7,9) và H2(4,7) trên cột 2.
a) G2 = 5, H2 = 4 => chấp nhận được
b) G2 = 5, H2 = 7 => không chấp nhận được vì B2 sẽ không còn trị khả dụng
c) G2 = 7, H2 = 4 => chấp nhận được
d) G2 = 7, H2 = 7 => không chấp nhận
e) G2 = 9, H2 = 4 => không chấp nhận được vì C2 sẽ không còn trị khả dụng
f) G2 = 9, H2 = 7 => không chấp nhận vì G3 sẽ không còn trị khả dụng
Theo phân tích trên, thì trong mọi kết hợp, H2 không thể bằng 7, nên 7có thể loại khỏi danh sách các trị khả dụng của H2 => H2 = 4
Chú thích:
1) Ba ô G2(7,5,9), G3(7,9) và B2(7,5) hợp thàng một bộ 3 ô Sudoku đặc biệt. Đó là Cánh-XYZ với trị khả dụng chính là 7. Một trong 3 ô G2, G3, B2, phải có 1 ô bằng 7 => Mọi ô trống có họ chứa cả 3 ô G2, G3, B2 không thể nhận 7 làm trị khả dụng.
=> Ô H2(4,7) có họ chứa G2, G3, B2, nên không thể bằng 7 => H2 = 4
2) Ba ô H2(4,7), C2(4,9) và G3(7,9) hợp thàng một bộ 3 ô Sudoku đặc biệt. Đó là Cánh-Y với ô chính là H2. Một trong 2 ô C2 hay G3 phải bằng 9 => Mọi ô trống có họ chứa cả 2 ô C2, G3 không thể nhận 9 làm trị khả dụng.
=> Ô G2(5,7,9) có họ chứa C2, G3, nên không thể bằng 9 => G2(5,7)


Leave a comment