### 3.7.250. Sudoku

A constraint that can be used for modelling the Sudoku puzzle problem. A Sudoku square is an $9×9$ array in which 9 distinct numbers in $\left[1,9\right]$ are arranged so that the following two conditions hold:

• Each number occurs once in each row and column.

• The numbers in each major $3×3$ block are distinct.

##### Figure 3.7.77. (A) A partially filled Sudoku square and (B) its unique completion The Sudoku puzzle problem is to complete a partially filled board in order to get a Sudoku square. Part (A) of Figure 3.7.77 gives a partially filled Sudoku board, while part (B) provides its unique possible completion.
{"ft_lang_label":"__label__en","ft_lang_prob":0.8907453,"math_prob":0.9612736,"size":597,"snap":"2022-27-2022-33","text_gpt3_token_len":136,"char_repetition_ratio":0.13322091,"word_repetition_ratio":0.0,"special_character_ratio":0.23115578,"punctuation_ratio":0.12195122,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.98876,"pos_list":[0,1,2],"im_url_duplicate_count":[null,1,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-06-26T22:44:08Z\",\"WARC-Record-ID\":\"<urn:uuid:2132e938-a378-43e0-b650-61e691203c08>\",\"Content-Length\":\"29426\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:af91fbba-733f-47a2-b6b0-beb98eec1973>\",\"WARC-Concurrent-To\":\"<urn:uuid:d80a7d32-fba8-414a-bf44-b1fe4b30b115>\",\"WARC-IP-Address\":\"185.199.108.153\",\"WARC-Target-URI\":\"http://sofdem.github.io/gccat/gccat/KSudoku.html\",\"WARC-Payload-Digest\":\"sha1:G7QT34EU6YWR7BZ2PWXUONJOP37C6OJ6\",\"WARC-Block-Digest\":\"sha1:X6DWBPP2BBG2OC53V4R54ADQCDMZWAOD\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-27/CC-MAIN-2022-27_segments_1656103322581.16_warc_CC-MAIN-20220626222503-20220627012503-00538.warc.gz\"}"}