Similar documents
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 16 p.1/41

Chapter 9. Trapezoidal Maps. 9.1 The Trapezoidal Map

Ð Ò ØÓ ØØ Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐغ Ì ÓÙÖ Ô Ö Ñ ØÓÛ Ö Ø Ø Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐØ Ò Ô Ö Ý Ø Ô Ô Ö Ó È Ô Ñ ØÖ ÓÙ Ò Î ÑÔ Ð ÓÒ ÌÖ Ú Ð Ò Ë Ð Ñ Ò ÔÖÓ Ð Ñ µ Ø

ÖÖ Ý ÒÑ ÒØ Ø Ø Ñ ÒØ Ö Ö ÓÖ ÒÝ Ð Ø¹ Ò Ð Ñ ÒØ Ö ØÓÖ º ÖÖ Ý ÓÖ Ù Ø ÓÒ Ó ÖÖ Ý Ò Ô Ý Ù Ò ØÖ ÔÐ Ø Ù Ö ÔØ º ØÖ ÔÐ Ø Ô Ö Ò Ò Ø ÓÖÑ ÐÓÛ Ö ÓÙÒ ÙÔÔ Ö ÓÙÒ ØÖ º Á

ÁÒØÖÓ ÙØ ÓÒ Ö ÔØ Ú ËØ Ø Ø ÁÒ Ö ÒØ Ð ËØ Ø Ø ÀÝÔÓØ Ø Ø Ò ¹ Ô Ú ÐÙ Ø ÖÑ Ò Ø ÓÒ Ó ÑÔÐ Þ ËÙÑÑ ÖÝ Ä ÖÒ Ò Ó¹ Ø ÖÑ Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú

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

½ ÁÒØÖÓ ÙØ ÓÒ ÒÓÑ ÈÓÖØ Ð Û ¹ ÒØ Ö Ø Ú ÓÑÔÙØ Ø ÓÒ Ð ÔÐ Ø ÓÖÑ ÓÖ Ø Ò Ð¹ Ý Ò Ñ Ò Ò Ó ÒÓÑ Ø º Ï Ñ ØÓ ÒØ Ö Ø Ø ÔÖ Ñ ÖÝ ÒÓÑ Ø ÙÒØ ÓÒ Ð ÒÓÛÐ Ò Ò ÐÝØ Ð ØÓÓÐ Û

Ë Ø Ó ÒÙÑ Ö Ò Ø Ö Ö ÔÖ ÒØ Ø ÓÒ ÁÒ Ø ÓÙÖ Û Û ÐÐ ÒØ Ö Ø Ò Ø Ó ÒÙÑ Ö º ÁÒ ÓÑÔÙØ Ö Ò Û Ö ÓÒ ÖÒ Ý Ø ÕÙ Ø ÓÒ ÓÛ Ó Û Ú Ù Ø Ø ÓÙÖ ÔÓ Ð Ì Û Ý ÒÙÑ Ö Ø ÓÒ Ý Ø Ñ

ÇÆÌ ÆÌ ËÙ Ø Ú ÒØÖÓ ÙØÓÖÝ Ö Ñ Ö Å Ø Ô ÓÖ Ò Ø Ú ÔÔÖÓ Ì Ô ÐÓ ÓÔ Ð Ö Ò À ÖÑ Ò ÙØ Ò Ø Ö Ð Ø ÓÒ Ô ØÓ Ò Ì ÒØ ÖÔÖ Ø Ò Ò Ø ÒØ ÖÔÖ Ø Ö Ò

Ó Ú ÐÙ Ö ÒÚÓÐÚ Ò ÖØ Ò Ô ÖØ Ó Ø ÔÖÓ Ö Ñµ Ò ØÓ ÐÔ Ø Ø ÔÖÓ Ö ÑÑ Ö Ñ Ø º ÁÒ Ø Ø ÐÐÝ ØÝÔ Ð Ò Ù Ø ØÝÔ Ö ÒÓØ Ò ÓÑ Ø Ò Ø Ø Ø Ô ÖØ Ò ÓÑÔÙØ Ø ÓÒ ÙØ Ö Ø Ö ÓÑ Ø Ò

Î Ö Ð X C = {x 1, x 2,...,x 6 }

ÓÒØ ÒØ ¾

Ì ÓÑÔÙØ Ð Ñ Ò ÓÒ Ó ÌÖ Ó ÁÒ Ò Ø À Ø ÊÙ ÐÐ Å ÐÐ Ö ÂÙÐÝ ¾ ¾¼¼ Ì Ö Ø ÓÙÖ Ø ÓÒ Ó Ø ÖØ Ð ÔÔ Ö ÔØ Ö Ó È º º Ø Ø Ø ÍÒ Ú Ö ØÝ Ó Ó ÙÒ Ö Ø ÙÔ ÖÚ ÓÒ Ó ÊÓ ÖØ Áº ËÓ

