Bộ con trần là một nhóm gồm N ô trong cùng một nhà (hàng, cột hoặc khối) mà các ứng viên kết hợp của chúng chứa đúng N chữ số khác nhau. Vì N chữ số đó phải lấp đầy N ô đó, chúng không thể xuất hiện ở bất kỳ ô nào khác trong nhà đó. Điều này cho phép bạn loại bỏ an toàn những chữ số đó khỏi các ô còn lại.

Từ "trần" nghĩa là các ứng viên hoàn toàn hiển thị và lộ rõ. Bạn không cần tìm những chữ số ẩn giữa các ứng viên khác. Bộ con tự thể hiện rõ ràng qua các vạch bút chì trong những ô đó.

Có bốn kỹ thuật bộ con trần, mỗi kỹ thuật ứng với một kích thước nhóm có thể:

- Số đơn trần (N=1) -- một ô với một ứng viên

- Cặp trần (N=2) -- hai ô mà các ứng viên kết hợp đúng bằng hai chữ số

- Ba số trần (N=3) -- ba ô mà các ứng viên kết hợp đúng bằng ba chữ số

- Tứ giác trần (N=4) -- bốn ô mà các ứng viên kết hợp đúng bằng bốn chữ số

Bốn kỹ thuật này tạo thành một họ. Chúng chia sẻ cùng logic nền tảng và chỉ khác nhau ở số ô liên quan. Khi bạn đã hiểu nguyên tắc cốt lõi, các bộ con lớn hơn trở thành phần mở rộng tự nhiên của những bộ đơn giản hơn.

Logic đằng sau bộ con trần dựa trên một lập luận đếm cơ bản đôi khi được gọi là nguyên lý chuồng bồ câu. Nói đơn giản: nếu bạn có N chỗ và đúng N món để lấp đầy chúng, mỗi món vào đúng một chỗ, và không món nào khác có thể chiếm những chỗ đó.

Hãy xét một hàng có chín ô. Mỗi ô chưa giải có một tập chữ số ứng viên — các vạch bút chì vẫn có thể hợp lệ trong ô đó. Giả sử bạn tìm thấy hai ô trong hàng đó mà các ứng viên của cả hai đều lấy từ cùng một nhóm hai chữ số, chẳng hạn {4, 6}. Một trong hai ô đó phải chứa 4 và ô kia phải chứa 6. Không còn chỗ cho bất kỳ cách sắp xếp nào khác. Điều này nghĩa là không ô nào khác trong hàng có thể chứa 4 hoặc 6, vì cả hai chữ số đều đã được hai ô đó dùng hết.

Lập luận tương tự cũng mở rộng. Ba ô mà các ứng viên kết hợp đúng bằng ba chữ số sẽ khóa ba chữ số đó vào ba ô đó. Bốn ô với bốn ứng viên kết hợp sẽ khóa cả bốn chữ số. Trong mỗi ô, các chữ số bị khóa có thể bị loại bỏ khỏi mọi ô khác trong nhà chung.

Nguyên tắc này áp dụng giống hệt nhau dù nhà là hàng, cột hay khối 3x3. Yêu cầu duy nhất là tất cả N ô phải thuộc cùng một nhà.

số đơn trần là tập hợp trần đơn giản nhất có thể. Nó xảy ra khi một ô chỉ còn lại một ứng viên duy nhất trong các ghi chú bằng bút chì của nó. Vì chỉ có một chữ số có thể hợp lệ đi vào ô đó, chữ số đó chính là lời giải cho ô.

Mọi người giải Sudoku, dù là con người hay thuật toán, đều dựa vào các ô đơn trần. Chúng là bước cuối cùng trong chuỗi loại trừ: sau khi tất cả các ràng buộc từ hàng, cột và khối đã loại bỏ những chữ số bất khả thi, ứng viên cuối cùng còn lại chính là đáp án.

