Bài ôn

Trong 1 khung Sudoku, xét 3 ô A(x,y), B(x,z) và C(y,z) mỗi ô chỉ có 2 trị khả dụng.

• Nếu A(x,y) và B(x,z) có liên hệ trực tiếp qua trị khả dụng x  
  (tức là; nếu A = x thì B ≠ x và ngược lại)
• Nếu A(x,y) và C(y,z) có liên hệ trực tiếp qua trị khả dụng y
• Nếu B(x,z) và C(y,z) có liên hệ gián tiếp qua trị khả dụng z

Thì:  Mọi ô trống có họ chứa B và C sẽ không thể nhận z làm trị khả dụng. 

Tổ hợp 3 ô A(x,y), B(x,z) và C(y,z) tạo thành một Cánh-Y hay Cánh-XY với
A(x,y) gọi là  ô gốc của cánh.

 Thí dụ 1:     Xét khung Sudoku dưới đây:

C3(5,8) và C8(5,9) có liên hệ trực tiếp qua trị khả dụng 5.
C3(5,8) và H(8,9) có liên hệ trực tiếp qua trị khả dụng 8.
C8(5,9) và H(8,9) có liên hệ   gián tiếp qua trị khả dụng 9.

 =>  Ba ô C3(5,8), C8(5,9), H3(8,9) tạo thành một Cánh-Y  hay Cánh-XY
        có gốc là ô C3(5,8).

 Nếu C3 = 5  =>  C8 = 9
 Nếu C3 = 8  =>  H3 = 9

  Trong cả 2 trường hợp, hoặc C8 hoặc H3 phải bằng 9.

 =>  Mọi ô trống có họ chứa C8 và H3 không thể nhận 9 làm trị khả dụng

=>   Ô H8(2,9) có họ chứa C8 và H3 nên 9 có thể loại khỏi danh sách trị khả dụng
       của H8  =>  H8 = 2

 Thí dụ 2:   Xét khung Sudoku dưới đây:

 a)      Hai ô A7(1,3) và G7(1,9) có liên hệ trực tiếp qua trị khả dụng 1.
           Hai ô A7(1,3) và A3(3,9) có liên hệ trực tiếp qua trị khả dụng 3
           Hai ô G7(1,9) và A3(3,9) có liên hệ gián tiếp qua trtị khả dụng 9

          =>  Ba ô A7(1,3), G7(1,9) và A3(3,9) hợp thành 1 Cánh-Y hay
                Cánh-XY có gốc là ô  A7(1,3)

           Ô G3(4,9) có họ chứa G7 và A3 nên không thể nhận 9 làm trị khả dụng

           =>   G3 = 4

b)      Hai ô B2(2,9) và C1(2,4) có liên hệ trực tiếp qua trị khả dụng 2.
          Hai ô B2(2,9) và B9(9,4) có liên hệ trực tiếp qua trị khả dụng 9
          Hai ô C1(2,4) và B9(9,4) có liên hệ gián tiếp qua trị khả dụng 4

          = >  Ba ô B2(2,9), C1(2,4) và B9(9,4) hợp thành 1 Cánh-Y hay Cánh-XY
                 có  gốc là ô  B2(2,9)

          Ô  C9(4,5) có họ chứa C1và B9 nên không thể nhận 4 làm trị khả dụng

          =>    B9 = 5.