Ö Ô ÓÒ Ø Ó ØÛÓ Ø Î Ò ÒÓØ Ý Î µº Ë Ø Î Ò Ø ÒÓÒ¹ ÑÔØÝ Ø Ó Ú ÖØ ÓÖ ÒÓ µ Ò Ø Ó Ô Ö Ó Ú ÖØ ÐÐ º Ï Ù Î µ Ò µ ØÓ Ö ÔÖ ÒØ Ø Ø Ó Ú ÖØ Ò Ò Ö Ô Ö Ô Ø Ú Ðݺ ÅÓÖ Ò

ÁÒØÖÓ ÙØ ÓÒ ËØ Ø Ø Ð Ò ÐÝ ÓÖ Ö Ø Ø Ô ÖØ Ù¹ Ð ÖÐÝ ÓÖ ÔÖÓ Ð ØÝ ÑÓ Ð Ù Ø ÒÓ¹ Ñ Ð ÈÓ ÓÒ Ò ÑÙÐØ ÒÓÑ Ð Ý ÒÓÛ Ú ÖÝ Û ÐÐ ÙÒ Ö ØÓÓ Û Ø Û ÐØ Ó Ù Ø Ð Ó Ø¹ Û Ö º

Ø ÔÖ ÙÖ ØÝ Ö ÕÙ Ö Ñ ÒØ Ó ÙØ ÒØ Ø Ý Ø Ð Ñ Òغ Ë Ú Ö Ð ÓÒÖ Ø ÙÖ ØÝ Ò Ô Ö ÓÖÑ Ò ØØÖ ÙØ Ú Ò ÒØ Ö Ð º Ì ÙÒ Ñ ÒØ Ð ÙÖ ØÝ Ó Ð Ó Ý Ø Ð Ñ ÒØ ÔÖÓØÓÓÐ Ö ØÓ ÑÔÐ Ø

ÓÖ Ø ÁÒØ Ð ÔÖÓ ÓÖ Ñ Ðݺ Ê Ö Û ÒØ Ò Ò Ö Ð ÖÓÙÒ Ò Ñ Ð Ö ÔÖÓ Ö Ñ¹ Ñ Ò ÓÙÐ ÓÒ ÙÐØ ÔÔÖÓÔÖ Ø Ø ÜØ ÓÓ Ò ÓÒ ÙÒØ ÓÒ Û Ø Ø ÔÖÓ ÓÖ Ö Ö Ò Ñ Ò¹ Ù Ð ÔÙ Ð Ý ÁÒØ Ð Ò

ÓÒØ ÒØ ½ ÇÚ ÖÚ Û ½ ¾ Ö Ø ØÙÖ Ð Ö ÔØ ÓÒ ½ ¾º½ Ê Ø Ö º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ ¾º¾ ÙÒ Ñ ÒØ Ð ÌÝÔ º º

ÇÒ Ø ÈÓÛ Ö Ó ÓÑÔÙØ Ø ÓÒ Ð Ë Ö Ø Ë Ö Ò Îº Î ÒÓ ½ ÖÚ Ò Æ Ö Ý Ò Ò ¾ ú ËÖ Ò Ø Ò ¾ Ò º È Ò Ù Ê Ò Ò ¾ ½ Ä ÓÖ ØÓÖÝ ÓÖ ÓÑÔÙØ Ö Ë Ò Å Ù ØØ ÁÒ Ø ØÙØ Ó Ì ÒÓÐÓ Ý

Ë ÓÑ Ò Ò ÝÒ Ñ ÈÖÓ Ö ÑÑ Ò Û Ø Ò Ö Ð Þ Ø ÓÒ Ò Ð Ö ËÝ Ø Ñ È ÖÖ Ö Ö ½ ¾ Ò ÇÐ Ú Ö Ë Ù ½ ½ ÙÐØ Ú Ø ÓÒ Ì» ÈÊ» Ë ÉÙ Å Ö Ð ÙÐØ ¾ ¾ Ëع ÐÓÙ Ü ¾ Ò Ñ ØÄ ÄÁÈ µ ÖÙ

Communications Network Design: lecture 21 p.1/47

ËÌ Ä Å Ä Å ÌÁÇÆ ÂÓ Ò Ìº Ð Û Ò Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ËØ Ø Ø Ò ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó ÁÐÐ ÒÓ Ø Ó Â ÒÙ ÖÝ ¾¼¼¼ Ø ØÓ Ø Ñ ÑÓÖÝ Ó ºÁºÅ Ð Úº ÁÒ ½ ÖÞ ÓÖÞÝ Û Ø Ö

Degradation

ÇÙØÐ Ò ½ ¾ ØÖ ÙØ ÓÒ ² Ì Ò ÐÝ Ó Ö ÕÙ Ò ÔÔÐ Ø ÓÒ Ó Ø χ ¾ ËØ Ø Ø ÐÙÐ Ø Ò Ô Ú ÐÙ Ò ³ Ü Ø Ø Ø Ì ÓÒÚ ÒØ ÓÒ Ð Ú º Ø Ñ Ô ÓÔغµ È Ö ÓÒ Ò ËÔ ÖÑ Ò ÓÖÖ Ð Ø ÓÒ Ù Ò