Việc tìm một số đơn trần đòi hỏi bạn phải theo dõi cẩn thận các ghi chú bằng bút chì cho từng ô. Một ô bắt đầu với tối đa chín ứng viên khả thi. Khi bạn đặt các chữ số ở nơi khác trên bàn, các ứng viên bị loại bỏ:

- Nếu một chữ số được đặt ở bất kỳ đâu trong cùng hàng, hãy loại nó khỏi các ứng viên của ô.

- Nếu một chữ số được đặt ở bất kỳ đâu trong cùng cột, hãy loại nó khỏi các ứng viên của ô.

- Nếu một chữ số được đặt ở bất kỳ đâu trong cùng khối 3x3, hãy loại nó khỏi các ứng viên của ô.

Khi những loại trừ này rút gọn một ô xuống còn một ứng viên duy nhất, bạn đã tìm thấy một số đơn trần.

Hãy xét ô R5C3 trong một câu đố đã được giải một phần. Các ràng buộc của hàng, cột và khối loại bỏ những chữ số sau:

- Hàng 5 đã chứa: 1, 3, 5, 8

- Cột 3 đã chứa: 2, 6, 9

- Khối 4 (khối giữa bên trái) đã chứa: 7

Kết hợp lại, các chữ số 1, 2, 3, 5, 6, 7, 8 và 9 đều bị loại bỏ. Ứng viên duy nhất còn lại là 4. Ô R5C3 phải là 4. Đây là một số đơn trần.

Các ô đơn trần nên là bước kiểm tra đầu tiên của bạn sau mỗi nước đi. Mỗi lần bạn đặt một chữ số, nó có thể rút gọn các ô lân cận xuống còn một ứng viên. Trong những câu đố dễ, các chuỗi ô đơn trần có thể giải được phần lớn bàn mà không cần bất kỳ kỹ thuật nào khác. Ngay cả trong những câu đố khó hơn, các ô đơn trần dọn dẹp bàn sau khi những kỹ thuật tiên tiến hơn loại bỏ các ứng viên.

cặp trần xảy ra khi hai ô trong cùng một nhà đều chứa đúng hai ứng viên giống hệt nhau và không có ứng viên nào khác. Vì hai chữ số đó phải nằm trong hai ô đó, bạn có thể loại bỏ cả hai chữ số khỏi mọi ô khác trong nhà đó.

Cặp trần là một trong những chiến lược Sudoku trung cấp được áp dụng phổ biến nhất. Chúng xuất hiện thường xuyên và thường mở ra tiến triển đáng kể bằng cách loại bỏ các ứng viên cản trở những kỹ thuật khác.

Giả sử hai ô trong hàng 1 đều chứa các ứng viên {4, 6} và không có ứng viên nào khác:

- R1C2 có các ứng viên: {4, 6}

- R1C7 có các ứng viên: {4, 6}

Một trong hai ô này sẽ là 4 và ô kia sẽ là 6. Chúng ta chưa biết ô nào là ô nào, nhưng chắc chắn rằng 4 và 6 đã được hai ô này dùng hết. Do đó, không ô nào khác trong hàng 1 có thể chứa 4 hoặc 6.

Nếu R1C4 có các ứng viên {3, 4, 6, 9}, nó có thể được rút gọn thành {3, 9} bằng cách loại bỏ 4 và 6. Nếu R1C8 có các ứng viên {2, 6}, nó có thể được rút gọn thành {2}. Việc rút gọn xuống một ứng viên duy nhất ấy tự nó là một số đơn trần, giúp giải ô ngay lập tức.

Hãy quét từng nhà để tìm các ô có đúng hai ứng viên. Khi bạn tìm thấy hai ô trong cùng một nhà có bộ hai ứng viên giống hệt nhau, bạn có một cặp trần. Vì các ô chỉ có hai vạch bút chì nổi bật về mặt thị giác, cặp trần nằm trong số những kỹ thuật trung cấp dễ phát hiện nhất.

Một thói quen hữu ích: mỗi khi bạn nhận thấy một ô chỉ có hai ứng viên, hãy kiểm tra ngay xem có ô nào khác trong cùng hàng, cột hoặc khối có cùng cặp đó không.

