Самостабилизация: различия между версиями

Перейти к навигации Перейти к поиску
Строка 28: Строка 28:




Теорема 1 (теорема о справедливой композиции [ ]). Положим, что Ai самостабилизируется на Li в предположении, что все переменные в Xi остаются константными на протяжении любого выполнения; тогда A0 [] A1 [] - - - [] Am_! самостабилизируется на f Lig I™"1.
Теорема 1 (теорема о справедливой композиции [4]). Положим, что <math>A_i</math> самостабилизируется на <math>\mathcal{L}_i</math> в предположении, что все переменные в <math>X_i</math> остаются константными на протяжении любого выполнения; тогда <math>A_0 [] A_1 [] \cdot \cdot \cdot [] A_{m - 1}</math> самостабилизируется на <math>\{ \mathcal{L} \}^{m - 1}_{i = 0}</math>.




Источник — http://pco.iis.nsk.su/wega/index.php/Самостабилизация