ÓÙÖ ËØ ÁÒ ØÖÙØÓÖ ÓÒØ Ø ËÐ Ñ Ø ÙÐÐ Ö ÐÓÙ Ð Ø ÓÒ ÓÙÖ Û Ø ÇÒ ÍÏ¹Ä ÖÒ Ò ÓÒ ÓÙÖ Û Ø Î ÖÝ Ø Ö ÓÑ ØÓ Ð Ø ÒÓØ Ë ÁÒØÖÓ ØÓ Å Ñص ÇÚ ÖÚ Û Ó Ë ÄÄ ¾¼½ ¾» ¾

½µ ÓÖ È µ Ô ÛÒ Ò Ò Ø Ò Ó ÔÖÓ È ÓÖ ÓÙÖÖ Ò Ó ÙÖÖ ÒØÐÝ Ò Ø Ø Ô ¾µ ÒÓØ Ý È µ ÔÖÓ Ù Ð Ø Ò Ö Ø Ø Û ÒÓØ Û Ø ÓÒ È µ Û Û ÐÐ Ô ÛÒ Ò Ò Ø Ò Ó È Ø Ñ Ò Û ÔÖÓ Ù µ ÑÓ

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

½ Ê Ú Û Ó ÆÒ ÕÙÓØ ÒØ ¾ ÇÖØ Ó ÓÒ Ð ÒÚ Ö ÒØ ÓÙ Ð Ö Ø ÓÒ Ý ÕÙÓØ ÒØ Ñ Ô ÇÖ Ø ÓÖÖ ÔÓÒ Ò Ü ÑÔÐ Ó ÓÖ Ø ÓÖÖ ÔÓÒ Ò Ü ÑÔÐ Ø Ò ÓÖ ÔÖÓ ÙØ Ü ÑÔÐ ÓÒØÖ Ø ÓÒ Ñ Ô ÇÔ Ò

Ú Ð Ð ÓÒÐ Ò Ø ØØÔ»» Ѻ Ö Ùº º Ö ÁÒغ º ÁÒ Ù ØÖ Ð Å Ø Ñ Ø ÎÓк ÆÓº ¾¼½½µ ½ ½¹½ ½ Ê Ò Ò ÍÒ Ø Ò Ý Í Ò Ø ÎÓØ Ò ËÝ Ø Ñ Åº à ÒÑÓ ÑÑ Êº ÐÐ Ò µ Ô ÖØÑ ÒØ Ó Å

Ë Ò ÓÖ Æ ØÛÓÖ Å ÈÖÓØÓÓÐ ÂÙ Î Ð ÓÒ Ò Ä ÓÖ ØÓÖÝ ÓÖ Ì ÓÖ Ø Ð ÓÑÔÙØ Ö Ë Ò À Ð Ò ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¾ º º¾¼¼ ÂÙ Î Ð ÓÒ Ò Ë Ò ÓÖ Æ ØÛÓÖ Å ÈÖÓØÓÓÐ

½½ º º À Æ Æ º º Í Æ ÒÓØ ÔÓ Ø Ú Ñ ¹ Ò Ø ÙÒÐ Ø ÓÐÐÓÛ Ò ØÖÙ Ø Ö ÓÒ Ù ÔÖÓ Ð Ñ È ½ Û Ø Ò Ð ÐÐ ÓÒ ØÖ ÒØ Û Ó ÓÖÑ Ù Ø ØÓ Ñ Ò ¾Ê Ò µ ½ ¾ Ì Ì Ø Ì Ù ÔÖÓ Ð Ñ Ø Ð

½ ÁÒØÖÓ ÙØ ÓÒ Ê ÒØ Ö ÙÐØ Ò ÑÔÐ Ñ ÒØ Ø ÓÒ Ó Ø ÔÐ ÒÒ Ö ½ Ú Ö Ø Ò¹ Ø Ö Ø ÓÖ Ù Ø Ð ÔÔÐ Ð ØÝ Ó Ø ÔÐ ÒÒ Ò ÔÔÖÓ ØÓ Ñ ÒÝ Ö Ð ÛÓÖÐ ÔÖÓ Ð Ñ º ÍÒ ÓÖØÙÒ Ø ÐÝ Ø ÔÖ

Ê Ö Ò Ù Ä ÒÙÜ ÓÖ ØÖÓÒÓÑ Ö º º º ½º¾º Ï Ø Ä ÒÙÜ Ä ÒÙÜ ÍÆÁ ¹Ð ÖÒ Ð Ö Ø Ý Ä ÒÙ ÌÓÖÚ Ð º Ä ÒÙÜ ÖÒ Ð Ó Ø Ò ÓÒ Ù Û Ø Ø ÆÍ»Ä ÒÙÜ ÓÔ Ö Ø Ò Ý Ø Ñº Ä ÒÙÜ Ø ÖÒ Ð

