|
|
|
- Christiana Bryan
- 5 years ago
- Views:
Transcription
1 Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ Ð ØÙÖ ÒØÖÓ Ù Ø ÖÓÙØ Ò ÔÖÓ Ð Ñ Ò Ö ÓÑÑÓÒ ÔÔÖÓ ØÓ Ø ÓÐÙØ ÓÒ Ì Ð ÓÖ Ø Ñµ ÓÖ ÓÖØ Ø¹Ô Ø ÖÓÙØ Ò º ØÖ ³ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ¼ ÊÓÙØ Ò Å ØØ Û ÊÓÙ Ò ÓÑÑÓÒ ÔÔÖÓ ØÓ ÖÓÙØ Ò Ù ÓÖØ Ø¹Ô Ø º Ì Ð ÓÖ Ø Ñ ÓÖ ÓÐÚ Ò ÓÖØ Ø¹Ô Ø ÖÓÙØ Ò ÒÓÒ Ð ØÖ ³ º ÍÒ Ú Ö ØÝ Ó Ð Å Ö ¾¼ ¾¼¼ Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4
2 ÄÓ Ð Ú È Ý Ð Æ ØÛÓÖ ÄÓ Ð Ú È Ý Ð Æ ØÛÓÖ ÈÓ Ð ÐÓ Ð Ò ØÛÓÖ ØÓÔÓÐÓ Ý Ð Ý Ö ¾µ ÈÓ Ð Ô Ý Ð ØÓÔÓÐÓ Ý Ð Ý Ö ½µ Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p.4/4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p.4/4
3 Å ÔÔ Ò Ø ÐÓ Ð ØÓ Ø Ô Ý Ð ÄÓ Ð Ú È Ý Ð Æ ØÛÓÖ ÈÓ Ð ÐÓ Ð Ò ØÛÓÖ ØÓÔÓÐÓ Ý Ð Ý Ö µ Æ ØÛÓÖ Ñ Ô Ø ÓÒ Ð Ý Öµ Ò ÕÙ Ø Ñ Ð Ò Network layer routers packets Link layer virtual ciruits switches Physical layer optical fiber WDM cross connects Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4 Ï Ò Ó Ò ØÛÓÖ ÓÔØ Ñ Þ Ø ÓÒ Ø ÒÝ Ð Ý Ö ÓÖ ÐÐ Ó Ø Ñ Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4
4 ÊÓÙØ Ò ÖÙ Ø Û Ø Ò ÛÓÒ³Ø Ó Û Ý ÓÖ ÔÙÖ Ø ÁÈ Ò Ø¹ Ú Ò Ó Ø Ò ÖÙ Ø Û Ø Ò Ò ÐÓÛ Ö Ð Ý Ö ¹ÅÈÄË Ð Ñ ¹ Û Ø Ò Ï Å ÐÐÓÛ ÑÙÐØ ÔÐ Û Ú Ð Ò Ø Ó Ð Ø ØÓ Ò Ñ Ø Ó ØÓ Ñ Ô Ô Ø ÖÓÙØ ØÓ Ð Ò Ï ÐÐ ÖÓÙØ Ò ÔÖÓØÓÓÐ Ú Ö Ð ØÝÔ Ü Ø Û ÓÒ Ö ØÓ Ýµ Ö Ò Ð Ö ÓÔØ Ð ÖÓ ¹ÓÒÒ Ø Û Ø Ø Ð Ø ÒÓ Ð ØÖÓÒ ÒÚÓÐÚ ÔÙÖ ÐÝ ÓÔØ Ð Ð Ò Ø Ø ÓÖØ Ø Ô Ø Á È ÁÒØ Ö ÓÖ Ø Û Ý ÈÖÓØÓÓе ÔÖÓØÓÓÐ ØÓ Ø ÙÔ Ò Ø Ö ÓÛÒ ÓÔØ Ð ÖÙ Ø Ô Ø ÓÖÛ Ö Ò ÓÒ ØÓÔ Ó Ø ÖÙ Ø ÖÓÙØ Ò ÔÖÓØÓÓÐ Communications Network Design: lecture 0 p.7/4 Communications Network Design: lecture 0 p.8/4 Communications Network Design: lecture 0 p.7/4 Communications Network Design: lecture 0 p.8/4
5 Ò ÙÑÔØ ÓÒ ÆÓØ Ø ÓÒ ÇÖ Ò¹ Ø Ò Ø ÓÒ Ç¹ µ Ô Ö (p,q) N N ÙÒ ÖÐÝ Ò ØÖÙØÙÖ Ö Ô Û Ø Ì Ø Ó ÒÓ N = Ð Ó ÐÐ Ú ÖØ Üµ {,,...n} N = n ÒÓ ÓÙÐ ÖÓÙØ Ö Ò Ë ÈÓÈ ººº Ä Ø K Ø Ø Ó ÐРǹ Ô Ö K = {[p,q] : p,q N}. Ç Ö ØÖ ØÛ Ò Ç¹ Ô Ö (p,q) t pq ÆÓØ Ø ÓÒ Ò ÙÑÔØ ÓÒ Ø Ó Ð Ò E N Ð Ó ÐÐ µ N E {(i, j) : i, j N,i j} E n(n )/ Ð Ò ÓÙÐ Ô Ý Ð Ð Ò ÐÓ Ð ÖÙ Ø ººº ÙÑ Ø Ð Ò Ö ÙÒ Ö Ø Ó (i, j) = ( j,i) Ì Ø Ó Ô Ø Ò G(N,E) Ó Ò Ò Ò Ç¹ Ô Ö (p,q) ÒÓØ P pq º Ô Ø Ö ÙÑ ØÓ ¹ÝÐ º º ÒÓ ÒÓ Ú Ø ØÛ º º ÐÓÓÔ Ö Ø Ù Ø Ñ Ö ÔØ ÓÒ Ö Ì Ø Ó ÐÐ Ô Ø Ò G(N,E) ÒÓØ Pº P = [p,q] K P pq ÐÝ Ò Ö Ð Þ ØÓ Ö Ø Ö Ô Ì Ò ØÛÓÖ Ò Ý Ø Ö Ô G(N,E) Communications Network Design: lecture 0 p.9/4 Communications Network Design: lecture 0 p.0/4 ÓÙ Ò ØÓ ÒÓÛ Ø ÒÓØ Ø ÓÒ Û Û ÐÐ Ù Ø Ø ÖÓÙ ÓÙØ Ø ÓÙÖ ÓÙ Ò ØÓ ÒÓÛ Ø ÒÓØ Ø ÓÒ Û Û ÐÐ Ù Ø Ø ÖÓÙ ÓÙØ Ø ÓÙÖ Communications Network Design: lecture 0 p.9/4 Communications Network Design: lecture 0 p.0/4
6 4 Ò ÙÑÔØ ÓÒ ÆÓØ Ø ÓÒ Ð Ò e Ô ØÝ ÒÓØ Ý E r e 0)º ( ÁÒ ÓÑÑÙÒ Ø ÓÒ Ò ØÛÓÖ Ø Ø Ñ Ü ÑÙÑ Ö Ø Û Ø ÙÒ Ø Ó Ø» Ø Ö Ø µº ÖÚ Á Ö Ð Ò ÙÒ Ô Ø Ø {, e E r e = 0, e E Ä Ò Ú Ô Ý Ð Ø Ò Ó Ø Ò Ñ ÙÖ Ò Æ ØÛÓÖ È Ø Ó ÔÖÓÔ Ø ÓÒ Ð Ý d Ø ÖÑ e 0)º ( Ï Ö Ö ÕÙ Ö ÙÑ d e =, e E P È Ø ½¹¾¹ ¹ ½¹¾¹ ¹ ¹ ½¹¾¹ ¹ ½¹ ¹ ½¹ ¹ ¹ ½¹ ¹¾¹ ¹ ¹ ½¹ ¹¾¹ ¹ ½¹ ¹ ½¹ ¹ ¹¾¹ ¹ Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4
7 ÊÓÙØ Ò ÊÓÙØ Ò Ò Ò ÖÓÙØ Ò Ñ Ô Ò ¹ØÓ¹ Ò ØÖ ÖÓÑ p ØÓ q º º t pq ØÓ Ò ¹ØÓ¹ Ò Ô Ø Ò P pq ØÓ Ð Ò Ò E Ø Ö Ö Ú ÖÝ Ñ ÒÝ Ô Ø Ò³Ø Ö Ø Ñ ÐÐ Ú ØÓ Ð Ú Ö ÓÙØ Ó Ó Ô Ø Ò Ù ÑÙÐØ ÔÐ Ô Ø ÐÓ ¹ Ð Ò Ò ÔÖ ÐÓ ÓÚ Ö Ô Ø Ï ÒØ ØÓ ÖÓÙØ ØÖ t pq ÖÓÑ ÒÓ p ØÓ q ÓÒ Ú Ö Ð Ö x µ x µ = ØÖ ÐÐÓ Ø ØÓ Ô Ø µ P. Ø Ø ÆÓØ x µ Ò ÓÖ ÐÐ 0 [p,q] Ò K x µ = t pq µ P pq Ø x Ð Ó µ Ó ÒØ Ö ØÖ ÖÓÙØ ÓÒ Ô Ø µ P pq ÖÓÑ ÓÒÐÝ t ÓÑ pq º Ì Ú ØÓÖ x = (x µ : µ P) ÐÐ Ø ÖÓÙØ Ò º Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p.4/4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p.4/4
8 ÊÓÙØ Ò Ó Ø ÊÓÙØ Ò Ó Ø ÖÓÙØ Ò Ò Ù ÐÓ ÓÒ Ð Ò ÒÝ ÒÓØ Ø ÐÓ ÓÒ Ð Ò e Ý E f e º ÁÒ Ö Ø Ò ØÛÓÖ ÐÓ ÐÐ ÓÛ Ð Ò ÐÓ Ö Ó Ø Ò Ý ÙÑÑ Ò Ø ØÖ ØÓ ÐÐ Ô Ø ÓÒØ Ò Ò Ø Ð Ò eº ÐÐÓ Ø f e = x µ µ P:e µ Ø Ø ÐÓ Ò Ù Ó Ø ÙÑ ÐÓ Ù ÓÒ Ø ÓÒ ÒÖ Ð Ý Ò Ò ØÝÔ Ó Ó Ø Û Ñ Ý ÔÙÖ Ò ØÛÓÖ Ô ØÝ ÖÓÑ ÔÖÓÚ Ö Ø Ý Ñ Ý Ö ÓÒ Ù Ò ØÛÓÖ ÖÓÛ Ì Ú ØÓÖ f = ( f e : e E) ÐÐ Ø ÐÓ ÓÒ Ø Û Ô ØÝ ÑÓÖ ÐÓ ÓÒ Ð Ò Û Ò ØÓ Ô ØÝ ÓÓÒ Ö Û Ó Ø Ù ÑÓÖ Ì Ó Ø Ó Ø Ò ØÛÓÖ ÓÖ Ú Ò ÐÓ f C(f) Ò ØÛÓÖ º Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4
9 ØÖ ÓÒ ÖÚ Ø ÓÒ ÓÒ ØÖ ÒØ Ô ØÝ ÊÓÙØ Ò ÔÖÓ Ð Ñ ÊÓÙØ Ò ÔÖÓ Ð Ñ ÊÓÙØ Ò ÈÖÓ Ð Ñ Ø ÖÑ Ò Ø ÓÔØ Ñ Ð ÖÓÙØ Ò x Ì Ñ Ò Ñ C(f) ØÓ ÊÓÙØ Ò ÈÖÓ Ð Ñ Ø ÖÑ Ò Ø ÓÔØ Ñ Ð ÖÓÙØ Ò x Ì Ñ Ò Ñ C(f) ØÓ f e = x µ, e E µ P:e µ x µ 0, µ P x µ µ P pq = t pq, [p,q] K f e r e, e E ÓÖÑÙÐ Ø ÓÒ Ñ Ò Ñ Þ C(f) ºØº Ò Ù ÐÓ ÖÓÙØ Ò ÓÖÑÙÐ Ø ÓÒ Ñ Ò Ñ Þ C(f) ºØº f e = µ P:e µ x µ, e E x µ 0, µ P µ P pq x µ = t pq, [p,q] K Ô Ø f e r e, e E ǹ Ô Ö Communications Network Design: lecture 0 p.7/4 Communications Network Design: lecture 0 p.8/4 Communications Network Design: lecture 0 p.7/4 Communications Network Design: lecture 0 p.8/4
10 È Ø Ð Ò Ø Ó Ø Ä Ò Ö Ê ÑÓÚ Ô ØÝ ÓÒ ØÖ ÒØ ÙÑ Ð Ò Ö Ó Ø Û Ø Ò Ö Û Ø α e C(f) = α e f e, e E α e 0, e E Ø Ò Ø Ó Ø Ó Ù Ò Ø Ð Ò Ö ØÐÝ ØÓ Ø ÐÓ ÓÒ Ø Ð Ò º º ÔÖÓÔÓÖØ ÓÒ Ð α e ÓÑ Ø Ñ ÐÐ Ø Ð Ò Ø Ó Ø Ð Ò Ø Ð Ò Û Ø Ø Ð Ò Ó Ø C( f e ) f e Communications Network Design: lecture 0 p.9/4 Ò Ó ÓÒ Ú Ö Ð Ì Ò Ø ÖÑ Ø C(f) = α e f e e E ( ) = α e x µ e E( µ P:e µ = α e )x µ µ P e µ = l µ x µ µ P l µ = e µ α e Ó Ø ÓÖ Ð Ò Ø Ó Ô Ø µ Pº Ø ÐÐ ÁØ Ø ÙÑ Ó ÐÐ Ø Ð Ò Ó Ø ÐÓÒ Ø Ô Ø Ê Ð Ø ÓÒ Ô ØÛ Ò Ð Ò Ó Ø Ò Ô Ø Ð Ò Ø ÐÓÒ Ö Ô Ø Ù ÑÓÖ Ö ÓÙÖ Communications Network Design: lecture 0 p.0/4 Communications Network Design: lecture 0 p.9/4 Communications Network Design: lecture 0 p.0/4
11 4 4 Û ÒØ Ñ Ò Ñ Þ C(f) = Ï α ØÓ e f e = l µ x µ e E µ P Ò Ñ Ò ÑÙÑ Ð Ò Ø Ô Ø ˆl pq = Ñ Ò{l µ : µ P pq } ÔÙØ ÐÐ ØÖ t pq ÓÒ Ñ Ò ÑÙÑ Ð Ò Ø Ô Ø Ä Ò Ö Ó Ø ÓÖØ Ø Ô Ø ÖÓÙØ Ò Æ ØÛÓÖ Ô Ø ¹Ð Ò Ø Ü ÑÔÐ 7 Ø Ò Ø Ó Ø Û C(f) = l µ x µ = ˆl pq t pq µ P [p,q] K ÔÓ Ð Ô Ø ÖÓÑ ½ ¹ ¾ ÌÛÓ È Ø ½ ½¹¾µ Ò Ð Ò Ø l µ = 7 È Ø ¾ ½¹ ¹¾µ Ò Ð Ò Ø l µ = 4+4 = 8 Communications Network Design: lecture 0 p./4 ÔÖÓ Ð Ñ ÓÐÚ Û Ù Ø Ú ØÓ Ò ÓÖØ Ø Ô Ø ØÖ ³ Ð ÓÖ Ø Ñ ÐÓÝ ¹Ï Ö ÐÐ Ð ÓÖ Ø Ñ Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4
12 ËÔ Ð Ø Ò ØÛÓÖ ÙÐÐÝ Ñ Ð ÕÙ µ E = {(i, j), i, j N,i j} Ø α e Ø ØÖ Ò Ð Ò ÕÙ Ð ØÝ º º Ø Ý α ik α i j + α jk, i,k, j N α ij j α jk ÌÖ Ò Ð Ò ÕÙ Ð ØÝ Ì Ò Ø Ô Ø Ó Ñ Ò ÑÙÑ Ó Ø ØÛ Ò ÒÝ ØÛÓ ÒÓ p,q Ø Ö Ø Ð Ò (p,q)º Ì Ø Û ÖÓÙØ ÐÐ Ó Ö ØÖ t pq Ö ØÐÝ i α ik k ÖÓÑ p ØÓ qº Ì Ò ØÛÓÖ ÐÐ ÙÐÐÝ Ñ Ò ØÛÓÖ ÓÖ Ð ÕÙ µ Û Ø Ö Ø Ð Ò α ik α i j + α jk, i,k, j N ÖÓÙØ Ò º Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p.4/4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p.4/4
13 ØÖ ³ Ð ÓÖ Ø Ñ Ð ÓÖ Ø Ñ ØÖ ³ ÑÓ Ø Ò ØÛÓÖ Ö ÒÓØ Ð ÕÙ Ø Ñ Ø Ó ØÓ Ò ÓÖØ Ø Ô Ø ØÖ ³ ½ Ð ÓÖ Ø Ñ Ö ØÖ ½ ¼¹¾¼¼¾µ ÙØ ÓÑÔÙØ Ö ÒØ Ø ÌÙÖ Ò ÔÖ Þ Û ÒÒ Ö ½ ¾º ÓØÓ ËØ Ø Ñ ÒØ ÓÒ Ö À ÖÑ ÙÐ Ô Ô Ö Ò Ø Ò Ó ÐÐ ÒÓ ÖÓÑ ÓÒ Ø ÖØ ÔÓ ÒØ ÛÓÖ Ý Ò Ò Ô Ø Ò ÓÖ Ö Ó ÓÖØ Ø Ö Ø ÐÓÒ Ö Ô Ø Ö Ù ÐØ ÙÔ Ó ÓÖØ Ö Ô Ø ÁÒÔÙØ Ö Ô (N,E) Ð Ò Ò Ø Ò Û Ø α Ð Ò e 0 i = j d i j = α e (i, j) = Û Ö e E (i, j) = e Û Ö E Ø ÖØ ÒÓ ÏÄÇ ÙÑ Ø ÒÓ ÇÙØÔÙØ Ø Ò D j ÒÓ j N ÖÓÑ Ø ÖØ ÒÓ º Ó ÔÖ ÓÖ ÒÓ ÓÖ ÒÓ Ú Ô Ø µ Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4 ÏÄÇ Ï Ø ÓÙØ ÄÓ Ó Ò Ö Ð ØÝ Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4
14 Û Ò Ø Ð Þ ØÖ Ø Ò Ø Ð Ø Ò D Ï Ò j = d j ÑÔÐ ØÐÝ Ø ØÓ ÓÖ ÒÝ ÒÓ Ö Ö ØÐÝ ÓÒÒ Ø ØÓ ÒÓ ½º ÒÓØ ½ Ð Ø Ò Û ÒÓ ØÓ ØÓ ÓÙÖ Ø Ó Ð ÐÐ ÒÓ º ÁØ ÓÓ Ø ÒÓ ÖÓÑ Ø ËØ Ô Øµ Ø Ø ÐÓ Ø Ñ ÙÖ Ý Ø ÙÖÖ ÒØ Ú ØÓÖ Dµ ØÓ Ø Ø ÖØ Ò ÒÓ º ÙÒÐ ÐÐ ¾ ÙÔ Ø Ø Ø Ò Ú ØÓÖ Dº Ì Ø Ò ÓÖ Ø Ð ÐÐ ÒÓ ÓÒ³Ø Ò ÙØ ËØ Ô Ø ÙÒÐ ÐÐ ÒÓ Û Ø Ø Ø Ò ØÓ Ø Ñ Ò ÑÙÑ Ó Ø Ø Ò ØÓ Ð ÐÐ ÓÖ ØÖ Ü ÑÔÐ ØÖ ³ Ð ÓÖ Ø Ñ Ä Ø S Ø Ø Ó Ð ÐÐ ÒÓ º S = {} ÁÒ Ø Ð D 0 = D j = d j j º º S, j º ½ Ò Ø Ò ÜØ ÐÓ Ø ÒÓ ËØ Ô i S Ù Ø Ø D Ò i = Ñ Ò{D j : j S} S = S {i}º Ë Ø S = N ØÓÔ Á start node 4 4 ¾ Ò Ò Û Ø Ò ËØ Ô ÐÐ j S Ø ÓÖ D j = Ñ Ò{D j,d i + d i j } ÓØÓ ËØ Ô ½º Communications Network Design: lecture 0 p.7/4 Communications Network Design: lecture 0 p.8/4 ÒÓ Ò Ø Ò ÖÓÑ Ø Ø ÒÓ ØÓ Ø Ø ÖØ ÔÓ Òغ Initialise 0 S={} 4 4 D=(0,,,, ) ØÖ Ü ÑÔÐ Communications Network Design: lecture 0 p.7/4 Communications Network Design: lecture 0 p.9/4
15 Step S={,} D=(0,,,, ) Step S={,,4} D=(0,,,4,9) ØÖ Ü ÑÔÐ ØÖ Ü ÑÔÐ Communications Network Design: lecture 0 p.0/4 Communications Network Design: lecture 0 p./4 Step 0 S={,} D=(0,,,4,9) changed Step S={,,4} D=(0,,,4,9) ØÖ Ü ÑÔÐ ØÖ Ü ÑÔÐ Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4
16 Step S={,,4,} D=(0,,,4,9) Step & stop S={,,4,,} 4 D=(0,,,4,) ØÖ Ü ÑÔÐ ØÖ Ü ÑÔÐ Communications Network Design: lecture 0 p.4/4 Communications Network Design: lecture 0 p./4 ØÖ Ü ÑÔÐ Step S={,,4,} D=(0,,,4,) changed 4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4
17 ¹ ½ ¾ ½ Ö ÙÐØ Ó ØÖ ØÖ ÓÒÒ Ø Ò ÐÐ ÒÓ ØÓ Ø Ò Ø Ð ÒÓ º Ì ÔÖ ÓÖ Ì ÒÓ Ò Ø ÓÙ Ø Ó Ø Ô Ö ÒØ Ò Ø ØÖ º Ú Ò Ø Ô Ö ÒØ Ó ÒÓ Ø Ó ÓÑÔÐ Ø ÐÝ Ò Ò Ó Ò Ö Ø Ô Ø ÖÓÑ ÒÓ ØÓ Ø Ø ÖØ Ò ØÖ ÒÓ º SPF tree S={,,4,,} D=(0,,,4,) ÒØÙ Ø ÓÒ ØÖ Ù Ð Ë ÓÖØ Ø¹È Ø Ö Øµ ËÈ ØÖ Ð Ø Ø ÖÓÛ ÖÓÛ Ý Ò ÓÖØ Ø Ô Ø ÓÒØÓ Ø ÓÐÙØ ÓÒ ÑÙ Ø ÐÓÓ Ð ØÖ ØÓ Ø Ô Ø Û ÓÒÐÝ Ò ØÓ Ô ØÖ Ó ÔÖ ÓÖ º º ÔÖ Ú ÓÙ Ü ÑÔÐ ÒÓ ÔÖ ÓÖ ØÖ Ê ÙÐØ Communications Network Design: lecture 0 p.7/4 Communications Network Design: lecture 0 p.8/4 ¾ Communications Network Design: lecture 0 p.7/4 Communications Network Design: lecture 0 p.8/4
18 Ôµ ÓÒ O( E + N log N ) Ù ØÖ ØÖ ³ Ð ÓÖ Ø Ñ ÓÐÚ Ò Ð ¹ ÓÙÖ ÓÑÔÐ Ü ØÝ ØÖ ÑÔÐ ÑÔÐ Ñ ÒØ Ø ÓÒ ÓÑÔÐ Ü ØÝ O( N ) Ó³ ÑÔÐ Ñ ÒØ Ø ÓÒ Ó ØÖ Ø Ø Ò ¾ Ðй Ø Ò Ø ÓÒ ÔÖÓ Ð Ñ ÐÝ ÜØ Ò ØÓ Ö Ø Ö Ô Ò ÓÒÐÝ Ó Ò ÙÔ Ò Ø Ö Ø ÓÒ Ó Ð Ò ÓÑÔºØ Ñ =.N.N + 00 Ñ ÖÓ ÓÒ Ð Ò ¹ Ø Ò Û Ø µ ÑÙ Ø ÒÓÒ¹Ò Ø Ú Ø Ö Ö Ò Ö Ð Þ Ø ÓÒ ØÓ Ð Û Ø Ò Ø Ú ÓÑÔÐ Ü ØÝ ÙÑ Ò Ñ ÖØ Ø ØÖÙØÙÖ º º Û Ø ÒÓØ Ó Ø Ò Ò ÓÖ ÓÑÑÙÒ Ø ÓÒ Ò ØÛÓÖ ÑÓÖ Ü ÑÔÐ Ù ÓÖ E ÒÙÑ Ö Ó = N ÒÙÑ Ö Ó ÒÓ = ØÓ ÓÑÔÙØ Ô Ø ÓÖ ÐÐ Ô Ö Û Ò Ô Ö ÓÖÑ ÓÖ Ø ÖØ Ò ÔÓ ÒØ Û Ø ÓÑÔÐ Ü ØÝ ØÖ O( N E + N log N ) Communications Network Design: lecture 0 p.9/4 Communications Network Design: lecture 0 p.40/4 Communications Network Design: lecture 0 p.9/4 Communications Network Design: lecture 0 p.40/4
19 Ð ÓÖ Ø Ñ ÓÐÚ Ø Ò Ð ¹ ÓÙÖ ÓÖØ Ø¹Ô Ø ÔÖÓ Ð Ñ ØÖ ³ Ò ØÛÓÖ Ø Ø Ú ÒÓÒÒ Ø Ú Û Ø º Ò Ø ÓÙÖ ÒÓ s Ø ÖÓÓØ Ø Ò Û Ò ØÓ ÓÛ Ø Ø Ø ÐÐ ÖÓÑ s ØÓ ÒÓ x ÓÖÖ ÔÓÒ ØÓ ÓÖØ Ø Ô Ø Ò Ø Ô Ø ÖÓÑ s ØÓ xº ÆÓØ Ø Ø Ø Ø Ó Ô Ø ÓÖÑ ØÖ ÓÙØ Ó Ö Ô Ó Ó Ø Ö Ô º Ù Ø ÔÖÓÓ Ù Ò ÙØ ÓÒº Ï ÙÑ Ø Ø Ø Ù ØÖ ÓÖÑ Ø Ì ÔÓ ÒØ ÐÓÒ Ø Ð ÓÖ Ø Ñ Ø ÔÖÓÔ ÖØÝ Ó ÓÖØ Ø Ô Ø µº ÓÑ Ø Ø ÖØ Ò ÔÓ ÒØ Ø Ø ÙÑÔØ ÓÒ Ó Û Ò ÓÒÐÝ Ð ÖÐÝ Ø Ø Ò Ò Û ÒÓ x ÓÖØ Ø Ô Ø ØÓ Ø Ø ÒÓ º ÐÐ ÔÖÓÚ Ô Ø ØÓ x ÑÙ Ø Ò Û Ø Ô Ø ÖÓÑ Ø ÙÖÖ ÒØ Ù ØÖ ÓØ Ö Ø Ö ÓÖØ Ø Ô Ø µ ÓÐÐÓÛ Ý Ò ØÓ ÒÓ ÒÓØ Ù Ø ØÖ º Ý ÓÒ ØÖÙØ ÓÒ ÐÐ Ù Ô Ø Ö ÐÓÒ Ö Ø Ò Ø ÓÒ ÓÒ s ØÓ x Ø Ø ÔÖÓ Ù Ý ØÖ º ÖÓÑ Ë Ø Ó ÔÖÓÓ Ó ØÖ ØÖ ÓÑÔÐ Ü ØÝ Ó ¼¼ Ò ½¾¼¼¼ Ëʵ ÓÑÔÙØ Ø ÓÒ ÑÔ Ö Ð ÓÖ ØÖ ¾ Ø Ñ ÈÖÓÓ computation time (ms) N.N + 00µs Number of nodes N Communications Network Design: lecture 0 p.4/4 Communications Network Design: lecture 0 p.4/4 Communications Network Design: lecture 0 p.4/4 Communications Network Design: lecture 0 p.4/4
20 º ØÖ ÒÓØ Ò ØÛÓ ÔÖÓ Ð Ñ Ò ÓÒÒ Ü ÓÒ Û Ø Ö Ô ÆÙÑ Ö ½ ÚÓк ½ ÔÔº ¾ ¾ ½ ½ º Å Ø Ñ Ø º Ë Ò º Ö Ò Ö ÜÔ Ö Ò Ò Ð ¹ ÓÜ ÇËÈ Ñ ÙÖ Ñ ÒØ Ò ÈÖÓº ¾ ËÁ ÇÅÅ ÁÒØ ÖÒ Ø Å ÙÖ Ñ ÒØ ÏÓÖ ÓÔ ÔÔº ½½ ½¾ ¾¼¼½º Å References Communications Network Design: lecture 0 p.4/4
Communications Network Design: lecture 07 p.1/44
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ¼ Å ØØ Û ÊÓÙ Ò ÍÒ Ú Ö ØÝ Ó Ð ÔÖ Ð ½ ¾¼¼ Communications Network Design: lecture 07 p.1/44 ÊÓÙØ Ò ÓÒØ
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ½ Ó Ò ØÛÓÖ Æ ØÛÓÖ ÁÒØ ÖÒ Ø Ò ØÛÓÖ Ó Ò ØÛÓÖ º ÅÓ Ø Ó Ø Ì Å ØØ Û ÊÓÙ Ò Û Ú ÓÒ Ö ÙÔ ØÓ Ø ÔÓ ÒØ ÓÒ ÖÒ ÔÖÓ
edges added to S contracted edges
Ì Å Ü ÑÙÑ ÝÐ ËÙ Ö Ô ÈÖÓ Ð Ñ Ò Ö ¹ Ö Ô Ð ÒØ Æ ÛÑ Ò Ä ÓÖ ØÓÖÝ ÓÖ ÓÑÔÙØ Ö Ë Ò ÅÁÌ Ñ Ö Å ¼¾½ ¹Ñ Ð Ð ÒØ Ø ÓÖݺРºÑ غ Ù Ï ØÙ Ý Ø ÔÖÓ Ð Ñ Ó Ò Ò Ñ Ü ÑÙÑ ÝÐ Ù Ö Ô Ó Ú Ò Ö Ø Ö Ô Ò Û Ø Ñ Ü ÑÙÑ ØÓØ Ð Ö Ò ÔÐÙ ÓÙص
Communications Network Design: lecture 19 p.1/32
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ½ Å ØØ Û ÊÓÙ Ò ÍÒ Ú Ö ØÝ Ó Ð Å Ö ¾ ¾¼¼ Communications Network Design: lecture 19 p.1/32 Æ ØÛÓÖ Ó Ò ØÛÓÖ
Communications Network Design: lecture 16 p.1/41
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ½ Å ØØ Û ÊÓÙ Ò ÍÒ Ú Ö ØÝ Ó Ð Å Ý ¾¼ ¾¼¼ Communications Network Design: lecture 16 p.1/41 ÌÖ ¹Ð Ò ØÛÓÖ
Chapter 9. Trapezoidal Maps. 9.1 The Trapezoidal Map
Chapter 9 Trapezoidal Maps ÁÒ Ø Ø ÓÒ Û Û ÐÐ ÒÓØ Ö ÔÔÐ Ø ÓÒ Ó Ö Ò ÓÑ Þ ÒÖ Ñ ÒØ Ð ÓÒ ØÖÙØ ÓÒ Ò Ø ØÖ Ø ÓÒ ÙÖ Ø ÓÒ Ô Ö Ñ ÛÓÖ º Ø Ø Ñ Ø Ñ Ø Û ÐÐ Ú Ù Ò Æ ÒØ Ð ÓÖ Ø Ñ ÓÖ ÓÐÚ Ò Ø Ò Ö Ð ÔÖÓ Ð Ñ Ó ÔÓ ÒØ ÐÓ Ø ÓÒ
Ð Ò ØÓ ØØ Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐغ Ì ÓÙÖ Ô Ö Ñ ØÓÛ Ö Ø Ø Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐØ Ò Ô Ö Ý Ø Ô Ô Ö Ó È Ô Ñ ØÖ ÓÙ Ò Î ÑÔ Ð ÓÒ ÌÖ Ú Ð Ò Ë Ð Ñ Ò ÔÖÓ Ð Ñ µ Ø
ÔÔÖÓÜ Ñ Ø ÓÒ À Ö Ò ÓÖ ËÑ ÐÐ ÇÙÖÖ Ò ÁÒ Ø Ò Ó ÆȹÀ Ö ÈÖÓ Ð Ñ Å ÖÓ Ð Ú Ð Ò Â Ò Ð ÓÚ ¾ ¾ ÅÈÁ ÓÖ Å Ø Ñ Ø Ò Ø Ë Ò ¹¼ ¼ Ä ÔÞ Í ÁÒ Ø ØÙØ ĐÙÖ ÁÒ ÓÖÑ Ø ÙÒ ÈÖ Ø Å Ø Ñ Ø ¹¾ ¼ Ã Ð Ò ÓÖÑ Ø ºÙÒ ¹ к ØÖ Øº Ì Ô Ô Ö ÓÒØÖ
ÖÖ Ý ÒÑ ÒØ Ø Ø Ñ ÒØ Ö Ö ÓÖ ÒÝ Ð Ø¹ Ò Ð Ñ ÒØ Ö ØÓÖ º ÖÖ Ý ÓÖ Ù Ø ÓÒ Ó ÖÖ Ý Ò Ô Ý Ù Ò ØÖ ÔÐ Ø Ù Ö ÔØ º ØÖ ÔÐ Ø Ô Ö Ò Ò Ø ÓÖÑ ÐÓÛ Ö ÓÙÒ ÙÔÔ Ö ÓÙÒ ØÖ º Á
ÖÓÑ Ø ÈÖÓ Ò Ó Ø ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ò ÓÒ È Ö ÐÐ Ð Ò ØÖ ÙØ ÈÖÓ Ò Ì Ò ÕÙ Ò ÔÔÐ Ø ÓÒ È ÈÌ ³ µ ËÙÒÒÝÚ Ð Ù Ù Ø ½ Ô Ò Ò Ò ÐÝ Ó ÓÖØÖ Ò ¼ ÖÖ Ý ËÝÒØ Ü Ö Ð ÊÓØ Ã Ò Ã ÒÒ Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ê ÍÒ Ú Ö ØÝ ÀÓÙ ØÓÒ
ÁÒØÖÓ ÙØ ÓÒ Ö ÔØ Ú ËØ Ø Ø ÁÒ Ö ÒØ Ð ËØ Ø Ø ÀÝÔÓØ Ø Ø Ò ¹ Ô Ú ÐÙ Ø ÖÑ Ò Ø ÓÒ Ó ÑÔÐ Þ ËÙÑÑ ÖÝ Ä ÖÒ Ò Ó¹ Ø ÖÑ Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú
Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú Ö ØÝ Ó Å Ò Ò È ÖÑ Ý Ó ÀÓ Å Ò ØÝ ¾ Æ ÙÝ Ò ÌÖ È ÙÓÒ ÀÓ Ô Ø Ð ÂÁ ÔÖÓ Ø ¹ Ù Ù Ø ¾¼½ ÇÙØÐ Ò ½ ¾ Ø ÓÖÝ Ñ ÙÖ Ø Ñ Ø ÓÒ ¹ ÓÒ Ò ÁÒØ ÖÚ Ð ÔÓ ÒØ Ø Ñ Ø ¹ Ò ÒØ ÖÚ Ð Ø Ñ Ø ÁÒØ
Communications Network Design: lecture 20 p.1/29
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ¾¼ Å ØØ Û ÊÓÙ Ò ÍÒ Ú Ö ØÝ Ó Ð Å Ö ¾ ¾¼¼ Communications Network Design: lecture 20 p.1/29 È È Ø ÓÖ Ö
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ Ð ØÙÖ Ö ÓÑ ÓÑÑÓÒ Ò ØÛÓÖ ÓÔØ Ñ Þ Ø ÓÒ Ó Ð Ò ÓÒ ØÖ ÒØ Ò Û Ý Ì ÓÙÖº ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ¼ Å ØØ Û ÊÓÙ Ò Æ ØÛÓÖ ÇÔØ Ñ Þ Ø ÓÒ
Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ ȹØÖ È¹ ÖÓÛØ ÄÇË Ì È¹ØÖ Ø ØÖÙØÙÖ È¹ ÖÓÛØ Ð ÓÖ Ø Ñ ÓÖ Ò Ò ÐÐ Ö ÕÙ ÒØ Ø ÄÇË Ì Ð ÓÖ Ø Ñ ÓÖ Ò Ò Ö ÕÙ
Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø Ò Ò ØÖÙØÙÖ ØÖ Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ ȹØÖ È¹ ÖÓÛØ ÄÇË Ì È¹ØÖ Ø ØÖÙØÙÖ È¹ ÖÓÛØ Ð ÓÖ Ø Ñ ÓÖ Ò Ò ÐÐ
TCP SOURCE TCP DESTINATION
ÆÓÚ Ð Ð Ý Ã Ø Ò ÕÙ ÓÖ ÑÔÖÓÚ Ò Ì È Ô Ö ÓÖÑ Ò Ò ÑÙÐØ ÓÔ Û Ö Ð Ò ØÛÓÖ Ø Ò ÐØÑ Ò ÁÆÊÁ È ¾¼¼ ÊÓÙØ ÄÙ ÓÐ ¼ ¼¾ ËÓÔ ÒØ ÔÓÐ Ü Ö Ò Ñ Ð ÐØÑ Ò ÓÔ º ÒÖ º Ö Ì Ð µ ¾ Ü µ ¾ º Ì Ò Â Ñ Ò Þ º ºËºÁºÅºÇº ÙÐØ ÁÒ Ò Ö ÍÒ Ú Ö
½º¾ Ò Ø ÓÒ Ì Ò Ó Ø ÓÚ ÕÙ Ø ÓÒ Ò ÓÖÑ Ð Þ Ý Ø ÓÐÐÓÛ Ò Ò Ø ÓÒº Ò Ø ÓÒ ½ È Ù Ó Ê Ò ÓÑ ÙÒØ ÓÒ Ñ Ðݵ Ñ ÐÝ ¾ ¼ ½ ¾Æ ÐÐ Ñ ÐÝ Ó Ð µ Ä µµ È Ù Ó Ê Ò ÓÑ ÙÒØ ÓÒ ¾
¾¾º ¼ ¹¼¼ ÁÒØÖÓ ÙØ ÓÒ ØÓ ÖÝÔØÓ Ö Ô Ý ÆÓÚ Ñ Ö Ø ¾¼¼½ Ä ØÙÖ Ä ØÙÖ Ö Ú Ò Ý Ó ËÖ ÒØÓÒ Ó Æ ÓÐÓ Ä Ø Ø Ñ Û Ò Û Ø Û Ñ Ò Ý Ë Ö Ø Ã Ý ÒÖÝÔØ ÓÒ Ñ Ëà µ Ò Û ÒØÖÓ Ù ØÛÓ Ö Ð Ø ÒÓØ ÓÒ Ó ÙÖ Øݺ Ì Ò Û ÓÛ ÓÛ ÈÊ Ñ Ý Ù ØÓ
ÝÓÒ ÀÝÔ ÖØÖ Ï Ø ÓÑÔÓ Ø ÓÒ Å Ø Ó Ï Ø ÓÙØ ÓÑÔÓ Ø ÓÒ ÀÙ Ò Ò Î ØÓÖ ÐÑ Ù Ô ÖØ Ñ ÒØ Ì ÒÓÐÓ ÍÒ Ú Ö Ø Ø ÈÓÑÔ Ù Ö Ö ÐÓÒ ËÔ Ò Ù º Ò Ú ØÓÖº ÐÑ Ù ÙÔ º Ù ØÖ Øº Ì Ò
ÝÓÒ ÀÝÔ ÖØÖ Ï Ø ÓÑÔÓ Ø ÓÒ Å Ø Ó Ï Ø ÓÙØ ÓÑÔÓ Ø ÓÒ ÀÙ Ò Ò Î ØÓÖ ÐÑ Ù Ô ÖØ Ñ ÒØ Ì ÒÓÐÓ ÍÒ Ú Ö Ø Ø ÈÓÑÔ Ù Ö Ö ÐÓÒ ËÔ Ò Ù º Ò Ú ØÓÖº ÐÑ Ù ÙÔ º Ù ØÖ Øº Ì Ò Ö Ð ÒØÖ Ø Ð ØÝ Ó Ø ÓÒ ØÖ ÒØ Ø Ø ÓÒ ÔÖÓ ¹ Ð Ñ ÑÓØ Ú
LCNS, Vol 1767, pp , Springer 2003
Ø Ö Ü Ø ËÓÐÙØ ÓÒ ÓÖ Å Ü¾Ë Ø Â Ò Ö ÑÑ ÊÓÐ Æ ÖÑ Ö Ï Ð ÐÑ¹Ë Ö ¹ÁÒ Ø ØÙØ ĐÙÖ ÁÒ ÓÖÑ Ø ÍÒ Ú Ö ØĐ Ø ÌĐÙ Ò Ò Ë Ò ½ ¹ ¾¼ ÌĐÙ Ò Ò º Ê Ôº Ó ÖÑ ÒÝ Ö ÑÑ Ò ÖÑÖ Ò ÓÖÑ Ø ºÙÒ ¹ØÙ Ò Òº ØÖ Øº Ú Ò ÓÓÐ Ò ¾ Æ ÓÖÑÙÐ Ø Å Ü¾Ë
Ì Ö Ö Ü ÑÔÐ Ó ÒØ Ô Ø ÓÒ Ð Ò Ù Ø Ø ÔÖÓÚ ÓÓ ÙÔ¹ ÔÓÖØ ÓÖ Ô Ý Ò ÒØ Ý Ø Ñ ÒÐÙ Ò Ø ÒØ Ö Ø ÓÒ ØÛ Ò ÒØ º ÒØ ¾ Ò ÒعÓÖ ÒØ ÜØ Ò ÓÒ ØÓ Ç Ø¹ Û ÒÐÙ ÓÒ ÔØ Ù ÖÓÐ ÒØ
ÅÙÐØ ¹ ÒØ ËÝ Ø Ñ ËÔ Ø ÓÒ Ù Ò Ì Ç Ì Ñ Å ÐÐ Ö Ò È Ø Ö Å ÙÖÒ Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ì ÍÒ Ú Ö ØÝ Ó Ä Ú ÖÔÓÓÐ Ä Ú ÖÔÓÓÐ Ä ÍÃ Ø Ñ Ô Ø Ö ºÐ Úº ºÙ ØÖ Øº Ì Ç Ô Ø ÓÒ Ð Ò Ù Ø Ø ÓÑ Ò Ø ØÖ Ò Ø Ó Ç Ø¹ Ò Ì Ñ ËÈ Û Ø
Ä ÓÖ ØÓ Ö ÓÖ Ð Ê Ö Ò ÁÒ ÓÖÑ Ø ÕÙ ÍÅÊ ¼¼ ¹ ÍÒ Ú Ö Ø ÓÖ ÙÜ Á ½ ÓÙÖ Ð Ä Ö Ø ÓÒ ¼ Ì Ð Ò Ü Ö Ò Ê Ö Ê ÔÓÖØ Êʹ½ ¼ ¹¼ Ò Æ ÒØ Ò ÙÖ Ø Ð ÓÖ Ø Ñ ÓÖ ÓÑÔÙØ Ò Ø Û Ò Ð Ó ÓÙÑ ÒØ Ñ Ý Ø ÔÖÓ Ø ÓÒ ÔÖÓ Ð Ñ Ø Ó Ý Â ÕÙ ¹ÇÐ Ú
ÇÙØÐ Ò
ÀÓÛ ÑÙ ÒØ Ö Ò Ö Ø ÓÒ Ð Ö Ö Ò Ó Ø ÍºËº Ó Ð ÙÖ ØÝ Ý Ø Ñ Ö ÐÐÝ ÔÖÓÚ ½ ½ Ê ¹ Á ÈÖ Ù Å Ý ¾¼½½ ÇÙØÐ Ò ÅÓØ Ú Ø ÓÒ ÓÒÓÑ Ó Ø Ö ÒØ Ò Ö Ø ÓÒ Ö ÒØÐÝ Ä Ñ Ø Ð ØÝ ØÓ Ò ÙÖ Ü¹ ÒØ Ú ¹ ¹Ú ÓØ Ö Ò Ö Ø ÓÒ È Ý¹ ¹ÝÓÙ¹ Ó Ô Ò ÓÒ
Communications Network Design: lecture 18 p.1/21
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ½ Å ØØ Û ÊÓÙ Ò ÍÒ Ú Ö ØÝ Ó Ð Å Ö ¾ ¾¼¼ Communications Network Design: lecture 18 p.1/21 ÌÖ ¹Ð Ò ØÛÓÖ
½ ÁÒØÖÓ ÙØ ÓÒ ÒÓÑ ÈÓÖØ Ð Û ¹ ÒØ Ö Ø Ú ÓÑÔÙØ Ø ÓÒ Ð ÔÐ Ø ÓÖÑ ÓÖ Ø Ò Ð¹ Ý Ò Ñ Ò Ò Ó ÒÓÑ Ø º Ï Ñ ØÓ ÒØ Ö Ø Ø ÔÖ Ñ ÖÝ ÒÓÑ Ø ÙÒØ ÓÒ Ð ÒÓÛÐ Ò Ò ÐÝØ Ð ØÓÓÐ Û
ÓÒØ ÒØ ½ ÁÒØÖÓ ÙØ ÓÒ ¾ ¾ ËØ ÖØ Ý ÓÒ ØÖÙØ Ò Ò Ð Ø ¾ ¾º½ Í Ò ÔÖ Ò Ò Ð Ø µ º º º º º º º º º º º º º º º º º º º º º ¾ ¾º¾ Ë Ö ÓÖ Ò Ó ÒØ Ö Ø Ù Ò ÒØÖ Þ ÝÑ ÓÐ ÓÖ Ö ÔØ ÓÒº ¾º È Ø Ð Ø Ó Ò Ò Ø ÓÜ ÔÖÓÚ º º º º
Ë Ø Ó ÒÙÑ Ö Ò Ø Ö Ö ÔÖ ÒØ Ø ÓÒ ÁÒ Ø ÓÙÖ Û Û ÐÐ ÒØ Ö Ø Ò Ø Ó ÒÙÑ Ö º ÁÒ ÓÑÔÙØ Ö Ò Û Ö ÓÒ ÖÒ Ý Ø ÕÙ Ø ÓÒ ÓÛ Ó Û Ú Ù Ø Ø ÓÙÖ ÔÓ Ð Ì Û Ý ÒÙÑ Ö Ø ÓÒ Ý Ø Ñ
Ð ØÝ ÄÓ Ò ÆÙÑ Ö Ø ÓÒ ËÝ Ø Ñ Ñ Ð ÖÐ Ö Ô ÖØ Ñ ÒØ Å Ø Ñ Ø ÕÙ ÍÒ Ú Ö Ø Ä ÆÌ ¾¼½ ¹ Å Ö ÐÐ ÆÓÚ Ñ Ö ¾ ¹ Ñ Ö ¾ Ë Ø Ó ÒÙÑ Ö Ò Ø Ö Ö ÔÖ ÒØ Ø ÓÒ ÁÒ Ø ÓÙÖ Û Û ÐÐ ÒØ Ö Ø Ò Ø Ó ÒÙÑ Ö º ÁÒ ÓÑÔÙØ Ö Ò Û Ö ÓÒ ÖÒ Ý Ø ÕÙ
ÇÆÌ ÆÌ ËÙ Ø Ú ÒØÖÓ ÙØÓÖÝ Ö Ñ Ö Å Ø Ô ÓÖ Ò Ø Ú ÔÔÖÓ Ì Ô ÐÓ ÓÔ Ð Ö Ò À ÖÑ Ò ÙØ Ò Ø Ö Ð Ø ÓÒ Ô ØÓ Ò Ì ÒØ ÖÔÖ Ø Ò Ò Ø ÒØ ÖÔÖ Ø Ö Ò
ÌÀ Ê ÁÆ Ë À ÊÅ Æ ÍÌÁ ÎÁ È Ø Ö Ö ÒØ Ö ÓÖ ÓÑÔÐ Ü ËÝ Ø Ñ ËØÙ Ã Ð Ñ ÞÓÓ ÓÐÐ Å Ò Ò Ôغ ÓÔ Ý Ã ÃÁ Ê Ö ÁÒ Ø ØÙØ ÓÖ È ÖØ Ð Ò ÆÙÐ Ö È Ý Ó Ø ÀÙÒ Ö Ò ÑÝ Ó Ë Ò Ù Ô Ø ÇÆÌ ÆÌ ËÙ Ø Ú ÒØÖÓ ÙØÓÖÝ Ö Ñ Ö Å Ø Ô ÓÖ Ò Ø Ú ÔÔÖÓ
Ó Ú ÐÙ Ö ÒÚÓÐÚ Ò ÖØ Ò Ô ÖØ Ó Ø ÔÖÓ Ö Ñµ Ò ØÓ ÐÔ Ø Ø ÔÖÓ Ö ÑÑ Ö Ñ Ø º ÁÒ Ø Ø ÐÐÝ ØÝÔ Ð Ò Ù Ø ØÝÔ Ö ÒÓØ Ò ÓÑ Ø Ò Ø Ø Ø Ô ÖØ Ò ÓÑÔÙØ Ø ÓÒ ÙØ Ö Ø Ö ÓÑ Ø Ò
ÙÒ Û Ø ÙÒØ ÓÒ Ð Ô Ò Ò ÓÖ Ö Øµ ÌÝÔ Î ÐÙ Ò ËØ Ø ÓÑÔÙØ Ø ÓÒ Ò À ÐÐ Ì ÓÑ À ÐÐ Ö Ò Ñ Ö ¾ ¾¼¼¼ ØÖ Ø Ì Ô Ô Ö ÐÐÙ ØÖ Ø ÓÛ À Ðг ØÝÔ Ð Ý Ø Ñ Ò Ù ØÓ ÜÔÖ ÓÑÔÙØ Ø ÓÒ º Ë Ò ÓÑÔÙØ Ø ÓÒ ÓÒ Ø ØÝÔ Ð Ú Ð Ö Ô Ö ÓÖÑ Ý Ø ØÝÔ
Î Ö Ð X C = {x 1, x 2,...,x 6 }
º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ À ÐÐ ÊÓÓÑ ¼ Ú ÖÝ º º ÓÙ ÖÝ ½ Å Ö ½ ¾¼½½ Ì ØÐ ÙØ ÓÖ ÈÖÓº È ÐØ Ö Ò Ð ÓÖ Ø Ñ ÓÖ ÓÒ ØÖ ÒØ Ó Ö Ò Ò ËÈ Ê Ò Âº¹ º ½ Á ¾ Ó ÓÒ ØÖ ÒØ ÈÖÓ Ò ÓÙÒ Ø ÓÒ ËÔÖ Ò ¾¼½½ Ë ¾½» ¾½ ÛÛÛº ºÙÒк Ù» ¾½ ÓÙ
ÓÒØ ÒØ ¾
ÉÙ Ø ÓÒ Ì È Ð ÐÔ Ð ÓÙÖØ ÒÒÙ Ð À Ë ÓÓÐ ÈÖÓ Ö ÑÑ Ò ÓÒØ Ø ÍÒ Ú Ö ØÝ Ó È ÒÒ ÝÐÚ Ò Å Ö ¾¼¼½ ÓÒØ ÒØ ¾ È ÖØ Á ÉÙ Ø ÓÒ ½ ¹ Ï Ò Ø ÒÙÑ Ö ¾ ÑÙÐØ ÔÐ Ý Ø ÔÖÓ ÙØ ¾ ¾ º ÆÓØ Ø Ø Ø Ö Ø ÓÙÖ Ø Ö Ø Ñ Ø Ð Ø ÓÙÖ Ø ¾ Ò ¾ µº
Ì ÓÑÔÙØ Ð Ñ Ò ÓÒ Ó ÌÖ Ó ÁÒ Ò Ø À Ø ÊÙ ÐÐ Å ÐÐ Ö ÂÙÐÝ ¾ ¾¼¼ Ì Ö Ø ÓÙÖ Ø ÓÒ Ó Ø ÖØ Ð ÔÔ Ö ÔØ Ö Ó È º º Ø Ø Ø ÍÒ Ú Ö ØÝ Ó Ó ÙÒ Ö Ø ÙÔ ÖÚ ÓÒ Ó ÊÓ ÖØ Áº ËÓ
Ì ÓÑÔÙØ Ð Ñ Ò ÓÒ Ó ÌÖ Ó ÁÒ Ò Ø À Ø ÊÙ ÐÐ Å ÐÐ Ö ÂÙÐÝ ¾ ¾¼¼ Ì Ö Ø ÓÙÖ Ø ÓÒ Ó Ø ÖØ Ð ÔÔ Ö ÔØ Ö Ó È º º Ø Ø Ø ÍÒ Ú Ö ØÝ Ó Ó ÙÒ Ö Ø ÙÔ ÖÚ ÓÒ Ó ÊÓ ÖØ Áº ËÓ Ö º Ì Ò Ö Ð Ó Ù ØÓ ÝÖ Ã ÓÙ ÒÓÚ Û Ó ÓÖ Ò ÐÐÝ ÔÓ Ø ÕÙ
Ö Ô ÓÒ Ø Ó ØÛÓ Ø Î Ò ÒÓØ Ý Î µº Ë Ø Î Ò Ø ÒÓÒ¹ ÑÔØÝ Ø Ó Ú ÖØ ÓÖ ÒÓ µ Ò Ø Ó Ô Ö Ó Ú ÖØ ÐÐ º Ï Ù Î µ Ò µ ØÓ Ö ÔÖ ÒØ Ø Ø Ó Ú ÖØ Ò Ò Ö Ô Ö Ô Ø Ú Ðݺ ÅÓÖ Ò
Ö Ô Ð ÓÖ Ø Ñ ÁÒ ½ ÙÐ Ö Ú Ø Ø ÖÒ ÈÖÙ Ò ÃÓ Ò Ö Ò ÓÙÒ Ø Ö Û Ö Ú Ò Ö ÖÓ Ø Ö Ú Ö Ò Ò Ð Ò º À Ñ ÙÔ ÕÙ Ø ÓÒ Ø Ø Ò ÒÝÓÒ Ø ÖØ Ø ÒÝ Ð Ò µ Û Ð Ø ÖÓÙ Ü ØÐÝ ÓÒ ÓÖ Ö Ò Ö ØÙÖÒ ØÓ Ø ÓÖ ¹ Ò Ð Ø ÖØ Ò ÔÓ ÒØ Ê Ö ØÓ ÙÖ ½º
ÁÒØÖÓ ÙØ ÓÒ ËØ Ø Ø Ð Ò ÐÝ ÓÖ Ö Ø Ø Ô ÖØ Ù¹ Ð ÖÐÝ ÓÖ ÔÖÓ Ð ØÝ ÑÓ Ð Ù Ø ÒÓ¹ Ñ Ð ÈÓ ÓÒ Ò ÑÙÐØ ÒÓÑ Ð Ý ÒÓÛ Ú ÖÝ Û ÐÐ ÙÒ Ö ØÓÓ Û Ø Û ÐØ Ó Ù Ø Ð Ó Ø¹ Û Ö º
ÇÚ Ö Ô Ö ÓÒ Ò ÓÙÒØ Ø º Ⱥź º ÐØ Ñ ËØ Ø Ø Ð Ä ÓÖ ØÓÖÝ ÍÒ Ú Ö ØÝ Ó Ñ Ö ÒØÖ ÓÖ Ø Å Ø Ñ Ø Ð Ë Ò Ï Ð Ö ÓÖ ÊÓ Ñ Ö ÇÏ ÍÃ Ü ÒÓ ¼½¾¾ ¹ º Ⱥ ÐØ Ñ Ø Ø Ð º Ѻ ºÙ Ë Ñ Ò Ö Ú Ò Ø ÅÊ Ó Ø Ø Ø ÍÒ Ø ÆÓÚ Ñ Ö ½ ¾¼¼¼º ½ ÁÒØÖÓ
Ø ÔÖ ÙÖ ØÝ Ö ÕÙ Ö Ñ ÒØ Ó ÙØ ÒØ Ø Ý Ø Ð Ñ Òغ Ë Ú Ö Ð ÓÒÖ Ø ÙÖ ØÝ Ò Ô Ö ÓÖÑ Ò ØØÖ ÙØ Ú Ò ÒØ Ö Ð º Ì ÙÒ Ñ ÒØ Ð ÙÖ ØÝ Ó Ð Ó Ý Ø Ð Ñ ÒØ ÔÖÓØÓÓÐ Ö ØÓ ÑÔÐ Ø
ÌÛÓ¹È ÙØ ÒØ Ø Ã Ý Ö Ñ ÒØ ÈÖÓØÓÓÐ Û Ø Ã Ý ÓÒ ÖÑ Ø ÓÒ ÓÝ ÓÒ ËÓÒ ÃÛ Ò Ó Ã Ñ ÁÒ ÓÖÑ Ø ÓÒ Ò ÓÑÑÙÒ Ø ÓÒ ÍÒ Ú Ö ØÝ Á ͵ ¹ ÀÛ Ñ¹ ÓÒ Ù ÓÒ ¹ Ù Ì ÓÒ ¼ ¹ ¾ ˺ ÃÓÖ Ý ÓÒ Ùº º Ö ØÖ Øº Ì Ô Ô Ö ÔÖÓÔÓ Ø Ö Ý Ö Ñ ÒØ ÔÖÓØÓÓÐ
ÓÖ Ø ÁÒØ Ð ÔÖÓ ÓÖ Ñ Ðݺ Ê Ö Û ÒØ Ò Ò Ö Ð ÖÓÙÒ Ò Ñ Ð Ö ÔÖÓ Ö Ñ¹ Ñ Ò ÓÙÐ ÓÒ ÙÐØ ÔÔÖÓÔÖ Ø Ø ÜØ ÓÓ Ò ÓÒ ÙÒØ ÓÒ Û Ø Ø ÔÖÓ ÓÖ Ö Ö Ò Ñ Ò¹ Ù Ð ÔÙ Ð Ý ÁÒØ Ð Ò
ÒÙ Ñ Ð Ö Ì ÒÙ Ñ Ð Ö µ Ò ÓÔ Ò ÓÙÖ ¹ Ñ Ð Öº Ì Ñ Ð Ö ÒÐÙ Ø Ò¹ Ö Ò Ø ØÖ ÙØ ÓÒ Ò Ú Ð Ð ÓÖ ÓÛÒÐÓ ØÓ ÖÙÒ ÙÒ Ö Ï Ò ÓÛ º ÁØ ÔÖÓÚ ÙÔÔÓÖØ ÓÖ Ø Ò ØÖÙØ ÓÒ Ø Ó Ø Ó Ø Èͺ ÖÓ Ñ Ð Ö Ú Ö ÓÒ Ö Ð Ó Ú Ð Ð º Ì Ñ Ð Ö ÒÚÓ Ý Ø
ÓÒØ ÒØ ½ ÇÚ ÖÚ Û ½ ¾ Ö Ø ØÙÖ Ð Ö ÔØ ÓÒ ½ ¾º½ Ê Ø Ö º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ ¾º¾ ÙÒ Ñ ÒØ Ð ÌÝÔ º º
ÖÓÒ ËÑ Ø Â Ñ ÙÖÖ ÐÐ ÊÓ ÖØ Å ÓÒ Ð Æ ÓÐ Æ Ø ÖÓØ ÐÐ Ó Ö ÓÙ ÙÖ Ö ËØ Ô Ò Ïº Ã Ð Ö Ã Ø ÖÝÒ Ëº Åà ÒÐ Ý ÇØÓ Ö ½¼ ¾¼¼ ¹ Î Ö ÓÒ º¼ Ì Ê ÔÓÖØ Ìʹ¼ ¹¾¾ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ì ÍÒ Ú Ö ØÝ Ó Ì Ü Ø Ù Ø Ò Ì ÓÙÑ ÒØ Ô Ø
ÇÒ Ø ÈÓÛ Ö Ó ÓÑÔÙØ Ø ÓÒ Ð Ë Ö Ø Ë Ö Ò Îº Î ÒÓ ½ ÖÚ Ò Æ Ö Ý Ò Ò ¾ ú ËÖ Ò Ø Ò ¾ Ò º È Ò Ù Ê Ò Ò ¾ ½ Ä ÓÖ ØÓÖÝ ÓÖ ÓÑÔÙØ Ö Ë Ò Å Ù ØØ ÁÒ Ø ØÙØ Ó Ì ÒÓÐÓ Ý
ÇÒ Ø ÈÓÛ Ö Ó ÓÑÔÙØ Ø ÓÒ Ð Ë Ö Ø Ë Ö Ò Îº Î ÒÓ ½ ÖÚ Ò Æ Ö Ý Ò Ò ¾ ú ËÖ Ò Ø Ò ¾ Ò º È Ò Ù Ê Ò Ò ¾ ½ Ä ÓÖ ØÓÖÝ ÓÖ ÓÑÔÙØ Ö Ë Ò Å Ù ØØ ÁÒ Ø ØÙØ Ó Ì ÒÓÐÓ Ý Ñ Ö Å ¼¾½ ÍË º ¾ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ò Ò Ò Ö Ò
Ë ÓÑ Ò Ò ÝÒ Ñ ÈÖÓ Ö ÑÑ Ò Û Ø Ò Ö Ð Þ Ø ÓÒ Ò Ð Ö ËÝ Ø Ñ È ÖÖ Ö Ö ½ ¾ Ò ÇÐ Ú Ö Ë Ù ½ ½ ÙÐØ Ú Ø ÓÒ Ì» ÈÊ» Ë ÉÙ Å Ö Ð ÙÐØ ¾ ¾ Ëع ÐÓÙ Ü ¾ Ò Ñ ØÄ ÄÁÈ µ ÖÙ
Ë ÓÑ Ò Ò ÝÒ Ñ ÈÖÓ Ö ÑÑ Ò Û Ø Ò Ö Ð Þ Ø ÓÒ Ò Ð Ö ËÝ Ø Ñ È ÖÖ Ö Ö ½ ¾ Ò ÇÐ Ú Ö Ë Ù ½ ½ ÙÐØ Ú Ø ÓÒ Ì» ÈÊ» Ë ÉÙ Å Ö Ð ÙÐØ ¾ ¾ Ëع ÐÓÙ Ü ¾ Ò Ñ ØÄ ÄÁÈ µ ÖÙ Ù Ô Ø Ò ËÓØØ ¼½ È ÊÁË Ô ÖÖ º Ö Ö Ð Ô º Ö ÓÐ Ú Öº Ù
Communications Network Design: lecture 21 p.1/47
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ¾½ Å ØØ Û ÊÓÙ Ò ÍÒ Ú Ö ØÝ Ó Ð Å Ö ¾ ¾¼¼ Communications Network Design: lecture 21 p.1/47 Ö ÓÒ Ó Ø Ý
ËÌ Ä Å Ä Å ÌÁÇÆ ÂÓ Ò Ìº Ð Û Ò Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ËØ Ø Ø Ò ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó ÁÐÐ ÒÓ Ø Ó Â ÒÙ ÖÝ ¾¼¼¼ Ø ØÓ Ø Ñ ÑÓÖÝ Ó ºÁºÅ Ð Úº ÁÒ ½ ÖÞ ÓÖÞÝ Û Ø Ö
ËÌ Ä Å Ä Å ÌÁÇÆ ÂÓ Ò Ìº Ð Û Ò Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ËØ Ø Ø Ò ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó ÁÐÐ ÒÓ Ø Ó Â ÒÙ ÖÝ ¾¼¼¼ Ø ØÓ Ø Ñ ÑÓÖÝ Ó ºÁºÅ Ð Úº ÁÒ ½ ÖÞ ÓÖÞÝ Û Ø Ö Ø Ö Û Ö ÓÒØ ÒÙÙÑ Ñ ÒÝ «Ö ÒØ ¼ ¹ Ø ÓÖ Ð Ø ÓÖ º Ï Ø
Degradation
Î Ê ÙÐØ Ì ÔØ Ö ÔÖ ÒØ Ø Ö ÙÐØ Ó Ø Ò Û Ø Ø ÑÙÐ Ø ÓÒ Ò Ñ ÙÖ Ñ ÒØ ÜÔÐ Ò ÙÒØ Ð Ø ÔÓ Òغ ÁÒ ÐÐ Ø Ó ³ Ö Ø Û Ú Ö Û Ð P er Û ÔØ ÓÒ Ø ÒØ Ò Ø Ó ÓÒØ ÒØ Û Ú ÐÙ Ø Û Ø Ö Ô Ø ØÓ Ö Ø ÓÒ Ý Ù Ò Ø ÓÐÐÓÛ Ò Ñ Ò Ñ ½µ Ó Ø Ú ÕÙ
ÇÙØÐ Ò ½ ¾ ØÖ ÙØ ÓÒ ² Ì Ò ÐÝ Ó Ö ÕÙ Ò ÔÔÐ Ø ÓÒ Ó Ø χ ¾ ËØ Ø Ø ÐÙÐ Ø Ò Ô Ú ÐÙ Ò ³ Ü Ø Ø Ø Ì ÓÒÚ ÒØ ÓÒ Ð Ú º Ø Ñ Ô ÓÔغµ È Ö ÓÒ Ò ËÔ ÖÑ Ò ÓÖÖ Ð Ø ÓÒ Ù Ò
Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú Ö ØÝ Ó Å Ò Ò È ÖÑ Ý Ó ÀÓ Å Ò ØÝ ¾ Æ ÙÝ Ò ÌÖ È ÙÓÒ ÀÓ Ô Ø Ð ÂÁ ÔÖÓ Ø ¹ Ù Ù Ø ¾¼½ ÇÙØÐ Ò ½ ¾ ØÖ ÙØ ÓÒ ² Ì Ò ÐÝ Ó Ö ÕÙ Ò ÔÔÐ Ø ÓÒ Ó Ø χ ¾ ËØ Ø Ø ÐÙÐ Ø Ò Ô Ú ÐÙ Ò
ÓÙÖ ËØ ÁÒ ØÖÙØÓÖ ÓÒØ Ø ËÐ Ñ Ø ÙÐÐ Ö ÐÓÙ Ð Ø ÓÒ ÓÙÖ Û Ø ÇÒ ÍÏ¹Ä ÖÒ Ò ÓÒ ÓÙÖ Û Ø Î ÖÝ Ø Ö ÓÑ ØÓ Ð Ø ÒÓØ Ë ÁÒØÖÓ ØÓ Å Ñص ÇÚ ÖÚ Û Ó Ë ÄÄ ¾¼½ ¾» ¾
ÇÚ ÖÚ Û Ó Ë Ú Êº Ö ØÓÒ Ë ÓÓÐ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ï Ø ÖÐÓÓ Ë ÁÒØÖÓ ÙØ ÓÒ ØÓ Ø Å Ò Ñ ÒØ ÐÐ ¾¼½ Ë ÁÒØÖÓ ØÓ Å Ñص ÇÚ ÖÚ Û Ó Ë ÄÄ ¾¼½ ½» ¾ ÓÙÖ ËØ ÁÒ ØÖÙØÓÖ ÓÒØ Ø ËÐ Ñ Ø ÙÐÐ Ö ÐÓÙ Ð Ø ÓÒ ÓÙÖ Û Ø ÇÒ ÍϹÄ
½µ ÓÖ È µ Ô ÛÒ Ò Ò Ø Ò Ó ÔÖÓ È ÓÖ ÓÙÖÖ Ò Ó ÙÖÖ ÒØÐÝ Ò Ø Ø Ô ¾µ ÒÓØ Ý È µ ÔÖÓ Ù Ð Ø Ò Ö Ø Ø Û ÒÓØ Û Ø ÓÒ È µ Û Û ÐÐ Ô ÛÒ Ò Ò Ø Ò Ó È Ø Ñ Ò Û ÔÖÓ Ù µ ÑÓ
ËØ Ø ¹ Ò Ú Òع Ê Ø Ú ÈÖÓ Ö ÑÑ Ò Ò Ë Ö Ø Ô Æ Ù ½ ÒØÓÒÝ ÊÓÛ ØÖÓÒ ¾ Ò ÒÐÙ Ú ØØ ÖÓ ½ ½ Ô ÖØ Ñ ÒØÓ Ë ÒÞ ÐгÁÒ ÓÖÑ Þ ÓÒ ÍÒ Ú Ö Ø ÓÐÓ Ò È ÞÞ ÈÓÖØ Ëº ÓÒ ØÓ Á¹ ¼½¾ ÓÐÓ Ò ÁØ Ðݺ ¹Ñ Ð Ù Þ Ú ØØ Ö ºÙÒ Óº Ø ¾ Å ÖÓ Ó
The distin tive features of interval temp o ral logi s ψ ψ T ruth of fo rmulae is de ned over intervals (not p oints). ψ ψ
Ò ÓÔØ Ñ Ð Ø Ð Ù Ý Ø Ñ ÓÖ Ø ÐÓ Ó Ø ÑÔÓÖ Ð Ò ÓÖ ÓÓ ÓÚ Ö Ø Ö Ð Ò ÐÓ ÅÓÒØ Ò Ö Ò È ØÖÓ Ë Ð + Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ò ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Í Ò ÁØ ÐÝ + Ô ÖØÑ ÒØ Ó ÖÑ ÓÐÓ Ý ÍÒ Ú Ö ØÝ Ó Î ÖÓÒ ÁØ ÐÝ ÌÁÅ ¾¼½¾ Ä Ø
Ñ Ò Ò Ð Û Ø ÓÑÔÐ Ü ¹ Ñ Ò ÓÒ Ð Ø º Ì Ñ Ò Ø Ø Ø Ø Ø ÓÑ Ò Ö ÒØ Ò Ó ØÖÙØÙÖ º ÓÖ Ü ÑÔÐ Ó Ø Ò Û ÒØ Ñ Ø Ó Ø Ø Ò Ð Ø Ò ÐÝ Ø ØÓ ÕÙ ÒØ ÐÐÝ ÜØÖ Ø ÑÔÐ ØÖÙØÙÖ ÇÒ Ø
Ð Ñ ÒØ Ð Ë Ø Å Ø Ó Ò Ú ÍÒ Ö ØÝ Ù ½ Ñ Ò Ò Ð Û Ø ÓÑÔÐ Ü ¹ Ñ Ò ÓÒ Ð Ø º Ì Ñ Ò Ø Ø Ø Ø Ø ÓÑ Ò Ö ÒØ Ò Ó ØÖÙØÙÖ º ÓÖ Ü ÑÔÐ Ó Ø Ò Û ÒØ Ñ Ø Ó Ø Ø Ò Ð Ø Ò ÐÝ Ø ØÓ ÕÙ ÒØ ÐÐÝ ÜØÖ Ø ÑÔÐ ØÖÙØÙÖ ÇÒ Ø Ø º Ò ½º ÁÒØÖÓ
Ô ØÙ Ø Ò Ø ÔÐ Ò º Ì ÑÓ Ø ÑÔÓÖØ ÒØ Ø Ô Ò Ø ÔÖÓ ÙÖ Ø Ø ÖÑ Ò Ø ÓÒ Ó Ø ÙÒ ÒÓÛÒ ÓÑÔÓÒ ÒØ Ó Ø ÐÓÛÒ Ú ØÓÖ ØÓ Ø ÒÓÖÑ Ð Ò ØÓ Ø ÔÐ Ò º Ì ÔÖÓ Ð Ñ ÔÐ Ý Ò ÑÔÓÖØ ÒØ
ÓÑÔÓÒ ÒØ Ð Ô Ø ÓÒ Ó ÔÐ Ò Û Ú Ò ÓØÖÓÔ Ò Ò ÓØÖÓÔ Ú Ó Ð Ø Ñ ÎÐ Ø Ð Ú ÖÚ Ò Ý ½ Ò ÁÚ Ò È Ò ¾ ½ ÖÐ ÍÒ Ú Ö ØÝ ÙÐØÝ Ó Å Ø Ñ Ø Ò È Ý Ô ÖØÑ ÒØ Ó ÓÔ Ý Ã Ã ÖÐÓÚÙ ½¾½ ½ ÈÖ ¾ Þ Ê ÔÙ Ð º ¹Ñ Ð Ú ÖÚ ÒÝ º ÖÐÓںѫºÙÒ ºÞ
ÅÓ Ø Ü Ø Ò ÖÓ ¹ÓÚ Ö Ö ÓÙÖ ÔÖÓÚ ÓÒÐÝ ÐÐÓÛ Ö ÔÖ ÒØ Ø ÓÒ Ñ ÒØ ÇÚ ÖÚ Û ÛÓÖÐ ÔÔÐ Ø ÓÒ Ò Ö ÓÙÖ Û Ø Ö ÝÒØ Ø Ò ¹ Ê Ð Ö ÔÖ ÒØ Ø ÓÒ º Ñ ÒØ ÅÙ Ö Ö Ö ÔÖ ÒØ Ø ÓÒ Ö
à ÔÔ Ö Ë ÙÐ Ö Ã Ö Ò ÔÔ ÖÐ Òº ºÙÔ ÒÒº Ù Î Ö Æ Ø ÜØ Ò ÓÒ Ò Ñ ÔÔ Ò ØÓ ÓØ Ö Ð Ü Ð Ö ÓÙÖ ÂÙÒ ¾ Ø ¾¼¼ ÅÓ Ø Ü Ø Ò ÖÓ ¹ÓÚ Ö Ö ÓÙÖ ÔÖÓÚ ÓÒÐÝ ÐÐÓÛ Ö ÔÖ ÒØ Ø ÓÒ Ñ ÒØ ÇÚ ÖÚ Û ÛÓÖÐ ÔÔÐ Ø ÓÒ Ò Ö ÓÙÖ Û Ø Ö ÝÒØ Ø Ò ¹
ÄÈ ÈÖÓ Ò ÓÖ È Û Ä Ò Ö ÇÔØ Ñ Þ Ø ÓÒ Ò Ë ÙÐ Ò Ö Ð Ò À Ò Ð Ë ÓÙØ Á ¹È Ö ÁÑÔ Ö Ð ÓÐÐ º ÄÓÒ ÓÒ ËÏ ¾ ÍÒ Ø Ã Ò ÓѺ ¹Ñ Ð ½½ Ô Öº º ºÙ ØÖ Øº ÙÐ Ò ÔÖÓ Ð Ñ Û Ø Ô
ÄÈ ÈÖÓ Ò ÓÖ È Û Ä Ò Ö ÇÔØ Ñ Þ Ø ÓÒ Ò Ë ÙÐ Ò Ö Ð Ò À Ò Ð Ë ÓÙØ Á ¹È Ö ÁÑÔ Ö Ð ÓÐÐ º ÄÓÒ ÓÒ ËÏ ¾ ÍÒ Ø Ã Ò ÓѺ ¹Ñ Ð ½½ Ô Öº º ºÙ ØÖ Øº ÙÐ Ò ÔÖÓ Ð Ñ Û Ø Ô Û Ð Ò Ö Èĵ ÓÔØ Ñ Þ ¹ Ø ÓÒ ÜØ Ò ÓÒÚ ÒØ ÓÒ Ð ÙÐ Ò Ý
ÓÖØÖ Ò ÓÖØÖ Ò = ÜØ Ò ÓÒ ØÓ Ø ÆËÁ ÇÊÌÊ Æ Ø Ò Ö º Ê ÔÓÒ Ð ØÝ Ñ Ö Ò Æ Ø ÓÒ Ð ËØ Ò Ö ÁÒ Ø ØÙØ ÆËÁ  µ ÁÒØ ÖÒ Ø ÓÒ Ð ÇÖ Ò Þ Ø ÓÒ ÓÖ ËØ Ò Ö Þ Ø ÓÒ ÁËÇ»Á ÂÌ
Ë ØÝ Ò ÈÓÖØ Ð ØÝ Ó Á ÊË ÓÒÚ ÒØ ÓÒ ËÓ ØÛ Ö Å Ð Ö ØÐ Á ÊË ÏÓÖ ÓÔ ÓÒ ÓÒÚ ÒØ ÓÒ ¹ ½ ÓÖØÖ Ò ÓÖØÖ Ò = ÜØ Ò ÓÒ ØÓ Ø ÆËÁ ÇÊÌÊ Æ Ø Ò Ö º Ê ÔÓÒ Ð ØÝ Ñ Ö Ò Æ Ø ÓÒ Ð ËØ Ò Ö ÁÒ Ø ØÙØ ÆËÁ Â µ ÁÒØ ÖÒ Ø ÓÒ Ð ÇÖ Ò Þ Ø
ÓÖÑ Ð ÓÒ ÔØ Ò ÐÝ Ò Ö Ö ÓØ ÖÛ ØÓ Ò ØÓ ÔÖÓ Ò Ó Ô Ø Á Ë ÓÒ Ö Ò º Ì Ö Ö Ö Ð Ø ÔÔÖÓ ØÓ Ø ÓÚ Ø Ø ÔÖÓ Ð Ñº ÓÖ Ò Ø Ò Ø ÓÒ ÔØ Ó Ú ÖØÙ Ð ÓÐ Ö Û ÒØÖÓ Ù Ò ÔÖÓ Ö Ñ
Å ß ÓÒ ÔØÙ Ð Ñ Ð Å Ò Ö Ê Ö ÓÐ ½ Ö ËØÙÑÑ ¾ ½ Ë ÓÓÐ Ó ÁÒ ÓÖÑ Ø ÓÒ Ì ÒÓÐÓ Ý Ö ÆØ ÍÒ Ú Ö ØÝ ÓÐ Ó Ø ÑÔÙ ÈÅ ¼ ÓÐ Ó Ø Å Ð ÒØÖ ÉÄ ¾ Ù ØÖ Ð ÖºÓÐ Ùº Ùº Ù ¾ Ì Ò ÍÒ Ú Ö ØĐ Ø ÖÑ Ø Ø Ö Å Ø Ñ Ø Ë ÐÓ ÖØ Ò ØÖº ß ¾ ÖÑ Ø
ÇÙØÐ Ò ÁÒØÖÓ ÙØ ÓÒ º º ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ Å Ò Ñ Ü Ð ÓÖ Ø Ñ ÐÔ Ø ÔÖÙÒ Ò
ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ËÔÖ Ò ¾¼½¾ Ë º ÓÙ ÖÝ Ë ÙÛ Ö µ ÖØ ¼¾µ ¾ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ú Ö Ö Ð Ë Ö Ì ØÐ ÔØ Ö Ë Ø ÓÒ º½ º¾ Ò º µ ÁÅ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽¾ ÇÙØÐ Ò ÁÒØÖÓ ÙØ ÓÒ º º ÓÙ ÖÝ ¾ ÁÒ
Sensor0 Motor0. Sensor2. Motor2
ÅÓ ÐÐ Ò Ö Ð¹Ø Ñ Ð Ò Ù Ì ÓÑ ÀÙÒ ÊÁ Ë Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ö Ù ÒÑ Ö Ñ Ð Ö Ö ØÖ Ø Ï ÔÖ ÒØ ÓÑÔÓ Ø ÓÒ Ð Ñ Ø Ó ÓÖ ØÖ Ò Ð Ø Ò Ö Ð¹Ø Ñ ÔÖÓ¹ Ö Ñ ÒØÓ Ò ØÛÓÖ Ó Ø Ñ ÙØÓÑ Ø ÈÖÓ Ö Ñ Ö ÛÖ ØØ Ò Ò Ò Ñ ÐÝ
The Enigma machine. 1 Expert teams 25 mins. 2 Mixing the teams 30 mins. 3 Coding and decoding messages 1 period
The Enigma machine ¼ The Enigma machine Time frame 2 periods Prerequisites : Å Ò ÖÝÔØÓ Ö Ô Ø Ò ÕÙ Objectives : ÓÚ Ö Ø ÛÓÖ Ò Ó Ø Ò Ñ Ñ Ò º ÓÙÒØ Ø ÒÙÑ Ö Ó ÔÓ Ð Ø Ó Ö Ý Ø Ñ Ò º Materials : 6 ÓÔ Ó Ø Øº 6 3
½ Ê Ú Û Ó ÆÒ ÕÙÓØ ÒØ ¾ ÇÖØ Ó ÓÒ Ð ÒÚ Ö ÒØ ÓÙ Ð Ö Ø ÓÒ Ý ÕÙÓØ ÒØ Ñ Ô ÇÖ Ø ÓÖÖ ÔÓÒ Ò Ü ÑÔÐ Ó ÓÖ Ø ÓÖÖ ÔÓÒ Ò Ü ÑÔÐ Ø Ò ÓÖ ÔÖÓ ÙØ Ü ÑÔÐ ÓÒØÖ Ø ÓÒ Ñ Ô ÇÔ Ò
ÆÒ ÕÙÓØ ÒØ Ò Ø ÓÖÖ ÔÓÒ Ò Ó ÓÖ Ø ÃÝÓ Æ Ý Ñ Ö Ù Ø Ë ÓÓÐ Ó Ë Ò ÃÝÓØÓ ÍÒ Ú Ö ØÝ ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ò ÓÒ Ê ÒØ Ú Ò Ò Å Ø Ñ Ø Ò Ø ÔÔÐ Ø ÓÒ º Ë ÔØ Ñ Ö ¾ ß ¼ ¾¼¼ µ Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ÃÍ ÈÓ Ø Ö Ù Ø ÒØ Ö Ð ÙÑ Ã ÖÒ
Ú Ð Ð ÓÒÐ Ò Ø ØØÔ»» Ѻ Ö Ùº º Ö ÁÒغ º ÁÒ Ù ØÖ Ð Å Ø Ñ Ø ÎÓк ÆÓº ¾¼½½µ ½ ½¹½ ½ Ê Ò Ò ÍÒ Ø Ò Ý Í Ò Ø ÎÓØ Ò ËÝ Ø Ñ Åº à ÒÑÓ ÑÑ Êº ÐÐ Ò µ Ô ÖØÑ ÒØ Ó Å
Ú Ð Ð ÓÒÐ Ò Ø ØØÔ»» Ѻ Ö Ùº º Ö ÁÒغ º ÁÒ Ù ØÖ Ð Å Ø Ñ Ø ÎÓк ÆÓº ¾¼½½µ ½ ½¹½ ½ Ê Ò Ò ÍÒ Ø Ò Ý Í Ò Ø ÎÓØ Ò ËÝ Ø Ñ Åº à ÒÑÓ ÑÑ Êº ÐÐ Ò µ Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ë Ò Ò Ê Ö Ö Ò Á Ð Ñ Þ ÍÒ Ú Ö ØÝ Ð Ñ Ö ÁÖ Òº µ
Ë Ò ÓÖ Æ ØÛÓÖ Å ÈÖÓØÓÓÐ ÂÙ Î Ð ÓÒ Ò Ä ÓÖ ØÓÖÝ ÓÖ Ì ÓÖ Ø Ð ÓÑÔÙØ Ö Ë Ò À Ð Ò ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¾ º º¾¼¼ ÂÙ Î Ð ÓÒ Ò Ë Ò ÓÖ Æ ØÛÓÖ Å ÈÖÓØÓÓÐ
Ä ÓÖ ØÓÖÝ ÓÖ Ì ÓÖ Ø Ð ÓÑÔÙØ Ö Ë Ò À Ð Ò ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¾ º º¾¼¼ ÇÙØÐ Ò ÖÓÙÒ Ò ÁÒØÖÓ ÙØ ÓÒ Ë Ò ÓÖ Æ ØÛÓÖ Ó Å ¹ÔÖÓØÓÓÐ Ì Ö ÔÖÓØÓÓÐ Ö ÓÒÐÙ ÓÒ ÖÓÙÒ ÈÖ ÒØ Ø ÓÒ ÓÒ º Ë Ú Ê Ñ ÅÙÖØ Ý Ò º ˺ Å ÒÓ º ¹ÀÓ Ï
½½ º º À Æ Æ º º Í Æ ÒÓØ ÔÓ Ø Ú Ñ ¹ Ò Ø ÙÒÐ Ø ÓÐÐÓÛ Ò ØÖÙ Ø Ö ÓÒ Ù ÔÖÓ Ð Ñ È ½ Û Ø Ò Ð ÐÐ ÓÒ ØÖ ÒØ Û Ó ÓÖÑ Ù Ø ØÓ Ñ Ò ¾Ê Ò µ ½ ¾ Ì Ì Ø Ì Ù ÔÖÓ Ð Ñ Ø Ð
ÂÓÙÖÒ Ð Ó ÓÑÔÙØ Ø ÓÒ Ð Å Ø Ñ Ø ÎÓк½ ÆÓº¾ ¾¼¼½ ½½ ß½¾ º ÇÆ Å ÁÅ Ç Í Ä ÍÆ ÌÁÇÆ Ç ÌÀ Ì ËÍ ÈÊÇ Ä Å ½µ ÓÒ ¹ Ò Ê Ö Ú ÐÓÔÑ ÒØ ÒØ Ö Ó È Ö ÐÐ Ð ËÓ ØÛ Ö ÁÒ Ø ØÙØ Ó ËÓ ØÛ Ö Ò ½¼¼¼ ¼ Ò µ ¹Ü Ò Ù Ò ËØ Ø Ã Ý Ä ÓÖ ØÓÖÝ
½ ÁÒØÖÓ ÙØ ÓÒ Ê ÒØ Ö ÙÐØ Ò ÑÔÐ Ñ ÒØ Ø ÓÒ Ó Ø ÔÐ ÒÒ Ö ½ Ú Ö Ø Ò¹ Ø Ö Ø ÓÖ Ù Ø Ð ÔÔÐ Ð ØÝ Ó Ø ÔÐ ÒÒ Ò ÔÔÖÓ ØÓ Ñ ÒÝ Ö Ð ÛÓÖÐ ÔÖÓ Ð Ñ º ÍÒ ÓÖØÙÒ Ø ÐÝ Ø ÔÖ
Ò ÜØ Ò ÓÒ Ó Ë ÌÈÄ Æ ÓÖ ÔÐ ÒÒ Ò Û Ø ÓÒ ØÖ ÒØ Å ÖÓ ÓÐ ØØ ËØ ÒÓ Å ÖÙ Ò Ð Ö Ó Å Ð Ò Ô ÖØ Ñ ÒØÓ Å Ø Ñ Ø ÁÒ ÓÖÑ Ø ÍÒ Ú Ö Ø Ð ËØÙ È ÖÙ Î Î ÒÚ Ø ÐÐ ¼ ½¼¼ È ÖÙ ÁØ ÐÝ ¹Ñ Ð Ñ ÖÓ ÒÓ Ñ Ð Ò ÔÑ ØºÙÒ Ô º Ø Ì Ðº ¹¼ ¹ º
Ê Ö Ò Ù Ä ÒÙÜ ÓÖ ØÖÓÒÓÑ Ö º º º ½º¾º Ï Ø Ä ÒÙÜ Ä ÒÙÜ ÍÆÁ ¹Ð ÖÒ Ð Ö Ø Ý Ä ÒÙ ÌÓÖÚ Ð º Ä ÒÙÜ ÖÒ Ð Ó Ø Ò ÓÒ Ù Û Ø Ø ÆÍ»Ä ÒÙÜ ÓÔ Ö Ø Ò Ý Ø Ñº Ä ÒÙÜ Ø ÖÒ Ð
Ä ÒÙÜ ÓÖ ØÖÓÒÓÑ Ö Ô Ý Ø Ò Ò Ò Ö Ê Ö Ò Ù ÓÖ È ØÖÓÚ ÅÓÑ Ð Ú ÁÒ Ø ØÙØ Ó ØÖÓÒÓÑÝ Ò Æ Ç ÙÐ Ö Ò ÑÝ Ó Ë Ò ¹½ ËÓ Ô ØÖÓÚ ØÖÓº º Ñ Ú ØÖÓº º ËÙ Ñ ØØ ½ º½¼º¾¼½ ÔØ ¼¾º½¾º¾¼½ µ ØÖ Øº Ì ÓÒ Ö Ò Ø Ð ½ ÙÑÑ ÖÝ Ó Ö Ö Ò Ù
Ä Ü¹ÇÔØ Ñ Ð ÇÒ¹Ä Ò ÅÙÐØ Ð Ë ÙÐ Ò Û Ø À Ö Ð Ò ÖÙ À Ò È ÖÖ Ë Ö Ô ÖØÑ ÒØ Ó Ð ØÖ Ð Ò ÓÑÔÙØ Ö Ò Ò Ö Ò Ò Ø ÓÓÖ Ò Ø Ë Ò Ä ÓÖ ØÓÖÝ ÍÒ Úº Ó ÁÐÐ ÒÓ ÍÖ Ò ÁÄ ½ ¼½
Ä Ü¹ÇÔØ Ñ Ð ÇÒ¹Ä Ò ÅÙÐØ Ð Ë ÙÐ Ò Û Ø À Ö Ð Ò ÖÙ À Ò È ÖÖ Ë Ö Ô ÖØÑ ÒØ Ó Ð ØÖ Ð Ò ÓÑÔÙØ Ö Ò Ò Ö Ò Ò Ø ÓÓÖ Ò Ø Ë Ò Ä ÓÖ ØÓÖÝ ÍÒ Úº Ó ÁÐÐ ÒÓ ÍÖ Ò ÁÄ ½ ¼½ Ñ Ð ¹ Ô¹ Ö Ù Ùº Ù ÂÙÒ ¾¼¼¼ ØÖ Ø ÇÒ¹Ð Ò ÙÐ Ò Ó ÙÒ Ø¹Ð
Plot A. Plot B. Plot D. Plot C
Ï Ò Ó Ø ÒØ ÓÑÔÓÒ ÒØ Ö Ò ÙÒ Ø Ð ØÝ Å Ð ÅÓÐÐÓÝ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó ÌÓÖÓÒØÓ ÌÓÖÓÒØÓ Ò Å Ö ¼¼ ØÖ Ø Ï ØÙ Ý Ö Ò ÓÑ ÓÒ ØÖ ÒØ Ø Ø ÓÒ ÔÖÓ Ð Ñ Ù Ò Ø Û Ð Ó ÑÓ Ð ÒØÖÓ Ù Ý Ø ÙØ ÓÖ Û ÒÐÙ Ú Ö ÓÙ ÓÖÑ Ó
ÁËÁË Ø Ò Ð Ö ÔÓÖØ Ö ÎÓк ½¼ ¾¼¼¼ ÖÓÙÒ ÜØÖ Ø ÓÒ Ó ÓÐÓÙÖ ÁÑ Ë ÕÙ Ò Ù Ò Ù Ò Ñ ÜØÙÖ ÑÓ Ð ËØ ÒÑ Ò Ò Ê Ò Ú Ò Ò ÓÓÑ Ö ÁÒØ ÐÐ ÒØ Ë Ò ÓÖÝ ÁÒ ÓÖÑ Ø ÓÒ ËÝ Ø Ñ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ñ Ø Ö Ñ Ì Æ Ø ÖÐ Ò
x = x 1x 2 x (p-1)x x = 3 x = 3 x = 3 x = 3 0 x 1 x 2 x... (p-1)x
ÌÖ Ò ÓÖÑ Ø ÓÒ Ô Ö ÐÐ Ð ÔÖÓ Ö ÑÑ Ò ÈÖÓ Ö Ñ Ô Ö ÐÐ Ð Þ Ø ÓÒ Ø Ò ÕÙ º ½º ÈÖÓ Ö Ñ Å ÔÔ Ò ÈÖÓ Ö Ñ È ÖØ Ø ÓÒ Ò º Ô Ò Ò Ò ÐÝ º Ë ÙÐ Ò ÄÓ Ð Ò Ò º Ó ØÖ ÙØ ÓÒº ¾º Ø Å ÔÔ Ò º Ø Ô ÖØ Ø ÓÒ Ò º ÓÑÑÙÒ Ø ÓÒ ØÛ Ò ÔÖÓ ÓÖ
ÁÒØÖÓ ÙØ ÓÒ Ì Ñ Ñ Ö Ó Ú Ò Ô ÓÖ Ù Ô µ Ú Ø Ñ Ò Ö Ð ØÙÖ ÓÒ Ø Ö Ó Ø Ô ØØ ÖÒº ÀÓÛ Ú Ö Ò Ú Ù Ð Ò Ñ Ð Ø ÓÛÒ Ø ÒØ Ñ Ö Ò º Ì Ô ØØ ÖÒ Ö ÒÓØ Ø ÖÑ Ò Ò Ø ÐÐݺ Ì Ý
Ò Ñ Ð Ó Ø È ØØ ÖÒ ÓÖÑ Ø ÓÒ Ú ÐÝÒ Ë Ò Ö Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ð Ë Ò ÓÖ Å ÓÒ ÍÒ Ú Ö ØÝ Ù Ù Ø ¾¼¼½ ÂÓ ÒØ ÛÓÖ Û Ø Ì ÓÑ Ï ÒÒ Ö ÍÅ µ ÁÒØÖÓ ÙØ ÓÒ Ì Ñ Ñ Ö Ó Ú Ò Ô ÓÖ Ù Ô µ Ú Ø Ñ Ò Ö Ð ØÙÖ ÓÒ Ø Ö Ó Ø Ô ØØ ÖÒº ÀÓÛ
U xt +6U 2 x +6UU xx +U xxxx = 3U yy
ÙÐк ÓÑÔÙغ ÔÔк Å Ø º ÎÓк½ ¾¼½ ÛÛÛºÓÑÔ Ñ ºÓºÙ ºÚ ÁËËÆ ¾¾ ¹ ËÓÐÚ Ò Ø ÃÈÁ Ï Ú ÕÙ Ø ÓÒ Û Ø ÅÓÚ Ò ÔØ Ú Å Ö Ö ÒÚ ÐÐ Ë Û ÐÐ ØÖ Ø Ì Ã ÓÑØ Ú¹È ØÚ Ú Ð Á ÃÈÁµ ÕÙ Ø ÓÒ Ø ÙÐØ ÒÓÒÐ Ò Ö Û Ú ÕÙ ¹ Ø ÓÒ U xt + 6U 2 x
1 The Multinomial logit
Ë ÑÔÐ Ò Ó ÐØ ÖÒ Ø Ú Ù Ò ÑÙÐØ Ñ Ò ÓÒ Ð Ò ÐÝ Åº ÖÐ Ö º ÄÙ ÑÓ Å Ý ¾¾ ¾¼¼ Ê ÔÓÖØ ÌÊ ÆËȹÇÊ ¼ ¼ ¾¾ ÌÖ Ò ÔÓÖØ Ò ÅÓ Ð ØÝ Ä ÓÖ ØÓÖÝ Ë ÓÓÐ Ó Ö Ø ØÙÖ Ú Ð Ò ÒÚ ÖÓÒÑ ÒØ Ð Ò Ò Ö Ò ÓÐ ÈÓÐÝØ Ò ÕÙ Ö Ð Ä Ù ÒÒ transp-or.epfl.ch
ÜÔÓÒ ÒØ Ð Ò Ø ÔÖÓ Ð Ñ Þ Ø Ò ÐÓ Ò Ù Ø Ð Ò Ö ÓÖ Ò ØÓ ÃÓÖ º Ì ÒØ Ð Ö ÓÒ Û Ý ØÖ Ø ÓÒ Ö Ù ÓÑÔÐ Ü ØÝ Ø Ø Ø ØÓØ Ð ÓÑÔÐ Ü ØÝ Ø ÙÑ Ó Ø ÓÑÔÐ Ü Ø Ó Ø ÑÙÐØ ÔÐ Ö Ò
ØÖ Ø ÓÒ Û Ø Ò È ÖØ Ð ÙØ ÓÒ ÓÖ Ä Ò Ö ÄÓ È Ô ÃĐÙÒ ÆÓÖÛ Ò ÍÒ Ú Ö ØÝ Ó Ë Ò Ò Ì ÒÓÐÓ Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ò ÁÒ ÓÖÑ Ø ÓÒ Ë Ò Ô Ô ºÒØÒÙºÒÓ ØÖ Øº ØÖ Ø ÓÒ Ò Ù ÜØ Ò Ú ÐÝ Ò ÖØ Ð ÁÒØ ÐÐ ¹ Ò Áµ ÔÐ ÒÒ Ò ÙÑ Ò ÔÖÓ Ð Ñ
Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖ Ø ÓÑÔ Ö ÓÒ Ó ÀÙÑ Ò Ä Ñ ÌÖ ØÓÖ Å Ö ÈÓÑÔÐÙÒ ½ Ò Å Âº Å Ø Ö ¾ ½ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÓÖ ÍÒ Ú Ö ØÝ ¼¼ à РËØÖ Ø ÌÓÖÓÒØÓ ÇÒØ Ö Ó
Ì ØÐ Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖ Ø ÓÑÔ Ö ÓÒ Ó ÀÙÑ Ò Ä Ñ ÌÖ ØÓÖ ÙØ ÓÖ Å Ö ÈÓÑÔÐÙÒ Ò Å Âº Å Ø Ö ÊÙÒÒ Ò Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖÖ ÔÓÒ Ò ÙØ ÓÖ Å Ö ÈÓÑÔÐÙÒ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÓÖ ÍÒ Ú Ö ØÝ ¼¼ à РËØÖ Ø ÌÓÖÓÒØÓ
ELA. Electronic Journal of Linear Algebra ISSN A publication of the International Linear Algebra Society Volume 13, pp , July 2005
ËÍ ÁÊ Ì ËÍÅË Ç ÆÇÆËÁÆ ÍÄ Ê M¹Å ÌÊÁ Ë Æ Ç ÌÀ ÁÊ ÁÆÎ ÊË Ë Ê Ä ÊÍ Ê Æ ÁË Ç È ÊÇ À Æ ÆÁ Ä Ë Ä ØÖ Ø Ì ÕÙ Ø ÓÒ Ó Û Ò Ø Ù Ö Ø ÙÑ Ó ØÛÓ ÒÓÒ Ò ÙÐ Ö M¹Ñ ØÖ ÒÓÒ¹ Ò ÙÐ Ö M¹Ñ ØÖ Ü ØÙ ËÙ ÒØ ÓÒ Ø ÓÒ Ö Ú Ò Ì Ó ÒÚ Ö Ó
ÓÙÖ ÓÒØ ÒØ Ï Ý Ó Û Ù Ø ÙÒØ ÓÒ Ð ØÝ ÔÖÓÚ Ý Ø Å Ò Ñ ÒØ ËÝ Ø Ñ Ø ÅÓ Ð Ê Ð Ø ÓÒ Ð Æ ØÛÓÖ ÇÇ ÀÓÛ Ó Û Ù ÅË Ê Ð Ø ÓÒ Ð ÑÓ Ð ÓÙÒ Ø ÓÒ Ð ÕÙ ÖÝ Ð Ò Ù ËÉÄ ÔÔÐ Ø
ÇÚ ÖÚ Û Ó Ø Å Ò Ñ ÒØ Ö Ò ÌÓÑÔ Ë ÓÓÐ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ï Ø ÖÐÓÓ Ë ÁÒØÖÓ ÙØ ÓÒ ØÓ Ø Å Ò Ñ ÒØ Ï ÒØ Ö ¾¼½¼ Ë ÁÒØÖÓ ØÓ Å Ñص ÇÚ ÖÚ Û Ó Ø Å Ò Ñ ÒØ Ï ÒØ Ö ¾¼½¼ ½» ¾¾ ÓÙÖ ÄÓ Ø Ï Ô Ì ÜØ ÓÓ Ú ÐÙ Ø ÓÒ ÛÛÛº
Abiteboul. publication x author. citation title date 2000 Suciu Data on the Web Buneman
ËÔ Ø Ð ÄÓ ÓÖ ÉÙ ÖÝ Ò Ö Ô ÄÙ Ö ÐÐ È Ð ÔÔ Ö Ò Ö Ò ÓÖ Ó ÐÐ ½ ØÖ Øº Ï ØÙ Ý Ô Ø Ð ÐÓ ÓÖ Ö ÓÒ Ò ÓÙØ ÐÐÐ Ö Ø Ö Ô Ò Ø ÔÔÐ Ø ÓÒ Ó Ø ÐÓ ØÓ ÔÖÓÚ ÕÙ ÖÝ Ð Ò Ù ÓÖ Ò ÐÝ Ò Ò Ñ Ò ÔÙÐ Ø Ò Ù Ö Ô º Ï Ú Ö Ô Ö ÔØ ÓÒ Ù Ò ÓÒ
deactivate keys for withdrawal
Ù Ø Ð ÌÖ Ò Û Ø ÍÒÓÒ Ø ÓÒ Ð ÒÓÒÝÑ ØÝ ÒÒ Ã Ð Ö Ò ÀÓÐ Ö ÎÓ Ø Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÖÑ Ø Ø ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¹ ¾ ÖÑ Ø Ø ÖÑ ÒÝ ß Ù Ð Ö ÚÓ ØÐ º Ò ÓÖÑ Ø ºØÙ¹ ÖÑ Ø Øº ØÖ Ø Ï ÔÖ ÒØ Ò Û ÒÓÒÝÑÓÙ ÓÒ¹Ð Ò Ô ÝÑ ÒØ
Nn Nn D ni T ni σ N n. N n σ D ni
ÅËÍ ÔÔÖÓ ØÓ È ÖØÓÒ ØÖ ÙØ ÓÒ Ò ÍÒ ÖØ ÒØ ÂÓÒ ÈÙÑÔÐ Ò Ä ÀÓÙ ÏÓÖ ÓÔ ß Å Ý ¾¼¼½ ÇÙØÐ Ò ½º Ì É»ÅËÍ ÐÓ Ð Ò ÐÝ ¾º ÇÚ ÖÚ Û Ó ÅËÍ ÙÒ ÖØ ÒØÝ ØÙ º Ä Ö Ò ÅÙÐØ ÔÐ Ö Ñ Ø Ó º À Ò Å ØÖ Ü Ñ Ø Ó º Å ÙÖ Ó ÓÒ Ø ÒÝ º Ê ÙÐØ
Ì ÐÑÓ Ø ÓÑÔÐ Ø ÙÔÛ Ö ÓÐÐ Ô Ó ÈÀ ÓÛÒ ØÓ È ÆÈ ½ Ü ÔØ ÓÖ Ø Ô ØÛ Ò È ÆÈ Ò ÈÈ ÆÈ º ÐÓ Ò Ø Ô Ñ Ø ÓÒ Û Ø ÔÖÓÓ Ø Ø È ÆÈ ½ È ÆÈ ¾ ØØ µ ÈÈ ÆÈ È ÆÈ º ÀÓÛ Ú Ö Ø Ô
ÇÒ Ø Ó Ú À ÖÖÝ Ù ÖÑ Ò ½ Ê Ö Ò ¾ Ò Ä Ò ÓÖØÒÓÛ ½ ÏÁ ² ÍÒ Ú Ö ØÝ Ó Ñ Ø Ö Ñº Ö ÏÁ ÁÆË ÈºÇº ÓÜ ¼ Ñ Ø Ö Ñ Ì Æ Ø ÖÐ Ò º Ù ÖÑ ÒÛ ºÒк ¾ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ò Ð ØÖ Ð Ò Ò Ö Ò ÍÒ Ú Ö ØÝ Ó Å ÖÝÐ Ò ÐØ ÑÓÖ ÓÙÒØÝ
Ò Û ÑÓÒ ØÖ Ø ÒÝ ÓØ Ö Ö Ð Ø ÓÒ Ô ÓÒ Ø ÒØ Û Ø Ø ÇÙÖ Ñ Ò Ö ÙÐØ Ø Ø Ø ÒÓÛÒ ÑÔÐ Ø ÓÒ Ö Ø ÓÒÐÝ ÓÒ ØÓ ÓÐ Ò Ú ÖÝ Ö Ð Ø Ú Þ ÛÓÖÐ º Ì Ø Û ÑÓÒ ØÖ Ø Ò ÓÖ Ð Ö Ð Þ
Ë Ô Ö Ð ØÝ Ò ÇÒ ¹Û Ý ÙÒØ ÓÒ Ä Ò ÓÖØÒÓÛ ÂÓ Ò ÊÓ Ö Ý ÂÙÐÝ ¾½ ¾¼¼¼ ØÖ Ø Ï ØØÐ ÐÐ Ö Ð Ø Ú Þ ÕÙ Ø ÓÒ Ó Ø Ö Ð Ø ÓÒ Ô ØÛ Ò Ø ÓÐÐÓÛ Ò Ú ÔÖÓÔÓ Ø ÓÒ È ÆÈ È ÍÈ È ÆÈ ÓÆÈ ÐÐ Ó ÒØ Ô Ö Ó ÆÈ Ø Ö È¹ Ô Ö Ð º ÐÐ Ó ÒØ Ô Ö
R E S E A R C H R E P O R T I D I A P
R E S E A R C H R E P O R T I D I A P ËÇŹ ÐÙ Ø Ö Ò ÓÖ ÇÒ¹Ð Ò Ö Ù Ú ÓÖ Ð Ø ÓÒ ËØÙ Ý Î Ò ÒØ Ä Ñ Ö Á Á ÈßÊÊ ¼¾¹ ¼ ÂÙÐÝ ¾¼¼¾ Ö Ð ÖÓØ ØÓ ÔÔ Ö Ò ÙÞÞÝ ËÝ Ø Ñ Ò ÃÒÓÛÐ ÓÚ ÖÝ Ëà µ ¾¼¼¾ Ð Ð Å Ó Ð Ð Á Ò Ø Ø Ù Ø Ó
ÌÖ ÓÒÓÑ ØÖÝ ÌÖ ÓÒÓÑ ØÖÝ Ð Û Ø Ö Ð Ø ÓÒ Ô ØÛ Ò Ò Ò Ð Ó ØÖ Ò Ð º ÁØ Û ÔÔÐ Ø ÓÒ Ò Ô Ý Ò Ò Ò Ö Ò º Ì ØÖ ÓÒÓÑ ØÖ ÙÒØ ÓÒ Ö Ö Ø Ò Ù Ò Ö Ø¹ Ò Ð ØÖ Ò Ð º C Ì Ç
ÌÖ ÓÒÓÑ ØÖÝ ÌÖ ÓÒÓÑ ØÖÝ Ð Û Ø Ö Ð Ø ÓÒ Ô ØÛ Ò Ò Ò Ð Ó ØÖ Ò Ð º ÁØ Û ÔÔÐ Ø ÓÒ Ò Ô Ý Ò Ò Ò Ö Ò º Ì ØÖ ÓÒÓÑ ØÖ ÙÒØ ÓÒ Ö Ö Ø Ò Ù Ò Ö Ø¹ Ò Ð ØÖ Ò Ð º C Ì ËÁÆ ÙÒØ ÓÒ A B Ò = Ò = ÓÔÔÓ Ø ÝÔÓØ ÒÙ µ ÆÓÚ Ñ Ö ¾ ¾¼½
½ ÁÒØÖÓ ÙØ ÓÒ Ï Ö Ð ÓÑÑÙÒ Ø ÓÒ ÓÑ ÔÓÔÙÐ Ö Ù ØÓ Ø Ö ÒØ Ú ÒØ Ó Ò Û Ø ÒÓÐÓ º ÁØ ÔÖ ÒØ ÒÓØ ÓÒÐÝ Ò Ø Ù ÕÙ ØÓÙ ÓÖ Ð Ò ÐÐÙÐ Ö Ô ÓÒ ÙØ Ð Ó Ò Ô Ö ÓÒ Ð ÓÑÑÙÒ Ø
Ø ÖÑ Ò Ø Ê Ó ÖÓ Ø Ò Ó Ò Ëº Ð Ù Ý Ä Þ Ò Þ ÒÒ ĐÇ ØÐ Ò Ü ÂÓ Ò Å Ð ÊÓ ÓÒ ß Ý ÁÒ ØÝØÙØ ÁÒ ÓÖÑ ØÝ ÍÒ Û Ö ÝØ Ø Ï Ö Þ Û Ò ¾ ¼¾¹¼ Ï Ö Þ Û ÈÓÐ Ò º ¹Ñ Ð Ð Ù Ñ ÑÙÛº ÙºÔÐ Þ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ì ÍÒ Ú Ö ØÝ Ó Ä Ú
x(t + t) = exp( tl)x(t), µ t k exp( tl) = x i i=1 k=0
ÔØ Ú Ä ¹ ÒØ Ö Ø ÓÒ Ø Ù ØÖ Ò¹ÀÙÒ Ö Ò ÏÓÖ ÓÔ ÓÒ ÌÖÓ Ò Ò Ê Ð Ø ÌÓÔ ½¼ ÔÖ Ð ¾¼½¼ ÇÖ Ò ÖÝ Ö ÒØ Ð ÕÙ Ø ÓÒ ÈÖÓ Ð Ñ Ð Ø³ ÓÐÚ Ø ÕÙ Ø ÓÒ ẋ i = f i (x) ½µ Û Ö x : R R N x = (x 1,..., x N )µº ÆÓØ ÐÐ ÒÓÒ¹ ÙØÓÒÓÑÓÙ
Strong normalization of lambda-bar-mu-mu-tilde-calculus with explicit substitutions
Strong normalization of lambda-bar-mu-mu-tilde-calculus with explicit substitutions Emmanuel Polonovski To cite this version: Emmanuel Polonovski. Strong normalization of lambda-bar-mu-mu-tilde-calculus
ËÙ Ø ÙÒØ ÓÒ Ð ØÝ Ò Å Ø Ó Ü ÑÔÐ È Ö Ö Ö Ú Ø ÓÒ Ó È Ö Ö ÓÒ Ø ÄÊ( ) Ö ÑÑ Ö ÄÊ(½) È Ö Ö Ò Ö Ø ÓÒ ÓÒ
ÓØØÓѹÍÔ ËÝÒØ Ü ËÝÒØ Ü Ò ÐÝ Ï Ð ÐѻŠÙÖ Ö ÓÑÔ Ð Ö Ò ÔØ Ö Ê Ò Ö Ï Ð ÐÑ ÍÒ Ú Ö ØØ Ë ÖÐ Ò Û Ð ÐÑ ºÙÒ ¹ º Ò ÅÓÓÐÝ Ë Ú Ì Ð Ú Ú ÍÒ Ú Ö ØÝ ÚÑ Ø ºØ Ùº º Ð ËÙ Ø ÙÒØ ÓÒ Ð ØÝ Ò Å Ø Ó Ü ÑÔÐ È Ö Ö Ö Ú Ø ÓÒ Ó È Ö Ö
ÇÙØÐ Ò Ó Ø Ð ÅÓØ Ú Ø ÓÒ ÔÓÐÝÒÓÑ Ð Ú ÓÒ ÒÓ Ò ÓÖ ÝÐ Ó ÙØÓÑÓÖÔ Ñ µ ÑÓ ÙÐ ÕÙ ¹ÝÐ µ ØÖÙ¹ ØÙÖ ÖĐÓ Ò Ö ÓÖ ÑÓ ÙÐ Ú ÐÙ Ø ÓÒ Ó ÖÓÑ ÓÖ Ö ÓÑ Ò Ò¹ ÐÙ Ò ÓÔÔ Ó µ Ü Ñ
ÖĐÓ Ò Ö ÓÖ ÒÓ Ò Ó ÖØ Ò Ó ÖÓÑ ÇÖ Ö ÓÑ Ò ÂÓ Ò º Ä ØØÐ Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ò ÓÑÔÙØ Ö Ë Ò ÓÐÐ Ó Ø ÀÓÐÝ ÖÓ Ð ØØÐ Ñ Ø º ÓÐÝÖÓ º Ù ÊÁË ÏÓÖ ÓÔ Ä ÒÞ Ù ØÖ Å Ý ½ ¾¼¼ ÇÙØÐ Ò Ó Ø Ð ÅÓØ Ú Ø ÓÒ ÔÓÐÝÒÓÑ Ð Ú ÓÒ ÒÓ Ò ÓÖ
spike splinter spire spindle spear
Ò ÜÔ Ö Ñ ÒØ Ð ËØÙ Ý Ó ËÐ Ú Ö ÜÙ Ø ÓÒ À Ö ÖØ Ð ÖÙÒÒ Ö Ý Ò ÑÖÓÒ ÙÓÝ Þ ØÖ Ø Ï ÔÖ ÒØ Ö ÙÐØ ÓÒ ØÛÓ¹ Ø Ô ÑÔÖÓÚ Ñ ÒØ Ó Ñ ÕÙ Ð ØÝ Ò Ø Ö ¹ Ñ Ò ÓÒ Ð Ð ÙÒ Ý ØÖ Ò ÙÐ Ø ÓÒ º Ì Ö Ø Ø Ô Ö Ò Ø ØÖ Ò ÙÐ Ø ÓÒ Ý Ò ÖØ Ò Ò
ÁÒØÖÓ ÙØ ÓÒ Ö ÙÑÙÐ ÒØ Ò Ã ÖÓÚ³ ÔÓÐÝÒÓÑ Ð Ä Ø Ù ÒÓØ Ý Ë Ò Ø ÝÑÑ ØÖ ÖÓÙÔ Ó ÓÖ Ö Òº ÁÖÖ Ù Ð Ö ÔÖ ÒØ Ø ÓÒ Ô ÖØ Ø ÓÒ λ Òº ÆÓÖÑ Ð Þ Ö Ø Ö Ú ÐÙ χ λ (µ) ÓÖ µ
ÓÑ Ò ØÓÖ Ð ÒØ ÖÔÖ Ø Ø ÓÒ Ò ÔÓ Ø Ú ØÝ Ó Ã ÖÓÚ³ ÔÓÐÝÒÓÑ Ð Î Ð ÒØ Ò Ö Ý Ä ÓÖ ØÓ Ö ³ÁÒ ÓÖÑ Ø Õ٠гÁÒ Ø ØÙØ Ô Ö ¹ÅÓÒ ÍÒ Ú Ö Ø È Ö ¹ Ø ÓÖÑ Ð ÈÓÛ Ö Ë Ö Ò Ð Ö ÓÑ Ò ØÓÖ ¾¼¼ ÍÒ Ú Ö ØÝ Ó Ì Ð Ð µ ÂÙÒ ¾ Ø Î Ð ÒØ Ò
PRINCETON PLASMA PHYSICS LABORATORY
Á Ì Åƺƺ Ù Ø Ò ÓÖ Ð Ò ÓÚÌ Ü Ò ½ Ë ÔØ Ñ Ö ÑÓ Ò ÁÌ Ê ¾¼½½ ÆÓÒÔ ÖØÙÖ Ø Ú ÑÙÐ Ø ÓÒ Ó ÓÒ Ò Ò ÑÓ Ø Ð Þ Ø ÓÒ Ò ÁÌ Ê ÈÈÈÄ ÈÖ Ò ØÓÒ ÍÒ Ú Ö ØÝ PRINCETON PLASMA PHYSICS LABORATORY ËÌÊ Ì Ï ÑÔÐÓÝ Ø ÐÓ Ð ÆÇÎ ¹ÃÆ Ý
Ð Ø ÓÖ Ê Ö Ò Å ÒÙ Ð ½º¼ ÐÔ Ò Ö Ø Ý ÓÜÝ Ò ½º º º½ Ï ½ ¼¼ ½ ¾½ ¾¼¼ ÓÒØ ÒØ ½ Ð Ø ÓÖ Å Ò È ½ ½º½ ÁÒØÖÓ ÙØ ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ ¾ Ð Ø ÓÖ Ø ËØÖÙØÙÖ
address bus Data bus Note: Instructions are fetched over data bus CPU Control ALU
ÁÒØÖÓ ÙØ ÓÒ ¼º½ Ì ÓÙÖ ½º ØÖÙØÙÖ Ó Ø Ð ÓÑÔÙØ Ö ÆÙÑ Ö Ö ÔÖ ÒØ Ø ÓÒ ¹ Ø Ð ÐÓ ÁÒØ Ö ¹ÙÒ Ò Ò Ö ÔÖ ÒØ Ø ÓÒ Ö Ø Ö ¹ Ë ÁÁ Ó Ò ÓØ Ö Ó Ò Ñ Ê Ð ÒÙÑ Ö ¹ Ü Ò Ó Ø Ò ÔÓ ÒØ Á º ¾º ÙÒØ ÓÒ Ð ÐÓ Ó ÓÑÔÙØ Ö ÈÍ Ñ ÑÓÖÝ ÒÔÙعÓÙØÔÙØ
dis.08 dis.09 dis.10 dis.11
Ò ÂÓÙÖÒ Ð Ó ØÖÓÒÓÑÝ Ò ØÖÓÔ Ý Ñ ÒÙ Ö ÔØ ÒÓº Ä Ì ÒÖÝ ¾¼¼ ¼½ºØ Ü ÔÖ ÒØ ÓÒ Å Ý ¾ ¾¼¼ ½ µ Ö Ø Ä Ø ÖÓÑ Ö Å ØØ Ö ÖÝÓÒ Ò ÆÓÒ¹ ÖÝÓÒ µ Ê Ö ÓÒÒ À ÒÖÝ À ÒÖÝ º ÊÓÛÐ Ò Ô ÖØÑ ÒØ Ó È Ý Ò ØÖÓÒÓÑÝ Ì ÂÓ Ò ÀÓÔ Ò ÍÒ Ú Ö ØÝ
ÓÒØ ÒØ ½ ÁÒØÖÓ ÙØ ÓÒ ½ ¾ ÈÖ Ð Ñ Ò Ö ¾ ¾º½ Ö Ø ÇÖ Ö ÅÓ Ð ÄÓ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ ¾º¾ ÇÖ Ö Ò ÃÖ Ô ÅÓ Ð º
ÁÒ Ø ØÙØ Ó ÁÒ ÓÖÑ Ø Ï Ö Û ÍÒ Ú Ö ØÝ ÜÔÓ ÒØ Ë Ñ ÒØ Ò Ò ËÄ ¹Ê ÓÐÙØ ÓÒ ÐÙÐÙ ÓÖ ÅÓ Ð ÄÓ ÈÖÓ Ö Ñ Ä Ò Ò Æ ÙÝ Ò Ò ÙÝ ÒÑ ÑÙÛº ÙºÔÐ ÌÊ ¼½¹¼¾ ¾ µ Ë ÔØ Ñ Ö ¾¼¼½ Ð Ø Ö Ú Â ÒÙ ÖÝ ¾¼¼ µ ØÖ Ø Ï ÔÖÓÔÓ ÑÓ Ð ÐÓ ÔÖÓ Ö ÑÑ
Ø ÑÔÐÝ Ù Ø Ø Ø Ø ÔÖÓÓ ÒÓÖÑ Ð Þ Ò Ø ËØÖ Ø ÓÙÒ Ø ÓÒ Ø Ø ÓÖÝ ÔÖ ¹ÑÓ Ð Û Ð Ú Ö ÒØ Ó Ø ÔÖÓÔÓ Ø ÓÒ Ò ØÓ ÔÖÓÚ Ò Ø ÓÖ Ò Ð ÔÖÓÓ º ÁØ ÛÓÖØ ÒÓØ Ò Ø Ø Ø ÓÖ Ò Ð ÒÓ
Ì ËØÖ Ø ÓÙÒ Ø ÓÒ Ø ÓÖÝ ÑÓ ÙÐÓ ÐÐ ÓÛ ÁÆÊÁ ¹ÊÓÕÙ ÒÓÙÖØ ºÈº ½¼ ½ Ä Ò Ý Ü Ö Ò º ÐÐ º ÓÛ ÒÖ º Ö ØØÔ»»ÐÓ Ðº ÒÖ º Ö» ÓÛ ØÖ Øº Ì ËØÖ Ø ÓÙÒ Ø ÓÒ Ö Ö ØÖ Ø ÓÒ Ó Ò Ú Ø Ø ¹ ÓÖÝ Û Ö Ø ÓÑÔÖ Ò ÓÒ Ñ Ö ØÖ Ø ØÓ ØÖ Ø Ð ÔÖÓÔÓ
Á ÒØ Ò Ò Ø Ò ØÙÖ ÓÒ Ø Ò Ó Ø ÝÑ ÓÐ Û ÓÙÖ Ò Ø Ò ÒÓØ Ø Ø ÓÖÝ Ó Ò ØÙÖ Ò Ö Ø Ý Ò Ü ÓÑ ÅÓ µ ÒÓØ Ø Ð Ó ÐÐ ÑÓ Ð Å Ó Ò ØÙÖ Ù Ø Ø Å Û Ð ÅÓ Ò µ ÅÓ µ Å Ò µº Ï Ó Ø
Ì Ä Ò Ò ÙÑ Ð Ö Ó Ø Ø ÓÖÝ Ó Ø Ð Ó ÐÐ Ò Ø ÑÓ Ð ËØ «Ò Ä ÑÔÔ Å Ð È Ö ØÝ Ø³ Ò Ý Ê ËÓÐÓÑÓÒ Þ ØÖ Ø ÁÒ Ø Ô Ô Ö Û ÒÚ Ø Ø Ø Ä Ò Ò ÙÑ Ð Ö Ä Ì Ò µ Ó Ø Ø ¹ ÓÖÝ Ì Ò Ì Å Ò µ Ó Ø Ð Å Ò Ó ÐÐ Ò Ø ÑÓ Ð Ó Ò Ø Ö Ò ØÙÖ º Ï
THE LJUBLJANA GRAPH. Preprint series, Vol. 40 (2002), 845. Marston Conder Aleksander Malnič. November 19, 2002
University of Ljubljana Institute of Mathematics, Physics and Mechanics Department of Mathematics Jadranska 19, 1000 Ljubljana, Slovenia Preprint series, Vol. 40 (00), 845 THE LJUBLJANA GRAPH Marston Conder
Fibonacci Overview. 1 Motivation. 2 Preliminary Ideas. 2.1 Common Definitions. 2.2 Fibonacci Numbers Defined
Fibonacci Overview ÐÐ ÏÙÖØÞ 1 Motivation ÓÒ Ö Ø ÓÐÐÓÛ Ò ËÙÔÔÓ Ò ÛÐݹ ÓÖÒ Ô Ö Ó Ö Ø ÓÒ Ñ Ð ÓÒ Ñ Ð Ö ÔÙØ Ò Ð º Ì Ö Ø Ö Ð ØÓ Ñ Ø Ø Ø Ó ÓÒ ÑÓÒØ Ò Ø Ý Ú ÖØ ØÓ Ñ Ð ¹ Ñ Ð Ô Ö Ò Ø ÓÐÐÓÛ Ò ÑÓÒØ º ÁÒ ÓØ Ö ÛÓÖ ØÛÓ
ÁÒ Ë Ø ÓÒ Û ÔÖ ÒØ ÔÓ Ð ÜØ Ò ÓÒ Ó Ø Ú ÒØ ÝÒ ÖÓÒ Þ Ø ÓÒ ÓÒ Ö ÔÖ Ú ÓÙ Ðݺ ÁÒ Ë Ø ÓÒ Û ÔÖ ÒØ Ò ÜØ Ò ÓÒ Ó ÓÙÖ Ø ÓÖ Ñ Ý ÒØÖÓ Ù Ò Ö Ø Ð Ø ÓÒ Ø Ò ÓÒ Ö Ò Û Ò º
Ò ÕÙ ÒØ Ð ÓÖÖ ØÒ Ò Ö ¹Ñ ÑÓÖÝ Ô Ö ÐÐ Ð ÔÖÓ Ö Ñ Ð ÖØ ÔÐ Ò ¹Ñ Ð ÔÐ Ò ÖÑ º ÒÔº Ö ÊÅÁ Ë Ê Ö Ê ÔÓÖØ ¹½ ½ ÇØÓ Ö ½ ØÖ Ø Ì Ö Ö Ö ÔÓÖØ Ö Ò Û ÓÑÔÐ Ñ ÒØ ØÓ ÔÖ Ú ÓÙ Ô Ô Ö Û Û ÐÐ Ú ÐÝ Ö Ö ØÓº ÅÓ Ø Ó Ø Ö ÙÐØ Û Ö Ú Ö
½º»¾¼ º»¾¼ ¾º»¾¼ º»¾¼ º»¾¼ º»¾¼ º»¾¼ º»¾¼» ¼» ¼ ÌÓØ Ð»½ ¼
Ò Ð Ü Ñ Ò Ø ÓÒ ËÌ ½½ ÈÖÓ Ð ØÝ ² Å ÙÖ Ì ÓÖÝ ÌÙ Ý ¾¼½ ½¼ ¼¼ Ñ ß ½¾ ¼¼Ò Ì ÐÓ ¹ ÓÓ Ü Ñ Ò Ø ÓÒº ÓÙ Ñ Ý Ù Ø Ó ÔÖ Ô Ö ÒÓØ ÝÓÙ Û ÙØ ÝÓÙ Ñ Ý ÒÓØ Ö Ñ Ø Ö Ð º Á ÕÙ Ø ÓÒ Ñ Ñ ÙÓÙ ÓÖ ÓÒ Ù Ò ÔÐ Ñ ØÓ Ð Ö Ý Øº ÍÒÐ ÔÖÓ
ÁÐÐÙ ØÖ Ø ÓÒÚ Ö Ò Ó ÙÒ ÖØ ÒØÝ Ø Ñ Ø Ý ØÛÓ Ü ÑÔÐ ½º ÐÙÓÒ ØÖ ÙØ ÓÒ Ø Q.½ Î ¾º ÒÐÙ Ú Ø Ö Ø Ó dσ dp T ½. Ì Îµ/ dp dσ T ½. ¼ Ì Îµ Ì ØÛÓ Ü ÑÔÐ Ö ÐÓ ÐÝ ÓÒÒ Ø
Ì É º½ È Ò ÐÝ Âº ÈÙÑÔÐ Ò º ËØÙÑÔ ÏºÃº ÌÙÒ Âº ÀÙ ØÓÒ ÅË͵ ˺ ÃÙ ÐÑ ÒÒ Âº ÇÛ Ò Àº Ä Èº Æ ÓÐ Ý ÏÓÖ Ò ÈÖÓ Ö ½º Ì Ò Ð ÑÔÖÓÚ Ñ ÒØ ØÓ Ø Ì É Ò ÐÝ Ö ÐÙÐ Ø Ã¹ ØÓÖ ÐÓÒ ÒÚ ØÓÖ Ö Ø ÓÒ Ô Ö Ñ ØÖ Þ Ø ÓÒ Ô Ò Ò ØÙ Ý ¾¼
function GENERAL-SEARCH( problem, strategy) returns a solution, or failure initialize the search tree using the initial state of problem loop do if
ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼¼ Ë ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˼ ¹ ¹ º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ ÓÙ ÖÝ ºÙÒк Ù ØÖ Ø Ý Ò Ý Ô Ò Ø ÓÖ Ö Ó ÒÓ ÜÔ Ò ÓÒ Ì ØÐ
ÓÖ Ö ÛÓÖ Ò Ô Ö Ó ØÝ Ò Ø ÛÓÖ ÓÖ Ö Ø ÔÖÓÔ Ö ÔÖ Ü ÕÙ Ð ØÓ Ù Üº ÓÖ Ü ÑÔÐ ÓÖ Ö º Á ÛÓÖ ÒÓØ ÓÖ Ö Û Ý Ø ÙÒ ÓÖ Ö ÓÖ ÓÖ Ö¹ Ö º ÓÖ Ü ÑÔÐ ½¼ Ò = ½¼¼ ¼ Ö ÙÒ ÓÖ Ö
Ð Ò ÓÖ Ö ØÓÖ Ò Ô Ö Ó ØÝ Ñ Ð ÖÐ Ö ÂÓ ÒØ ÛÓÖ Û Ø Ì ÖÓ À Ö Ù ËÚ ØÐ Ò ÈÙÞÝÒ Ò Ò ÄÙ Ñ ÓÒ µ Ö Ø Å Ø Ñ Ø Ý ¹ Ä ¹ ¾¼½  ÒÙ ÖÝ Ø ÓÖ Ö ÛÓÖ Ò Ô Ö Ó ØÝ Ò Ø ÛÓÖ ÓÖ Ö Ø ÔÖÓÔ Ö ÔÖ Ü ÕÙ Ð ØÓ Ù Üº ÓÖ Ü ÑÔÐ ÓÖ Ö º Á ÛÓÖ
ß ¾ ß ½º ÁÒØÖÓ ÙØ ÓÒ Ö Ñ ÒØ Ø ÓÒ ÙÖ Ò ÔÖÓØÓ Ø ÐÐ Ö ÓÐÐ Ô Û ÐÝ ÔØ ØÓ Ø ÔÖ Ñ ÖÝ Ñ ¹ Ò Ñ ÓÖ Ø ÓÖÑ Ø ÓÒ Ó Ò ÖÝ Ò ÑÙÐØ ÔÐ Ø Ö Ý Ø Ñ º º Ä Ö Ò Ö Ø Ðº ¾¼¼ Ò
ÓÐÐ Ô Ò Ö Ñ ÒØ Ø ÓÒ Ó ÅÓÐ ÙÐ Ö ÐÓÙ ÓÖ º º Å Ò Ø Ö Ò Ó ÈÖÓÐ Ø Ò Ç Ð Ø ÓÖ º Ð Ò Èº Ó Ô ÖØÑ ÒØ Ó Ì ÖÖ ØÖ Ð Å Ò Ø Ñ ÖÒ ÁÒ Ø ØÙØ ÓÒ Ó Ï Ò ØÓÒ ¾ ½ ÖÓ Ö Ò ÊÓ ÆÏ Ï Ò ØÓÒ ¾¼¼½ ¹½ ¼ Ó ØѺ Ûº Ù ËÌÊ Ì Ì ÓÐÐ Ô Ò Ö
ÅÓØ Ú Ø ÓÒ Å ÕÙ Ð ØÝ Ó Ø Ó ØÖ Ò Ô Ö ÒØ ÁÒ Ø ÓÒ Ú ÐÓÔÑ ÒØ ØÖ Ò ÖÖ Û ÓÖ Ò Ð ÙØ ÓÖ Ö Ñ Ò ÐÓÒ Ú ÐÓÔÑ ÒØ ØÓÖÝ Å ÒÝ Ù ØÓÑ Ö»Ù ØÓÑ Ö Ù ÓÑÔÓÒ ÒØ Ó Ñ ÒÝ ÔÖÓ Ø
Ê Ý Ð Ò ÔÔÖÓ ØÓ ÓÙ ÉÙ Ð ØÝ ÁÑÔÖÓÚ Ñ ÒØ ÓÖØ Ù Ö ÅÓ Ù Ê Ò Ý À ÖØ ÂÓ Ò È Ð Ö Ñ Ò Ú Ý Ä Ê Ö ¾½½ ÅØ ÖÝ Ê Ò Ê ÆÂ ¼ ¾¼ Ù Ö Ú Ý ºÓÑ Ù ¾½ ¾¼½ ÅÓØ Ú Ø ÓÒ Å ÕÙ Ð ØÝ Ó Ø Ó ØÖ Ò Ô Ö ÒØ ÁÒ Ø ÓÒ Ú ÐÓÔÑ ÒØ ØÖ Ò ÖÖ Û ÓÖ
È Ö Ø ² ÑÔ Ö Ø Ò ÓÖÑ Ø ÓÒ ÓÖ Ñ È Ö Ø Ò ÓÖÑ Ø ÓÒ ÈÐ Ý Ö ÒÓÛ ÓÙØ Ø ÔÖ Ú ÓÙ ÑÓÚ Ó ÓÔÔÓÒ ÒØ º º º Ð ¹ËØ Û ÖØ Ñ º ÁÑÔ Ö Ø Ò ÓÖÑ Ø ÓÒ ÈÐ Ý Ö Ó ÒÓØ ÒÓÛ ÓÙØ Û
Ð ¹ËØ Û ÖØ Ñ Ò Ð Û ÐÐ Ñ Ù Á Ñ ÍÒ Ú Ö ØÝ Ó Ð ÓÖÒ Ö Ð Ýµ ½ Ø Ó Å Ý ¾¼½¾ È Ö Ø ² ÑÔ Ö Ø Ò ÓÖÑ Ø ÓÒ ÓÖ Ñ È Ö Ø Ò ÓÖÑ Ø ÓÒ ÈÐ Ý Ö ÒÓÛ ÓÙØ Ø ÔÖ Ú ÓÙ ÑÓÚ Ó ÓÔÔÓÒ ÒØ º º º Ð ¹ËØ Û ÖØ Ñ º ÁÑÔ Ö Ø Ò ÓÖÑ Ø ÓÒ ÈÐ
Ì ÄÈ Ë ÈÖÓ Ð Ñ Ì ÄÈ Ë ÐÓÒ Ø Ô Ö Ñ Ø Ö Þ ÓÑÑÓÒ Ù ÕÙ Ò µ ÔÖÓ Ð Ñ Ò Ö Ð Þ Ø ÓÒ Ó Û ÐÐ ÒÓÛÒ Ä Ë ÔÖÓ Ð Ñ ÓÒØ Ò Ò Ô¹ÓÒ ØÖ ÒØ º Ò Ø ÓÒ ÁÒ ÄÈ Ë(,, Ã ½, Ã ¾, )
Ð ÓÖ Ø Ñ ÓÖ ÓÑÔÙØ Ò Ø ÄÓÒ Ø È Ö Ñ Ø Ö Þ ÓÑÑÓÒ ËÙ ÕÙ Ò Ó Ø Ëº ÁÐ ÓÔÓÙÐÓ ½ Å Ö Ò ÃÙ ¾ ź ËÓ Ð Ê Ñ Ò ½ Ò ÌÓÑ Þ Ï Ð ¾ ½ Ð ÓÖ Ø Ñ Ò ÖÓÙÔ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ã Ò ÓÐÐ ÄÓÒ ÓÒ ¾ ÙÐØÝ Ó Å Ø Ñ Ø ÁÒ ÓÖÑ Ø Ò ÔÔÐ
Ì Ø Ð ÓÒ Ò Ò ÐÓ Ù Ó Ó Ñ³ Ø ÓÖ Ñ ÓÖ Ö Ø Ð ÑÞ Û ¹ ÐÐ ¾¼½½ ÇÒ Ø Ø Ó Ö Ð ÒÙÑ Ö Ö Ó Ò Þ Ý Ò Ø ÙØÓÑ Ø Ò ÑÙÐØ ÔÐ Ó ÐÓع ÖÙ Ø Ò¹ ÖÙÝ Ö ¾¼½¼ Ö Ø¹ÓÖ Ö ÐÓ Ò ÆÙÑ
Ò ÐÓ Ù Ó Ó Ñ³ Ø ÓÖ Ñ Ò Ø Ö Ö ÒØ Ö Ó Ñ Ø Ñ Ø Ñ Ð ÖÐ Ö Ô ÖØ Ñ ÒØ Å Ø Ñ Ø ÕÙ ÍÒ Ú Ö Ø Ä Ë Ñ Ò Ö Ö ØÓÐ Ò ³ Ò ÐÝ ÑÙÐØ Ö Ø Ð Ö Ø Ð ¾¼½ Å Ö ¾ Ì Ø Ð ÓÒ Ò Ò ÐÓ Ù Ó Ó Ñ³ Ø ÓÖ Ñ ÓÖ Ö Ø Ð ÑÞ Û ¹ ÐÐ ¾¼½½ ÇÒ Ø Ø Ó Ö