❱❛❧✐❞❛t✐♥❣ ❖♣t✐♠✐③❛t✐♦♥s ♦❢ ❈♦♥❝✉rr❡♥t ❈✴❈✰✰ Pr♦❣r❛♠s ❙♦❤❛♠ ❈❤❛❦r❛❜♦rt② ❱✐❦t♦r ❱❛❢❡✐❛❞✐s ▼P■✲❙❲❙ ❈●❖ ✷✵✶✻
❘❛❝❡ ♦♥ ❳ ✉♥❞❡✜♥❡❞ s❡♠❛♥t✐❝s ✶ ✹ ✐s ♣♦ss✐❜❧❡ ✭✐✳❡✳✱ t❤❡ ♣r♦❣r❛♠ ✐s ✇r♦♥❣✮ ❈♦♥❝✉rr❡♥t Pr♦❣r❛♠♠✐♥❣ ✐♥t ❳ = ✵ ; ✐♥t ❨ = ✵ ; ❨ = ✹ ; ✐❢ ( ❳ ) ❳ = ✶ ; r = ❨ ; ✷
❈♦♥❝✉rr❡♥t Pr♦❣r❛♠♠✐♥❣ ✐♥t ❳ = ✵ ; ✐♥t ❨ = ✵ ; ❨ = ✹ ; ✐❢ ( ❳ ) ❳ = ✶ ; r = ❨ ; ❘❛❝❡ ♦♥ ❳ ❀ ✉♥❞❡✜♥❡❞ s❡♠❛♥t✐❝s X == ✶ ∧ r � = ✹ ✐s ♣♦ss✐❜❧❡ ✭✐✳❡✳✱ t❤❡ ♣r♦❣r❛♠ ✐s ✇r♦♥❣✮ ✷
✵ ✹ ✐❢ ❛❝q ✶ r❡❧ ❈♦♥❝✉rr❡♥t Pr♦❣r❛♠♠✐♥❣ ✐♥ ❈✶✶ ❛t♦♠✐❝ ❴ ✐♥t ❳ = ✵ ; ✐♥t ❨ = ✵ ; ❨ = ✹ ; ✐❢ ( ❛t♦♠✐❝ ❴ ❧♦❛❞ (& ❳ , ♠♦ ❴ ❛❝q✉✐r❡ )) ❛t♦♠✐❝ ❴ st♦r❡ (& ❳ , ✶ , ♠♦ ❴ r❡❧❡❛s❡ ); r = ❨ ; ✸
✵ ✹ ✐❢ ❛❝q ✶ r❡❧ ❈♦♥❝✉rr❡♥t Pr♦❣r❛♠♠✐♥❣ ✐♥ ❈✶✶ ❛t♦♠✐❝ ❴ ✐♥t ❳ = ✵ ; ✐♥t ❨ = ✵ ; ❨ = ✹ ; ✐❢ ( ❛t♦♠✐❝ ❴ ❧♦❛❞ (& ❳ , ♠♦ ❴ ❛❝q✉✐r❡ )) ❛t♦♠✐❝ ❴ st♦r❡ (& ❳ , ✶ , ♠♦ ❴ r❡❧❡❛s❡ ); r = ❨ ; ✸
✵ ✹ ✐❢ ❛❝q ✶ r❡❧ ❈♦♥❝✉rr❡♥t Pr♦❣r❛♠♠✐♥❣ ✐♥ ❈✶✶ ❛t♦♠✐❝ ❴ ✐♥t ❳ = ✵ ; ✐♥t ❨ = ✵ ; ❨ = ✹ ; ✐❢ ( ❛t♦♠✐❝ ❴ ❧♦❛❞ (& ❳ , ♠♦ ❴ ❛❝q✉✐r❡ )) ❛t♦♠✐❝ ❴ st♦r❡ (& ❳ , ✶ , ♠♦ ❴ r❡❧❡❛s❡ ); r = ❨ ; ✸
✵ ✹ ✐❢ ❛❝q ✶ r❡❧ ❈♦♥❝✉rr❡♥t Pr♦❣r❛♠♠✐♥❣ ✐♥ ❈✶✶ ❛t♦♠✐❝ ❴ ✐♥t ❳ = ✵ ; ✐♥t ❨ = ✵ ; ❨ = ✹ ; ✐❢ ( ❛t♦♠✐❝ ❴ ❧♦❛❞ (& ❳ , ♠♦ ❴ ❛❝q✉✐r❡ )) ❛t♦♠✐❝ ❴ st♦r❡ (& ❳ , ✶ , ♠♦ ❴ r❡❧❡❛s❡ ); r = ❨ ; ✸
✵ ✹ ✐❢ ❛❝q ✶ r❡❧ ❈♦♥❝✉rr❡♥t Pr♦❣r❛♠♠✐♥❣ ✐♥ ❈✶✶ ❛t♦♠✐❝ ❴ ✐♥t ❳ = ✵ ; ✐♥t ❨ = ✵ ; ❨ = ✹ ; ✐❢ ( ❛t♦♠✐❝ ❴ ❧♦❛❞ (& ❳ , ♠♦ ❴ ❛❝q✉✐r❡ )) ❛t♦♠✐❝ ❴ st♦r❡ (& ❳ , ✶ , ♠♦ ❴ r❡❧❡❛s❡ ); r = ❨ ; ✸
✵ ✹ ✐❢ ❛❝q ✶ r❡❧ ❈♦♥❝✉rr❡♥t Pr♦❣r❛♠♠✐♥❣ ✐♥ ❈✶✶ ❛t♦♠✐❝ ❴ ✐♥t ❳ = ✵ ; ✐♥t ❨ = ✵ ; ❨ = ✹ ; ✐❢ ( ❛t♦♠✐❝ ❴ ❧♦❛❞ (& ❳ , ♠♦ ❴ ❛❝q✉✐r❡ )) ❛t♦♠✐❝ ❴ st♦r❡ (& ❳ , ✶ , ♠♦ ❴ r❡❧❡❛s❡ ); r = ❨ ; ✸
✵ ✹ ✐❢ ❛❝q ✶ r❡❧ ❈♦♥❝✉rr❡♥t Pr♦❣r❛♠♠✐♥❣ ✐♥ ❈✶✶ ❛t♦♠✐❝ ❴ ✐♥t ❳ = ✵ ; ✐♥t ❨ = ✵ ; ❨ = ✹ ; ✐❢ ( ❛t♦♠✐❝ ❴ ❧♦❛❞ (& ❳ , ♠♦ ❴ ❛❝q✉✐r❡ )) ❛t♦♠✐❝ ❴ st♦r❡ (& ❳ , ✶ , ♠♦ ❴ r❡❧❡❛s❡ ); r = ❨ ; ✸
❈♦♥❝✉rr❡♥t Pr♦❣r❛♠♠✐♥❣ ✐♥ ❈✶✶ ❛t♦♠✐❝ ❴ ✐♥t ❳ = ✵ ; ✐♥t ❨ = ✵ ; ❨ = ✹ ; ✐❢ ( ❛t♦♠✐❝ ❴ ❧♦❛❞ (& ❳ , ♠♦ ❴ ❛❝q✉✐r❡ )) ❛t♦♠✐❝ ❴ st♦r❡ (& ❳ , ✶ , ♠♦ ❴ r❡❧❡❛s❡ ); r = ❨ ; ⇓ X = Y = ✵ ; Y = ✹ ; ✐❢ ( X ❛❝q ) X r❡❧ = ✶ ; r = Y ; ✸
❖♣t✐♠✐③❛t✐♦♥s ❢♦r s❡q✉❡♥t✐❛❧ ♣r♦❣r❛♠s ❛r❡ ◆❖❚ ❛❧✇❛②s s❛❢❡ ❢♦r ❝♦♥❝✉rr❡♥t ♣r♦❣r❛♠s✳ ❆♥ ❯♥s❛❢❡ ❘❡♦r❞❡r✐♥❣ X = Y = ✵ ; X = Y = ✵ ; r = ✹ ; r = ✹ ; Y = ✹ ; X r❡❧ = ✶ ; ✐❢ ( X ❛❝q ) ✐❢ ( X ❛❝q ) X r❡❧ = ✶ ; Y = ✹ ; ❀ r = Y ; r = Y ; ❆❧✇❛②s r❡t✉r♥s r == ✹ ▼❛② r❡t✉r♥ r == ✵ ✹
❆♥ ❯♥s❛❢❡ ❘❡♦r❞❡r✐♥❣ X = Y = ✵ ; X = Y = ✵ ; r = ✹ ; r = ✹ ; Y = ✹ ; X r❡❧ = ✶ ; ✐❢ ( X ❛❝q ) ✐❢ ( X ❛❝q ) X r❡❧ = ✶ ; Y = ✹ ; ❀ r = Y ; r = Y ; ❆❧✇❛②s r❡t✉r♥s r == ✹ ▼❛② r❡t✉r♥ r == ✵ ❖♣t✐♠✐③❛t✐♦♥s ❢♦r s❡q✉❡♥t✐❛❧ ♣r♦❣r❛♠s ❛r❡ ◆❖❚ ❛❧✇❛②s s❛❢❡ ❢♦r ❝♦♥❝✉rr❡♥t ♣r♦❣r❛♠s✳ ✹
❖✉t♣✉t✿ ✹ ❛❧✇❛②s ❆♥♦t❤❡r ❊①❛♠♣❧❡ X = Y = ✵ ; f = false ; Y = ✹ ; · · · X r❡❧ = ✶ ; a = f ? Y : ✵ ; b = X ❛❝q ? Y : ✹ ; ✺
❆♥♦t❤❡r ❊①❛♠♣❧❡ X = Y = ✵ ; f = false ; Y = ✹ ; · · · X r❡❧ = ✶ ; a = f ? Y : ✵ ; b = X ❛❝q ? Y : ✹ ; ❖✉t♣✉t✿ b == ✹ ❛❧✇❛②s ✺
▲▲❱▼ ❈♦♠♣✐❧❛t✐♦♥ ❇✉❣ ★✷✷✺✶✹ X = Y = ✵ ; X = Y = ✵ ; f = false ; ❈♦♥t❡①t✿ f = false ; · · · − O ✸ · · · s = Y ; Y = ✹ ; ❀ a = f ? Y : ✵ ; a = f ? s : ✵ ; X r❡❧ = ✶ ; b = X ❛❝q ? Y : ✹ ; t = X ❛❝q ; b = t ? s : ✹ ; ❖✉t♣✉t b == ✵ ♣♦ss✐❜❧❡ ✐♥ t❛r❣❡t✳ ✻
✭✷✮ ❈♦rr❡❝t ✭✷✮ ❊rr♦r ❈✶✶✿ ✭✶✮ ❊rr♦r ▲▲❱▼✿ ✭✶✮ ❈♦rr❡❝t ▲▲❱▼ ❈♦♠♣✐❧❛t✐♦♥ ❇✉❣ ✐♥ ▼♦r❡ ❉❡t❛✐❧ X = Y = ✵ ; X = Y = ✵ ; f = false ; f = false ; X = Y = ✵ ; · · · · · · f = false ; s = Y ; s = Y ; ( ✶ ) ( ✷ ) · · · ❀ ❀ a = f ? s : ✵ ; a = f ? s : ✵ ; a = f ? Y : ✵ ; t = X ❛❝q ; t = X ❛❝q ; b = X ❛❝q ? Y : ✹ ; r = Y ; r = Y ; ✘✘✘✘ ✘ b = t ? s : ✹ ; b = t ? r : ✹ ; ✼
✭✷✮ ❈♦rr❡❝t ✭✷✮ ❊rr♦r ❈✶✶✿ ✭✶✮ ❊rr♦r ▲▲❱▼✿ ✭✶✮ ❈♦rr❡❝t ▲▲❱▼ ❈♦♠♣✐❧❛t✐♦♥ ❇✉❣ ✐♥ ▼♦r❡ ❉❡t❛✐❧ X = Y = ✵ ; X = Y = ✵ ; f = false ; f = false ; X = Y = ✵ ; · · · · · · f = false ; s = Y ; s = Y ; ( ✶ ) ( ✷ ) · · · ❀ ❀ a = f ? s : ✵ ; a = f ? s : ✵ ; a = f ? Y : ✵ ; t = X ❛❝q ; t = X ❛❝q ; b = X ❛❝q ? Y : ✹ ; r = Y ; r = Y ; ✘✘✘✘ ✘ b = t ? s : ✹ ; b = t ? r : ✹ ; ✼
✭✷✮ ❊rr♦r ✭✷✮ ❈♦rr❡❝t ▲▲❱▼✿ ✭✶✮ ❈♦rr❡❝t ▲▲❱▼ ❈♦♠♣✐❧❛t✐♦♥ ❇✉❣ ✐♥ ▼♦r❡ ❉❡t❛✐❧ X = Y = ✵ ; X = Y = ✵ ; f = false ; f = false ; X = Y = ✵ ; · · · · · · f = false ; s = Y ; s = Y ; ( ✶ ) ( ✷ ) · · · ❀ ❀ a = f ? s : ✵ ; a = f ? s : ✵ ; a = f ? Y : ✵ ; t = X ❛❝q ; t = X ❛❝q ; b = X ❛❝q ? Y : ✹ ; r = Y ; r = Y ; ✘✘✘✘ ✘ b = t ? s : ✹ ; b = t ? r : ✹ ; ❈✶✶✿ ✭✶✮ ❊rr♦r ✼
✭✷✮ ❊rr♦r ▲▲❱▼✿ ✭✶✮ ❈♦rr❡❝t ▲▲❱▼ ❈♦♠♣✐❧❛t✐♦♥ ❇✉❣ ✐♥ ▼♦r❡ ❉❡t❛✐❧ X = Y = ✵ ; X = Y = ✵ ; f = false ; f = false ; X = Y = ✵ ; · · · · · · f = false ; s = Y ; s = Y ; ( ✶ ) ( ✷ ) · · · ❀ ❀ a = f ? s : ✵ ; a = f ? s : ✵ ; a = f ? Y : ✵ ; t = X ❛❝q ; t = X ❛❝q ; b = X ❛❝q ? Y : ✹ ; r = Y ; r = Y ; ✘✘✘✘ ✘ b = t ? s : ✹ ; b = t ? r : ✹ ; ❈✶✶✿ ✭✶✮ ❊rr♦r ✭✷✮ ❈♦rr❡❝t ✼
✭✷✮ ❊rr♦r ▲▲❱▼ ❈♦♠♣✐❧❛t✐♦♥ ❇✉❣ ✐♥ ▼♦r❡ ❉❡t❛✐❧ X = Y = ✵ ; X = Y = ✵ ; f = false ; f = false ; X = Y = ✵ ; · · · · · · f = false ; s = Y ; s = Y ; ( ✶ ) ( ✷ ) · · · ❀ ❀ a = f ? s : ✵ ; a = f ? s : ✵ ; a = f ? Y : ✵ ; t = X ❛❝q ; t = X ❛❝q ; b = X ❛❝q ? Y : ✹ ; r = Y ; r = Y ; ✘✘✘✘ ✘ b = t ? s : ✹ ; b = t ? r : ✹ ; ❈✶✶✿ ✭✶✮ ❊rr♦r ✭✷✮ ❈♦rr❡❝t ▲▲❱▼✿ ✭✶✮ ❈♦rr❡❝t ✼
▲▲❱▼ ❈♦♠♣✐❧❛t✐♦♥ ❇✉❣ ✐♥ ▼♦r❡ ❉❡t❛✐❧ X = Y = ✵ ; X = Y = ✵ ; f = false ; f = false ; X = Y = ✵ ; · · · · · · f = false ; s = Y ; s = Y ; ( ✶ ) ( ✷ ) · · · ❀ ❀ a = f ? s : ✵ ; a = f ? s : ✵ ; a = f ? Y : ✵ ; t = X ❛❝q ; t = X ❛❝q ; b = X ❛❝q ? Y : ✹ ; r = Y ; r = Y ; ✘✘✘✘ ✘ b = t ? s : ✹ ; b = t ? r : ✹ ; ❈✶✶✿ ✭✶✮ ❊rr♦r ✭✷✮ ❈♦rr❡❝t ▲▲❱▼✿ ✭✶✮ ❈♦rr❡❝t ✭✷✮ ❊rr♦r ✼
❚❤✐s ❲♦r❦✿ ▲▲❱▼ ❱❛❧✐❞❛t✐♦♥ ▲▲❱▼ = = = ⇒ P tgt ? ❈♦rr❡❝t : P♦t❡♥t✐❛❧ ❊rr♦r P src ⇓ ( R ∪ E ) ∗ = = = = ⇒ P tgt ? ❈♦rr❡❝t : P♦t❡♥t✐❛❧ ❊rr♦r P src ❉❡✜♥❡ ❛ s❡t ♦❢ s❛❢❡ r❡♦r❞❡r✐♥❣s ✫ ❡❧✐♠✐♥❛t✐♦♥s✿ ❋♦r t❤❡ ▲▲❱▼ ♠♦❞❡❧ ❋♦r t❤❡ ❈✶✶ ♠♦❞❡❧ ❬P❖P▲✬✶✺❪ ✽
Recommend
More recommend