Ä Ü¹ÇÔØ Ñ Ð ÇÒ¹Ä Ò ÅÙÐØ Ð Ë ÙÐ Ò Û Ø À Ö Ð Ò ÖÙ À Ò È ÖÖ Ë Ö Ô ÖØÑ ÒØ Ó Ð ØÖ Ð Ò ÓÑÔÙØ Ö Ò Ò Ö Ò Ò Ø ÓÓÖ Ò Ø Ë Ò Ä ÓÖ ØÓÖÝ ÍÒ Úº Ó ÁÐÐ ÒÓ ÍÖ Ò ÁÄ ½ ¼½

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

1 The Multinomial logit

ÜÔÓÒ ÒØ Ð Ò Ø ÔÖÓ Ð Ñ Þ Ø Ò ÐÓ Ò Ù Ø Ð Ò Ö ÓÖ Ò ØÓ ÃÓÖ º Ì ÒØ Ð Ö ÓÒ Û Ý ØÖ Ø ÓÒ Ö Ù ÓÑÔÐ Ü ØÝ Ø Ø Ø ØÓØ Ð ÓÑÔÐ Ü ØÝ Ø ÙÑ Ó Ø ÓÑÔÐ Ü Ø Ó Ø ÑÙÐØ ÔÐ Ö Ò

Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖ Ø ÓÑÔ Ö ÓÒ Ó ÀÙÑ Ò Ä Ñ ÌÖ ØÓÖ Å Ö ÈÓÑÔÐÙÒ ½ Ò Å Âº Å Ø Ö ¾ ½ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÓÖ ÍÒ Ú Ö ØÝ ¼¼ à РËØÖ Ø ÌÓÖÓÒØÓ ÇÒØ Ö Ó

ELA. Electronic Journal of Linear Algebra ISSN A publication of the International Linear Algebra Society Volume 13, pp , July 2005

ÓÙÖ ÓÒØ ÒØ Ï Ý Ó Û Ù Ø ÙÒØ ÓÒ Ð ØÝ ÔÖÓÚ Ý Ø Å Ò Ñ ÒØ ËÝ Ø Ñ Ø ÅÓ Ð Ê Ð Ø ÓÒ Ð Æ ØÛÓÖ ÇÇ ÀÓÛ Ó Û Ù ÅË Ê Ð Ø ÓÒ Ð ÑÓ Ð ÓÙÒ Ø ÓÒ Ð ÕÙ ÖÝ Ð Ò Ù ËÉÄ ÔÔÐ Ø

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

ÌÖ ÓÒÓÑ ØÖÝ ÌÖ ÓÒÓÑ ØÖÝ Ð Û Ø Ö Ð Ø ÓÒ Ô ØÛ Ò Ò Ò Ð Ó ØÖ Ò Ð º ÁØ Û ÔÔÐ Ø ÓÒ Ò Ô Ý Ò Ò Ò Ö Ò º Ì ØÖ ÓÒÓÑ ØÖ ÙÒØ ÓÒ Ö Ö Ø Ò Ù Ò Ö Ø¹ Ò Ð ØÖ Ò Ð º C Ì Ç

½ ÁÒØÖÓ ÙØ ÓÒ Ï Ö Ð ÓÑÑÙÒ Ø ÓÒ ÓÑ ÔÓÔÙÐ Ö Ù ØÓ Ø Ö ÒØ Ú ÒØ Ó Ò Û Ø ÒÓÐÓ º ÁØ ÔÖ ÒØ ÒÓØ ÓÒÐÝ Ò Ø Ù ÕÙ ØÓÙ ÓÖ Ð Ò ÐÐÙÐ Ö Ô ÓÒ ÙØ Ð Ó Ò Ô Ö ÓÒ Ð ÓÑÑÙÒ Ø

x(t + t) = exp( tl)x(t), µ t k exp( tl) = x i i=1 k=0

Strong normalization of lambda-bar-mu-mu-tilde-calculus with explicit substitutions

ËÙ Ø ÙÒØ ÓÒ Ð ØÝ Ò Å Ø Ó Ü ÑÔÐ È Ö Ö Ö Ú Ø ÓÒ Ó È Ö Ö ÓÒ Ø ÄÊ( ) Ö ÑÑ Ö ÄÊ(½) È Ö Ö Ò Ö Ø ÓÒ ÓÒ

ÇÙØÐ Ò Ó Ø Ð ÅÓØ Ú Ø ÓÒ ÔÓÐÝÒÓÑ Ð Ú ÓÒ ÒÓ Ò ÓÖ ÝÐ Ó ÙØÓÑÓÖÔ Ñ µ ÑÓ ÙÐ ÕÙ ¹ÝÐ µ ØÖÙ¹ ØÙÖ ÖĐÓ Ò Ö ÓÖ ÑÓ ÙÐ Ú ÐÙ Ø ÓÒ Ó ÖÓÑ ÓÖ Ö ÓÑ Ò Ò¹ ÐÙ Ò ÓÔÔ Ó µ Ü Ñ

