Sudoku və Riyaziyyat: Təəccüblü Əlaqə

Arifmetika tələb olunmur

İnsanlar Sudokunun riyaziyyat tapmacası olmadığını deyəndə, gündəlik mənada düz deyirlər. Həlli sıfır hesablama tələb edir. Rəqəmlər sadəcə etiketlərdir. Siz doqquz fərqli simvol yerləşdirməlisiniz ki, heç bir qrupda dublikat olmasın. Tələb olunan bacarıqlar nümunənin tanınması və məntiqi deduksiyadır.

Siz 1-dən 9-a qədər olan rəqəmləri A-dan I hərfləri ilə əvəz edə bilərsiniz və tapmaca çətinliyə görə eyni olacaq. Bəzi tapmaca kitabları əslində bunu mətləbi nümayiş etdirmək üçün edir. İstifadə olunan riyazi bacarıq hesab deyil, məntiqdir.

Buna görə də Sudoku dil və təhsil maneələrini aşır. Çoxalda bilməyən uşaq başlanğıc Sudoku həll edə bilər. Heç bir ingilis dilini bilməyən bir adam ana dili ilə eyni bulmacaları həll edə bilər. Sudoku məntiqinin universal təbiəti onun qlobal populyarlığının əsas səbəbidir.

Kombinatorika: Sudoku həllərinin hesablanması

Riyazi baxımdan Sudoku kombinatorik problemdir. 2005-ci ildə Felgenhauer və Jarvis tərəfindən hesablanmış etibarlı tamamlanmış 9x9 Sudoku şəbəkələrinin sayı təxminən 6,67 sekstilyondur. Bu astronomik baxımdan böyük rəqəmdir.

Ekvivalentləri (fırlanmalar, əkslər, rəqəmlərin yenidən etiketlənməsi) hesabladığınız zaman, mahiyyətcə fərqli olan şəbəkələrin sayı təxminən 5,47 milyarda düşür. Bu azalma qrup nəzəriyyəsindən anlayışların, xüsusən də şəbəkədə fəaliyyət göstərən simmetriya qruplarının tətbiqindən irəli gəlir.

Unikal həll üçün ipucuların minimum sayı 17-dir, 2012-ci ildə Gary McGuire komandası tərəfindən sübut edilmişdir. Heç bir 16 ipucu tapmacasının unikal həlli yoxdur. Bu sübut milyardlarla şəbəkə konfiqurasiyasını yoxlamaq üçün böyük hesablama səyləri tələb edirdi.

Qrup nəzəriyyəsi və Latın kvadratları

Sudoku Latın kvadratının, hər bir simvolun hər sətir və sütunda tam olaraq bir dəfə göründüyü n x n şəbəkəsinin xüsusi halıdır. Euler 18-ci əsrdə Latın kvadratlarını öyrəndi. Sudoku qutusu məhdudiyyəti onu eksperimental statistikadan "gerechte dizayn" edən struktur əlavə edir.

Qrup nəzəriyyəsi strukturu qoruyan çevrilmələri öyrənir. Sudokuda eyni zolağın daxilində sıraların dəyişdirilməsi, eyni yığın daxilində sütunların dəyişdirilməsi, şəbəkənin fırlanması və ya rəqəmlərin yenidən etiketlənməsi kimi əməliyyatlar tapmacanın etibarlılığını qoruyur. Bütün bu cür əməliyyatların çoxluğu 3,359,232 elementdən ibarət riyazi qrup təşkil edir.

Bu simmetriyalar tapmacalar yaratmaq üçün praktiki olaraq faydalıdır. Bir etibarlı şəbəkədən başlayaraq, generatorlar riyazi ekvivalent olan milyonlarla vizual fərqli tapmacalar yaratmaq üçün təsadüfi simmetriya çevrilmələrini tətbiq edə bilər.

Sudoku və süni intellekt

Kompüter elmində Sudoku klassik məhdudiyyət məmnuniyyət problemidir (CSP). Tədqiqatçılar Sudoku-dan geri çəkilmə, məhdudiyyətlərin yayılması, qövs ardıcıllığı və Boolean məmnuniyyət həllediciləri daxil olmaqla alqoritmləri sınaqdan keçirmək üçün bir meyar kimi istifadə edirlər.

Google-un Tədqiqat Direktoru Peter Norvig, məhdudlaşdırıcı təbliğat və axtarışla Sudoku həllinə dair təsirli bir esse nəşr etdi. Onun Python həlledicisi istənilən Sudoku millisaniyələrdə həll edə bilirdi. Məqalə kompüter elmləri kurslarında standart tədris resursu oldu.

Maşın öyrənmə tədqiqatçıları həmçinin neyron şəbəkələrin məntiqi düşünmə qabiliyyətini yoxlamaq üçün Sudokudan istifadə ediblər. ML modelləri Sudoku həll etmək üçün öyrədilə bilsələr də, ənənəvi məntiqi həlledicilərdən fərqli olaraq düzgünlüyünə zəmanət verə bilməzlər. Bu, statistik öyrənmə ilə simvolik əsaslandırma arasındakı boşluğu vurğulayır.