Yüksək xallar üçün zarların yuvarlanması stolüstü oyunda kimin birinci hərəkət edəcəyinə qərar vermək üçün ümumi bir yoldur, lakin bağlar bir və ya daha çox təkrar tələb edə bilər. Bir qrup riyaziyyatçı və kompüter alimləri bu kiçik narahatlığı sadəcə olaraq qəbuledilməz hesab etdilər və on ildən çox davam edən həll yolunu axtarmağa başladılar. 2012-ci ildə Alabama ştatının Auburn Universitetində Erik Harşbarger dostu ilə şam yeməyi zamanı ilk dəfə Go First zar adlanan ideyanı müzakirə etdi - nəzəri zar dəsti, burada hər bir oyunçu bir ölə bilər və bərabər qalibiyyət şansına malikdir, həm də başqası ilə əlaqə qurmamağa zəmanət verir.
Çox keçmədi ki, Corciya ştatının Dalton Dövlət Kollecində o və Robert Ford iki, üç və ya dörd oyunçuya dodekaedronlardan birini atmağa və hər dəfə statistik cəhətdən ədalətli nəticə və qalib əldə etməyə imkan verən dörd 12 tərəfli zar dəsti hazırladılar. Harshbarger etiraf edir ki, bu, həqiqətən problem axtaran bir həll idi, lakin beş oyunçu ilə işləyən dəsti tapmaq ideyası demək olar ki, dərhal ortaya çıxdı. Dünyanın hər yerindən 20-yə yaxın kompüter alimi və riyaziyyatçı problem üzərində işdən kənarda qalaraq kəşfləri izləmək üçün bir vebsayt işlədən Harshbarger problemin bir növ stüardına çevrildi.
Beş Go First zardan ibarət nəzəri dəstlər dörd zar dəstindən qısa müddət sonra kəşf edildi, lakin həmişə problemlər var idi: bəzilərinin işləmək mümkün olmayan sayda müxtəlif tərəfləri var idi, yüzlərlə. Bunlar kağız üzərində işləyirdi, lakin praktikada qurmaq və yaymaq üçün çox çətin idi. Və müxtəlif sayda tərəfləri olan həllər daha az zərif deyildi, həm də belə olmasa belə, insanları ədalətsiz olduqlarından şübhələnməyə məcbur edirdi.
Riyaziyyatçılar Böyük Britaniya Milli Lotereyasının qalibiyyətinə zəmanət verən 27 bilet tapdılar. Harşbargerin özü tərəfindən uyğun gələn 180 tərəfli zar dəsti və avstraliyalı tədqiqatçının 120 tərəfli zar dəsti kimi daha yaxşı həllər tədricən ortaya çıxdı. Lakin bu yaxınlarda gəmiyə gələn və işlək dizayna çatmaq üçün əvvəlki həllərdə riyazi nümunələri axtarmaq və kobud güclə kompüter axtarışı kombinasiyasından istifadə edən peşəkar proqram mühəndisi Paul Meyer idi: bütün riyazi meyarlara cavab verən, lakin ən başlıcası, real dünyada da hazırlana və istifadə edilə bilən 60 tərəfli beş zar dəsti. Amma mən o riyaziyyat problemini, onun tərtib olunma qaydasını görəndə düşündüm ki, “Ah, bu, həqiqətən, sadəcə hesablama axtarış problemidir, mərc edirəm ki, alqoritm yaza biləcəm””, Meyer deyir.
Onun axtarışı hərtərəfli deyildi; meyarlara cavab verən daha kiçik zarlar ola bilər, lakin hələ tapılmamışdır. Altı ədalətli Go First zarının ovlanması məsələsi də var, burada axtarış məkanı bir daha ağlasığmaz dərəcədə böyük olan balonlardan çıxır. Tədqiqatçılar artıq bilirlər ki, 360 tərəfi olan bir dəst işləyir, lakin bu, real dünyada praktiki deyil və Harshbarger düşünür ki, problemi həll etmək üçün kvant kompüterləri və ya AI lazım ola bilər.
Kağız üzərində mükəmməl işləyən çətin nəticəyə baxmayaraq, işdə iştirak etməyən London İqtisadiyyat və Siyasi Elmlər Məktəbindən Bernhard von Stengel hələ də beş oyunçu üçün bu 60 tərəfli zərlərin reallığının nəzəriyyəyə uyğun olacağına əmin deyil.
Xülasə — davamını mənbədə oxuyun.