A legenda mögött: a valós történet
Az inspiráció forrása egészen más: George Dantzig esete. Dantziget, akit ma a lineáris programozás atyjának tartanak, korántsem volt gyenge tanuló, amikor az esemény történt; már matematikai doktoranduszként járt a Berkeley Egyetemre 1939-ben. Egy előadásra érkezve két példát látott a táblán, amelyeket házi feladatnak gondolt. Bár nehezebbnek tűntek, mindkettőt megoldotta és beadta – nem is sejtve, hogy éppen a korszak két legnehezebbének tartott, addig megoldatlan statisztikai problémáját sikerült megoldania. Itt minden elismerést megérdemel; ám a hollywoodi változat, vagyis a filmben látható matematikai fejtörő, lényegesen kevesebb kihívást tartogat.
Miből állt a mozis feladvány?
A filmben kiírt kihívás: rajzoljunk fel minden homeomorfikusan redukálhatatlan, tíz csomópontos fát. Első hallásra valóban varázslatosnak tűnik, de a feladat lényege a matematikai nyelvezet mögött rejtőzik. Egy fa a matematikában nem más, mint egy olyan gráf (pontokból és őket összekötő vonalakból álló struktúra), amelyben nincsenek körök – vagyis a csomópontokat nem lehet úgy összekötni, hogy visszajussunk a kiindulóponthoz. A fa „mérete” annak csomópontjai számát jelenti, jelen esetben ez 10.
A „homeomorfikusan” jelző azt takarja, hogy csak a kapcsolódások sorrendje és módja számít, a csomópontok elrendezése nem. Tehát például egy öt pontból álló X- és egy K-alakú fa ugyanazt a struktúrát jelenti, ha mindegyik csomópont ugyanannyival kapcsolódik. Az „irreducibilitás” ebben a környezetben azt jelenti, hogy minden csomópont vagy egy, vagy három (vagy annál több) kapcsolattal rendelkezik, de soha nem lehet kettő, mert az egyszerűsíthető lenne két élre.
Gyakorlatban: hogyan lehet gyorsan megoldani?
A feladat tehát annyi, hogy rajzoljunk fel minden ilyen, 10 csomópontos fát, a fentiek szerint. Külön figyelmet érdemel, hogy ha valaki egyszer érti a fenti fogalmakat, akár kézzel néhány perc alatt, vagy egy megfelelő program segítségével néhány pillanat alatt megoldhatja. Például: ha egy középső csomópontból kilenc kapcsolódás fut ki, az egy tökéletes modell, megfelel minden feltételnek. Ha nyolc kapcsolattal próbálkozunk, gyorsan rájövünk, hogy az már zsákutca: túl sokszor ismétlődnek vagy csökkenthetők az elágazások. Hét kapcsolathoz kapcsolhatunk még két csomópontot, de ezek is hamar egyszerűsödnek az említett szabályok szerint.
Egy logikusabb, matematikai rendszerben gondolkodva bevezethetjük az n_k fogalmát, ami azt jelzi, egy adott k kapcsolattal rendelkező csomópontból hány darab van a gráfban. Tudjuk, hogy n_2 mindig 0 (nem lehet két kapcsolódás), míg összesen tíz csomópont szerepelhet. Ezek alapján néhány egyszerű képlettel, egyenletrendszerrel eldönthető, hogy mely szerkezetek lehetségesek. Kicsit tovább menve, két kulcsegyenlet segítségével minden lehetséges variáció gyorsan levezethető:
n1 + n3 + n4 + n5 + n6 + n7 + n8 + n9 = 10
n1 + 3n3 + 4n4 + 5n5 + 6n6 + 7n7 + 8n8 + 9n9 = 18
A kettőből összevonva könnyen kizárhatók az értelmetlen próbálkozások, és matematikai alapon is egyszerű megoldásokhoz vezet az út.
Sokkal jobb példák is akadnak
Bár a filmesek vélhetően Dantzig valódi eredményeit túl bonyolultnak, vizuálisan unalmasnak ítélték, a történelem tele van valódi civil hősökkel, akik igazi, nyitott problémákat oldottak meg. Geometriai áttörések sora fűződik például olyanokhoz, akik sosem tanultak matematikát. 2022-ben David Smith, nyugdíjas nyomdász talált olyan sokszöget, amely hézagok nélkül, ismétlődésmentesen fed le egy síkot – a mintázat soha nem ismétli önmagát, és a felfedezés minden matematikust ámulatba ejtett.
Külön figyelmet érdemel, hogy a valóság és a hollywoodi sztereotípia között éles a kontraszt. Míg a filmben elég egy pillanatnyi zsenialitás, a tudományos áttörések mögött rendszerint évek, vagy akár évtizedek állnak – valódi próbálkozások, kitartás és kudarcok. Ha valóban inspiráló matematikai történeteket akarunk látni a moziban, bőven akad miből válogatni.