ba số trần xảy ra khi ba ô trong cùng một house có các ứng viên hoàn toàn lấy từ cùng một nhóm gồm đúng ba chữ số. Tập hợp kết hợp của tất cả các ứng viên trong ba ô chứa đúng ba chữ số khác nhau.

Đây là điểm mấu chốt khiến nhiều người giải bất ngờ: mỗi ô riêng lẻ không cần chứa cả ba chữ số. Một ba số trần hợp lệ có thể bao gồm các ô chỉ có hai trong ba chữ số. Điều quan trọng là hợp của tất cả các ứng viên trong ba ô tạo thành đúng ba giá trị khác nhau.

Nhiều người chơi học cặp trần trước rồi cho rằng bộ ba trần yêu cầu ba ô, mỗi ô chứa cùng ba ứng viên, như {1, 3, 7} trong cả ba ô. Dù đó là một dạng hợp lệ của ba số trần, nó không phải dạng duy nhất và thậm chí không phải dạng phổ biến nhất.

Hãy xét ba ô này trong cột 5:

- R2C5: {1, 3}

- R4C5: {1, 7}

- R8C5: {3, 7}

Các ứng viên kết hợp là {1, 3, 7}, tức đúng ba chữ số trong ba ô. Đây là một ba số trần hợp lệ, dù không có ô riêng lẻ nào chứa cả ba chữ số.

Logic giống như với cặp trần. Ba chữ số này phải điền vào ba ô này theo một thứ tự nào đó. Một ô nhận 1, một ô nhận 3, một ô nhận 7. Do đó, 1, 3 và 7 có thể bị loại khỏi mọi ô khác trong cột 5.

Hãy bắt đầu bằng việc xác định các ô có hai hoặc ba ứng viên. Trong một house cho trước, nếu bạn tìm thấy ba ô mà các ứng viên kết hợp của chúng tạo thành một tập đúng ba chữ số, bạn có một ba số trần.

Một cách tiếp cận thực tế:

1. Trong mỗi house, liệt kê tất cả các ô chưa giải có ba ứng viên trở xuống.

2. Chọn bất kỳ tổ hợp ba ô như vậy.

3. Lấy hợp các ứng viên của chúng. Nếu hợp có đúng ba chữ số, đó là một ba số trần.

Vì có nhiều tổ hợp khả thi, bộ ba trần đòi hỏi quét cẩn thận hơn cặp trần. Đây là một phần khiến chúng trở thành kỹ thuật có độ khó cao hơn.

tứ giác trần là tập con trần lớn nhất thường được sử dụng. Nó xảy ra khi bốn ô trong một nhà có các ứng viên hoàn toàn đến từ cùng một nhóm đúng bốn chữ số. Như với bộ ba, các ô riêng lẻ không cần chứa đủ cả bốn chữ số. Điều kiện then chốt là hợp của các ứng viên trên cả bốn ô bằng đúng bốn giá trị khác nhau.

Logic giống hệt với các tập con trần nhỏ hơn. Bốn chữ số phải lấp đầy bốn ô. Những chữ số đó không thể xuất hiện ở bất kỳ nơi nào khác trong nhà.

Bộ tứ trần hiếm khi được tìm thấy bằng cách quét ngẫu nhiên. Với bốn ô và bốn chữ số, có nhiều tổ hợp khả dĩ hơn để kiểm tra. Trong một nhà có sáu ô chưa giải, có 15 cách khả dĩ để chọn bốn trong số đó. Kiểm tra từng tổ hợp trong đầu thật tẻ nhạt.

Hầu hết người giải tìm thấy bộ tứ trần đều làm vậy hoặc qua kiểm tra có hệ thống hoặc bằng cách trước tiên nhận ra rằng các ô còn lại tạo thành một tập con ẩn bổ sung.

Dù hiếm gặp, bộ tứ trần vẫn xuất hiện trong các câu đố thực tế, đặc biệt là những câu được đánh giá ở mức trung bình đến khó. Việc có kỹ thuật này trong kho vũ khí của bạn đảm bảo bạn không bị mắc kẹt khi các kỹ thuật đơn giản hơn đã cạn kiệt.

