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

Самостабилизация (посмотреть исходный код)

118 байт добавлено , 27 июля 2022

4551

правка

Версия от 16:07, 27 июля 2022 (просмотреть исходный код) Irina (обсуждение \| вклад) (→‎Основные результаты) ← Предыдущая правка		Версия от 16:10, 27 июля 2022 (просмотреть исходный код) Irina (обсуждение \| вклад) (→‎Основные результаты) Следующая правка →
Строка 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>.