Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 64
Текст из файла (страница 64)
1$ 1з а ргокгзхппйпд Фоо1 ФЬЮ шФгос1исм а ргоЬаЬЖФу ЙзФг1Ьибоп оп йе со11есс1оп оЕ сЬе сошриФай1опз оЕ а иувФеш, апс1 а11оччи ив 1о ша1се йа~ешепйв аЬои~ ргорегИев оЕ йе а1цогйЬш тч1сЬ а сег~а1п ргоЪаЬШ~у. 1пЬеге~й поп-с1е1егпйшиш 1и по$ соп~го11аЫе апс1 сЬегеЕоге ап а1допйш т1ев1дпег иЬоиЫ а1ттауз соре ттйЬ ФЬе тюгв$ саве сжег аЛ сЬо1сеи ФЬЮ апзе 6огп 1пЬегвй поп-с1еФегпцшиш. РгоЬаЫ11зв1с ЫдогЬЬгпв.
А ртобаЫьястс ртосеяя 1и шос1е1ес1 м а ргосеив ФЬЮ Фоизев а сош тЮЬ вбегу имбер Ы ехесиФез. ТЬе со11есИоп оЕ аррЬсаЫе и~зри с1ерепс1и по$ оп1у оп сЬе иФаХе оЕ сЬе ргосеии, Ьис а1ио оп йе оиссоше оЕ ФЬе сош Фом ш $Ье ргеч1оиз иФер оЕ ФЬе ргосеии. ТЬе ЙгзФ иФер оЕ ФЬе ргосеиз с1ерепс1и оп а сом шат1е ш йе шЫ1а1 власе.
Моп-ргоЬаЬШиФ1с ргосевзез (ог а1зопйшз) аге иииа11у геЕеггей Фо зи й$итттития$гс ртосяяяея (ог а1догЫЪши); ЬиФ й1в депп с1оез по1 ехс1ис1е ФЬе ровз1Ь1Ьсу Иис пеЬюг1сз оЕ поп-ргоЬаЬ!Ыс ргосезвез ргосеет1 поп-сВегпип1з1лса11у. БисЬ пестюг1св ЬеЬатте поп-с1есепшшзМса11у м ассогт1шд $о йе шос1е)в оЕ СЬар$ег 2, Ьи$ сЬе сЬо1сев т1ерепс1 оп йе всЬет1и1шз оЕ ечепсв ш йе сошриЕатхоп мну по ргоЬаЪ|11вМс апа1уи1з 1з ровз1Ые Еог ФЬеве сЬо1сев. ТЬе сЬо1сеи 1псгос1исес1 йгоиКЬ гапт1ошиай1оп зхе виЬ~есс $о ргоЬаЬйвйс апа1уи1з, ттЬ1сЬ пйгос1исм а ргоЬаЬЙФу йзМЬис1оп оп йе сошрисас1опз оЕ а иуз$еш.
То ша1се сЬе с11зспЬис1оп ехрЬсй, Ы 1з азвишес1 ш сЬе Еопх|а1 шос1е1 йаФ йе ваге зес1иепсе оЕ созвев шас1е Ьу йе ргосевв сЬпищ Вз ехесисюп 1з з1ттеп ргюг Фо йе ехеси$1оп. 1п огт1ег 1о ипс1етв~апс1 сЬе Еогша1 с1ейшМоп, тче йгз~ сопв1с1ег ргосемев Ььч1пз оп1у шсеп|а1 еттепсв. А рттйаЫтяЕьс ртосеяя 1и с1ейпет1 Ьу а с1иас1гир1е р = (Я, Е, т-~, т-'), тттЬеге х апс1 1 аге аз ш ЭейшМоп 2.4, апс1 т-~ апт1 т-' аге Ьшагу ге1асюпв оп х.
ТЬе йЬ в~ер оЕ ~Ье ргосевз шив1 Ье ассогт1ш~ у Апбартвои» Хегшотмв 1о 1-0 1Е ФЬе ЙЬ сош 61р 1я а гего, влй ассогйтщ 1о 1-' о1Ьегж1яе. 1.е1 Р = (Рь Рь ") Ъе ап 1пйгцФе зщиепсе оЕ сош 61рз, 1.е., оЕ яегоз аги1 опщ. А р-ехесцП;оп оЕ р 1в а пьах1ша1 зеоцепсе оЕ йа1ея с0, с~, ..., зисЬ ФЬЮ с0 Е 1 аЫ (с„с;+~) Е 1-»'. ОЪвегче ~Ьа1 ~Ье шЬегеп1 поп-йе1егппшвш 1я вИ111Ьеге, Ьесаиве ЙЯегетй ечетйв шау Ье ровв1Ые, фчеп ~Ье оцФсоше оЕ 1Ье сош 61р. Но~чечег, по ргоЪаЫЬ|11с аввцшрМопв аЬоц1 1Ье 1а~йег сЬо1се сап Ъе гпаг1е. АЬои1 гЬе ргоЪаЫЬвИс сЬо1сез ФЬе мзцшрИоп 1в гпас1е йа~ Еог еасЬ 1с > О, еасЬ яес1цепсе оЕ й ЬЫв Ьзз гЬе ваше ргоЪаЫ11Фу (паше1у, 2 ~) оЕ оссцггшК м а ргейх оЕ р.
С1чеп а зес1цепсе р, 1Ье ргоЪаЪШяг1с ргосевз ЪеЬачея 1йе а с1е$егпип1з11с ргосевв, жЫсЬ сял Ъе зееп м а рагМсц1аг шв$вл11аИоп оЕ $Ье ргоЪаЫЬзйс ргосезв. То 1п1гос1цсе сопцпцп1сайоп Ъе~жееп ргосеввев, а ргосевв 1я Йейпей ая ап ос1цр1е сопзЖшв оЕ а яе1 оЕ звавшее, а зеФ оЕ 1ш11а1 вга~ез, аш1 в1х ечай ге1аИопв, паше1у 1ог зепй, гесе1че, апй 1п1егпа1 ечеп~з, Ъо$Ь Еог а со1п 61р оЕ зего апй Еог а сош 61р оЕ опе. А рюЬаЬьИз1Ес йяИЬиФаЕ а1дог'1йт 1я шойе1ей м ь со11есИоп Р оЕ ргоЪаЫЬй1с ргосезвев.
Н,аФЬег 1Ьап бычищ а сошр1еге Еогша1 йейпШоп, же шйсаФе Ьеге Ьо~ч йе г1ейп1$юп с116."егз Егош ~Ье йейп1йопв оЕ Яесг1оп 2.1.2. А сотфдцгаг1оп оЕ а ргоЪаЪШя11с йяМЪи1ей а1допйш сопз1зСз оЕ а з1а1е аш1 зл ш1едег Еог еасЬ ргосезз, яЫ а со11ес$1оп оЕ шевелев 1Е гЬе а1вогйЬш цзев азупсЬгопоцз шеззаде рмвшд. ТЬе ш1едег 1ог еасЬ ргосезз соцп1я 1Ье пцшЪег оЕ ечепгв 1Ьа1 1Ье ргосем Ьяз ехесигес1. ТЬе ~гапя1йопя оЕ гЬе зуз~еш аге м ш Яесйоп 2.1.2, ЯВЬ $Ье асЫМоп ~Ьаг, еасЬ ~гапвЫюп сопсегшпд ргосезв р 1псгеижйз Ъу опе ФЬе соцпг, оЕ $Ье пцшЪег оЕ егеря оЕ р. 1Е Р 1я ап зяз1~пшеп1 оЕ ап 1нйл1$е веоцепсе р оЕ зегов влг1 опев 1о еасЬ ргосезз р, а р-согпри1айоп оЕ гЬе зузгеш 1з а сошрцФа$юп ш ж1исЬ 1Ье ЙЬ ~гапз1Моп сопсепшц ргосевз р 1з ш 1Ье ечеп1 ге1аМоп зрес16ег1 Ъу ФЬе ЙЬ е1еше~й оЕ р . 01чеп а со11есИоп Р оЕ веоиепсез, ~Ье ргоЪаЫ1вг1с зфог1СЬш ЪеЬачез 1йе а йе1егпып1яйс с11вФг1ЪцФей а1дог11Ьш, жЫсЬ сап Ъе зееп м а рагйси1аг шйапйайоп оЕ ФЬе ргоЪаЫЬяМс йягг1Ъ~йей а1воп1Ьш.
ТЬе ргоЪаЪЙзМс яавцшр1юп 1я шаде 1Ьа1, Еог еасЫс > О, еасИ со11есФ1оп оЕ М мпиепсев оЕ й Ы~в Ьм ес1иа1 ргоЪаЫ1йу (паше1у, 2 ~~ч) оЕ оссигпщ м ~Ье рге6хев оЕ 1Ье вепцепсез оЕ р. А сопвес1цепсе оЕ йЬ1в мвцшрйоп 1я 1ЬаС ш ап шзФзл11абоп оЕ ФЬе ргоЪаЪШвйс з1цогЫЬш, еасЬ ргосеяв ехесиФея а йЯетеЫ 1оса1 а1допФЬпц АСЬ ргоЪаЫШу опе. РгоЬаЪШвв1с соггесФпевя элЫ сопгр1ехЫу. Ьь йж сЬар$ег чу вЬа11 сопзи1ег ргоЫешз мЬозе соггес~пем 1я саргигк1 Ъу а ровгсотиййоп ф; ФЬе аип оЕ зл а1~огИшз и Фо геасЬ а 1егшша1 сопйрыайоп ш ~гЬ1сЬ Ф 1в заМвйес1. ТЬе ройсошШ1оп с1ереЫв оп гЬе ргоЫеш шн1ег сопяИегабоп; Еог д.1 РтеИтптапез 307 ~Ье е1есйоп ргоЫеш ~ геас1я "опе ргосеяв и 1п 1Ье я1а~е 1еаЫет апй оФЬег ргосеяяея аге ш вЬе я$асе 1оя4", юЫ1е й)г ап афяоп1Ьш аког вЬе сошри1а1юп оГ 1Ье пейчог1с я1ве ф геах1я "аког еасЬ р, яые еоиа1з Ф".
ТЬе гегпппа1 сопбрыайоп 1з еЫЬег шмва~е 1епп1па1ей (1Ье ргосевяез аге а11 ч~айпщ ~о гесе1че а шевваве) ог ргосеяз 1егпппаФес1 ( $Ье ргосемев аге ш а 1епшпа1 вФаФе). Рог Йе~егш1шзЫс а1хопФЬпи соггес~певя и ехргемег1 аз ш Яесйоп 2.2. А йеФеншпиИс а1доп1Ьш и ~еттиыйлд К а ~епп1па1 сопЕщпгайоп 1я геасЬей ш ечегу сошриФаМоп. А 6е$егпшияМс а1доп~Ьш и ратйаИу соттесг (тчЫЬ гевресФ Фо роя1сопЖюп ~) К еасЬ 1егшша1 сопбрьгаФ1оп оЕ 1Ье а1допФЬш вай1яйея ф. А йегепшп1ябс а1~ог1йш 1в соттесФ 0 В и ЬойЬ йегпппаИпд апс1 раг~1аПу соггес1. Рог ргоЬаЬЖМ1с а1догИЬхпя соггес~пеяя и оейлео ч1а тЬе соггесгпеяя оГ 1Ье ии1апг1аМопя оЬФаиж1 Ьу яресКу1пд р.
А ргоЬаЫ11яИс а1~огйЬш и р$еттипайпд Ы а 1егпппа1 соп6дпгабоп и геасЬей ш ечегу р-сошриФа$юп. А ргоЬаЫ11вИс а1хоп1Ьш и р-рат$гаПу соттес~ (~БАНЬ геярес1 1о ройсопйИоп ф) И еасИ ~егпппа1 сопйдьга~юп оГ а р-сошриФаМоп яа1ийея 4. А ргоЬ- аЬШяйс а1~ог1СЬш и р-соттяс~ И Ы 1в ЬоФЬ р4егпйпа~пщ апс1 р-раг~1а11у соггесФ. А ргоЬаЫ11яМс а1~ог1йш и гет пипайпд Ы й и р-гегпппай~ц аког ечегу р.
А ргоЬаЬйзИс афогЖш~ 1в ратг1айу соттесй К Ы и р-рагйа11у соггесг, Гог ечегу р. А ргоЬаЫЬвМс а1яог1сЬш и соттес$ И Ы и р-соггес1 6>г ечегу р. А ргоЬаЬйвИс а1вогМшь и йятгтит~айпд Мй ртоЬаЬййу Р К СЬе ргоЬ- аЫЬ~у ~ЬаА ФЬе а1яогЫЬш и р-гегпппа11пд и аг, 1еяяФ Р. А ргоЬаЫ1ибс а1яогйЬш 1в ратйаПу соттясй ипФЬ ртоЬаЬьЫу Р Ы 1Ье ргоЬаЬИйу ФЬа1 ~Ье а1дог1йш и р-рагба11у соггесй и а1 1еявй Р. А ргоЬаЫ1иИс а1вогйЬш и соттяс1 алй ртобаЫйу Р Ы ФЬе ргоЬаЫ11Фу 1Ьа1 ФЬе а1яог1$Ьш и р-соггес1 и а~ 1еаяФ Р.
ТегшшаФюп (ог раг$1а1 соггесФпевя ог соггесФпевя) юйЬ ргоЬаЫИу опе и пой еошча1етй Фо Фепп1паФюп (ог рагйа1 соггесФпеяв ог соггес1пезв). А ргоЬаЫ1ийс а1цопйш шау й11 Гог а поп-ешрФу соБес1юп оГ аввцрппетйв, иЬеге ФЬе ргоЬаЬй1у оГ р Ьешх ш йа~ со11ес1юп и лего. ТЬе р-теаяаде сотр1ехйу оГ а ргоЬаЬйзИс а1воп1Ьш и ~Ье шахппа1 шппЬег оГ шмвацез ехсЬащей ш апу р-сошри~абоп. ТЬе аиетаде темаде сотпр1ехйд оГ а ргоЬаЫ1ибс в1КоЫЬпь ы ~Ье ехрееФей ча1ие оГ $Ье р-жевяаце сошр1ехйу.
ТЬе 1ппе аЫ Ыт, сошр1ехйу оГ а ргоЬаЬйвбс а1вог1Мш~ аге Йейпей зпш1аг1у. Ргочшд педав1че гезп1$в. 1л ФЬи сЬар1ег воше певаФ1че геаи1$в млП Ье ргочег1, 1.е., геяийв 1ЬаФ вФа$е 1Ьа1 по а1яопйш ехиФз 1ЬаФ М11 ас1пече а ЗО8 д Апопутоиь ИеЬюайа сегФа1п роз1сспиИИоп. Рог ЙеФепшшзйс а1вогЫшм зцсЬ а ргоо1 и хепега11у ем1ег ~о оЪ~а1п; й вц1йсез зо сопзФгцс~ а яхщ1е сошр~йайоп ~Ьа~ |1оез по~ Фегш1паФе ~лФЬ а сопйвцгайоп ва$иГу1пя ф.
А 1ур1са1 ехап1р1е о1 зцсЬ а ргооГ |в Гоцу ш ТЬеоге|п 9.5. ТЬе сопззгцс~1оп о1 а в1пфе шйп11е сошрц~айоп |1оез пос ргоче 1Ье попехи~епсе о1 а ргоЪаЪйзс1с а1догйшь; зцсЬ ап а1хогйЬш шау Ьаче 1пйпйе сошрцгайопз, апс1 з$111 ~егш1па~е жЫЬ ргоЪаЪ1Ву опе. То ргоче 1Ье цпрозв1ЪЙ~у оГ ргоЪаЪ1Ьвйс зо1цйопя ап 1псогтесС сошрцгайоп сап Ъе сопзйгцс1ей йош ап мвцше|1 согтес1 сошрц$аФ1оп зФаг11п~ 6ош а ЙйегепФ 1п|- Иа1 сопйрп'аФ1оп. Ехашр1ез оГ зцсЬ ргоо1в аге Гоцпс1 ш ТЬеогепи 9,12 апй 9.13. 9.1.2 С1аззъЯса1гоп о~ РтоЬаЬИмйс А19огЫЬтпз РгоЬаЪ|11збс а1догйЬшз аге с1мз1йед ш Лаз Уедаз, Мотйе Сат1о, ап|1 БЬетиоо|1 а18огЖыпз ассоп11п8 ~о гЬе дерев оГ соггес1пезз р~агзлФеей Ъу ~Ье а18огйЬш. А ргоЪаЪШз11с а1хогЫЬш сап Ъе соггесФ (1.е., рахт1а11у соггес~ атк1 гепшпаг1гщ), ог оп1у соггесс мтМЬ а сег~а1п ргоЪаЪ1йу, м ехр1ашей 1п 8цЬвесг1оп 9.1.1.
БЬег~чоой а1догИши. Со|тес~ ргоЪаЪйзйс а18огМхшз аге са11е|1 БЬетшооН а1дот|йтз (ВВ88~. Ая 1че аге сопсегпес1 ЯВЬ сошрц~аЪ111$у оГ ргоЪ1епи (вЫ по1 ргппаг11у жИЬ сошр1ехйу), БЬегч~оой а1Ког1зЬшз аге оп1у оГ ш1пог шгегезг,, с1це Фо ФЬе Го11ож1щ оЪзегчайоп. ТЬеогегп 9.1 1~ Пете ез|зй а соттес1 ртаЬаЫьзИс а1допМпи Вам асЫечев а роз|сопйГ|оп Ф, Йеп Иьете ехигз а соттес1 Йе$еттпхпЫ~с а1дот|йт ЙаФ ас1иеиез ~, Ртоо~. 1 еФ РА Ъе а ргоЪаЪ|1иг1с а1вог1~Ьш 1Ьай 1я со|тесФ.