spike splinter spire spindle spear

ÁÒØÖÓ ÙØ ÓÒ Ö ÙÑÙÐ ÒØ Ò Ã ÖÓÚ³ ÔÓÐÝÒÓÑ Ð Ä Ø Ù ÒÓØ Ý Ë Ò Ø ÝÑÑ ØÖ ÖÓÙÔ Ó ÓÖ Ö Òº ÁÖÖ Ù Ð Ö ÔÖ ÒØ Ø ÓÒ Ô ÖØ Ø ÓÒ λ Òº ÆÓÖÑ Ð Þ Ö Ø Ö Ú ÐÙ χ λ (µ) ÓÖ µ

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

Fibonacci Overview. 1 Motivation. 2 Preliminary Ideas. 2.1 Common Definitions. 2.2 Fibonacci Numbers Defined

ÁÒ Ë Ø ÓÒ Û ÔÖ ÒØ ÔÓ Ð ÜØ Ò ÓÒ Ó Ø Ú ÒØ ÝÒ ÖÓÒ Þ Ø ÓÒ ÓÒ Ö ÔÖ Ú ÓÙ Ðݺ ÁÒ Ë Ø ÓÒ Û ÔÖ ÒØ Ò ÜØ Ò ÓÒ Ó ÓÙÖ Ø ÓÖ Ñ Ý ÒØÖÓ Ù Ò Ö Ø Ð Ø ÓÒ Ø Ò ÓÒ Ö Ò Û Ò º

½º»¾¼ º»¾¼ ¾º»¾¼ º»¾¼ º»¾¼ º»¾¼ º»¾¼ º»¾¼» ¼» ¼ ÌÓØ Ð»½ ¼

ÁÐÐÙ ØÖ Ø ÓÒÚ Ö Ò Ó ÙÒ ÖØ ÒØÝ Ø Ñ Ø Ý ØÛÓ Ü ÑÔÐ ½º ÐÙÓÒ ØÖ ÙØ ÓÒ Ø 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

ÓÖ Ö ÛÓÖ Ò Ô Ö Ó ØÝ Ò Ø ÛÓÖ ÓÖ Ö Ø ÔÖÓÔ Ö ÔÖ Ü ÕÙ Ð ØÓ Ù Üº ÓÖ Ü ÑÔÐ ÓÖ Ö º Á ÛÓÖ ÒÓØ ÓÖ Ö Û Ý Ø ÙÒ ÓÖ Ö ÓÖ ÓÖ Ö¹ Ö º ÓÖ Ü ÑÔÐ ½¼ Ò = ½¼¼ ¼ Ö ÙÒ ÓÖ Ö

ß ¾ ß ½º ÁÒØÖÓ ÙØ ÓÒ Ö Ñ ÒØ Ø ÓÒ ÙÖ Ò ÔÖÓØÓ Ø ÐÐ Ö ÓÐÐ Ô Û ÐÝ ÔØ ØÓ Ø ÔÖ Ñ ÖÝ Ñ ¹ Ò Ñ ÓÖ Ø ÓÖÑ Ø ÓÒ Ó Ò ÖÝ Ò ÑÙÐØ ÔÐ Ø Ö Ý Ø Ñ º º Ä Ö Ò Ö Ø Ðº ¾¼¼ Ò

ÅÓØ Ú Ø ÓÒ Å ÕÙ Ð ØÝ Ó Ø Ó ØÖ Ò Ô Ö ÒØ ÁÒ Ø ÓÒ Ú ÐÓÔÑ ÒØ ØÖ Ò ÖÖ Û ÓÖ Ò Ð ÙØ ÓÖ Ö Ñ Ò ÐÓÒ Ú ÐÓÔÑ ÒØ ØÓÖÝ Å ÒÝ Ù ØÓÑ Ö»Ù ØÓÑ Ö Ù ÓÑÔÓÒ ÒØ Ó Ñ ÒÝ ÔÖÓ Ø

È Ö Ø ² ÑÔ Ö Ø Ò ÓÖÑ Ø ÓÒ ÓÖ Ñ È Ö Ø Ò ÓÖÑ Ø ÓÒ ÈÐ Ý Ö ÒÓÛ ÓÙØ Ø ÔÖ Ú ÓÙ ÑÓÚ Ó ÓÔÔÓÒ ÒØ º º º Ð ¹ËØ Û ÖØ Ñ º ÁÑÔ Ö Ø Ò ÓÖÑ Ø ÓÒ ÈÐ Ý Ö Ó ÒÓØ ÒÓÛ ÓÙØ Û

