‘Böyük Kəşf’ Qeyri‑bərabərlik Riyaziyyatında

12 həvəsli trivia həvəskarını iki rəqabətli komandaya bölmək üçün riyaziyyat üzrə doktorluq dərəcəsinə ehtiyac yoxdur. Ancaq nəzərə alın ki, hər bir insan özünəməxsus güclü tərəfləri və öhdəlikləri ilə gəlir: biri musiqiyə qulaq asmayan bir coğrafiya vəsvəsəsi ola bilər, digəri televiziyası olmayan təbiətşünas, digəri isə heç vaxt oxumayan kinofilm ola bilər. İki düşərgə arasında xüsusiyyətlərin tarazlaşdırılması çox çətinləşir.

Beləliklə, komandaları necə bərabər şəkildə toplaya bilərsiniz ki, Yunan mifologiyasından tutmuş kollec basketboluna qədər hər kateqoriyada uyğun atəş gücünə sahib olsunlar? Kombinator uyğunsuzluq nəzəriyyəsini öyrənən tədqiqatçıların fikrincə, siz həmişə komandaları heyrətamiz dərəcədə bərabərləşdirə bilərsiniz. Uyğunsuzluq nəzəriyyəsi resursların mümkün qədər bərabər paylanması ilə məşğul olan riyaziyyatın bir qoludur.

Bir trivia komandası bütün tarix biliklərini əldə edirsə, heç birini digərinə qoymursa, bu, böyük bir uyğunsuzluqdur. 1980-ci illərin əvvəllərində riyaziyyatçı Yanos Komlos əks-intuitiv proqnozla çıxış etdi. O, ehtimal etdi ki, nə qədər obyekt (oyunçularınız) və ya ölçülər (trivia kateqoriyaları) nəzərə alınsa da, kəmiyyətini təyin edə biləcəyiniz uyğunsuzluq heç vaxt sabit məbləği keçməyəcək.

Bu dəqiq məbləğdən aşağı uyğunsuzluq olan komandaları bölmək üçün həmişə bir yol olacaq. Bu universal sabitdir." Heç kim fərziyyəyə zidd çıxış yolunu tapmayıb. Ancaq o qədər təəccüblüdür ki, bəzi riyaziyyatçılar bunun yalan olduğunu düşünürdülər.

Miçiqan Universitetinin nəzəri kompüter alimi Nikhil Bansal deyir ki, bunu sübut etmək "uyğunsuzluq nəzəriyyəsindəki bu müqəddəs problemlərdən biridir". Hətta fərziyyənin yaradıcısı da bunun bir qədər absurd olduğunu düşünür. Ancaq onilliklər ərzində bir sübut uzun bir vuruş kimi görünürdü.

Riyaziyyatçılar çox irəliləyiş əldə edə bilmədilər; 1998-ci ildə əldə edilmiş uyğunsuzluğun ən yaxşı yuxarı həddi hələ də problemin ölçüsündən çox asılı idi. Bu, daimi olmaqdan uzaq idi. Sonra, 2025-ci ilin payızında Bansal və Jiang, təxminən 30 ildə problemlə bağlı ilk böyük irəliləyiş elan etdilər.