Việc tìm các tập con trần một cách hiệu quả đòi hỏi một cách tiếp cận có cấu trúc thay vì quét ngẫu nhiên. Dưới đây là những kỹ thuật mà người giải có kinh nghiệm sử dụng:

Bắt đầu với số lượng ứng viên nhỏ: các ô có ít ứng viên hơn có nhiều khả năng tham gia vào các tập con trần hơn. Một ô có hai ứng viên có thể là một phần của cặp, bộ ba hoặc bộ tứ. Một ô có năm ứng viên ít hữu ích hơn vì nó đóng góp quá nhiều chữ số vào hợp. Trước tiên hãy quét từng nhà để tìm các ô có hai ứng viên. Kiểm tra các cặp khớp nhau. Sau đó xem xét các ô có hai hoặc ba ứng viên cùng nhau để tìm bộ ba.

Làm việc theo từng nhà: chọn một hàng, cột hoặc khối và xem xét tất cả các ô chưa giải của nó cùng nhau. Liệt kê các ứng viên của chúng. Tìm các cụm ô mà các ứng viên của chúng chồng lấn trong một nhóm chữ số nhỏ.

Dùng phép kiểm tra đếm: với bất kỳ nhóm N ô nào mà bạn nghi ngờ có thể tạo thành một tập con trần, hãy đếm các chữ số khác nhau trong các ứng viên kết hợp của chúng. Nếu số đếm bằng N, bạn đã tìm thấy một tập con trần. Nếu số đếm vượt quá N, những ô đó không phải là một tập con trần.

Kiểm tra sau mỗi lần loại bỏ: khi một kỹ thuật khác loại bỏ các ứng viên khỏi một ô, hãy kiểm tra lại nhà của ô đó. Việc loại bỏ có thể đã tạo ra một tập con trần mới mà trước đó không thấy được. Nhiều cặp trần xuất hiện như một tác dụng phụ của các lần loại bỏ trước đó.

Tìm phần bù: nếu một nhà có K ô chưa giải và bạn nghi ngờ có một tập con trần tồn tại nhưng không thể tìm thấy nó trực tiếp, hãy thử nhìn vào phần bù. Việc tìm thấy một tập con ẩn có kích thước M tự động ngụ ý một tập con trần có kích thước K - M.

Bộ con trần và bộ con ẩn là hai mặt của cùng một đồng xu. Hiểu được tính đối ngẫu của chúng sẽ giúp bạn nắm sâu hơn logic Sudoku và có thể giúp bạn tìm ra những quy luật mà đôi khi bạn có thể bỏ sót.

Bộ con ẩn xuất hiện khi N chữ số trong một hàng chỉ xuất hiện trong N ô cụ thể. Các chữ số được "ẩn" vì những ô đó cũng có thể chứa các ứng viên khác. Việc loại bỏ sẽ xóa các ứng viên thừa khỏi N ô đó, chỉ để lại các chữ số ẩn.

Trong bất kỳ hàng nào có K ô chưa giải, nếu có một bộ con trần kích thước N, thì tự động sẽ có một bộ con ẩn kích thước K - N. Hai bộ con này bù trừ cho nhau: chúng phân chia các ô chưa giải và các chữ số còn lại thành hai nhóm không chồng lấn.

Ví dụ, hãy xét một hàng có 6 ô chưa giải. Nếu hai trong số các ô đó tạo thành cặp trần, thì bốn ô còn lại tạo thành bốn ẩn (hay tương đương, tồn tại một tứ giác trần trong số các chữ số bị loại của bốn ô đó). Bạn có thể tìm một trong hai và áp dụng các loại bỏ tương ứng.

