Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 40
Текст из файла (страница 40)
апс1 (2У вЂ” 2) — К > 2(У вЂ” К) + К 1шр11ев — 2 > О; а соп~гайсг1оп, Ьепсе аг 1евя~ опе бес1яюп Ьая 1а1сеп р1асе 1п у. Бее Ехегс1яе 6.5. Р1па11у Ы шизг, Ье яЬо~чп гЬаг а йес1я1оп гя ргесейес1 Ъу ап ечепг ш еасЬ ргосевя, Аба1п 1еГ ~р~ Ье 1Ье ечепГ жЬеге р вепров а тпевваце Фо д, апй д„ 1Ье ечепг, и Ьеге о гесе1чея а незвале 1гот р. 1г 1в ргочес1 Ъу 1пдисйоп оп $Ье гесе1че ечепгз гЬаг чз б Т„Ле б С„: е ~ д„~. Аявише гЬ1в 1в ггие Гог а11 гесе1че ечепгв ргесейп6 д .
Мотч др~ 1я ргесес1ес1 Ьу ~ (ш ргосевя р) апй ФЬе ргозгаш оЕ р 1п1р11ея йЬаг, Гог а11 т Е №гдЬ„ М1Ь г ~ д, ~, 1з ргесейес1 Ъу д„, ТЬе 1пс1исйоп Ьуройея1я пои 1шр11ея сЬаг Гог а11 висЬ т', апй аког а11 з б Т„, ~Ьеге 1я ап ечеп1 е Е С, ич1Ь е -< д„„ Ьепсе е -< д„. А йес1в1оп Ы„1п р 1в ргесейес1 Ьу д„р 1ог а11 т Е №~дЬ, ъ.Ь|сЬ 1п1р11ея гЬаг ЧзЕРЛеЕ С,:е-(с1„. П ТЬе геас1ег шау в1ши1аге а сошри$аМоп оГ 1Ье а1~огйЬш ов а яша11 аггее (е,~., ФЬе аггее оГ Григе 6.4), апй сопч1псе Ь1шяеМ о1 1Ье 1ги~Ь оГ 1Ье 1о11отч1па гешайя. 1п А1догйЬш 6.3 ~Ьеге аге био ргосеввев ~Ьаг гесе1че а гпеяваце ч1а еасЬ о1 гЬе1г сЬаппе1в апс1 йесЫе; а11 огЬегя аге вг111 тчай1п Гог а, шеязабе ячФЬ гЬе1г ргобгаш сошйег рошйпд аФ х ш ФЬе гегш1па1 сопйдигайоп.
1Г гЬе ГогаП я1а~ешепг, (ъй1ип сопыпе~й вопя ш А1аог1~Ьш 6.3) 1я асЫей ~о ~Ье ргоцташ а11 ргосеявез ЙесЫе апс1 ш а Фегш1па1 сопйдига1юп еасЬ б И~аее алН Т~аиегьа1 АдопМппз 192 1пй 0: (» Еог 1п1!1агог о.-.Ъ ") айаг тес, : 1пге~ег гог тЬе 1п1г1атог: Ьефп Гоге11 д с №".дй с1о яепс1 ( го!. ~ ~.
г~ м11' р ( ~~ Ле дй~> ЙО Ъефп гесе1че,' о1с); гас =: '„, ~- 1 " Ы бспНе еаза ~от поп-1пЖнго я; Ъефп гю еле (то1с) '.гаиш;; яепг! ( го!с) го д ыЫ Афог1СЬш п.о !'ип р ~т ~ ~хд а,! оош, т~ 6.2.4 Тйе Ро1Ьпд А1дотъйпп 1п с1щие пети~ ог1 я а сЬаппе1 ех1ятя Ъетъееп еасЬ ра1г оЕ ргосеязея. А ргосевв сап йесЫе 1Е 1т Ьая гесеиед а шезза~е Егош еасЬ пе1~ЬЪог. 1п тЬе ройгпд а1допйт, 1~еп м А1аог1тЬтп 6.6, гЬе 1шйагог м1св еасЬ пе1~ЬЪог го тер1у МгЬ а шеззаце, апд йесЫез аЕтег гесе1рт оЕ а11 тпеязааез. ТЬеогегп 6.18 ТЬе ройтд а1дотчНтп (А1доЮЬтп б.б~ Ея а юане Ыдот7йли.
Ртоо~. ТЬе а1~отйЬтп вепс1в 1ъо п~еява~ев тра еасЬ сЬаппе1 ~Ьа~ 1в 1псЫеп~ 1о ~Ье 1шгийог. ЕасЬ пе1дЬЪог оЕ йЬе 1пЖайог гер11ея опсе йо йе от1рпа1 ро11, Ьепсе тЬе 1пЖайот гесетчез Ат — 1 гер11ея. ТЬ1з 1я ехас11у 1Ье пиптЪег й пеев го десЫе, мгЬ1сЬ 1шр11ез йЬай йЬе 1шй1а1ог м111 с1есЫе, ати1 СЬай йз йес1в1оп 1я ргесе 1ей Ъу ап сепг 1п еасЬ ргосеяя. П . Ье ярапп1п~ тгее сопв~гисгей 1п а согпрптагюп оЕ А1 >от 1гЬтп 6.5 1я яотпетжгея ешр1оус6 1п а япЪяес1испт1у ехесыгес1 . 1~ог1т1ин. 1гог ехатпр1е, тЬе Х1~::11п-Яе а11 а1;ог1тЬтп 1ог сощпИп~ вЬогг~.='г-рит1» гоит1п гаЪ1ея мяпптея гЬ. г а ярапп1п атее гостей го~чьг6я ~ц 1я 1п1г1а11у ~реп; яее БиЪзесйоп 4.2,3.
Т1м 1пЖа1 ярапшпа тгее сап Ъе со при~ей ыя1п~!Ье есЬо а1~ог10ш~.) 1п ГЬе 1аяг сопй игат1оп оЕ гЬе а1цог11Ьгп еасЬ ргосеяз (отЬег гЬап рц) Ьая гесоп1ей ь~ Ь1сЬ пе1 ЬЪог 1з 1'в Еайег 1п ЕЬе ггее, Ъий пот МисЬ пе1~ЬЪогз аге йз вопя 1п тЬе атее. Еп тЬе а1~ог11Ьт Ыепг1са! гпеязадея еге тесеи~ес1 Еготп ФЬе ЕатЬег, йа Егопд ес1~ея, апй Етотп гЬе яопя. П Ыпоъ1ей е оЕ гЬе яопз 1п тЬе ггее 1з гес;шгей. гЬе а1~ог1яЬгп сап Ъе я11дЬт1у гпоййед во м го зепи а й~егепг шеяваде го тЬе ЕиЬет (тЬе 1м~ зепи орегаМоп 1ог поп-1пЖаготв). ТЬе вопя оЕ а ргосеяя аге г1 еп тЬозе пе1дЬЪогв Еготп жЬ1сЬ ФЬе ЙЫегепт шеяяаКе им гесе1чес1. 104 О Браге хай Ттаиетва! Л1дапйлте сопз Р айаг Вес„, ~д1 : 1игедег = .Ье пег~от~ Йвтиесет; : О..Р .п1с О, Еог еьсЬ ц Е Епр; Е* ХшпЬет оЕ гаеввадев тесе1чей Еготп д *) : 0..Р 1пй 0; (' МиптЬет оЕ греввадев вепс то евсЬ оит-пе1дЬЬот *) ое7тт Ье 1п 1Е р 1в ти1г1атот тЬеи Ье Еп Еога11 г с- 0и..р с1о веис1 (йо1с) со г; Яепер:= Яеиг, ~- 1 епс1, ъЬ11е тп1и Вес, ~~д) < йо Ьефи тесемке , 'го)с) (Етоти ие1 1тЬот цх); Леер[ф)1,"- Яеср1еа1, 1 1Е тп1тт„Рссрф > Яеп'„р апй Яепгр < Р 'сЬет Ьефп еогь11 г е 0иер оо яапа (ео)с) то г; Бе гр ..= Яепгр+1 епсЕ епс1 сЕес где епс1 А1аогИЬт 6.7 Тнк рн~яя лт.ооаттнм.
Е.е., Еп Ыз МЬ гесе1че е~еп+ д гесе1ъез р'в тттиЕЬ тпевваце. ТЬе с1ейи1т1ои оЕ саиза11Гу учев,ф" 1 -( дф. Аз еасЬ тезва~е Ев гесетес1 оисе 1и С, а11 т~ аге сЫегеи1, ~тЬ1сЬ нпр11ея '.Ьа: а~ 1еьвт, оие оЕ ЕЬе питЬетз птт,..., тп, Ея дгеьсег ~Ьап ог ет1иа1 1о к СЬоозе т' < т' зисЬ 1Ьь1 т; > т'. т Ест Я .С ~', 1 -< д„",> -С д~'>. П ТЬеогепт 6.20 Тйе рЬазе а1дат8йт (АЕдопйт 6.7~ и а шаие аЕдогтЯт.
Ртоо~. Ав еьсЬ ргосеяз вепс1з аФ товт .0 теявадев 1Ьготт~Ь еасЬ сЬаиие1 ФЬе а1догЕФЬт 1егт1пьФев ьйег а йп1те ишпЬег оЕ вечеря. Ее1 ~ Ье ФЬе сегт1па1 сопйр~гаг1оп оЕ а сотри1аИотт С оЕ 1Ье ь1~огйЬт, ьпс1 аввшие 'Ьеге 1з а1 1еалс опе 1п1~1аСог Еи С (1Ьеге тау Ье тоге Еи16ьгогз). То с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тпр11ея ЕЬа1 5епЕ > О Еог еасЬ р. б. Со!1есйаи а~ 1т'аие .4(дат(йтаз 195 г(-и ~ ( '~ гч-. — ьг з- 1ог 9 < ~; < 1 апй, Ъу гЬе а1догйЬгп, (1-11 т(1т2) 1ог О < т < 1 — 1.
Сопвециепг1у, Г~"~1 -~ д(",д. Весаиве гЬе пеЬчогМ (11ап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гу ~о 2(Е(.Р. ТЬе рЬазе а1(,огИЬгп 1п с11циев. 1Е гЬе пейчтог1с 1в а с11цие йЬе йагпеСег Ез 1;!и 1Ыв сме ехасг1у опе шеязаяе шиз" Ъе гесеЬтес1 Егогп еасЬ пе1аЬЪог, апй 1г виЕБсея 1п 1Ыв сме Еог еасЬ ртосевв го сошй ~Ье очега11 пшпЪег оЕ шеяяа|ев ~Ьзг Ьаче Ъееп гесе1чей, гаФЬег гЬап соипМпд ~Ье гпезяаяев Еог еасЬ 1п-пе1еЬЪог зератаге1у; вее А1догЫЬш 6.8.
ТЬе гпевзаяе согпр1ех(ту 1я Ю(.(ч' — 1) 1п гЫя сме апс1 тЬе аког(Иип иьеь оп1у 0(1о~ М) Ъйя оЕ 1пгетпа1 згогаае. 6.2.6 Ргтрк'в А1дотт0пп Р1пп'з а!~огЖып (гш79~ 1з апоГЬег ~чаче а1зог111пп ~Ьай сап Ъе изей ш агЪЙгагу, Жгес1ей пеЬчог1я. Н (1оез по1 гецшге 1Ье ЙашеФег оЕ 1Ье пеМог1~ го Ъе 1спочтп ш ас1чапсе, Ъиг, ге11ез оп йе ачы1аЪ1Ву оЕ шпцие 1с1еп~1йея Еог Йе ргосеявея. Ведая оЕ ргосеяя 1(1еп11г1ея аге ехсЬапдед 1п шеязадея, жЫсЬ саизея 1Ье Ъй сотр1ех1гу оЕ йе а1~ог1гЬт 1о Ъе га~Ьег Ь|~Ь. ЯиЪяециег1г1у й чч111 Ъе яЬо~чп сЬаг еасЬ ргосеья Ьая г1ес1с(ей. Е ег р Ъе а ргосеяя ъЙЬ пишша1 'а1ие оЕ гЬе чаг1аЫе 5епГ ш у, Ье., 1ог аП (т, 5ет(г, > 5еиГ„(п 7. 1п рагс(си1аг гЫь Ьо1с(ь 1Е д (ь ап 1п-пе(еЬЪог оЕ р, апд ия1пт Лес„,(д] = Беп(„сЫв ипр11ев гЬм пнп„Рес д~ ) Бгт .
Виг тЫя ипр11ея 5ет:1„= Р; огЬегМве, р гои1о Ьаче яеп(, ас1аЖопа1 п1еззаКев гЬе 1авг г1п1е 1г гесе1чес1 а гпеьяаее. Сопяециепг1у, 5еп1, = Р Еог а11 р, апс1 Ьепсе а1яо Вес,,[(т1 = Р Еог а11 ар, ччЫсЬ 1п1р11ев ни1еей гЬаг еасЬ ргосеьв Ьм йес(с(еа. Н почт гегпа1пь 1о ьЬочт ГЬ,й еасЬ ~1есы1оп 1я ргесес1ей Ъу ап ечепГ 1п васЬ ргосезв. 1Е Р = ра.
р„., р,. МтЬ 1 < Р. 1в .~ рагЬ 1п гЬе пегтчог1с гЬеп. Ъ Е.е:пп1а 6.19, б Хиие атн1 ТтпиетвЫ А1дот~г)гтв 'аг Рст„. О. М вЂ” 1 !пН О: ," .'~'ишЬег о1 тевяу«гес«Ь: й «) Б~ пг . 0..1 !и!г О; ~* УыгпЬег о! пжнн ев сепг ~о еъ": не!а!Лог ") Ье !и 1Е р !я !п)г)а!ог гЬеп ое !и "'ога!! т ~ Л' ~,Ь„йо вепй,' го!с) то т; ЯеМ,,:= Бей!р + 1 епй; чп~!е Я~.ср <:; —...Исааф„Оо Ьерп гесегче ~:о)с); Ре~„:= Ъс +1; п сепг,, = О:Ьеп Ье !и юга!! т —, .Чеа!.
с!о "пй (,',ок) 'о г Б~пр ~елГ 1 епс! й!ес".4е еий А!дотйЬ~п В.З Тнк тн«вк л~.оопггни ток сыоовв. Ргосеяя р гпа1п1а1пя ~ьчо ведая о' ргосевз !йеп~Жея. опт апй Х1пс,. 1п1оггпаПу вреа!'.1п, 1пс„)я гЬе вег оГ ргасеяяея ц висЬ гЬа'. 'ш ечеп~ 1п о ргесейез гЬе апов~ гесеиг, ечепг 1п р, апй Ф1пс„1з ~Ье вег, о1 ргосеяяез д висЬ 1Ьа~ го~ а11 пе10;ЬЬогв т оГ 0 ап ечепг 1п т ргесейев гЬе шовг гесеп~ ечеп1 !и р. ТЬ1я ге1аМоп 1я гпашга1пей ав !о11ожв. 1пЖа11у 1пс„= (р~ апй ~31пс, = Я.
Ргосеяя р вепйв теязаКея, !пс1ий)пд Хпс апй И1пс„еасЬ где опе оГ ~Ье вегв Ьая шсгеавей. 'чч"Ьеп р гесе!чез а гпеззаае, 1пс1ий1пд ап 1пс ве1 апс1 а У."пс зе1, 1Ьезе гесе!чей 1йеп11г!ев аге 1пяег1ей 1пго р'з чегз!опз оГ ФЬеве ьеся. Ч'Ьеп р Ьая гесе1чей а шезваде Ггогп а11 1п-пефЬЪогя, р 1я 1пяег1ей Ыо И1пс,. 'чч'Ьеп ~Ье био яегв Ьесоше ес!иа1, р йес1йез; зее А1~огЫЬт 6.9.