Ì ÄÈ Ë ÈÖÓ Ð Ñ Ì ÄÈ Ë ÐÓÒ Ø Ô Ö Ñ Ø Ö Þ ÓÑÑÓÒ Ù ÕÙ Ò µ ÔÖÓ Ð Ñ Ò Ö Ð Þ Ø ÓÒ Ó Û ÐÐ ÒÓÛÒ Ä Ë ÔÖÓ Ð Ñ ÓÒØ Ò Ò Ô¹ÓÒ ØÖ ÒØ º Ò Ø ÓÒ ÁÒ ÄÈ Ë(,, Ã ½, Ã ¾, )

Ì Ø Ð ÓÒ Ò Ò ÐÓ Ù Ó Ó Ñ³ Ø ÓÖ Ñ ÓÖ Ö Ø Ð ÑÞ Û ¹ ÐÐ ¾¼½½ ÇÒ Ø Ø Ó Ö Ð ÒÙÑ Ö Ö Ó Ò Þ Ý Ò Ø ÙØÓÑ Ø Ò ÑÙÐØ ÔÐ Ó ÐÓع ÖÙ Ø Ò¹ ÖÙÝ Ö ¾¼½¼ Ö Ø¹ÓÖ Ö ÐÓ Ò ÆÙÑ

Transcription:

Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ Ð ØÙÖ ÒØÖÓ Ù Ø ÖÓÙØ Ò ÔÖÓ Ð Ñ Ò Ö ÓÑÑÓÒ ÔÔÖÓ ØÓ Ø ÓÐÙØ ÓÒ Ì Ð ÓÖ Ø Ñµ ÓÖ ÓÖØ Ø¹Ô Ø ÖÓÙØ Ò º ØÖ ³ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ¼ ÊÓÙØ Ò Å ØØ Û ÊÓÙ Ò <matthew.roughan@adelaide.edu.au> ÓÑÑÓÒ ÔÔÖÓ ØÓ ÖÓÙØ Ò Ù ÓÖØ Ø¹Ô Ø º Ì Ð ÓÖ Ø Ñ ÓÖ ÓÐÚ Ò ÓÖØ Ø¹Ô Ø ÖÓÙØ Ò ÒÓÒ Ð ØÖ ³ º ÍÒ Ú Ö ØÝ Ó Ð Å Ö ¾¼ ¾¼¼ 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

ÄÓ Ð Ú È Ý Ð Æ ØÛÓÖ ÄÓ Ð Ú È Ý Ð Æ ØÛÓÖ ÈÓ Ð ÐÓ Ð Ò ØÛÓÖ ØÓÔÓÐÓ Ý Ð Ý Ö ¾µ ÈÓ Ð Ô Ý Ð ØÓÔÓÐÓ Ý Ð Ý Ö ½µ 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

Å ÔÔ Ò Ø ÐÓ Ð ØÓ Ø Ô Ý Ð ÄÓ Ð Ú È Ý Ð Æ ØÛÓÖ ÈÓ Ð ÐÓ Ð Ò ØÛÓÖ ØÓÔÓÐÓ Ý Ð Ý Ö µ Æ ØÛÓÖ Ñ Ô Ø ÓÒ Ð Ý Öµ Ò ÕÙ Ø Ñ Ð Ò 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

ÊÓÙØ Ò ÖÙ Ø Û Ø Ò ÛÓÒ³Ø Ó Û Ý ÓÖ ÔÙÖ Ø ÁÈ Ò Ø¹ Ú Ò Ó Ø Ò ÖÙ Ø Û Ø Ò Ò ÐÓÛ Ö Ð Ý Ö ¹ÅÈÄË Ð Ñ ¹ Û Ø Ò Ï Å ÐÐÓÛ ÑÙÐØ ÔÐ Û Ú Ð Ò Ø Ó Ð Ø ØÓ Ò Ñ Ø Ó ØÓ Ñ Ô Ô Ø ÖÓÙØ ØÓ Ð Ò Ï ÐÐ ÖÓÙØ Ò ÔÖÓØÓÓÐ Ú Ö Ð ØÝÔ Ü Ø Û ÓÒ Ö ØÓ Ýµ Ö Ò Ð Ö ÓÔØ Ð ÖÓ ¹ÓÒÒ Ø Û Ø Ø Ð Ø ÒÓ Ð ØÖÓÒ ÒÚÓÐÚ ÔÙÖ ÐÝ ÓÔØ Ð Ð Ò Ø Ø ÓÖØ Ø Ô Ø Á È ÁÒØ Ö ÓÖ Ø Û Ý ÈÖÓØÓÓе ÔÖÓØÓÓÐ ØÓ Ø ÙÔ Ò Ø Ö ÓÛÒ ÓÔØ Ð ÖÙ Ø Ô Ø ÓÖÛ Ö Ò ÓÒ ØÓÔ Ó Ø ÖÙ Ø ÖÓÙØ Ò ÔÖÓØÓÓÐ 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