Tính đối ngẫu này nghĩa là bạn có hai con đường dẫn đến cùng một loại bỏ. Nếu một hàng có nhiều ô chưa giải, một bộ con trần nhỏ (cặp hoặc bộ ba) dễ phát hiện hơn một bộ con ẩn lớn. Ngược lại, nếu một hàng có ít ô chưa giải, cặp ẩn có thể dễ tìm hơn là tìm tứ giác trần bù trừ.

Những người giải có kinh nghiệm chuyển đổi giữa góc nhìn trần và ẩn tùy theo cách nào thực tế hơn trong một tình huống nhất định. Khả năng nhìn thấy cả hai mặt mang lại cho bạn lợi thế đáng kể.

Bốn kỹ thuật tập hợp con trần trụi trải dài qua nhiều mức độ khó, phản ánh việc chúng khó tìm hơn bao nhiêu khi kích thước nhóm tăng lên:

Số đơn trần (N=1): Cấp 2, Dễ

Cặp trần (N=2): Cấp 3, Dễ

Ba số trần (N=3): Cấp 4, Trung bình

Tứ giác trần (N=4): Cấp 5, Thử thách

Sự gia tăng độ khó không nằm ở logic, vốn giống hệt nhau trong mọi ô, mà ở độ phức tạp của việc tìm kiếm:

Số đơn trần: Bạn chỉ cần kiểm tra một ô. Nếu nó có một ứng viên, bạn xong. Không cần tìm kiếm tổ hợp.

Cặp trần: Bạn cần tìm hai ô có các ứng viên khớp nhau. Trong một nhà có sáu ô chưa giải, có 15 cặp khả dĩ để kiểm tra. Nhưng vì bạn đang tìm các ô có đúng hai ứng viên giống hệt nhau, mẫu hình thị giác rất đặc trưng và dễ nhận ra.

Ba số trần: Bạn cần tìm ba ô mà các ứng viên kết hợp của chúng tổng cộng thành ba chữ số. Trong một nhà có sáu ô chưa giải, có 20 bộ ba khả dĩ. Việc tìm kiếm khó hơn vì các ô không cần phải có tập ứng viên giống hệt nhau.

Tứ giác trần: Bạn cần tìm bốn ô từ nhiều ô chưa giải tiềm năng. Số lượng tổ hợp tăng lên, và các hợp bốn chữ số khó tính nhẩm hơn. Hầu hết các quad được tìm thấy một cách gián tiếp, hoặc thông qua việc đếm ứng viên có hệ thống hoặc bằng cách nhận ra cặp ẩn bổ sung.

Xếp hạng độ khó của câu đố thường phụ thuộc vào những kỹ thuật nào cần thiết để giải chúng. Một câu đố chỉ cần các single và pair trần trụi được xếp là dễ. Một câu đố đòi hỏi các triple trần trụi bước vào vùng trung bình. Một câu đố đòi hỏi một tứ giác trần thì ít nhất là thử thách.

Lỗi 1: Kỳ vọng mọi ô đều chứa mọi chữ số

Lỗi phổ biến nhất với bộ ba và bộ bốn trần là giả định rằng mọi ô trong tập hợp con phải chứa đủ N chữ số. Điều này sai. Một ba số trần với các ô {1,3}, {1,7} và {3,7} hoàn toàn hợp lệ dù không ô nào chứa đủ cả 1, 3 và 7.

Cách tránh: Luôn kiểm tra hợp của các ứng viên, không phải từng ô riêng lẻ. Đếm các chữ số khác nhau trong tất cả các ô của nhóm. Nếu số lượng bằng số ô, đó là tập hợp con trần bất kể các chữ số được phân bố thế nào giữa các ô riêng lẻ.

Lỗi 2: Nhầm lẫn giữa tập hợp con trần và ẩn

Một cặp trần có N ô với các ứng viên giới hạn trong N chữ số. Một cặp ẩn có N chữ số giới hạn trong N ô, nhưng các ô đó có thể có thêm ứng viên.

Với một cặp trần, bạn loại bỏ các chữ số của cặp khỏi các ô khác trong nhà. Với một cặp ẩn, bạn loại bỏ các chữ số không thuộc cặp khỏi chính các ô của cặp.

