KUCHANGANYA UJUMBE KWASHINDA KUUPITISHA NJIANI, BAADA YA MIAKA 22 YA SHAKA

Fikiria mtandao wa kebo ambamo watumaji kadhaa kila mmoja anataka kumfikia mpokeaji wake. Mbinu ya jadi ni uelekezaji (routing): kila ujumbe husafiri kama kifurushi kupitia njia moja au zaidi, na trafiki inaweza hata kugawanywa katika njia nyingi kwa uwiano wowote. Usimbaji wa mtandao (network coding) huongeza uhuru mwingine: vifundo vya kati vinaweza kuunganisha ujumbe vinaopokea — kwa mfano kwa kuujumlisha — badala ya kuupitisha tu.

Swali ni kama uhuru huo unaweza wakati wowote kuruhusu data zaidi kupita. Makala inaangazia mitandao isiyo na mwelekeo, ambapo kebo inaweza kubeba data upande wowote lakini pande zote mbili hushiriki uwezo mmoja.

Dhana iliyothibitishwa kesi baada ya kesi

Mwaka 2004, Li na Li walikisia kwamba katika hali hii usimbaji hauleti faida yoyote juu ya uelekezaji wa sehemu (fractional routing); Harvey, Kleinberg na Rasala Lehman waliunda dhana hiyohiyo kwa kujitegemea. Katika miongo miwili iliyofuata ilithibitishwa kwa kundi moja la mitandao baada ya jingine — vipindi viwili, baadhi ya mitandao bapa, mitandao yenye vifundo vya usimbaji visivyozidi sita, na zaidi — lakini haikuwahi kutatuliwa kwa ujumla. Matokeo mengine ya nadharia ya utata, kama vile mipaka ya chini ya kupanga namba kamili katika kumbukumbu ya nje na ya saketi za kuzidisha, yalikuwa hata yamethibitishwa kwa kuichukulia kuwa kweli.

Nadharia iliyojulikana tayari ilikuwa imeweka mipaka ya kilichokuwa hatarini: usimbaji unaweza kushinda uelekezaji kwa kipeo cha kilogarithimu tu kwa zaidi. Na matokeo ya 2017 ya Braverman, Garg na Schvartzman yalionyesha kwamba mtandao mmoja tu wenye faida kamili ya usimbaji ungeweza kukuzwa kuwa pengo kubwa zaidi sana. Kila kitu kilitegemea kupata mfano mmoja wenye kikomo.

Kujumlisha kunatosha

Kiambatisho kinatoa kifaa cha msingi, kinachoonyesha kwa nini kuchanganya kunaweza kusaidia. Weka vyanzo kadhaa kuzunguka kitovu v, wapokeaji wao kuzunguka kitovu kingine w, na unganisha v na w kwa kebo moja. Kila chanzo pia kina njia ndogo za pembeni kwenda kwa wapokeaji wengine. Katika mizunguko mitatu, kebo ya katikati hubeba jumla ya ujumbe wote; kila mpokeaji hupata jumla hiyo pamoja na ujumbe mwingine kutoka njia za pembeni, na hupata ujumbe wake kwa kutoa. Bila kebo ya katikati, kila chanzo kiko hatua tano (hops) kutoka kwa mpokeaji wake.

Kifaa hicho, kutoka kazi ya awali ya Haeupler, Wajc na Zuzic, hufanya usimbaji uwe wa haraka zaidi, lakini peke yake hakuuwezeshi kubeba zaidi: njia ndefu bado inaweza kuendesha mfumo wa bomba (pipeline) wa kasi ya juu.

Saketi iliyogeuzwa kuwa mtandao

Xindan Zhang na Baochun Li, wa Chuo Kikuu cha Toronto, na Zongpeng Li, wa Chuo Kikuu cha Tsinghua, walipata hatua iliyokosekana. Wanageuza msimbo mfupi kuwa ukokotoaji unaoweza kurudishwa nyuma — saketi ya majumlisho ya namba kamili yanayoweza kugeuzwa, inayokokotoa, kunakili matokeo, kisha kufuta kazi yake ya kati. Kisha wanajenga mtandao mpya ambao kebo zake halisi ndizo waya za saketi hiyo, na kumpa kila rejista ya ukokotoaji, ikiwemo rejista za kazi ya muda, mahitaji yake mwenyewe ya mtumaji–mpokeaji.

Uhesabuji makini wa “muda” kando ya waya hufanya yaliyobaki. Ukijumlisha kwenye waya zote, urefu unalingana kabisa na umbali wa chini kabisa ambao mahitaji lazima yafunike. Lakini mahitaji yaliyoteuliwa hayawezi kuepuka milango fulani inayogharimu vipimo viwili vya ziada. Kwa hiyo uelekezaji lazima upungue kabisa kwa kasi kamili, ilhali msimbo hutumia kila kebo mara moja tu na, ukipangwa kama bomba juu ya vitalu vingi, hukaribia kasi ya moja.

Kilichothibitishwa

Mtandao wenye kikomo uliounganika, kila kifundo kikiunganishwa na vingine visivyozidi vitatu na uwezo wa kipimo kimoja kwenye kila kebo, ambapo msimbo rahisi wa mstari wa binari unashinda uelekezaji bora kabisa unaowezekana wa sehemu. Dhana ya 2004 si kweli.
Muundo huohuo wa namba kamili unafanya kazi kwenye kila uga wenye kikomo na kila kundi la abeli lenye kikomo lisilo dogo kwa wakati mmoja.
Kwa kuunganisha nakala mara kwa mara, waandishi wanajenga familia zisizo na kikomo za mitandao ambapo usimbaji hukaribia kasi kamili huku uelekezaji ukishuka kama kipeo cha 1/log n — faida ya kipolilogarithimu.

Makala haitoi idadi ya vifundo katika mfano wake kinzani. Kipande chake cha ujenzi peke yake ni msimbo unaodumu mizunguko 13,122.

Imehakikiwa na mashine

Mfano kinzani wenye kikomo na nadharia ya familia vyote vimerasimishwa katika kisaidizi cha uthibitisho Lean. Kwa mujibu wa waandishi, ukaguzi wa matamko 2,472 na nadharia 1,755 unaonyesha kwamba uthibitisho unatumia tu misingi mitatu ya kawaida ya Lean, bila uthibitisho wowote usiokamilika; ukaguzi upya huru katika mazingira mapya pia ulifaulu, ingawa kwa kiini (kernel) kilekile cha Lean.

Kilichobaki wazi

Waandishi wanaorodhesha maswali matatu: ukubwa halisi wa faida kwenye mfano wao wenye kikomo, kama kikomo cha juu cha kilogarithimu kinachojulikana kinafikiwa kwa kweli, na kama kuna mfano kinzani mdogo. Sentensi yao ya mwisho inafupisha hali ilivyo: “Imebainika kwamba usimbaji husaidia kweli katika mitandao isiyo na mwelekeo; unaweza kusaidia kiasi gani bado kunasubiriwa kuonekana.”

Matumizi ya AI yametangazwa. Tanbihi moja inaeleza kuwa GPT-6 Astra ya OpenAI ilisaidia kukuza uthibitisho na msimbo wa Lean.