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

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




Справедливая композиция с многослойным множеством {A, J™^1 соответствует последовательной композиции фаз распределенного алгоритма. Например, пусть B – самостабилизирующийся алгоритм взаимного исключения в сети, предполагающий существование корневого остовного дерева, а алгоритм C – самостабилизирующийся алгоритм построения корневого остовного дерева в связной сети; тогда B [] C – самостабилизирующийся алгоритм взаимного исключения для связной сети.
Справедливая композиция с многослойным множеством <math>\{ A_i \}^{m - 1}_{i = 0}</math> соответствует последовательной композиции фаз распределенного алгоритма. Например, пусть B – самостабилизирующийся алгоритм взаимного исключения в сети, предполагающий существование корневого остовного дерева, а алгоритм C – самостабилизирующийся алгоритм построения корневого остовного дерева в связной сети; тогда B [] C – самостабилизирующийся алгоритм взаимного исключения для связной сети.




4551

правка

Навигация