Результаты (
русский) 3:
[копия]Скопировано!
франклин алгоритм избирает уникальный лидер в большинстве (1 + log2n) раундов.доказательство: на красной процесса я, в каждом из двух направлений, определяют красного соседа на красный - процесс, который является самым близким для меня в этом направлении.таким образом, на 11,2 после раунда 0, процессов, 7 и 9 были две красные соседи процесс, 2.после каждого раунда, все красные процесс, я, по крайней мере, одна красная сосед J > я не черный.поэтому в кольцо с k k > 1) красного процессов, по крайней мере, ⌊ k / 2 ⌋ почернеют.первоначально k = n. поэтому, после того, как в большинстве log2n раундов, количество красного процессами сокращается до одного.в следующем раунде, становится лидером.◾алгоритм прекращается в O (log2n) раундов, и в каждом раунде, каждый процесс посылает (или направляет) сообщение в обоих направлениях.поэтому наихудшего сообщение сложности франклина алгоритм - n LOGn).
переводится, пожалуйста, подождите..