Ò ÙÑÔØ ÓÒ ÆÓØ Ø ÓÒ ÇÖ Ò¹ Ø Ò Ø ÓÒ Ç¹ µ Ô Ö (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

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

ÊÓÙØ Ò ÊÓÙØ Ò Ò Ò ÖÓÙØ Ò Ñ Ô Ò ¹ØÓ¹ Ò ØÖ ÖÓÑ 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

ÊÓÙØ Ò Ó Ø ÊÓÙØ Ò Ó Ø ÖÓÙØ Ò Ò Ù ÐÓ ÓÒ Ð Ò ÒÝ ÒÓØ Ø ÐÓ ÓÒ Ð Ò 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

ØÖ ÓÒ ÖÚ Ø ÓÒ ÓÒ ØÖ ÒØ Ô ØÝ ÊÓÙØ Ò ÔÖÓ Ð Ñ ÊÓÙØ Ò ÔÖÓ Ð Ñ ÊÓÙØ Ò ÈÖÓ Ð Ñ Ø ÖÑ Ò Ø ÓÔØ Ñ Ð ÖÓÙØ Ò 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

È Ø Ð Ò Ø Ó Ø Ä Ò Ö Ê ÑÓÚ Ô ØÝ ÓÒ ØÖ ÒØ ÙÑ Ð Ò Ö Ó Ø Û Ø Ò Ö Û Ø α 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

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

ËÔ Ð Ø Ò ØÛÓÖ ÙÐÐÝ Ñ Ð ÕÙ µ 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

ØÖ ³ Ð ÓÖ Ø Ñ Ð ÓÖ Ø Ñ ØÖ ³ ÑÓ Ø Ò ØÛÓÖ Ö ÒÓØ Ð ÕÙ Ø Ñ Ø Ó ØÓ Ò ÓÖØ Ø Ô Ø ØÖ ³ ½ Ð ÓÖ Ø Ñ Ö ØÖ ½ ¼¹¾¼¼¾µ ÙØ ÓÑÔÙØ Ö ÒØ Ø ÌÙÖ Ò ÔÖ Þ Û ÒÒ Ö ½ ¾º ÓØÓ ËØ Ø Ñ ÒØ ÓÒ Ö À ÖÑ ÙÐ Ô Ô Ö Ò Ø Ò Ó ÐÐ ÒÓ ÖÓÑ ÓÒ Ø ÖØ ÔÓ ÒØ ÛÓÖ Ý Ò Ò Ô Ø Ò ÓÖ Ö Ó ÓÖØ Ø Ö Ø ÐÓÒ Ö Ô Ø Ö Ù ÐØ ÙÔ Ó ÓÖØ Ö Ô Ø ÁÒÔÙØ Ö Ô (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

Û Ò Ø Ð Þ ØÖ Ø Ò Ø Ð Ø Ò 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

Step 4 4 0 S={,} D=(0,,,, ) Step 4 4 4 0 9 S={,,4} D=(0,,,4,9) ØÖ Ü ÑÔÐ ØÖ Ü ÑÔÐ Communications Network Design: lecture 0 p.0/4 Communications Network Design: lecture 0 p./4 Step 0 S={,} 4 4 4 9 D=(0,,,4,9) changed Step 4 4 4 0 9 S={,,4} D=(0,,,4,9) ØÖ Ü ÑÔÐ ØÖ Ü ÑÔÐ Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4

Step 4 4 0 9 4 S={,,4,} D=(0,,,4,9) Step & stop 0 4 4 S={,,4,,} 4 D=(0,,,4,) ØÖ Ü ÑÔÐ ØÖ Ü ÑÔÐ Communications Network Design: lecture 0 p.4/4 Communications Network Design: lecture 0 p./4 ØÖ Ü ÑÔÐ Step 4 4 0 S={,,4,} D=(0,,,4,) changed 4 Communications Network Design: lecture 0 p./4 Communications Network Design: lecture 0 p./4

¹ ½ ¾ ½ Ö ÙÐØ Ó ØÖ ØÖ ÓÒÒ Ø Ò ÐÐ ÒÓ ØÓ Ø Ò Ø Ð ÒÓ º Ì ÔÖ ÓÖ Ì ÒÓ Ò Ø ÓÙ Ø Ó Ø Ô Ö ÒØ Ò Ø ØÖ º Ú Ò Ø Ô Ö ÒØ Ó ÒÓ Ø Ó ÓÑÔÐ Ø ÐÝ Ò Ò Ó Ò Ö Ø Ô Ø ÖÓÑ ÒÓ ØÓ Ø Ø ÖØ Ò ØÖ ÒÓ º SPF tree 4 4 0 4 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

Ôµ ÓÒ O( E + N log N ) Ù ØÖ ØÖ ³ Ð ÓÖ Ø Ñ ÓÐÚ Ò Ð ¹ ÓÙÖ ÓÑÔÐ Ü ØÝ ØÖ ÑÔÐ ÑÔÐ Ñ ÒØ Ø ÓÒ ÓÑÔÐ Ü ØÝ O( N ) Ó³ ÑÔÐ Ñ ÒØ Ø ÓÒ Ó ØÖ Ø Ø Ò ¾ Ðй Ø Ò Ø ÓÒ ÔÖÓ Ð Ñ ÐÝ ÜØ Ò ØÓ Ö Ø Ö Ô Ò ÓÒÐÝ Ó Ò ÙÔ Ò Ø Ö Ø ÓÒ Ó Ð Ò ÓÑÔºØ Ñ =.N.N + 00 Ñ ÖÓ ÓÒ Ð Ò ¹ Ø Ò Û Ø µ ÑÙ Ø ÒÓÒ¹Ò Ø Ú Ø Ö Ö Ò Ö Ð Þ Ø ÓÒ ØÓ Ð Û Ø Ò Ø Ú ÓÑÔÐ Ü ØÝ ÙÑ Ò Ñ ÖØ Ø ØÖÙØÙÖ º º Û Ø ÒÓØ Ó Ø Ò Ò ÓÖ ÓÑÑÙÒ Ø ÓÒ Ò ØÛÓÖ ÑÓÖ Ü ÑÔÐ Ù ÓÖ http://carbon.cudenver.edu/~hgreenbe/sessions/dijkstra/dijkstraapplet.html 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

Ð ÓÖ Ø Ñ ÓÐÚ Ø Ò Ð ¹ ÓÙÖ ÓÖØ Ø¹Ô Ø ÔÖÓ Ð Ñ ØÖ ³ Ò ØÛÓÖ Ø Ø Ú ÒÓÒÒ Ø Ú Û Ø º Ò Ø ÓÙÖ ÒÓ s Ø ÖÓÓØ Ø Ò Û Ò ØÓ ÓÛ Ø Ø Ø ÐÐ ÖÓÑ s ØÓ ÒÓ x ÓÖÖ ÔÓÒ ØÓ ÓÖØ Ø Ô Ø Ò Ø Ô Ø ÖÓÑ s ØÓ xº ÆÓØ Ø Ø Ø Ø Ó Ô Ø ÓÖÑ ØÖ ÓÙØ Ó Ö Ô Ó Ó Ø Ö Ô º Ù Ø ÔÖÓÓ Ù Ò ÙØ ÓÒº Ï ÙÑ Ø Ø Ø Ù ØÖ ÓÖÑ Ø Ì ÔÓ ÒØ ÐÓÒ Ø Ð ÓÖ Ø Ñ Ø ÔÖÓÔ ÖØÝ Ó ÓÖØ Ø Ô Ø µº ÓÑ Ø Ø ÖØ Ò ÔÓ ÒØ Ø Ø ÙÑÔØ ÓÒ Ó Û Ò ÓÒÐÝ Ð ÖÐÝ Ø Ø Ò Ò Û ÒÓ x ÓÖØ Ø Ô Ø ØÓ Ø Ø ÒÓ º ÐÐ ÔÖÓÚ Ô Ø ØÓ x ÑÙ Ø Ò Û Ø Ô Ø ÖÓÑ Ø ÙÖÖ ÒØ Ù ØÖ ÓØ Ö Ø Ö ÓÖØ Ø Ô Ø µ ÓÐÐÓÛ Ý Ò ØÓ ÒÓ ÒÓØ Ù Ø ØÖ º Ý ÓÒ ØÖÙØ ÓÒ ÐÐ Ù Ô Ø Ö ÐÓÒ Ö Ø Ò Ø ÓÒ ÓÒ s ØÓ x Ø Ø ÔÖÓ Ù Ý ØÖ º ÖÓÑ Ë Ø Ó ÔÖÓÓ Ó ØÖ ØÖ ÓÑÔÐ Ü ØÝ Ó ¼¼ Ò ½¾¼¼¼ Ëʵ ÓÑÔÙØ Ø ÓÒ ÑÔ Ö Ð ÓÖ ØÖ ¾ Ø Ñ 40 400 ÈÖÓÓ computation time (ms) 0 00 0 00 0 00 0.N.N + 00µs 0 0 00 00 00 400 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

º ØÖ ÒÓØ Ò ØÛÓ ÔÖÓ Ð Ñ Ò ÓÒÒ Ü ÓÒ Û Ø Ö Ô ÆÙÑ Ö ½ ÚÓк ½ ÔÔº ¾ ¾ ½ ½ º Å Ø Ñ Ø º Ë Ò º Ö Ò Ö ÜÔ Ö Ò Ò Ð ¹ ÓÜ ÇËÈ Ñ ÙÖ Ñ ÒØ Ò ÈÖÓº ¾ ËÁ ÇÅÅ ÁÒØ ÖÒ Ø Å ÙÖ Ñ ÒØ ÏÓÖ ÓÔ ÔÔº ½½ ½¾ ¾¼¼½º Å References Communications Network Design: lecture 0 p.4/4