❙❡q ★s ✐♥ tr❛♥s✐t ♠✉st r❡♠❛✐♥ ❝❧♦s❡ t♦ ✇✐♥❞♦✇ ❯s✐♥❣ ♠♦❞✉❧♦✲ N ❝②❝❧✐❝ s❡q✉❡♥❝❡ ♥✉♠❜❡rs s✇♣ ❯s❡ ♠♦❞✲ N ❝s♥ ✐♥st❡❛❞ ♦❢ ✉s♥ ❙❡♥❞ ❝s♥ ♠♦❞✭ k ✱ N ✮ ✐♥st❡❛❞ ♦❢ ✉s♥ k ❘❡❝❡✐✈❡r ♦❢ csn ❤❛s t♦ ✐♥❢❡r t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ usn ♠❛✐♥t❛✐♥s ✇✐♥❞♦✇ ♦❢ ✏♣♦ss✐❜❧❡✑ ✉s♥ s❛② L · · · U ♠❛♣s r❝✈❞ csn t♦ usn ✇✐t❤ s❛♠❡ ❝②❝❧✐❝ ✈❛❧✉❡ usn ← L + ♠♦❞ ( csn − L , N ) ❀ ✐❢ usn > U ✐❣♥♦r❡ r❝✈❞ csn
❯s✐♥❣ ♠♦❞✉❧♦✲ N ❝②❝❧✐❝ s❡q✉❡♥❝❡ ♥✉♠❜❡rs s✇♣ ❯s❡ ♠♦❞✲ N ❝s♥ ✐♥st❡❛❞ ♦❢ ✉s♥ ❙❡♥❞ ❝s♥ ♠♦❞✭ k ✱ N ✮ ✐♥st❡❛❞ ♦❢ ✉s♥ k ❘❡❝❡✐✈❡r ♦❢ csn ❤❛s t♦ ✐♥❢❡r t❤❡ ❝♦rr❡s♣♦♥❞✐♥❣ usn ♠❛✐♥t❛✐♥s ✇✐♥❞♦✇ ♦❢ ✏♣♦ss✐❜❧❡✑ ✉s♥ s❛② L · · · U ♠❛♣s r❝✈❞ csn t♦ usn ✇✐t❤ s❛♠❡ ❝②❝❧✐❝ ✈❛❧✉❡ usn ← L + ♠♦❞ ( csn − L , N ) ❀ ✐❢ usn > U ✐❣♥♦r❡ r❝✈❞ csn ❙❡q ★s ✐♥ tr❛♥s✐t ♠✉st r❡♠❛✐♥ ❝❧♦s❡ t♦ ✇✐♥❞♦✇
❙✐♥❦ ✿ ❜❧❦s t♦ ✉s❡r ✿ ❝♦♥t✐❣✉♦✉s ❜❧❦s r❝✈❞ ♠❛♣ ✿ ❢♦r ❜❧❦s r❡❝❡✐✈❡ ✇✐♥❞♦✇✿ ❖✈❡r t✐♠❡✱ ✇✐♥❞♦✇s s❧✐❞❡ t♦ ✐♥❝r❡❛s✐♥❣ s❡q s ❙❧✐❞✐♥❣ ✇✐♥❞♦✇ ♣r♦t♦❝♦❧ ✇✐t❤ ♠♦❞✲◆ ❝s♥ s✇♣ ❙♦✉r❝❡ ng ✿ # ❜❧❦s ❢r♦♠ ✉s❡r ns ✿ # ❜❧❦s s❡♥t ❛t ❧❡❛st ♦♥❝❡ na ✿ # ❜❧❦s ❛❝❦❡❞ ♠❛♣ sbuff ✿ ❢♦r ❜❧❦s na · · · ng − 1 s❡♥❞ ✇✐♥❞♦✇✿ na · · · ns ✰ SW − 1 / / SW < N ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇✿ na · · · ns / ♦❦ ✐❢ ❧♦✇ ❡♥❞ ✐s na+1 /
❖✈❡r t✐♠❡✱ ✇✐♥❞♦✇s s❧✐❞❡ t♦ ✐♥❝r❡❛s✐♥❣ s❡q s ❙❧✐❞✐♥❣ ✇✐♥❞♦✇ ♣r♦t♦❝♦❧ ✇✐t❤ ♠♦❞✲◆ ❝s♥ s✇♣ ❙♦✉r❝❡ ng ✿ # ❜❧❦s ❢r♦♠ ✉s❡r ns ✿ # ❜❧❦s s❡♥t ❛t ❧❡❛st ♦♥❝❡ na ✿ # ❜❧❦s ❛❝❦❡❞ ♠❛♣ sbuff ✿ ❢♦r ❜❧❦s na · · · ng − 1 s❡♥❞ ✇✐♥❞♦✇✿ na · · · ns ✰ SW − 1 / / SW < N ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇✿ na · · · ns / ♦❦ ✐❢ ❧♦✇ ❡♥❞ ✐s na+1 / ❙✐♥❦ nd ✿ # ❜❧❦s t♦ ✉s❡r nr ✿ # ❝♦♥t✐❣✉♦✉s ❜❧❦s r❝✈❞ ♠❛♣ rbuff ✿ ❢♦r ❜❧❦s nd · · · nd + RW − 1 / / RW < N r❡❝❡✐✈❡ ✇✐♥❞♦✇✿ nr · · · nd + RW − 1
❙❧✐❞✐♥❣ ✇✐♥❞♦✇ ♣r♦t♦❝♦❧ ✇✐t❤ ♠♦❞✲◆ ❝s♥ s✇♣ ❙♦✉r❝❡ ng ✿ # ❜❧❦s ❢r♦♠ ✉s❡r ns ✿ # ❜❧❦s s❡♥t ❛t ❧❡❛st ♦♥❝❡ na ✿ # ❜❧❦s ❛❝❦❡❞ ♠❛♣ sbuff ✿ ❢♦r ❜❧❦s na · · · ng − 1 s❡♥❞ ✇✐♥❞♦✇✿ na · · · ns ✰ SW − 1 / / SW < N ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇✿ na · · · ns / ♦❦ ✐❢ ❧♦✇ ❡♥❞ ✐s na+1 / ❙✐♥❦ nd ✿ # ❜❧❦s t♦ ✉s❡r nr ✿ # ❝♦♥t✐❣✉♦✉s ❜❧❦s r❝✈❞ ♠❛♣ rbuff ✿ ❢♦r ❜❧❦s nd · · · nd + RW − 1 / / RW < N r❡❝❡✐✈❡ ✇✐♥❞♦✇✿ nr · · · nd + RW − 1 ❖✈❡r t✐♠❡✱ ✇✐♥❞♦✇s s❧✐❞❡ t♦ ✐♥❝r❡❛s✐♥❣ s❡q # s
❙❧✐❞✐♥❣ ✇✐♥❞♦✇s s✇♣ Source Sink vars vars ng : # blks 0 0 nd : # blks delivered from user to user 1 0 1 acked ns : # sent nr : blk next rbuff awaited na : # acked sbuff nd rbuff sbuff na received � � na � � � � send outstanding nr nr (not received) � � window � � � � � � � � � � receive � � � � possibly ns window � � � � received � � � � na+SW-1 not yet sent � � � � � � nd+RW-1 � � ng
❙✐♥❦ t♦ ✉s❡r❀ r❝✈ ✇❤✐❧❡ s❡♥❞ ❬ ❪ ❢r♦♠ ✉s❡r✿ ❀ ✿ s❡♥❞ ❀ ✿ s❡♥❞ r❝✈ ❬ ❪✿ ✿ ♠♦❞✭ ✱◆✮ ❙✇♣ ♠♦❞✲◆✿ ❛❧❣♦r✐t❤♠✲❧❡✈❡❧ s✇♣ ❙♦✉r❝❡ na,ns,ng ← 0 ❀ sbuff ← []
❙✐♥❦ t♦ ✉s❡r❀ r❝✈ ✇❤✐❧❡ s❡♥❞ ❬ ❪ ✿ s❡♥❞ ❀ ✿ s❡♥❞ r❝✈ ❬ ❪✿ ✿ ♠♦❞✭ ✱◆✮ ❙✇♣ ♠♦❞✲◆✿ ❛❧❣♦r✐t❤♠✲❧❡✈❡❧ s✇♣ ❙♦✉r❝❡ na,ns,ng ← 0 ❀ sbuff ← [] db ❢r♦♠ ✉s❡r✿ sbuffng ← db ❀ ng++
❙✐♥❦ t♦ ✉s❡r❀ r❝✈ ✇❤✐❧❡ s❡♥❞ ❬ ❪ ✿ s❡♥❞ r❝✈ ❬ ❪✿ ✿ ♠♦❞✭ ✱◆✮ ❙✇♣ ♠♦❞✲◆✿ ❛❧❣♦r✐t❤♠✲❧❡✈❡❧ s✇♣ ❙♦✉r❝❡ na,ns,ng ← 0 ❀ sbuff ← [] db ❢r♦♠ ✉s❡r✿ sbuffng ← db ❀ ng++ ns < min (na+SW, ng) ✿ s❡♥❞ [sbuffns, ns] ❀ ns++
❙✐♥❦ t♦ ✉s❡r❀ r❝✈ ✇❤✐❧❡ s❡♥❞ ❬ ❪ r❝✈ ❬ ❪✿ ✿ ♠♦❞✭ ✱◆✮ ❙✇♣ ♠♦❞✲◆✿ ❛❧❣♦r✐t❤♠✲❧❡✈❡❧ s✇♣ ❙♦✉r❝❡ na,ns,ng ← 0 ❀ sbuff ← [] db ❢r♦♠ ✉s❡r✿ sbuffng ← db ❀ ng++ ns < min (na+SW, ng) ✿ s❡♥❞ [sbuffns, ns] ❀ ns++ k in na..ns − 1 ✿ s❡♥❞ [sbuffk, k]
❙✐♥❦ t♦ ✉s❡r❀ r❝✈ ✇❤✐❧❡ s❡♥❞ ❬ ❪ ❙✇♣ ♠♦❞✲◆✿ ❛❧❣♦r✐t❤♠✲❧❡✈❡❧ s✇♣ ❙♦✉r❝❡ na,ns,ng ← 0 ❀ sbuff ← [] db ❢r♦♠ ✉s❡r✿ sbuffng ← db ❀ ng++ ns < min (na+SW, ng) ✿ s❡♥❞ [sbuffns, ns] ❀ ns++ k in na..ns − 1 ✿ s❡♥❞ [sbuffk, k] r❝✈ ❬ cn ❪✿ j ← na + cn − na if (na < j ≤ ns) sbuff.remove(na..j − 1) k ✿ ♠♦❞✭ k ✱◆✮ na ← j
❙✇♣ ♠♦❞✲◆✿ ❛❧❣♦r✐t❤♠✲❧❡✈❡❧ s✇♣ ❙♦✉r❝❡ ❙✐♥❦ na,ns,ng ← 0 ❀ sbuff ← [] nd,nr ← 0; rbuff ← [] db ❢r♦♠ ✉s❡r✿ nd < nr sbuffng ← db ❀ ng++ rbuffnd t♦ ✉s❡r❀ nd++ ns < min (na+SW, ng) ✿ r❝✈ [db,cn] s❡♥❞ [sbuffns, ns] ❀ ns++ j ← nr + cn − nr if (nr ≤ j < nd+RW) k in na..ns − 1 ✿ rbuffj ← db s❡♥❞ [sbuffk, k] ✇❤✐❧❡ (nr in rbuff.keys) r❝✈ ❬ cn ❪✿ nr ← nr+1 j ← na + cn − na s❡♥❞ ❬ nr ❪ if (na < j ≤ ns) sbuff.remove(na..j − 1) k ✿ ♠♦❞✭ k ✱◆✮ na ← j
❖✉t❧✐♥❡ s✇♣ ❛♥❛❧②s✐s ❙❧✐❞✐♥❣ ❲✐♥❞♦✇ Pr♦t♦❝♦❧ ❆♥❛❧②s✐s ♦❢ ❙❧✐❞✐♥❣ ❲✐♥❞♦✇ Pr♦t♦❝♦❧ ❆✇❛✐t✲str✉❝t✉r❡❞ ❙♦✉r❝❡ ❛♥❞ ❙✐♥❦ Pr♦❣r❛♠s ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧ ❛♥❞ Pr♦♦❢ ●r❛❝❡❢✉❧✲❝❧♦s✐♥❣ ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧ ❆❜♦rt❛❜❧❡ ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧
❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s ■♥✈ ✶ ❧❡❛❞s✲t♦ ✷ ❛ss✉♠✐♥❣ ✇❢❛✐r s❡♥❞ ✱ r❡s❡♥❞ ✱ ❞❡❧✐✈❡r t♦ ✉s❡r✱ s♦✉r❝❡✴s✐♥❦ r❝✈ ♠s❣✱ ❝❤❛♥♥❡❧ ♣r♦❣r❡ss ■♥t❡r♠❡❞✐❛t❡ ❞❡s✐r❡❞ ■♥✈ ✶ ✕ ✸ ✐♥ ✵ ✐♥ ✶ ✳♣r❡❞ ✶ ✵ ✶ ❛♥❞ ✷ ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s ♦❢ SwpDist s✇♣ ❛♥❛❧②s✐s dbh ✿ ❛✉①✐❧✐❛r② ✈❛r ✐♥❞✐❝❛t✐♥❣ s❡q ♦❢ ❜❧❦s s❡♥t ❜② ✉s❡r
❧❡❛❞s✲t♦ ✷ ❛ss✉♠✐♥❣ ✇❢❛✐r s❡♥❞ ✱ r❡s❡♥❞ ✱ ❞❡❧✐✈❡r t♦ ✉s❡r✱ s♦✉r❝❡✴s✐♥❦ r❝✈ ♠s❣✱ ❝❤❛♥♥❡❧ ♣r♦❣r❡ss ■♥t❡r♠❡❞✐❛t❡ ❞❡s✐r❡❞ ■♥✈ ✶ ✕ ✸ ✐♥ ✵ ✐♥ ✶ ✳♣r❡❞ ✶ ✵ ✶ ❛♥❞ ✷ ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s ♦❢ SwpDist s✇♣ ❛♥❛❧②s✐s dbh ✿ ❛✉①✐❧✐❛r② ✈❛r ✐♥❞✐❝❛t✐♥❣ s❡q ♦❢ ❜❧❦s s❡♥t ❜② ✉s❡r ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s X ✶ : ■♥✈ (nd < nr ⇒ rbuffnd = dbhnd)
■♥t❡r♠❡❞✐❛t❡ ❞❡s✐r❡❞ ■♥✈ ✶ ✕ ✸ ✐♥ ✵ ✐♥ ✶ ✳♣r❡❞ ✶ ✵ ✶ ❛♥❞ ✷ ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s ♦❢ SwpDist s✇♣ ❛♥❛❧②s✐s dbh ✿ ❛✉①✐❧✐❛r② ✈❛r ✐♥❞✐❝❛t✐♥❣ s❡q ♦❢ ❜❧❦s s❡♥t ❜② ✉s❡r ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s X ✶ : ■♥✈ (nd < nr ⇒ rbuffnd = dbhnd) X ✷ : (nd = k < ng ❧❡❛❞s✲t♦ nd > k) ❛ss✉♠✐♥❣ ✇❢❛✐r s❡♥❞ sbuffns ✱ r❡s❡♥❞ sbuffna ✱ ❞❡❧✐✈❡r rbuffnd t♦ ✉s❡r✱ s♦✉r❝❡✴s✐♥❦ r❝✈ ♠s❣✱ ❝❤❛♥♥❡❧ ♣r♦❣r❡ss
✐♥ ✵ ✐♥ ✶ ✳♣r❡❞ ✶ ✵ ✶ ❛♥❞ ✷ ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s ♦❢ SwpDist s✇♣ ❛♥❛❧②s✐s dbh ✿ ❛✉①✐❧✐❛r② ✈❛r ✐♥❞✐❝❛t✐♥❣ s❡q ♦❢ ❜❧❦s s❡♥t ❜② ✉s❡r ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s X ✶ : ■♥✈ (nd < nr ⇒ rbuffnd = dbhnd) X ✷ : (nd = k < ng ❧❡❛❞s✲t♦ nd > k) ❛ss✉♠✐♥❣ ✇❢❛✐r s❡♥❞ sbuffns ✱ r❡s❡♥❞ sbuffna ✱ ❞❡❧✐✈❡r rbuffnd t♦ ✉s❡r✱ s♦✉r❝❡✴s✐♥❦ r❝✈ ♠s❣✱ ❝❤❛♥♥❡❧ ♣r♦❣r❡ss ■♥t❡r♠❡❞✐❛t❡ ❞❡s✐r❡❞ ■♥✈ A ✶ ✕ A ✸
✐♥ ✶ ✳♣r❡❞ ✶ ✵ ✶ ❛♥❞ ✷ ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s ♦❢ SwpDist s✇♣ ❛♥❛❧②s✐s dbh ✿ ❛✉①✐❧✐❛r② ✈❛r ✐♥❞✐❝❛t✐♥❣ s❡q ♦❢ ❜❧❦s s❡♥t ❜② ✉s❡r ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s X ✶ : ■♥✈ (nd < nr ⇒ rbuffnd = dbhnd) X ✷ : (nd = k < ng ❧❡❛❞s✲t♦ nd > k) ❛ss✉♠✐♥❣ ✇❢❛✐r s❡♥❞ sbuffns ✱ r❡s❡♥❞ sbuffna ✱ ❞❡❧✐✈❡r rbuffnd t♦ ✉s❡r✱ s♦✉r❝❡✴s✐♥❦ r❝✈ ♠s❣✱ ❝❤❛♥♥❡❧ ♣r♦❣r❡ss ■♥t❡r♠❡❞✐❛t❡ ❞❡s✐r❡❞ ■♥✈ A ✶ ✕ A ✸ A ✵ : nd · · · nr − 1 ✐♥ rbuff.keys
❛♥❞ ✷ ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s ♦❢ SwpDist s✇♣ ❛♥❛❧②s✐s dbh ✿ ❛✉①✐❧✐❛r② ✈❛r ✐♥❞✐❝❛t✐♥❣ s❡q ♦❢ ❜❧❦s s❡♥t ❜② ✉s❡r ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s X ✶ : ■♥✈ (nd < nr ⇒ rbuffnd = dbhnd) X ✷ : (nd = k < ng ❧❡❛❞s✲t♦ nd > k) ❛ss✉♠✐♥❣ ✇❢❛✐r s❡♥❞ sbuffns ✱ r❡s❡♥❞ sbuffna ✱ ❞❡❧✐✈❡r rbuffnd t♦ ✉s❡r✱ s♦✉r❝❡✴s✐♥❦ r❝✈ ♠s❣✱ ❝❤❛♥♥❡❧ ♣r♦❣r❡ss ■♥t❡r♠❡❞✐❛t❡ ❞❡s✐r❡❞ ■♥✈ A ✶ ✕ A ✸ A ✵ : nd · · · nr − 1 ✐♥ rbuff.keys A ✶ : (k ✐♥ rbuff.keys) ⇒ rbuffk = dbhk / A ✵ , ✶ ⇒ X ✶ ✳♣r❡❞ /
❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s ♦❢ SwpDist s✇♣ ❛♥❛❧②s✐s dbh ✿ ❛✉①✐❧✐❛r② ✈❛r ✐♥❞✐❝❛t✐♥❣ s❡q ♦❢ ❜❧❦s s❡♥t ❜② ✉s❡r ❉❡s✐r❡❞ ♣r♦♣❡rt✐❡s X ✶ : ■♥✈ (nd < nr ⇒ rbuffnd = dbhnd) X ✷ : (nd = k < ng ❧❡❛❞s✲t♦ nd > k) ❛ss✉♠✐♥❣ ✇❢❛✐r s❡♥❞ sbuffns ✱ r❡s❡♥❞ sbuffna ✱ ❞❡❧✐✈❡r rbuffnd t♦ ✉s❡r✱ s♦✉r❝❡✴s✐♥❦ r❝✈ ♠s❣✱ ❝❤❛♥♥❡❧ ♣r♦❣r❡ss ■♥t❡r♠❡❞✐❛t❡ ❞❡s✐r❡❞ ■♥✈ A ✶ ✕ A ✸ A ✵ : nd · · · nr − 1 ✐♥ rbuff.keys A ✶ : (k ✐♥ rbuff.keys) ⇒ rbuffk = dbhk / A ✵ , ✶ ⇒ X ✶ ✳♣r❡❞ / A ✷ : na ≤ nr ≤ ns ≤ na+SW ❛♥❞ ns ≤ ng
❙✐♥❦ ♠❛♣s r❝✈❞ ✇rt r❝✈ ✇✐♥❞♦✇ ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② ✇✐♥❞♦✇✿ ✱ ✱ ✱ ✇✐♥❞♦✇✿ ✱ ✱ ✱ ❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr]
✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② ✇✐♥❞♦✇✿ ✱ ✱ ✱ ✇✐♥❞♦✇✿ ✱ ✱ ✱ ❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1
✇✐♥❞♦✇✿ ✱ ✱ ✱ ✇✐♥❞♦✇✿ ✱ ✱ ✱ ❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧②
✱ ✱ ✱ ✇✐♥❞♦✇✿ ✱ ✱ ✱ ❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿
✱ ✱ ✇✐♥❞♦✇✿ ✱ ✱ ✱ ❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱
✱ ✇✐♥❞♦✇✿ ✱ ✱ ✱ ❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱ nr − 2 � ✱
✇✐♥❞♦✇✿ ✱ ✱ ✱ ❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱ nr − 2 � ✱ · · · � ✱
✇✐♥❞♦✇✿ ✱ ✱ ✱ ❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱ nr − 2 � ✱ · · · � ✱ nr − N+RW − 1 ×
✱ ✱ ✱ ❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱ nr − 2 � ✱ · · · � ✱ nr − N+RW − 1 × j > ✇✐♥❞♦✇✿
✱ ✱ ❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱ nr − 2 � ✱ · · · � ✱ nr − N+RW − 1 × j > ✇✐♥❞♦✇✿ nr+RW � ✱
✱ ❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱ nr − 2 � ✱ · · · � ✱ nr − N+RW − 1 × j > ✇✐♥❞♦✇✿ nr+RW � ✱ nr+RW+1 � ✱
❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱ nr − 2 � ✱ · · · � ✱ nr − N+RW − 1 × j > ✇✐♥❞♦✇✿ nr+RW � ✱ nr+RW+1 � ✱ · · · � ✱
❞❡s✐r❡❞ ■♥✈ ✸ ❞❛t❛ r❝✈❛❜❧❡ ✐♥ ✸ ❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱ nr − 2 � ✱ · · · � ✱ nr − N+RW − 1 × j > ✇✐♥❞♦✇✿ nr+RW � ✱ nr+RW+1 � ✱ · · · � ✱ nr+N ×
❙♦✉r❝❡ ♠❛♣s r❝✈❞ ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ ❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱ nr − 2 � ✱ · · · � ✱ nr − N+RW − 1 × j > ✇✐♥❞♦✇✿ nr+RW � ✱ nr+RW+1 � ✱ · · · � ✱ nr+N × ❞❡s✐r❡❞ ■♥✈ A ✸ A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1
❞❡s✐r❡❞ ■♥✈ ✸ ❛❝❦ r❝✈❛❜❧❡ ✐♥ ✹ ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱ nr − 2 � ✱ · · · � ✱ nr − N+RW − 1 × j > ✇✐♥❞♦✇✿ nr+RW � ✱ nr+RW+1 � ✱ · · · � ✱ nr+N × ❞❡s✐r❡❞ ■♥✈ A ✸ A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 ❙♦✉r❝❡ ♠❛♣s r❝✈❞ [j, j] ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ na · · · ns
❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ ❝♦♥❞✐t✐♦♥s s✇♣ ❛♥❛❧②s✐s ❆❞❞ ❛✉①✐❧✐❛r② usn ✜❡❧❞ t♦ ♠s❣s / ♥♦t r❡❛❞ / s♦✉r❝❡ s❡♥❞s [sbuffj, j, j] s✐♥❦ s❡♥❞s [nr, nr] ❙✐♥❦ ♠❛♣s r❝✈❞ [j, j] ✇rt r❝✈ ✇✐♥❞♦✇ nr · · · nr+RW − 1 j ✐♥ ✇✐♥❞♦✇✿ ♠❛♣♣❡❞ ❝♦rr❡❝t❧② j < ✇✐♥❞♦✇✿ nr − 1 � ✱ nr − 2 � ✱ · · · � ✱ nr − N+RW − 1 × j > ✇✐♥❞♦✇✿ nr+RW � ✱ nr+RW+1 � ✱ · · · � ✱ nr+N × ❞❡s✐r❡❞ ■♥✈ A ✸ A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 ❙♦✉r❝❡ ♠❛♣s r❝✈❞ [j, j] ✇rt ♦✉tst❛♥❞✐♥❣ ✇✐♥❞♦✇ na · · · ns ❞❡s✐r❡❞ ■♥✈ A ✸ A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N
❋♦r ❡✈❡r② st❡♣ ✿ ✵ ✕ ❤♦❧❞s ✹ ✵ ✶ ✷ ❙✉✣❝❡s t♦ ❡st❛❜❧✐s❤ ❢♦r ✿ s❡♥❞ ❞❛t❛❀ r❝✈ ❞❛t❛ ❛✛❡❝t✐♥❣ ✷ ✸ ✹ ✸ ❢♦r ✿ s❡♥❞ ❛❝❦❀ r❝✈ ❛❝❦ ❛✛❡❝t✐♥❣ ✷ ✸ ✹ ✹ ❘❡❝❛♣ s✇♣ ❛♥❛❧②s✐s ●♦❛❧ A ✵ : nd · · · nr − 1 ✐♥ rbuff.keys A ✶ : (k ✐♥ rbuff.keys) ⇒ rbuffk = dbhk A ✷ : na ≤ nr ≤ ns ≤ na+SW ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N
❙✉✣❝❡s t♦ ❡st❛❜❧✐s❤ ❢♦r ✿ s❡♥❞ ❞❛t❛❀ r❝✈ ❞❛t❛ ❛✛❡❝t✐♥❣ ✷ ✸ ✹ ✸ ❢♦r ✿ s❡♥❞ ❛❝❦❀ r❝✈ ❛❝❦ ❛✛❡❝t✐♥❣ ✷ ✸ ✹ ✹ ❘❡❝❛♣ s✇♣ ❛♥❛❧②s✐s ●♦❛❧ A ✵ : nd · · · nr − 1 ✐♥ rbuff.keys A ✶ : (k ✐♥ rbuff.keys) ⇒ rbuffk = dbhk A ✷ : na ≤ nr ≤ ns ≤ na+SW ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N ❋♦r ❡✈❡r② st❡♣ e ✿ { A ✵ ✕ A ✹ } e { A ✵ , A ✶ , A ✷ } ❤♦❧❞s
❢♦r ✿ s❡♥❞ ❛❝❦❀ r❝✈ ❛❝❦ ❛✛❡❝t✐♥❣ ✷ ✸ ✹ ✹ ❘❡❝❛♣ s✇♣ ❛♥❛❧②s✐s ●♦❛❧ A ✵ : nd · · · nr − 1 ✐♥ rbuff.keys A ✶ : (k ✐♥ rbuff.keys) ⇒ rbuffk = dbhk A ✷ : na ≤ nr ≤ ns ≤ na+SW ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N ❋♦r ❡✈❡r② st❡♣ e ✿ { A ✵ ✕ A ✹ } e { A ✵ , A ✶ , A ✷ } ❤♦❧❞s ❙✉✣❝❡s t♦ ❡st❛❜❧✐s❤ { A ✷ , ✸ , ✹ } e { A ✸ } ❢♦r e ✿ s❡♥❞ ❞❛t❛❀ r❝✈ ❞❛t❛ ❛✛❡❝t✐♥❣ nr
❘❡❝❛♣ s✇♣ ❛♥❛❧②s✐s ●♦❛❧ A ✵ : nd · · · nr − 1 ✐♥ rbuff.keys A ✶ : (k ✐♥ rbuff.keys) ⇒ rbuffk = dbhk A ✷ : na ≤ nr ≤ ns ≤ na+SW ❈♦rr❡❝t ✐♥t❡r♣r❡t❛t✐♦♥ A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N ❋♦r ❡✈❡r② st❡♣ e ✿ { A ✵ ✕ A ✹ } e { A ✵ , A ✶ , A ✷ } ❤♦❧❞s ❙✉✣❝❡s t♦ ❡st❛❜❧✐s❤ { A ✷ , ✸ , ✹ } e { A ✸ } ❢♦r e ✿ s❡♥❞ ❞❛t❛❀ r❝✈ ❞❛t❛ ❛✛❡❝t✐♥❣ nr { A ✷ , ✸ , ✹ } e { A ✹ } ❢♦r e ✿ s❡♥❞ ❛❝❦❀ r❝✈ ❛❝❦ ❛✛❡❝t✐♥❣ ns
❖✉t❧✐♥❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s ❙❧✐❞✐♥❣ ❲✐♥❞♦✇ Pr♦t♦❝♦❧ ❆♥❛❧②s✐s ♦❢ ❙❧✐❞✐♥❣ ❲✐♥❞♦✇ Pr♦t♦❝♦❧ ■♥✈ A ✸ ✕ A ✹ ❢♦r ❧♦ss② ❝❤❛♥♥❡❧ ■♥✈ A ✸ ✕ A ✹ ❢♦r ▲❘❉ ❝❤❛♥♥❡❧ Pr♦❣r❡ss ❢♦r ❧♦ss②✴▲❘❉ ❝❤❛♥♥❡❧ ❆✇❛✐t✲str✉❝t✉r❡❞ ❙♦✉r❝❡ ❛♥❞ ❙✐♥❦ Pr♦❣r❛♠s ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧ ❛♥❞ Pr♦♦❢ ●r❛❝❡❢✉❧✲❝❧♦s✐♥❣ ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧ ❆❜♦rt❛❜❧❡ ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧
❆♥❛❧②s✐s ❢♦r ▲♦ss② ❈❤❛♥♥❡❧ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s ❋♦r SwpDist ✇✐t❤ ❧♦ss② ❝❤❛♥♥❡❧ ♥♦✇ s❤♦✇ t❤❛t ■♥✈ A ✸ ✕ A ✹ ❤♦❧❞s ✐❢ N ≥ SW + RW
❙❡♥❞ ❞❛t❛ ♣r❡s❡r✈❡s ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ✐❢ ❣✉❛r❞s✱ ✷ ✷ ✷ ❙❡♥❞ ❞❛t❛ ♣r❡s❡r✈❡s ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❣✉❛r❞s✱ ✷ ✷ Pr❡s❡r✈✐♥❣ A ✸ ✇rt s❡♥❞ ❞❛t❛ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1
❙❡♥❞ ❞❛t❛ ♣r❡s❡r✈❡s ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❣✉❛r❞s✱ ✷ ✷ Pr❡s❡r✈✐♥❣ A ✸ ✇rt s❡♥❞ ❞❛t❛ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 ❙❡♥❞ ❞❛t❛ k ♣r❡s❡r✈❡s A ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ✐❢ N ≥ SW + RW k ≥ na / ❣✉❛r❞s✱ A ✷ / ≥ ns − SW / / A ✷ ≥ nr − SW / / A ✷ ≥ nr − N + RW / N ≥ SW + RW /
Pr❡s❡r✈✐♥❣ A ✸ ✇rt s❡♥❞ ❞❛t❛ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 ❙❡♥❞ ❞❛t❛ k ♣r❡s❡r✈❡s A ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ✐❢ N ≥ SW + RW k ≥ na / ❣✉❛r❞s✱ A ✷ / ≥ ns − SW / / A ✷ ≥ nr − SW / / A ✷ ≥ nr − N + RW / N ≥ SW + RW / ❙❡♥❞ ❞❛t❛ k ♣r❡s❡r✈❡s A ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ k ≤ na + SW − 1 / ❣✉❛r❞s✱ A ✷ / ≤ nr + SW − 1 / / A ✷ ≤ nr + N − 1 / N ≥ SW /
✐♥❝r❡❛s❡ ♣r❡s❡r✈❡s ✸ ✐❢ ❧❡t ❜❡❝♦♠❡ ❛t t✐♠❡ ✵ ✳ s♦ r❝✈❞ ❛t ✵ ♦r ♣r✐♦r✱ s♦ s❡♥t ❛t s♦♠❡ ✶ ✶ ✵ ❣✉❛r❞s ✶ ✶ ✷ ❧❡t ❜❡ r❝✈❛❜❧❡ ❛❢t❡r ✵ ✱ s♦ s❡♥t ❛t s♦♠❡ ✷ ❛❢t❡r ✶ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✷ ✶ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✸ ✇rt nr ✐♥❝r❡❛s❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1
❧❡t ❜❡❝♦♠❡ ❛t t✐♠❡ ✵ ✳ s♦ r❝✈❞ ❛t ✵ ♦r ♣r✐♦r✱ s♦ s❡♥t ❛t s♦♠❡ ✶ ✶ ✵ ❣✉❛r❞s ✶ ✶ ✷ ❧❡t ❜❡ r❝✈❛❜❧❡ ❛❢t❡r ✵ ✱ s♦ s❡♥t ❛t s♦♠❡ ✷ ❛❢t❡r ✶ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✷ ✶ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✸ ✇rt nr ✐♥❝r❡❛s❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 nr ✐♥❝r❡❛s❡ ♣r❡s❡r✈❡s A ✸ ✐❢ N ≥ SW + RW
s♦ r❝✈❞ ❛t ✵ ♦r ♣r✐♦r✱ s♦ s❡♥t ❛t s♦♠❡ ✶ ✶ ✵ ❣✉❛r❞s ✶ ✶ ✷ ❧❡t ❜❡ r❝✈❛❜❧❡ ❛❢t❡r ✵ ✱ s♦ s❡♥t ❛t s♦♠❡ ✷ ❛❢t❡r ✶ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✷ ✶ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✸ ✇rt nr ✐♥❝r❡❛s❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 nr ✐♥❝r❡❛s❡ ♣r❡s❡r✈❡s A ✸ ✐❢ N ≥ SW + RW ❧❡t nr ❜❡❝♦♠❡ k ❛t t✐♠❡ t ✵ ✳
❣✉❛r❞s ✶ ✶ ✷ ❧❡t ❜❡ r❝✈❛❜❧❡ ❛❢t❡r ✵ ✱ s♦ s❡♥t ❛t s♦♠❡ ✷ ❛❢t❡r ✶ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✷ ✶ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✸ ✇rt nr ✐♥❝r❡❛s❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 nr ✐♥❝r❡❛s❡ ♣r❡s❡r✈❡s A ✸ ✐❢ N ≥ SW + RW ❧❡t nr ❜❡❝♦♠❡ k ❛t t✐♠❡ t ✵ ✳ s♦ k − 1 r❝✈❞ ❛t t ✵ ♦r ♣r✐♦r✱ s♦ s❡♥t ❛t s♦♠❡ t ✶ / t ✶ < t ✵ /
✶ ✷ ❧❡t ❜❡ r❝✈❛❜❧❡ ❛❢t❡r ✵ ✱ s♦ s❡♥t ❛t s♦♠❡ ✷ ❛❢t❡r ✶ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✷ ✶ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✸ ✇rt nr ✐♥❝r❡❛s❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 nr ✐♥❝r❡❛s❡ ♣r❡s❡r✈❡s A ✸ ✐❢ N ≥ SW + RW ❧❡t nr ❜❡❝♦♠❡ k ❛t t✐♠❡ t ✵ ✳ s♦ k − 1 r❝✈❞ ❛t t ✵ ♦r ♣r✐♦r✱ s♦ s❡♥t ❛t s♦♠❡ t ✶ / t ✶ < t ✵ / ns( t ✶ ) ≥ k+1 / ❣✉❛r❞s /
❧❡t ❜❡ r❝✈❛❜❧❡ ❛❢t❡r ✵ ✱ s♦ s❡♥t ❛t s♦♠❡ ✷ ❛❢t❡r ✶ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✷ ✶ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✸ ✇rt nr ✐♥❝r❡❛s❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 nr ✐♥❝r❡❛s❡ ♣r❡s❡r✈❡s A ✸ ✐❢ N ≥ SW + RW ❧❡t nr ❜❡❝♦♠❡ k ❛t t✐♠❡ t ✵ ✳ s♦ k − 1 r❝✈❞ ❛t t ✵ ♦r ♣r✐♦r✱ s♦ s❡♥t ❛t s♦♠❡ t ✶ / t ✶ < t ✵ / ns( t ✶ ) ≥ k+1 / ❣✉❛r❞s / na( t ✶ ) ≥ k+1 − SW ⋆⋆ / A ✷ /
♥♦♥✲❞❡❝r❡❛s✐♥❣ ✷ ✶ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✸ ✇rt nr ✐♥❝r❡❛s❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 nr ✐♥❝r❡❛s❡ ♣r❡s❡r✈❡s A ✸ ✐❢ N ≥ SW + RW ❧❡t nr ❜❡❝♦♠❡ k ❛t t✐♠❡ t ✵ ✳ s♦ k − 1 r❝✈❞ ❛t t ✵ ♦r ♣r✐♦r✱ s♦ s❡♥t ❛t s♦♠❡ t ✶ / t ✶ < t ✵ / ns( t ✶ ) ≥ k+1 / ❣✉❛r❞s / na( t ✶ ) ≥ k+1 − SW ⋆⋆ / A ✷ / ❧❡t j ❜❡ r❝✈❛❜❧❡ ❛❢t❡r t ✵ ✱ s♦ s❡♥t ❛t s♦♠❡ t ✷ ❛❢t❡r t ✶
❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✸ ✇rt nr ✐♥❝r❡❛s❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 nr ✐♥❝r❡❛s❡ ♣r❡s❡r✈❡s A ✸ ✐❢ N ≥ SW + RW ❧❡t nr ❜❡❝♦♠❡ k ❛t t✐♠❡ t ✵ ✳ s♦ k − 1 r❝✈❞ ❛t t ✵ ♦r ♣r✐♦r✱ s♦ s❡♥t ❛t s♦♠❡ t ✶ / t ✶ < t ✵ / ns( t ✶ ) ≥ k+1 / ❣✉❛r❞s / na( t ✶ ) ≥ k+1 − SW ⋆⋆ / A ✷ / ❧❡t j ❜❡ r❝✈❛❜❧❡ ❛❢t❡r t ✵ ✱ s♦ s❡♥t ❛t s♦♠❡ t ✷ ❛❢t❡r t ✶ j ≥ na( t ✷ ) ≥ na( t ✶ ) / na ♥♦♥✲❞❡❝r❡❛s✐♥❣ /
❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✸ ✇rt nr ✐♥❝r❡❛s❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 nr ✐♥❝r❡❛s❡ ♣r❡s❡r✈❡s A ✸ ✐❢ N ≥ SW + RW ❧❡t nr ❜❡❝♦♠❡ k ❛t t✐♠❡ t ✵ ✳ s♦ k − 1 r❝✈❞ ❛t t ✵ ♦r ♣r✐♦r✱ s♦ s❡♥t ❛t s♦♠❡ t ✶ / t ✶ < t ✵ / ns( t ✶ ) ≥ k+1 / ❣✉❛r❞s / na( t ✶ ) ≥ k+1 − SW ⋆⋆ / A ✷ / ❧❡t j ❜❡ r❝✈❛❜❧❡ ❛❢t❡r t ✵ ✱ s♦ s❡♥t ❛t s♦♠❡ t ✷ ❛❢t❡r t ✶ j ≥ na( t ✷ ) ≥ na( t ✶ ) / na ♥♦♥✲❞❡❝r❡❛s✐♥❣ / ≥ k+1 − SW / ⋆⋆ /
❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✸ ✇rt nr ✐♥❝r❡❛s❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 nr ✐♥❝r❡❛s❡ ♣r❡s❡r✈❡s A ✸ ✐❢ N ≥ SW + RW ❧❡t nr ❜❡❝♦♠❡ k ❛t t✐♠❡ t ✵ ✳ s♦ k − 1 r❝✈❞ ❛t t ✵ ♦r ♣r✐♦r✱ s♦ s❡♥t ❛t s♦♠❡ t ✶ / t ✶ < t ✵ / ns( t ✶ ) ≥ k+1 / ❣✉❛r❞s / na( t ✶ ) ≥ k+1 − SW ⋆⋆ / A ✷ / ❧❡t j ❜❡ r❝✈❛❜❧❡ ❛❢t❡r t ✵ ✱ s♦ s❡♥t ❛t s♦♠❡ t ✷ ❛❢t❡r t ✶ j ≥ na( t ✷ ) ≥ na( t ✶ ) / na ♥♦♥✲❞❡❝r❡❛s✐♥❣ / ≥ k+1 − SW / ⋆⋆ / ≥ k+1 − N+RW / N ≥ SW + RW /
Pr❡s❡r✈✐♥❣ A ✸ ✇rt nr ✐♥❝r❡❛s❡ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 nr ✐♥❝r❡❛s❡ ♣r❡s❡r✈❡s A ✸ ✐❢ N ≥ SW + RW ❧❡t nr ❜❡❝♦♠❡ k ❛t t✐♠❡ t ✵ ✳ s♦ k − 1 r❝✈❞ ❛t t ✵ ♦r ♣r✐♦r✱ s♦ s❡♥t ❛t s♦♠❡ t ✶ / t ✶ < t ✵ / ns( t ✶ ) ≥ k+1 / ❣✉❛r❞s / na( t ✶ ) ≥ k+1 − SW ⋆⋆ / A ✷ / ❧❡t j ❜❡ r❝✈❛❜❧❡ ❛❢t❡r t ✵ ✱ s♦ s❡♥t ❛t s♦♠❡ t ✷ ❛❢t❡r t ✶ j ≥ na( t ✷ ) ≥ na( t ✶ ) / na ♥♦♥✲❞❡❝r❡❛s✐♥❣ / ≥ k+1 − SW / ⋆⋆ / ≥ k+1 − N+RW / N ≥ SW + RW / ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢
Pr♦♦❢ ♦❢ ■♥✈ ✹ ✶✳ ❛❝❦s s❡♥t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✷✳ ❛❝❦s ✐♥ tr❛♥s✐t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ ♥♦ r❡♦❞❡r✐♥❣ ✸✳ ❛❝❦ ✉s♥ ❧♦✇❡r ❜♦✉♥❞❡❞ ❜② ✐s ❛♥ ❛❝❦ ✉s♥ ✹✳ ■♥✈ ✭❛❝❦ r❝✈❛❜❧❡ ✮ ✶✱ ✷✱ ✸ ✺✳ ■♥✈ ✹✱ ✹ ✷ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✹ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N
✶✳ ❛❝❦s s❡♥t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✷✳ ❛❝❦s ✐♥ tr❛♥s✐t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ ♥♦ r❡♦❞❡r✐♥❣ ✸✳ ❛❝❦ ✉s♥ ❧♦✇❡r ❜♦✉♥❞❡❞ ❜② ✐s ❛♥ ❛❝❦ ✉s♥ ✹✳ ■♥✈ ✭❛❝❦ r❝✈❛❜❧❡ ✮ ✶✱ ✷✱ ✸ ✺✳ ■♥✈ ✹✱ ✹ ✷ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✹ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N Pr♦♦❢ ♦❢ ■♥✈ A ✹
✷✳ ❛❝❦s ✐♥ tr❛♥s✐t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ ♥♦ r❡♦❞❡r✐♥❣ ✸✳ ❛❝❦ ✉s♥ ❧♦✇❡r ❜♦✉♥❞❡❞ ❜② ✐s ❛♥ ❛❝❦ ✉s♥ ✹✳ ■♥✈ ✭❛❝❦ r❝✈❛❜❧❡ ✮ ✶✱ ✷✱ ✸ ✺✳ ■♥✈ ✹✱ ✹ ✷ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✹ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N Pr♦♦❢ ♦❢ ■♥✈ A ✹ ✶✳ ❛❝❦s s❡♥t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ / nr ♥♦♥✲❞❡❝r❡❛s✐♥❣ /
✸✳ ❛❝❦ ✉s♥ ❧♦✇❡r ❜♦✉♥❞❡❞ ❜② ✐s ❛♥ ❛❝❦ ✉s♥ ✹✳ ■♥✈ ✭❛❝❦ r❝✈❛❜❧❡ ✮ ✶✱ ✷✱ ✸ ✺✳ ■♥✈ ✹✱ ✹ ✷ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✹ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N Pr♦♦❢ ♦❢ ■♥✈ A ✹ ✶✳ ❛❝❦s s❡♥t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ / nr ♥♦♥✲❞❡❝r❡❛s✐♥❣ / ✷✳ ❛❝❦s ✐♥ tr❛♥s✐t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ / ♥♦ r❡♦❞❡r✐♥❣ /
✹✳ ■♥✈ ✭❛❝❦ r❝✈❛❜❧❡ ✮ ✶✱ ✷✱ ✸ ✺✳ ■♥✈ ✹✱ ✹ ✷ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✹ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N Pr♦♦❢ ♦❢ ■♥✈ A ✹ ✶✳ ❛❝❦s s❡♥t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ / nr ♥♦♥✲❞❡❝r❡❛s✐♥❣ / ✷✳ ❛❝❦s ✐♥ tr❛♥s✐t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ / ♥♦ r❡♦❞❡r✐♥❣ / ✸✳ ❛❝❦ ✉s♥ ❧♦✇❡r ❜♦✉♥❞❡❞ ❜② na / na ✐s ❛♥ ❛❝❦ ✉s♥ /
✺✳ ■♥✈ ✹✱ ✹ ✷ ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✹ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N Pr♦♦❢ ♦❢ ■♥✈ A ✹ ✶✳ ❛❝❦s s❡♥t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ / nr ♥♦♥✲❞❡❝r❡❛s✐♥❣ / ✷✳ ❛❝❦s ✐♥ tr❛♥s✐t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ / ♥♦ r❡♦❞❡r✐♥❣ / ✸✳ ❛❝❦ ✉s♥ ❧♦✇❡r ❜♦✉♥❞❡❞ ❜② na / na ✐s ❛♥ ❛❝❦ ✉s♥ / ✹✳ ■♥✈ ✭❛❝❦ j r❝✈❛❜❧❡ ⇒ na ≤ j ≤ nr ✮ / ✶✱ ✷✱ ✸ /
❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢ Pr❡s❡r✈✐♥❣ A ✹ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N Pr♦♦❢ ♦❢ ■♥✈ A ✹ ✶✳ ❛❝❦s s❡♥t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ / nr ♥♦♥✲❞❡❝r❡❛s✐♥❣ / ✷✳ ❛❝❦s ✐♥ tr❛♥s✐t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ / ♥♦ r❡♦❞❡r✐♥❣ / ✸✳ ❛❝❦ ✉s♥ ❧♦✇❡r ❜♦✉♥❞❡❞ ❜② na / na ✐s ❛♥ ❛❝❦ ✉s♥ / ✹✳ ■♥✈ ✭❛❝❦ j r❝✈❛❜❧❡ ⇒ na ≤ j ≤ nr ✮ / ✶✱ ✷✱ ✸ / ✺✳ ■♥✈ A ✹ / ✹✱ A ✷ /
Pr❡s❡r✈✐♥❣ A ✹ ❧♦ss② ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N Pr♦♦❢ ♦❢ ■♥✈ A ✹ ✶✳ ❛❝❦s s❡♥t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ / nr ♥♦♥✲❞❡❝r❡❛s✐♥❣ / ✷✳ ❛❝❦s ✐♥ tr❛♥s✐t ❤❛✈❡ ♥♦♥✲❞❡❝r❡❛s✐♥❣ ✉s♥ / ♥♦ r❡♦❞❡r✐♥❣ / ✸✳ ❛❝❦ ✉s♥ ❧♦✇❡r ❜♦✉♥❞❡❞ ❜② na / na ✐s ❛♥ ❛❝❦ ✉s♥ / ✹✳ ■♥✈ ✭❛❝❦ j r❝✈❛❜❧❡ ⇒ na ≤ j ≤ nr ✮ / ✶✱ ✷✱ ✸ / ✺✳ ■♥✈ A ✹ / ✹✱ A ✷ / ❆❜♦✈❡ ✐s ❛♥ ♦♣❡r❛t✐♦♥❛❧ ♣r♦♦❢❀ s❡❡ t❡①t ❢♦r ❛♥ ❛ss❡rt✐♦♥❛❧ ♣r♦♦❢
❖✉t❧✐♥❡ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s ❙❧✐❞✐♥❣ ❲✐♥❞♦✇ Pr♦t♦❝♦❧ ❆♥❛❧②s✐s ♦❢ ❙❧✐❞✐♥❣ ❲✐♥❞♦✇ Pr♦t♦❝♦❧ ■♥✈ A ✸ ✕ A ✹ ❢♦r ❧♦ss② ❝❤❛♥♥❡❧ ■♥✈ A ✸ ✕ A ✹ ❢♦r ▲❘❉ ❝❤❛♥♥❡❧ Pr♦❣r❡ss ❢♦r ❧♦ss②✴▲❘❉ ❝❤❛♥♥❡❧ ❆✇❛✐t✲str✉❝t✉r❡❞ ❙♦✉r❝❡ ❛♥❞ ❙✐♥❦ Pr♦❣r❛♠s ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧ ❛♥❞ Pr♦♦❢ ●r❛❝❡❢✉❧✲❝❧♦s✐♥❣ ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧ ❆❜♦rt❛❜❧❡ ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧
❆♥❛❧②s✐s ❢♦r ▲❘❉ ❈❤❛♥♥❡❧ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s ❋♦r SwpDist ✇✐t❤ ▲❘❉ ❝❤❛♥♥❡❧ ♦❜✈✐♦✉s❧② ■♥✈ A ✸ ✕ A ✹ ❞♦❡s ♥♦t ❤♦❧❞ ❢♦r ❛♥② N ❇✉t ■♥✈ A ✸ ✕ A ✹ ❤♦❧❞s ✐❢ ▲❘❉ ❝❤❛♥♥❡❧ ❤❛s ♠❛① ♠s❣ ❧✐❢❡t✐♠❡ L ♠✐♥ t✐♠❡ δ ❜❡t✇❡❡♥ ns ✐♥❝r❡♠❡♥ts N ≥ SW + RW + L δ
✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❞❛t❛ ❜❡ r❝✈❛❜❧❡ ❛t ✵ ✷ ❞❛t❛ ✇❛s s❡♥t ❛t s♦♠❡ ✶ ✶ ✵ ✸ ❣✉❛r❞s✱ ✶ ✶ ✷ ✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ❣✉❛r❞s ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✵ ✼ ✻✱ ✵ ✷ Pr❡s❡r✈✐♥❣ A ✸ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1
✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❞❛t❛ ❜❡ r❝✈❛❜❧❡ ❛t ✵ ✷ ❞❛t❛ ✇❛s s❡♥t ❛t s♦♠❡ ✶ ✶ ✵ ✸ ❣✉❛r❞s✱ ✶ ✶ ✷ ✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ❣✉❛r❞s ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✵ ✼ ✻✱ ✵ ✷ Pr❡s❡r✈✐♥❣ A ✸ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡
✶ ❧❡t ❞❛t❛ ❜❡ r❝✈❛❜❧❡ ❛t ✵ ✷ ❞❛t❛ ✇❛s s❡♥t ❛t s♦♠❡ ✶ ✶ ✵ ✸ ❣✉❛r❞s✱ ✶ ✶ ✷ ✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ❣✉❛r❞s ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✵ ✼ ✻✱ ✵ ✷ Pr❡s❡r✈✐♥❣ A ✸ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s
✷ ❞❛t❛ ✇❛s s❡♥t ❛t s♦♠❡ ✶ ✶ ✵ ✸ ❣✉❛r❞s✱ ✶ ✶ ✷ ✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ❣✉❛r❞s ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✵ ✼ ✻✱ ✵ ✷ Pr❡s❡r✈✐♥❣ A ✸ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❞❛t❛ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵
✸ ❣✉❛r❞s✱ ✶ ✶ ✷ ✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ❣✉❛r❞s ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✵ ✼ ✻✱ ✵ ✷ Pr❡s❡r✈✐♥❣ A ✸ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❞❛t❛ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵ ✷ ❞❛t❛ j ✇❛s s❡♥t ❛t s♦♠❡ t ✶ > t ✵ − L / ✶ /
✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ❣✉❛r❞s ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✵ ✼ ✻✱ ✵ ✷ Pr❡s❡r✈✐♥❣ A ✸ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❞❛t❛ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵ ✷ ❞❛t❛ j ✇❛s s❡♥t ❛t s♦♠❡ t ✶ > t ✵ − L / ✶ / ✸ j ≥ na( t ✶ ) ≥ ns( t ✶ ) − SW / ❣✉❛r❞s✱ A ✷ /
✺ ✸✱ ✹ ✵ ✻ ✺✱ ✵ ✼ ✻✱ ✵ ✷ Pr❡s❡r✈✐♥❣ A ✸ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❞❛t❛ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵ ✷ ❞❛t❛ j ✇❛s s❡♥t ❛t s♦♠❡ t ✶ > t ✵ − L / ✶ / ✸ j ≥ na( t ✶ ) ≥ ns( t ✶ ) − SW / ❣✉❛r❞s✱ A ✷ / ✹ ❞✉r✐♥❣ [ t ✶ , t ✵ ] ✿ ns ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st L /δ / ❣✉❛r❞s /
✻ ✺✱ ✵ ✼ ✻✱ ✵ ✷ Pr❡s❡r✈✐♥❣ A ✸ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❞❛t❛ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵ ✷ ❞❛t❛ j ✇❛s s❡♥t ❛t s♦♠❡ t ✶ > t ✵ − L / ✶ / ✸ j ≥ na( t ✶ ) ≥ ns( t ✶ ) − SW / ❣✉❛r❞s✱ A ✷ / ✹ ❞✉r✐♥❣ [ t ✶ , t ✵ ] ✿ ns ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st L /δ / ❣✉❛r❞s / ✺ j ≥ ns( t ✵ ) − L /δ − SW / ✸✱ ✹ /
✼ ✻✱ ✵ ✷ Pr❡s❡r✈✐♥❣ A ✸ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❞❛t❛ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵ ✷ ❞❛t❛ j ✇❛s s❡♥t ❛t s♦♠❡ t ✶ > t ✵ − L / ✶ / ✸ j ≥ na( t ✶ ) ≥ ns( t ✶ ) − SW / ❣✉❛r❞s✱ A ✷ / ✹ ❞✉r✐♥❣ [ t ✶ , t ✵ ] ✿ ns ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st L /δ / ❣✉❛r❞s / ✺ j ≥ ns( t ✵ ) − L /δ − SW / ✸✱ ✹ / ✻ j ≥ ns( t ✵ ) − N + RW / ✺✱ N ≥ SW + RW + L /δ /
Pr❡s❡r✈✐♥❣ A ✸ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✸ : ❞❛t❛ j r❝✈❛❜❧❡ ⇒ j ✐♥ nr − N+RW · · · nr+N − 1 A ✸ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✸ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❞❛t❛ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵ ✷ ❞❛t❛ j ✇❛s s❡♥t ❛t s♦♠❡ t ✶ > t ✵ − L / ✶ / ✸ j ≥ na( t ✶ ) ≥ ns( t ✶ ) − SW / ❣✉❛r❞s✱ A ✷ / ✹ ❞✉r✐♥❣ [ t ✶ , t ✵ ] ✿ ns ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st L /δ / ❣✉❛r❞s / ✺ j ≥ ns( t ✵ ) − L /δ − SW / ✸✱ ✹ / ✻ j ≥ ns( t ✵ ) − N + RW / ✺✱ N ≥ SW + RW + L /δ / ✼ j ≥ nr( t ✵ ) − N + RW / ✻✱ A ✷ /
✹ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ ✹ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❛❝❦ ❜❡ r❝✈❛❜❧❡ ❛t ✵ ✷ ❛❝❦ ✇❛s s❡♥t ❛t s♦♠❡ ✶ ✶ ✵ ✸ ✷✱ ❣✉❛r❞✱ ✶ ✶ ✶ ✷ ✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✱ ✵ Pr❡s❡r✈✐♥❣ A ✹ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N
✹ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❛❝❦ ❜❡ r❝✈❛❜❧❡ ❛t ✵ ✷ ❛❝❦ ✇❛s s❡♥t ❛t s♦♠❡ ✶ ✶ ✵ ✸ ✷✱ ❣✉❛r❞✱ ✶ ✶ ✶ ✷ ✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✱ ✵ Pr❡s❡r✈✐♥❣ A ✹ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N A ✹ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡
✶ ❧❡t ❛❝❦ ❜❡ r❝✈❛❜❧❡ ❛t ✵ ✷ ❛❝❦ ✇❛s s❡♥t ❛t s♦♠❡ ✶ ✶ ✵ ✸ ✷✱ ❣✉❛r❞✱ ✶ ✶ ✶ ✷ ✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✱ ✵ Pr❡s❡r✈✐♥❣ A ✹ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N A ✹ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✹ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s
✷ ❛❝❦ ✇❛s s❡♥t ❛t s♦♠❡ ✶ ✶ ✵ ✸ ✷✱ ❣✉❛r❞✱ ✶ ✶ ✶ ✷ ✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✱ ✵ Pr❡s❡r✈✐♥❣ A ✹ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N A ✹ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✹ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❛❝❦ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵
✸ ✷✱ ❣✉❛r❞✱ ✶ ✶ ✶ ✷ ✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✱ ✵ Pr❡s❡r✈✐♥❣ A ✹ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N A ✹ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✹ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❛❝❦ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵ ✷ ❛❝❦ j ✇❛s s❡♥t ❛t s♦♠❡ t ✶ > t ✵ − L / ✶ /
✹ ❞✉r✐♥❣ ✵ ✿ ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st ✶ ✺ ✸✱ ✹ ✵ ✻ ✺✱ ✱ ✵ Pr❡s❡r✈✐♥❣ A ✹ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N A ✹ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✹ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❛❝❦ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵ ✷ ❛❝❦ j ✇❛s s❡♥t ❛t s♦♠❡ t ✶ > t ✵ − L / ✶ / ✸ j = nr( t ✶ ) ≥ na( t ✶ ) ≥ ns( t ✶ ) − SW / ✷✱ ❣✉❛r❞✱ A ✷ /
✺ ✸✱ ✹ ✵ ✻ ✺✱ ✱ ✵ Pr❡s❡r✈✐♥❣ A ✹ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N A ✹ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✹ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❛❝❦ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵ ✷ ❛❝❦ j ✇❛s s❡♥t ❛t s♦♠❡ t ✶ > t ✵ − L / ✶ / ✸ j = nr( t ✶ ) ≥ na( t ✶ ) ≥ ns( t ✶ ) − SW / ✷✱ ❣✉❛r❞✱ A ✷ / ✹ ❞✉r✐♥❣ [ t ✶ , t ✵ ] ✿ ns ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st L /δ
✻ ✺✱ ✱ ✵ Pr❡s❡r✈✐♥❣ A ✹ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N A ✹ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✹ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❛❝❦ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵ ✷ ❛❝❦ j ✇❛s s❡♥t ❛t s♦♠❡ t ✶ > t ✵ − L / ✶ / ✸ j = nr( t ✶ ) ≥ na( t ✶ ) ≥ ns( t ✶ ) − SW / ✷✱ ❣✉❛r❞✱ A ✷ / ✹ ❞✉r✐♥❣ [ t ✶ , t ✵ ] ✿ ns ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st L /δ ✺ j ≥ ns( t ✵ ) − L /δ − SW / ✸✱ ✹ /
Pr❡s❡r✈✐♥❣ A ✹ ▲❘❉ ❝❤❛♥♥❡❧ s✇♣ ❛♥❛❧②s✐s A ✷ : na ≤ nr ≤ ns ≤ na+SW A ✹ : ❛❝❦ j r❝✈❛❜❧❡ ⇒ j ✐♥ ns − N+1 · · · na+N A ✹ ✳r❤s ✉♣♣❡r ❜♦✉♥❞ ❤♦❧❞s ❡①❛❝t❧② ❛s ✐♥ ❧♦ss② ❝❤❛♥♥❡❧ ❝❛s❡ A ✹ ✳r❤s ❧♦✇❡r ❜♦✉♥❞ ❤♦❧❞s ❛s ❢♦❧❧♦✇s ✶ ❧❡t ❛❝❦ j ❜❡ r❝✈❛❜❧❡ ❛t t ✵ ✷ ❛❝❦ j ✇❛s s❡♥t ❛t s♦♠❡ t ✶ > t ✵ − L / ✶ / ✸ j = nr( t ✶ ) ≥ na( t ✶ ) ≥ ns( t ✶ ) − SW / ✷✱ ❣✉❛r❞✱ A ✷ / ✹ ❞✉r✐♥❣ [ t ✶ , t ✵ ] ✿ ns ✐♥❝r❡❛s❡s ❜② ❛t ♠♦st L /δ ✺ j ≥ ns( t ✵ ) − L /δ − SW / ✸✱ ✹ / ✻ j ≥ ns( t ✵ ) − N + 1 / ✺✱ N ≥ SW + RW + L /δ ✱ RW > 0 /
❖✉t❧✐♥❡ ♣r♦❣r❡ss s✇♣ ❛♥❛❧②s✐s ❙❧✐❞✐♥❣ ❲✐♥❞♦✇ Pr♦t♦❝♦❧ ❆♥❛❧②s✐s ♦❢ ❙❧✐❞✐♥❣ ❲✐♥❞♦✇ Pr♦t♦❝♦❧ ■♥✈ A ✸ ✕ A ✹ ❢♦r ❧♦ss② ❝❤❛♥♥❡❧ ■♥✈ A ✸ ✕ A ✹ ❢♦r ▲❘❉ ❝❤❛♥♥❡❧ Pr♦❣r❡ss ❢♦r ❧♦ss②✴▲❘❉ ❝❤❛♥♥❡❧ ❆✇❛✐t✲str✉❝t✉r❡❞ ❙♦✉r❝❡ ❛♥❞ ❙✐♥❦ Pr♦❣r❛♠s ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧ ❛♥❞ Pr♦♦❢ ●r❛❝❡❢✉❧✲❝❧♦s✐♥❣ ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧ ❆❜♦rt❛❜❧❡ ❉❛t❛ tr❛♥s❢❡r Pr♦t♦❝♦❧
❉❡s✐r❡❞ ♣r♦❣r❡ss ♦❢ ❙✇♣ ♣r♦❣r❡ss s✇♣ ❛♥❛❧②s✐s X ✷ : (nd = k < ng ❧❡❛❞s✲t♦ nd > k) ❛ss✉♠✐♥❣ ✇❢❛✐r s❡♥❞ ✭♦❢ sbuffns ✮ ✇❢❛✐r r❡s❡♥❞ ✭♦❢ sbuffna ✮ ✇❢❛✐r s✐♥❦ ✉s❡r r① ✭♦❢ rbuffnd ✮ ✇❢❛✐r s♦✉r❝❡ r① ✭♦❢ ♠s❣ ❢r♦♠ ❧♦ss②✴❧r❞ ❝❤❛♥♥❡❧✮ ✇❢❛✐r s✐♥❦ r① ✭♦❢ ♠s❣ ❢r♦♠ ❧♦ss②✴❧r❞ ❝❤❛♥♥❡❧✮ ❧♦ss②✴❧r❞ ❝❤❛♥♥❡❧ ♣r♦❣r❡ss
❧❡❛❞s✲t♦ ✶ sr❝ r❡s❡♥❞✱ s♥❦ r①✱ sr❝ r①✱ ❝❤❛♥♥❡❧ ♣r♦❣r❡ss ❧❡❛❞s✲t♦ ✷ sr❝ r❡s❡♥❞✱ s♥❦ r①✱ ❝❤❛♥♥❡❧ ♣r♦❣r❡ss ✸ ❧❡❛❞s✲t♦ s✐♥❦ ✉s❡r r①✱ ✷ ✷ ✱ ❧❡❛❞s✲t♦ ✹ ✸ ✹ ✱ ❧❡❛❞s✲t♦ ✺ ✶ ✺ ✱ ■♥✈ ❧❡❛❞s✲t♦ ✻ Pr♦❣r❡ss ♦❢ s❧✐❞✐♥❣ ✇✐♥❞♦✇s ♣r♦❣r❡ss s✇♣ ❛♥❛❧②s✐s
Recommend
More recommend