Ինքնակայունացման կոմպոզիցիոն տեսության որոնումներում

2026 թվականի սեպտեմբերի 21-ին Metadata բլոգի գրառումը հարցնում է՝ գոյություն ունի՞ ինքնակայունացման կոմպոզիցիոն տեսություն։ Մետաստաբիլ խափանումների բացատրության որոնումը հեղինակին վերադարձրել է ինքնակայունացմանը, իսկ գրականության զննումը օգտակար ոչինչ չի տվել։ Փորձարկման օրինակը պայմանագրերով երկու բաղադրիչից կառուցված rely-guarantee TLA+ մոդելն է, որը մետաստաբիլ խափանումը վերարտադրում է, երբ ցնցումը վերացնում է երկու պայմանների հենարանը։

Մեկ խոստումից մինչև պայմանագրերի ընտանիք

Որոնումը հանգեցրեց Kim-ի, Arcak-ի և Seshia-ի 2017 թվականի կառավարման տեսության հոդվածին։ Այն լուծում է երկու բաղադրիչների միջև ցիկլային դատողությունը, բայց բաղադրիչը դիտարկում է որպես ազդանշանների վրա հիշողությունից զուրկ «մուտք-ելք» հարաբերություն․ կուտակված պարտքը անհնար է արտահայտել, հերթերը դուրս են մնում, իսկ կայունացման մասին ոչինչ չի ասվում։

Հիմնական գաղափարը այնուամենայնիվ արժե փոխառել։ Նախապայմանով մեկ խոստման փոխարեն՝ «եթե հերթը 6-ից փոքր է, չեմ ուղարկի կրկնորդում», գրվում է պայմանագրերի ընտանիք. ինչ էլ լինի հերթի L երկարությունը, բաղադրիչը ուղարկում է առավելագույնը λ(L) կրկնորդում։ Աղյուսակը ձգվում է «հերթը՝ առավելագույնը 6 → 0 կրկնորդում»-ից մինչև «հերթը՝ առավելագույնը 18 → 6 կրկնորդում»։

Ինչու փոքր շահույթի կտրուկ ուղին ձախողվում է

Փոքր շահույթի թեորեմը ասում է, որ օղակը հանդարտվում է, երբ բաղադրիչների շահույթների արտադրյալը մեկից փոքր է։ Այստեղ երկու բան է խանգարում․ պետք են ուղիղ գծեր, բայց հաստատուն թեքություն ունի միայն կրկնորդիչը (1/2), մինչ սերվերի բաժինը վարվում է որպես f/(f+d)․ և ենթադրվում է, որ «վատությունը» մեկ թիվ է, մինչդեռ հերթերը երկուսն են։

Երկուսի հետևումը տալիս է (8,4) անշարժ կետը և չորս թեքություն։ Անկյունագծի 11/12 և 5/6 արժեքները հիշողություն են՝ հերթի մնացած մասը։ Անկյունագծից դուրս՝ 7/12 և 1/6, հերթերի միջև կապն է։ Միայն կապը բազմապատկելը տալիս է 7/72 ≈ 0.1՝ «տասնապատիկ պաշարով կայունություն», և դա սխալ է, որովհետև անտեսում է հիշողությունը։ Ճիշտ կայունության վերլուծությունը վերադարձնում է 1.19 և 0.56․ մեկը մեկից մեծ է, ուստի գրեթե ցանկացած խոտորում աճում է։

Հայտնի լուծումները և չփրկող առաստաղը

Թվաբանությունը բացատրում է գործնական լուծումները։ Կրկնորդումների բյուջեն զրոյացնում է 7/12-ը, «նախ թարմը» սպասարկումը՝ 1/6-ը։ Այդ դեպքում արտադրիչները վերադառնում են 0.92 և 0.83, և պարտքը նվազում է շրջափուլում 8%-ով՝ 19%-ով աճելու փոխարեն։ Հերթերի առաստաղը նույն քայլն է․ M-ը թույլ է տալիս առավելագույնը (M−6)/T կրկնորդում։ M=7 դեպքում կրկնորդում չկա. M=8-ում կա մեկը, և ի հայտ են գալիս այլ ձգիչներ։ 8-ից բարձր առաստաղը սահմանափակում է տարամիտումը, բայց չի կանխում խափանումը։ M=40 դեպքում համակարգը կանգ է առնում (39,38)-ում․ երեք միավորից մեկը օգտակար աշխատանք է անում, երկուսը գնում են արդեն ուղարկված հարցումների կրկնօրինակներին՝ սա մետաստաբիլության սահմանումն է։

Ամփոփումը մասնակի է։ Հոդվածը տվեց ավելի լավ ձև՝ խոստումը պայմանագրերի ընտանիք գրելու, բայց կոմպոզիցիայի բաղադրատոմս չտվեց, իսկ հիշողությունից զուրկ սկալյար մոդելը օրինակին չի համապատասխանում։ Չորս թեքությունները հեղինակը ստացավ երկու հերթերը միասին դուրս գրելով՝ այդ քայլին հրաժարվելով կոմպոզիցիայից։ Այնուամենայնիվ աղյուսակի ամեն անդամ մեկ բաղադրիչի է պատկանում․ 7/12-ը կրկնորդիչի 1/2-ն է գումարած սերվերի 1/12-ը։