Cách tránh: Hãy tự hỏi: "Mình đang xem các ô có ứng viên bị hạn chế (trần) hay các chữ số có vị trí bị hạn chế (ẩn)?" Hướng của sự hạn chế quyết định loại tập hợp con bạn đã tìm thấy.

Lỗi 3: Loại bỏ khỏi sai ô

Khi bạn tìm thấy một cặp trần {4, 6} ở các ô R1C2 và R1C7, bạn loại bỏ 4 và 6 khỏi các ô khác trong hàng 1. Bạn không loại bỏ các ứng viên khác khỏi chính R1C2 và R1C7. Các ứng viên của cặp trần vẫn nguyên vẹn trong chính các ô của tập hợp con.

Cách tránh: Hãy nhớ quy tắc: tập hợp con trần loại bỏ các chữ số của chúng khỏi các ô ngoài tập hợp con. Tập hợp con ẩn loại bỏ các chữ số không thuộc tập hợp con khỏi các ô bên trong tập hợp con.

Lỗi 4: Quên kiểm tra mọi nhà chung

Hai ô có thể chia sẻ nhiều hơn một nhà. Ví dụ, R1C1 và R1C3 chia sẻ cả hàng 1 và khối 1. Nếu chúng tạo thành một cặp trần, bạn có thể loại bỏ các chữ số của cặp khỏi các ô khác trong hàng 1 và khỏi các ô khác trong khối 1. Đừng giới hạn việc loại bỏ chỉ ở một nhà.

Cách tránh: Với mỗi tập hợp con trần bạn tìm thấy, hãy kiểm tra xem tất cả các ô của tập hợp con chia sẻ những nhà nào. Áp dụng việc loại bỏ ở mọi nhà chung.

Các tập con trần nên được kiểm tra theo thứ tự từ nhỏ nhất đến lớn nhất:

1. Đơn trần trước tiên. Sau mỗi lần điền, hãy quét tìm các đơn trần mới. Chúng miễn phí và tức thì.

2. Đôi trần thứ hai. Khi không còn đơn trần nào, hãy quét tìm đôi trần trong mọi hàng, cột và khối. Đây là kỹ thuật trung gian phổ biến nhất và thường mở ra thêm các đơn trần.

3. Bộ ba trần thứ ba. Khi đôi không đủ, hãy mở rộng tìm kiếm sang bộ ba. Tập trung vào các nhà nơi một số ô có hai hoặc ba ứng viên.

4. Bộ bốn trần cuối cùng. Chỉ tìm bộ bốn khi các tập con nhỏ hơn và các kỹ thuật khác đã cạn. Vì độ khó của chúng, hãy cân nhắc kiểm tra đôi ẩn hoặc bộ ba ẩn trước, vì chúng có thể dễ tìm hơn và tiết lộ cùng thông tin nhờ nguyên lý đối ngẫu.

Theo trình tự này, bạn áp dụng những kỹ thuật dễ nhất và hiệu quả nhất trước, tiết kiệm công sức trí óc cho khi thực sự cần thiết.

Các tập con trần là một họ gồm bốn kỹ thuật Sudoku được thống nhất bởi một nguyên lý thanh lịch duy nhất: N ô trong một nhà với đúng N ứng viên kết hợp sẽ khóa các chữ số đó tại chỗ, cho phép bạn loại chúng khỏi mọi ô khác trong nhà.

Từ số đơn trần khiêm tốn giúp giải ô ngay lập tức, qua đôi trần và bộ ba trần giúp dọn bớt ứng viên, đến tứ giác trần khó nắm bắt đòi hỏi tìm kiếm có hệ thống cẩn thận, những kỹ thuật này tạo thành xương sống của việc giải Sudoku logic. Thành thạo chúng mang lại cho bạn những công cụ đáng tin cậy áp dụng cho các câu đố ở mọi mức độ khó và xây dựng nền tảng để xử lý những chiến lược thậm chí còn nâng cao hơn như tập con ẩn, mẫu cá và chuỗi.