function GENERAL-SEARCH( problem, strategy) returns a solution, or failure initialize the search tree using the initial state of problem loop do if
|
|
|
- Alisha Barber
- 5 years ago
- Views:
Transcription
1 ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼¼ Ë ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˼ ¹ ¹ º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ ÓÙ ÖÝ ºÙÒк Ù ØÖ Ø Ý Ò Ý Ô Ò Ø ÓÖ Ö Ó ÒÓ ÜÔ Ò ÓÒ Ì ØÐ ËÓÐÚ Ò ÈÖÓ Ð Ñ Ý Ë Ö Ò ÁÅ ÔØ Ö Ë Ø ÓÒ º º Ò º µ function GENERL-ERH( problem, strategy) returns a solution, or failure initialize the search tree using the initial state of problem loop do if there are no candidates for expansion then return failure choose a leaf node for expansion according to strategy if the node contains a goal state then return the corresponding solution else expand the node and add the resulting nodes to the search tree end Ó Ö Û ÒÓ ØÓ ÜÔ Ò Ö Ø Ò Ö ØÖ Ø Ý
2 ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÌÝÔ Ó Ë Ö ÍÒ Ò ÓÖÑ Ù ÓÒÐÝ Ò ÓÖÑ Ø ÓÒ Ú Ð Ð Ò ÔÖÓ Ð Ñ Ò Ø ÓÒ À ÙÖ Ø ÜÔÐÓ Ø ÓÑ ÒÓÛÐ Ó Ø ÓÑ Ò ÍÒ Ò ÓÖÑ Ö ØÖ Ø ½º Ö Ø ¹ Ö Ø Ö ¾º ÍÒ ÓÖÑ¹Ó Ø Ö º ÔØ ¹ Ö Ø Ö º ÔØ ¹Ð Ñ Ø Ö º ÁØ Ö Ø Ú Ô Ò Ò ÔØ ¹ Ö Ø Ö º Ö Ø ÓÒ Ð Ö Ë Ö ØÖ Ø Ö Ø Ö ÓÖ Ú ÐÙ Ø Ò Ö ½º ÓÑÔÐ Ø Ò Ó Ø ÐÛ Ý Ò ÓÐÙØ ÓÒ ÓÒ Ü Ø ¾º Ì Ñ ÓÑÔÐ Ü ØÝ ÒÙÑ Ö Ó ÒÓ Ò Ö Ø» ÜÔ Ò º ËÔ ÓÑÔÐ Ü ØÝ Ñ Ü ÑÙÑ ÒÙÑ Ö Ó ÒÓ Ò Ñ ÑÓÖÝ º ÇÔØ Ñ Ð ØÝ Ó Ø ÐÛ Ý Ò Ð Ø¹Ó Ø ÓÐÙØ ÓÒ ÓÑÔÐ Ü ØÝ Ñ ÙÖ Ò Ø ÖÑ Ó Ì Ñ» Ô b Ñ Ü ÑÙÑ Ö Ò Ò ØÓÖ Ó Ø Ö ØÖ d ÔØ Ó Ø Ð Ø¹Ó Ø ÓÐÙØ ÓÒ m Ñ Ü ÑÙÑ ÔØ Ó Ø Ö Ô Ñ Ý µ
3 ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ö Ø ¹ Ö Ø Ö Áµ ÜÔ Ò ÖÓÓØ ÒÓ ÜÔ Ò ÐÐ Ð Ö Ò Ó ÖÓÓØ ÜÔ Ò Ð Ó ÖÓÓØ ÜÔ Ò Ù ÓÖ Ó Ð Ó ÖÓÓØ Øº ÜÔ Ò ÒÓ Ø ÔØ d ÓÖ ÒÓ Ø ÔØ d + 1 ËÝ Ø Ñ Ø ÐÐÝ ÓÒ Ö ÐÐ Ô Ø Ð Ò Ø ½ Ø Ò Ð Ò Ø ¾ غ ÁÑÔÐ Ñ ÒØ ÔÙØ Ù ÓÖ Ø Ò Ó ÕÙ Ù ºº Á Ç Ö Ø ¹ Ö Ø Ö ¾µ D E F G
4 ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÇÔØ Ñ Ð ÔÖÓÚ Ó Ø ÒÖ ÑÓÒÓØÓÒ ÐÐÝ Û Ø ÔØ ¾º Ò Ò Ö Ð ÒÓØ ËÔ Ñ O(b d+1 ) Ô Ú ÖÝ ÒÓ Ò Ñ ÑÓÖÝ º ÔÖÓ Ð Ñ Ö µ Ö Ø ¹ Ö Ø ÇÒ ÓÐÙØ ÓÒ Å ÒÝ ÓÐÙØ ÓÒ Ò ÐÐÓÛ Ø Ó Ð Ö Ø ½º ÓÑÔÐ Ø b Ò Ø Ì Ñ 1 + b + b 2 + b b d + b(b d 1) = O(b d+1 ) º O(b d+1 ØÓÖ b Ö Ò Ò ) ÔØ d Ò ÐÝ Ò Ö Ø ÒÓ Ø ½¼Å» Ó ¾ Ö ¼ ÍÒ ÓÖÑ¹Ó Ø Ö Áµ Ö Ø ¹ Ö Ø Ó ÒÓØ ÓÒ Ö Ô Ø Ó Ø g(x) ÍÒ ÓÖÑ¹Ó Ø ÜÔ Ò Ö Ø ÐÓÛ Ø¹Ó Ø ÒÓ ÓÒ Ø Ö Ò ÁÑÔÐ Ñ ÒØ ÓÖØ ÕÙ Ù Ò Ö Ò Ó Ø ÓÖ Ö 0 Ï Ò g(x) ÔØ xµ Ö Ø ¹ Ö Ø ÍÒ ÓÖÑ¹Ó Ø G 5 15 G (a) (b) 15 G G 11 10
5 ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ½¼ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÇÔØ Ñ Ð ¾º Ø Ó Ø ÑÓÒÓØÓÒ ÐÐÝ ÒÖ Ò ÙÒØ ÓÒ Á Ä ØØÐ Ñ ÑÓÖÝ Ô Ø Ò ÙÒ ÜÔ Ò ÒÓ b Ö Ò Ò ØÓÖ m Ñ Ü ÑÙÑ ÔØ Ô ººººººººº ÓÖ ÍÒ ÓÖÑ¹Ó Ø Ö ¾µ ÓÑÔÐ Ø ½º Ó Ø ǫ Ï Ò Ó Ø ÙÔ ÐÓÒ Ô Ø Ò ÓÔ Ö ØÓÖ³ Ó Ø ººººººº Ì Ñ º Ó ÒÓ Û Ø g Ó Ø Ó ÓÔØ Ñ Ð ÓÐÙØ ÓÒ O(b /ǫ ) Û Ö Ø Ó Ø Ó Ø ÓÔØ Ñ Ð ÓÐÙØ ÓÒ ËÔ º Ó ÒÓ Û Ø g Ó Ø Ó ÓÔØ Ñ Ð ÓÐÙØ ÓÒ O(b /ǫ ) ÔØ ¹ Ö Ø Ö Áµ ÜÔ Ò ÒÓ Ø Ô Ø Ð Ú Ð Ò ØÖ Ï Ò ¹ Ò Ó ØÓ ÐÐÓÛ Ö Ð Ú Ð ÁÑÔÐ Ñ ÒØ ÔÙØ Ù ÓÖ Ø ÖÓÒØ Ó ÕÙ Ù ºº ÄÁ Ç
6 ÓÙ ÖÝ ½½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ½¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ø Ö Ö Ñ ÒÝ ÓÐÙØ ÓÒ Ë Ñ Ý ÕÙ Ö Ø Ò Ë Ï Ò m ÑÙ Ð Ö Ö Ø Ò d Ô ÐÓÓÔ µ ºº ØÖÓÙ Ð Ï Ò Ì Ñ O(b m ) ÏÓÓÛºº º m ÑÙ Ð Ö Ö Ø Ò d ÙØ ÓÐÙØ ÓÒ Ö Ò Ø ÖÖ Ð Ö ¾µ ÔØ ¹ Ö Ø ÔØ ¹ Ö Ø Ö µ ÓÑÔÐ Ü ØÝ Ì Ñ Ñ Ý Ò ØÓ ÜÔ Ò ÐÐ Ô Ø O(b m ) Ï Å ÓÖ Ö Û Ó Ë Ó Ò Ô Û Ö Ø Ö ÒÓ ÓÐÙØ ÓÒºº ÈÖÓÔ ÖØ ½º ÓÑÔÐ Ø ÆÓ Ò Ò Ò Ø ¹ Ô ÓÑÔÐ Ø Ò Ò Ø Ô ¾º ÇÔØ Ñ Ð Ñ Ý ÑÙ Ø Ö Ø Ò Ö Ø ¹ Ö Ø º ËÔ O(bm) Ð Ò Ö ÏÓÓÛºº
7 ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ò Ø Ò ¾¼ Ø ÓÒ Ñ Ô ÓÖ ÊÓÑ Ò ÒÝ ÒÓ Ô Ö ÓÖ ½ ÝÐ Ò º ÓÒ³Ø ÜÔ Ò Ô Ö Ø Ò ÔØ ¹Ð Ñ Ø Ö Áµ Ë Ó Ò ØÓÓ Ô ÔÙØ Ø Ö ÓÐ ÓÒ ÔØ ÁÑÔÐ Ñ ÒØ ÒÓ Ø ÔØ l Ú ÒÓ Ù ÓÖ ÈÖÓÔ ÖØ ½º ÓÑÔÐ Ø ¾º ÇÔØ Ñ Ð º Ì Ñ Ú Ò l ÔØ Ð Ñ Øµ º ËÔ Ú Ò l ÔØ Ð Ñ Øµ ÈÖÓ Ð Ñ ÓÛ ØÓ ÓÓ l ÁØ Ö Ø Ú ¹ Ô Ò Ò Ö Áµ ÄË Û Ø ÔØ ¼ ÄË Û Ø ÔØ ½ ÄË Û Ø ÔØ ¾ ÄË Û Ø ÔØ ººº Limit = 0 Limit = 1 Limit = 2 Limit = 3... ÓÑ Ò Ò Ø Ó Ë Ò Ë
8 ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ö ÁØ Ö Ø Ú ¹ Ô Ò Ò ¾µ Limit = 0 Limit = 1 Limit = 2 Limit = 3 ÁØ Ö Ø Ú ¹ Ô Ò Ò Ö µ ÓÑ Ò Ò Ø Ó Ë Ò Ë ÈÖÓÔ ÖØ ½º Ì Ñ (d + 1).b 0 + (d).b + (d 1).b b d = O(b d ) ¾º ËÔ O(bd) Ð Ë º ÓÑÔÐ Ø Ð Ë º ÇÔØ Ñ Ð Ð Ë Ø Ô Ó Ø ½µ
9 ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÁØ Ö Ø Ú ¹ Ô Ò Ò Ö µ ÓÑÔ Ö ÓÒ ÓÖ b = 10 Ò d = 5 ÆÙÑ Ö Ð ¼ ¼¼ ¼¼¼ ¾¼ ¼¼¼ ½¼¼ ¼¼¼ ½¾ ¼ Æ Á ˵ ½¼ ½¼¼ ½ ¼¼¼ ½¼ ¼¼¼ ½¼¼ ¼¼¼ ¼ Æ Ëµ ½ ½½½ ½¼¼ ËÓÑ ÒÓ Ö ÜÔ Ò Ú Ö Ð Ø Ñ Û Ø ÙÐ b + b 2 + b b d + (b d+1 d) Æ Ëµ Æ Á ˵ (d)b + (d 1)b (1)b d Á Ë ÔÖ ÖÖ Û Ò Ö Ô Ð Ö Ò ÔØ ÙÒ ÒÓÛÒ Ö Ø ÓÒ Ð Ö Áµ Ú Ò Ò Ø Ð Ø Ø Ò Ø Ó Ð Ø Ø Ø ÖØ Ö ÖÓÑ ÓØ Ò Ò Ñ Ø Ò Ø Ñ Ð tart Goal ÙÑ Ñ b Ö Ò Ò ØÓÖ ÓÐÙØ ÓÒ Ø ÔØ d Ø Ñ O(2b d/2 ) O(b d/2 ) b = 10, d = 6 Ë ½ ½½½ ½½½ ÒÓ Ë ¾ ¾¾¾ ÒÓ
10 ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾¼ ÁÒ ØÖÙØÓÖ³ ÒÓØ ØÓ Û Ø Ö ÒÝ ÒÓ Ò ÓÒ Ô ÔÔ Ö Ò Ø Ò Ô Ù Ò µ ÓØ Ö Ö Ø ÓÒ Ð Ö ¾µ ÔÖ Ø ÁÒ Æ ØÓ Ò ÔÖ ÓÖ ÓÔ Ö ØÓÖ ØÓ Ö Û Ö Á ÓÔ Ö ØÓÖ Ö ÒÚ ÖØ Ð ÒÓ ÔÖÓ Ð Ñ Ï Ø Ñ ÒÝ Ó Ð Ø Ø Ø µ Ó ÓÖ ÑÙÐØ ÔÐ ¹ Ø Ø Ö Ò ØÓ Ø ¾ Ö Ò ØÓ ÓÛ Ø Ý Ñ Ø Ò ØÓ Ô ÐÐ ÒÓ Ò Ð Ò Ñ ÑÓÖÝ O(b d/2 ) Ï Ø Ò Ó Ö Ò Ð Ô ËÙÑÑ ÖÝ Ö Ø Ö ÓÒ Ö Ø ¹ ÍÒ ÓÖѹ ÔØ ¹ ÔØ ¹ ÁØ Ö Ø Ú Ö Ø Ó Ø Ö Ø Ä Ñ Ø Ô Ò Ò ÆÓ l d ÓÑÔÐ Ø b d+1 b /ǫ b m b l b d Ì Ñ ËÔ b d+1 b /ǫ bm bl bd ÇÔØ Ñ Ð ÆÓ ÆÓ Ö Ò Ò ØÓÖ b ÓÐÙØ ÓÒ ÔØ d Ñ Ü ÑÙÑ ÔØ Ó ØÖ m ÔØ Ð Ñ Ø l
11 ÓÙ ÖÝ ¾½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÙÖÖ ÒØ ÒÓ Ø Ø Ñ Ø ÒÓ Ò Ø ÐÓ Ð Ø Ö Ö Ô ¹Ë Ö ÌÖ ¹Ë Ö ÄÓÓÔ ÚÓ Ö Ô Ø Ø Ø Áµ ÓÖ Ò Ò Ø Ò Ò Ø ØÖ Î Ð ÓØ m Ñ Ü ÑÙÑ ÔØ m + 1 Ø Ø Ü ÑÔÐ 2 m Ô Ø µ Ö Ò ÔÓ Ð ÚÓ ÜÔ Ò Ò Ø Ø Ø Ø Ú ÐÖ Ý Ò Ú Ø D ÄÓÓÔ ¾µ Ã Ô ÒÓ Ò ØÛÓ Ð Ø ÇÔ Ò Ð Ø Ö Ò ÐÓ Ð Ø Ä Ò ÜÔ Ò ÒÓ D Á Ù ½º ÁÑÔÐ Ñ ÒØ Ø ÓÒ Ø Ð ÓÒ Ø ÒØ Ø Ñ ÌÖ ¹Ó Ó Ø Ó ØÓÖ Ò Ò Ú º Ó Ø Ó Ö Ò ¾º ÄÓ Ò ÓÔØ Ñ Ð ØÝ Û Ò Ò Û Ô Ø Ô Ö» ÓÖØ Ö Ó Ø ÓÒ ØÓÖ º Ë Ò Á Ë ÒÓÛ Ö ÕÙ Ö ÜÔÓÒ ÒØ Ð ØÓÖ
12 ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÔÔ Ò Û Ò ÒÓÛÐ ÓÙØ Ø Ø Ò Ø ÓÒ Ï Ø ÒÓÑÔÐ Ø ËÙÑÑ ÖÝ È Ø ÕÙ Ò Ó Ø ÓÒ Ð Ò ÖÓÑ ÓÒ Ø Ø ØÓ ÒÓØ Ö È ÖØ Ð ÓÐÙØ ÓÒ Ô Ø ÖÓÑ Ò Ò Ø Ð Ø Ø ØÓ ÒÓØ Ö Ø Ø Ú ÐÓÔ Ø Ó Ô ÖØ Ð ÓÐÙØ ÓÒ Ë Ö Ë Ö ØÖ ² Ø ÓÑÔÓÒ ÒØ ÒÓ ÖÓÓØ Ð Ú Ö Ò µ Ø ØÖÙØÙÖ ÓÖ Ö ÒÓ Ë Ö Ô Ú º Ø Ø Ô ÆÓ ÜÔ Ò ÓÒ ÕÙ Ù ÓÖ Ö Ë Ö ØÝÔ ÙÒ Ò ÓÖÑ Ú º ÙÖ Ø ÙÒ Ò ÓÖÑ Ö ØÖ Ø Ö Ø Ö ÓÖ Ú ÐÙ Ø Ò ² ÓÑÔ Ö Ò Ö ØÖ Ø Ë Ö Ò Û Ø Ô ÖØ Ð Ò ÓÖÑ Ø ÓÒ Áµ Ö Û ÙÑ ËÓ ÒÚ ÖÓÒÑ ÒØ ÙÐÐÝ Ó ÖÚ Ð ÒÚ ÖÓÒÑ ÒØ Ø ÖÑ Ò Ø ÒØ ÒÓÛ Ø Ó Ø ÓÒ ÒØ Ì Ù ÐÛ Ý ÒÓÛ Û Ö Ø Ò ÓÑÔÙØ Ø Ø Û Ö Ø Û ÐÐ Ø Ö ÕÙ Ò Ó Ø ÓÒ
13 ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ë Ö Ò Û Ø Ô ÖØ Ð Ò ÓÖÑ Ø ÓÒ ¾µ Ë Ò ÓÖÐ ÔÖÓ Ð Ñ ÓÒ ÓÖÑ Òص Ý Ð ØÝÔ Ó ÔÖÓ Ð Ñ ÁÒÓÑÔÐ Ø Ò Ë Ò ÓÖÐ ÓÒ ÓÖÑ Òص ÔÖÓ Ð Ñ ÓÒØ Ò ÒÝ ÔÖÓ Ð Ñ ÜÔÐÓÖ Ø ÓÒ ÔÖÓ Ð Ñ ÒÚ ÖÓÒÑ ÒØ ÒÓØ Ó ÖÚ Ð ÒÓ Ô Ö ÔØ ÒØ Ó ÒÓØ ÒÓÛ Ò Û Ü Ø Ø Ø Ø ÒØ Ñ Ý Ò ÓÒ Ó ÑÓÖ ÔÓ Ð Ò Ø Ð Ø Ø Ò Ø ÓÒ Ñ Ý Ð ØÓ ÓÒ ÓÖ ÑÓÖ ÔÓ Ð Ù ÓÖ Ø Ø
14 ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÒØ Ò ÒÝ ÔÖÓ Ð Ñ ÒÚ ÖÓÒÑ ÒØ Ô ÖØ ÐÐÝ Ó ÖÚ Ð ÓÖ Ø ÓÒ Ö ÙÒ ÖØ Ò Òس Ô Ö ÔØ ÔÖÓÚ Ò Û ÒÔÙØ Ø Ö Ø ÓÒ ÓÒØ Ò ÒÝ ØÓ ÔÐ Ò ÓÖ Ú Ö Ö Ð ÔÖÓ Ð Ñ ÙÒ ÖØ ÒØÝ Ù Ý Ø ÓÒ Ó ÓØ Ö ÒØ ÜÔÐÓÖ Ø ÓÒ ÔÖÓ Ð Ñ ËØ Ø Ò Ø ÓÒ Ó Ø ÒÚ ÖÓÒÑ ÒØ Ö ÙÒ ÒÓÛÒ ÒØ ÑÙ Ø Ø ØÓ ÓÚ Ö Ø Ñ ÜØÖ Ñ Ó ÓÒØ Ò ÒÝ ÔÖÓ Ð Ñ
15 ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¼ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ë Ò ÓÖÐ ÔÖÓ Ð Ñ Áµ Î ÙÙÑ Ð Ò Ö ÒÓ Ò ÓÖ ÙØ ÒØ ÒÓÛ Ø Ó Ø ÓÒ Ñ Ý Ò ÒÝ Ø Ø ß½ ¾ Ð ÒØ ÐÛ Ý Ò Ò ß¾ Ð [Right] [Right, uck] ÐÛ Ý Ò Ò ß Ð [Right, uck, Left, uck] ÐÛ Ý ÛÓÖ Ó Ö Ø ÛÓÖÐ ÒØÓ Ë Ò ÓÖÐ ÔÖÓ Ð Ñ ¾µ ÒÓØ ÙÐÐݵ Ó ÖÚ Ð ÒÚ ÖÓÒÑ ÒØ ÒØ ÑÙ Ø Ø Ò ÓÙØ Ø Ó Ø Ø ÒØ Ð Ø Ø Ø Ó ÔÓ Ð Ø Ø µ ÒÚ ÖÓÒÑ ÒØ ÙÐÐÝ Ó ÖÚ Ð ½ Ð Ø Ø ½ Ø Ø Ò ÓÖÐ ÔÖÓ Ð Ñ Ö Ò Ô Ó Ð ËÓÐÚ Ò Ò Ø Ð Ø Ø Ð Ø Ø ÐÐ ÔÓ Ð Ø Ø µ Ø ÓÒ Ñ Ô ½ Ð Ø Ø ÒØÓ ÒÓØ Ö Ð Ø Ø ÙÒ ÓÒ Ó ÔÔÐÝ Ò Ø ÓÒ ØÓ Ø Ø Ò Ò Ø Ð Ð Ø Ø Ó Ð Ö Û Ò ÐÐ Ø Ø Ò Ð Ø Ø Ö Ó Ð Ø Ø
16 ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ò Ö Ð 8 ÁÒ ¾ ÔÓ Ð Ð Ø Ø Ø Ø Ö ÙÑ Ø ÖÑ Ò Ø ÒÚ ÖÓÒÑ ÒØ ËÓ ÓÐ ÓÖ ÒÓÒ Ø ÖÑ Ò Ø ÒÚ ÖÓÒÑ ÒØ ÔÔÖÓ»Ö ÙÐØ ÅÙÖÔ Ý³ Ð Û uck ÓÑ Ø Ñ ÔÓ Ø ÖØ ÓÒ ÖÔ Ø Ü ÑÔÐ ÓÒÐÝ Ø Ö ÒÓ ÖØ Ø Ö ÐÖ Ý ÙØ ÈÖÓ Ð Ñ ÙÒ ÓÐÚ Ð Ü Ö º½ µ ÒÒÓØ Ø ÐÐ Û Ø Ö Ø Ø ÖØÝ Ò ÒÒÓØ ÔÖ Ø ÒØ Ë Ò ÓÖÐ ÔÖÓ Ð Ñ ¾µ L Ú ÙÙÑ Ð Ò Ö ½¾ Ð Ø Ø R L R L R L R L R L R L R Ø Ø ¾ ÔÓ Ð Ð Ø Ø Ë Ò ÓÖÐ ÔÖÓ Ð Ñ µ [uck] ÔÔÐ ØÓ ËØ Ø Ð ØÓ ß¾ Ð [uck] ÔÔÐ ØÓ ß½ ¾ Ð Ð ØÓ... Û Ø Ö uck Ó Ò ØÓ Ñ Ø ÖØÝ ÓÖ Ð Ò
17 ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ø ÓÒ [uck, Right,if[R, Dirty]thenuck] Ð ØÓ ß Ð Ì Ù ØÖ ËÓÐÙØ ÓÒ ÓÒØ Ò ÒÝ ÔÖÓ Ð Ñ Áµ ÒÚ ÖÓÒÑ ÒØ Ô ÖØ ÐÐÝ Ó ÖÚ Ð ÓÖ Ø ÓÒ Ö ÙÒ ÖØ Ò ÒØ Ò Ø ÓÑ Ò ÓÖÑ Ø ÓÒ Ï Ò ÓÙØ ÒÚ ÖÓÒÑ ÒØ ÖÓÑ Ò ÓÖ Ø Ö Ø Ò ØÓ ÓÒØ Ò ÒÝ ÔÖÓ Ð Ñ ÒÓØ Ô Ø ÙØ ØÖ ËÓÐÙØ ÓÒ Ö Ò Ö Ð Ø Ô Ò Ò ÓÒ Ô Ö ÔØ ÓÒØ Ò ÒÝ ÔÖÓ Ð Ñ ¾µ Ú ÙÙÑ Ð Ò Ö Ü ÑÔÐ ÐÓ Ð Öس Ò ÓÖ ÒÓ Ö ÑÓØ Öس Ò ÓÖ ÐÓ Ø ÓÒ Ò ÓÖ ÅÙÖÔ Ý³ Ð Û ÆÓÛ ÒØ Ô Ö Ú Dirty] Ø Ò Ò Ø Ø ß½ Ð [L, Ø ÓÒ [uck] Ð ØÓ ß Ð Ø ÓÒ [uck, Right] Ð ØÓ ß Ð Ø ÓÒ [uck, Right, uck] Ð ØÓ ß Ð ÈÐ Ò Ò Ù µ ÓÖ Ð µ
18 ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÑ Ø Ñ µ Ò ÖÝ ØÓ Ø ÖØ Ø Ò ÁØ Ð Û Ø ÓÒØ Ò Ò Ø Ý Ö Ò ÓÒØ Ò ÒÝ ÔÖÓ Ð Ñ µ Ú ÙÙÑ Ð Ò Ö Ü ÑÔÐ ÐÓ Ð Öس Ò ÓÖ Ò Ö ÑÓØ Öس Ò ÓÖ ÐÓ Ø ÓÒ Ò ÓÖ ÙÐÐÝ Ó ÖÚ Ð µ ÅÙÖÔ Ý³ Ð Û ËÓÐÙØ ÓÒ ÕÙ Ò Ó Ø ÓÒ ÒØ Ò ÔÖÓ ººº ÓÒØ Ò ÒÝ ÔÖÓ Ð Ñ µ Ò Ö Ð ÒØ ÁÒ Ø ÓÖ Ú Ò Ù Ö ÒØ ÔÐ Ò ÓÐÙØ ÓÒ ØÖ µ Ò ØÓ ÓÒ Ö Ú ÖÝ ÔÓ Ð ØÝ Ø Ø Ñ Ø Ö Ñ Ý Ò ÓÚ Ö ÐÐ ÁÒØ ÖÐ Ú Ë Ö Ò Ü ÙØ ÓÒ Í ÙÐ ÓÖ Ñ ÔÐ Ý Ò Ò ÜÔÐÓÖ Ø ÓÒ ÔÖÓ Ð Ñ
function GENERAL-SEARCH( problem, strategy) returns a solution, or failure initialize the search tree using the initial state of problem loop do if
ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ ÓÙ ÖÝ ºÙÒк Ù º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ËÓÐÚ Ò ÈÖÓ Ð Ñ Ý Ë Ö Ò Ì ØÐ ÔØ Ö Ë Ø ÓÒ º µ ÁÅ ÛÛÛº ºÙÒк Ù» ÍÊÄ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽
A B. Ø ÓÒ Left Right Suck NoOp
º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÁÒØ ÐÐ ÒØ ÒØ Ì ØÐ ÔØ Ö ¾ ÁÅ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽ ¹ ¹ ÍÊÄ º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÁÒØ ÐÐ ÒØ ÒØ ÒØ
Ö Ò ÁÅ ÔØ Ö Ê ÕÙ Ö ÔØ Ö ½¼ ½ Ò ½ º ÄÏÀ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÖÙ ÖÝ ½ ¾¼½
Ö Ò ÁÅ ÔØ Ö Ê ÕÙ Ö ÔØ Ö ½¼ ½ Ò ½ º ÄÏÀ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÄÓ Ð Ë Ö Ì ØÐ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽ ¹ ¹ ÁØ Ö Ø Ú ÑÔÖÓÚ Ñ ÒØ
Oradea 71 Neamt. Sibiu 99. Fagaras. 80 Rimnicu Vilcea. Pitesti. 90 Craiova
ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼¼ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ ÓÙ ÖÝ ºÙÒк Ù ÓÖ ØÓ Ø Ô Ó ÓÖ ÕÙ ÒØ Ð Ø Ø Ú º Ø ÖÑ Ò Ø Ö Ø Ú º ÓÒØ ÒÙÓÙ Ò Ð ÒØ Ú º ÑÙÐØ
ÇÙØÐ Ò ÁÒØÖÓ ÙØ ÓÒ º º ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ Å Ò Ñ Ü Ð ÓÖ Ø Ñ ÐÔ Ø ÔÖÙÒ Ò
ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ËÔÖ Ò ¾¼½¾ Ë º ÓÙ ÖÝ Ë ÙÛ Ö µ ÖØ ¼¾µ ¾ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ú Ö Ö Ð Ë Ö Ì ØÐ ÔØ Ö Ë Ø ÓÒ º½ º¾ Ò º µ ÁÅ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽¾ ÇÙØÐ Ò ÁÒØÖÓ ÙØ ÓÒ º º ÓÙ ÖÝ ¾ ÁÒ
ÁÒØÖÓ ÙØ ÓÒ ÇÖ Ò Ø ÓÒ Ð Ù ÌÓÔ ÇÚ ÖÚ Û Ä ØÙÖ Ü Ö ÓÑÔÙØ Ö ÓÓ Ü Ñ Ï Ý Ñ Ø Ñ Ø ÅÓ Ð Ò Ø Ë Ø ÌÛÓ Ü ÑÔÐ
Å Ø Ñ Ø Ð ÌÓÓÐ ÓÖ Ò Ò Ö Ò Ò Å Ò Ñ ÒØ Ä ØÙÖ ½ ½ ÇØ ¾¼½½ ÁÒØÖÓ ÙØ ÓÒ ÇÖ Ò Ø ÓÒ Ð Ù ÌÓÔ ÇÚ ÖÚ Û Ä ØÙÖ Ü Ö ÓÑÔÙØ Ö ÓÓ Ü Ñ Ï Ý Ñ Ø Ñ Ø ÅÓ Ð Ò Ø Ë Ø ÌÛÓ Ü ÑÔÐ Ì Ñ Ê ÔÓÒ Ð ÓÖ Ø Å Ø Ñ Ø Ë Ø ÓÒ Ó È Öº Öº ºº ÑÙÐغ
ÖÖ Ý ÒÑ ÒØ Ø Ø Ñ ÒØ Ö Ö ÓÖ ÒÝ Ð Ø¹ Ò Ð Ñ ÒØ Ö ØÓÖ º ÖÖ Ý ÓÖ Ù Ø ÓÒ Ó ÖÖ Ý Ò Ô Ý Ù Ò ØÖ ÔÐ Ø Ù Ö ÔØ º ØÖ ÔÐ Ø Ô Ö Ò Ò Ø ÓÖÑ ÐÓÛ Ö ÓÙÒ ÙÔÔ Ö ÓÙÒ ØÖ º Á
ÖÓÑ Ø ÈÖÓ Ò Ó Ø ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ò ÓÒ È Ö ÐÐ Ð Ò ØÖ ÙØ ÈÖÓ Ò Ì Ò ÕÙ Ò ÔÔÐ Ø ÓÒ È ÈÌ ³ µ ËÙÒÒÝÚ Ð Ù Ù Ø ½ Ô Ò Ò Ò ÐÝ Ó ÓÖØÖ Ò ¼ ÖÖ Ý ËÝÒØ Ü Ö Ð ÊÓØ Ã Ò Ã ÒÒ Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ê ÍÒ Ú Ö ØÝ ÀÓÙ ØÓÒ
ØÓ ÓÑÔ Ö Ø Ñ ÓÛ ØÓ Ò Ö Ø Ø Ñ ÓÛ º º ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÇÙØÐ Ò Ø ÓÖ Þ Ø ÓÒ Ó Ö Ø Ò ÕÙ ÇÖ Ö Ö Ö Û Ø Ò Ú ÐÙ Ø ÓÒ ÙÒØ ÓÒµ ع Ö Ø Ö Ö Ý Ö ½µ Ñ Ð ÙÖ Ø Ù
Ö Ò ÁÅ ÔØ Ö Ë Ø ÓÒ º º µ Ê ÕÙ Ö ÔØ Ö ½¼ ½ Ò ½ º ÄÏÀ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÁÒ ÓÖÑ Ë Ö Å Ø Ó Ì ØÐ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽ ¹
Ð Ò ØÓ ØØ Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐغ Ì ÓÙÖ Ô Ö Ñ ØÓÛ Ö Ø Ø Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐØ Ò Ô Ö Ý Ø Ô Ô Ö Ó È Ô Ñ ØÖ ÓÙ Ò Î ÑÔ Ð ÓÒ ÌÖ Ú Ð Ò Ë Ð Ñ Ò ÔÖÓ Ð Ñ µ Ø
ÔÔÖÓÜ Ñ Ø ÓÒ À Ö Ò ÓÖ ËÑ ÐÐ ÇÙÖÖ Ò ÁÒ Ø Ò Ó ÆȹÀ Ö ÈÖÓ Ð Ñ Å ÖÓ Ð Ú Ð Ò Â Ò Ð ÓÚ ¾ ¾ ÅÈÁ ÓÖ Å Ø Ñ Ø Ò Ø Ë Ò ¹¼ ¼ Ä ÔÞ Í ÁÒ Ø ØÙØ ĐÙÖ ÁÒ ÓÖÑ Ø ÙÒ ÈÖ Ø Å Ø Ñ Ø ¹¾ ¼ Ã Ð Ò ÓÖÑ Ø ºÙÒ ¹ к ØÖ Øº Ì Ô Ô Ö ÓÒØÖ
½ ÁÒØÖÓ ÙØ ÓÒ Ê ÒØ Ö ÙÐØ Ò ÑÔÐ Ñ ÒØ Ø ÓÒ Ó Ø ÔÐ ÒÒ Ö ½ Ú Ö Ø Ò¹ Ø Ö Ø ÓÖ Ù Ø Ð ÔÔÐ Ð ØÝ Ó Ø ÔÐ ÒÒ Ò ÔÔÖÓ ØÓ Ñ ÒÝ Ö Ð ÛÓÖÐ ÔÖÓ Ð Ñ º ÍÒ ÓÖØÙÒ Ø ÐÝ Ø ÔÖ
Ò ÜØ Ò ÓÒ Ó Ë ÌÈÄ Æ ÓÖ ÔÐ ÒÒ Ò Û Ø ÓÒ ØÖ ÒØ Å ÖÓ ÓÐ ØØ ËØ ÒÓ Å ÖÙ Ò Ð Ö Ó Å Ð Ò Ô ÖØ Ñ ÒØÓ Å Ø Ñ Ø ÁÒ ÓÖÑ Ø ÍÒ Ú Ö Ø Ð ËØÙ È ÖÙ Î Î ÒÚ Ø ÐÐ ¼ ½¼¼ È ÖÙ ÁØ ÐÝ ¹Ñ Ð Ñ ÖÓ ÒÓ Ñ Ð Ò ÔÑ ØºÙÒ Ô º Ø Ì Ðº ¹¼ ¹ º
edges added to S contracted edges
Ì Å Ü ÑÙÑ ÝÐ ËÙ Ö Ô ÈÖÓ Ð Ñ Ò Ö ¹ Ö Ô Ð ÒØ Æ ÛÑ Ò Ä ÓÖ ØÓÖÝ ÓÖ ÓÑÔÙØ Ö Ë Ò ÅÁÌ Ñ Ö Å ¼¾½ ¹Ñ Ð Ð ÒØ Ø ÓÖݺРºÑ غ Ù Ï ØÙ Ý Ø ÔÖÓ Ð Ñ Ó Ò Ò Ñ Ü ÑÙÑ ÝÐ Ù Ö Ô Ó Ú Ò Ö Ø Ö Ô Ò Û Ø Ñ Ü ÑÙÑ ØÓØ Ð Ö Ò ÔÐÙ ÓÙص
Ë ÓÑ Ò Ò ÝÒ Ñ ÈÖÓ Ö ÑÑ Ò Û Ø Ò Ö Ð Þ Ø ÓÒ Ò Ð Ö ËÝ Ø Ñ È ÖÖ Ö Ö ½ ¾ Ò ÇÐ Ú Ö Ë Ù ½ ½ ÙÐØ Ú Ø ÓÒ Ì» ÈÊ» Ë ÉÙ Å Ö Ð ÙÐØ ¾ ¾ Ëع ÐÓÙ Ü ¾ Ò Ñ ØÄ ÄÁÈ µ ÖÙ
Ë ÓÑ Ò Ò ÝÒ Ñ ÈÖÓ Ö ÑÑ Ò Û Ø Ò Ö Ð Þ Ø ÓÒ Ò Ð Ö ËÝ Ø Ñ È ÖÖ Ö Ö ½ ¾ Ò ÇÐ Ú Ö Ë Ù ½ ½ ÙÐØ Ú Ø ÓÒ Ì» ÈÊ» Ë ÉÙ Å Ö Ð ÙÐØ ¾ ¾ Ëع ÐÓÙ Ü ¾ Ò Ñ ØÄ ÄÁÈ µ ÖÙ Ù Ô Ø Ò ËÓØØ ¼½ È ÊÁË Ô ÖÖ º Ö Ö Ð Ô º Ö ÓÐ Ú Öº Ù
ÇÙØÐ Ò
ÀÓÛ ÑÙ ÒØ Ö Ò Ö Ø ÓÒ Ð Ö Ö Ò Ó Ø ÍºËº Ó Ð ÙÖ ØÝ Ý Ø Ñ Ö ÐÐÝ ÔÖÓÚ ½ ½ Ê ¹ Á ÈÖ Ù Å Ý ¾¼½½ ÇÙØÐ Ò ÅÓØ Ú Ø ÓÒ ÓÒÓÑ Ó Ø Ö ÒØ Ò Ö Ø ÓÒ Ö ÒØÐÝ Ä Ñ Ø Ð ØÝ ØÓ Ò ÙÖ Ü¹ ÒØ Ú ¹ ¹Ú ÓØ Ö Ò Ö Ø ÓÒ È Ý¹ ¹ÝÓÙ¹ Ó Ô Ò ÓÒ
ÁÒØÖÓ ÙØ ÓÒ Ö ÔØ Ú ËØ Ø Ø ÁÒ Ö ÒØ Ð ËØ Ø Ø ÀÝÔÓØ Ø Ø Ò ¹ Ô Ú ÐÙ Ø ÖÑ Ò Ø ÓÒ Ó ÑÔÐ Þ ËÙÑÑ ÖÝ Ä ÖÒ Ò Ó¹ Ø ÖÑ Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú
Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú Ö ØÝ Ó Å Ò Ò È ÖÑ Ý Ó ÀÓ Å Ò ØÝ ¾ Æ ÙÝ Ò ÌÖ È ÙÓÒ ÀÓ Ô Ø Ð ÂÁ ÔÖÓ Ø ¹ Ù Ù Ø ¾¼½ ÇÙØÐ Ò ½ ¾ Ø ÓÖÝ Ñ ÙÖ Ø Ñ Ø ÓÒ ¹ ÓÒ Ò ÁÒØ ÖÚ Ð ÔÓ ÒØ Ø Ñ Ø ¹ Ò ÒØ ÖÚ Ð Ø Ñ Ø ÁÒØ
ÜÔÓÒ ÒØ Ð Ò Ø ÔÖÓ Ð Ñ Þ Ø Ò ÐÓ Ò Ù Ø Ð Ò Ö ÓÖ Ò ØÓ ÃÓÖ º Ì ÒØ Ð Ö ÓÒ Û Ý ØÖ Ø ÓÒ Ö Ù ÓÑÔÐ Ü ØÝ Ø Ø Ø ØÓØ Ð ÓÑÔÐ Ü ØÝ Ø ÙÑ Ó Ø ÓÑÔÐ Ü Ø Ó Ø ÑÙÐØ ÔÐ Ö Ò
ØÖ Ø ÓÒ Û Ø Ò È ÖØ Ð ÙØ ÓÒ ÓÖ Ä Ò Ö ÄÓ È Ô ÃĐÙÒ ÆÓÖÛ Ò ÍÒ Ú Ö ØÝ Ó Ë Ò Ò Ì ÒÓÐÓ Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ò ÁÒ ÓÖÑ Ø ÓÒ Ë Ò Ô Ô ºÒØÒÙºÒÓ ØÖ Øº ØÖ Ø ÓÒ Ò Ù ÜØ Ò Ú ÐÝ Ò ÖØ Ð ÁÒØ ÐÐ ¹ Ò Áµ ÔÐ ÒÒ Ò ÙÑ Ò ÔÖÓ Ð Ñ
ÝÓÒ ÀÝÔ ÖØÖ Ï Ø ÓÑÔÓ Ø ÓÒ Å Ø Ó Ï Ø ÓÙØ ÓÑÔÓ Ø ÓÒ ÀÙ Ò Ò Î ØÓÖ ÐÑ Ù Ô ÖØ Ñ ÒØ Ì ÒÓÐÓ ÍÒ Ú Ö Ø Ø ÈÓÑÔ Ù Ö Ö ÐÓÒ ËÔ Ò Ù º Ò Ú ØÓÖº ÐÑ Ù ÙÔ º Ù ØÖ Øº Ì Ò
ÝÓÒ ÀÝÔ ÖØÖ Ï Ø ÓÑÔÓ Ø ÓÒ Å Ø Ó Ï Ø ÓÙØ ÓÑÔÓ Ø ÓÒ ÀÙ Ò Ò Î ØÓÖ ÐÑ Ù Ô ÖØ Ñ ÒØ Ì ÒÓÐÓ ÍÒ Ú Ö Ø Ø ÈÓÑÔ Ù Ö Ö ÐÓÒ ËÔ Ò Ù º Ò Ú ØÓÖº ÐÑ Ù ÙÔ º Ù ØÖ Øº Ì Ò Ö Ð ÒØÖ Ø Ð ØÝ Ó Ø ÓÒ ØÖ ÒØ Ø Ø ÓÒ ÔÖÓ ¹ Ð Ñ ÑÓØ Ú
Arad Bucharest Craiova Dobreta Eforie Fagaras Giurgiu Hirsova Iasi Lugoj
ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ö Ò ÁÅ ÔØ Ö Ë Ø ÓÒ º½ º¾ ² º µ Ê ÕÙ Ö ÔØ Ö ½ Ò ½ º ÄÏÀ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼¼ Ë ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˼ ¹ ¹ º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ
½º¾ Ò Ø ÓÒ Ì Ò Ó Ø ÓÚ ÕÙ Ø ÓÒ Ò ÓÖÑ Ð Þ Ý Ø ÓÐÐÓÛ Ò Ò Ø ÓÒº Ò Ø ÓÒ ½ È Ù Ó Ê Ò ÓÑ ÙÒØ ÓÒ Ñ Ðݵ Ñ ÐÝ ¾ ¼ ½ ¾Æ ÐÐ Ñ ÐÝ Ó Ð µ Ä µµ È Ù Ó Ê Ò ÓÑ ÙÒØ ÓÒ ¾
¾¾º ¼ ¹¼¼ ÁÒØÖÓ ÙØ ÓÒ ØÓ ÖÝÔØÓ Ö Ô Ý ÆÓÚ Ñ Ö Ø ¾¼¼½ Ä ØÙÖ Ä ØÙÖ Ö Ú Ò Ý Ó ËÖ ÒØÓÒ Ó Æ ÓÐÓ Ä Ø Ø Ñ Û Ò Û Ø Û Ñ Ò Ý Ë Ö Ø Ã Ý ÒÖÝÔØ ÓÒ Ñ Ëà µ Ò Û ÒØÖÓ Ù ØÛÓ Ö Ð Ø ÒÓØ ÓÒ Ó ÙÖ Øݺ Ì Ò Û ÓÛ ÓÛ ÈÊ Ñ Ý Ù ØÓ
Sensor0 Motor0. Sensor2. Motor2
ÅÓ ÐÐ Ò Ö Ð¹Ø Ñ Ð Ò Ù Ì ÓÑ ÀÙÒ ÊÁ Ë Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ö Ù ÒÑ Ö Ñ Ð Ö Ö ØÖ Ø Ï ÔÖ ÒØ ÓÑÔÓ Ø ÓÒ Ð Ñ Ø Ó ÓÖ ØÖ Ò Ð Ø Ò Ö Ð¹Ø Ñ ÔÖÓ¹ Ö Ñ ÒØÓ Ò ØÛÓÖ Ó Ø Ñ ÙØÓÑ Ø ÈÖÓ Ö Ñ Ö ÛÖ ØØ Ò Ò Ò Ñ ÐÝ
½½ º º À Æ Æ º º Í Æ ÒÓØ ÔÓ Ø Ú Ñ ¹ Ò Ø ÙÒÐ Ø ÓÐÐÓÛ Ò ØÖÙ Ø Ö ÓÒ Ù ÔÖÓ Ð Ñ È ½ Û Ø Ò Ð ÐÐ ÓÒ ØÖ ÒØ Û Ó ÓÖÑ Ù Ø ØÓ Ñ Ò ¾Ê Ò µ ½ ¾ Ì Ì Ø Ì Ù ÔÖÓ Ð Ñ Ø Ð
ÂÓÙÖÒ Ð Ó ÓÑÔÙØ Ø ÓÒ Ð Å Ø Ñ Ø ÎÓк½ ÆÓº¾ ¾¼¼½ ½½ ß½¾ º ÇÆ Å ÁÅ Ç Í Ä ÍÆ ÌÁÇÆ Ç ÌÀ Ì ËÍ ÈÊÇ Ä Å ½µ ÓÒ ¹ Ò Ê Ö Ú ÐÓÔÑ ÒØ ÒØ Ö Ó È Ö ÐÐ Ð ËÓ ØÛ Ö ÁÒ Ø ØÙØ Ó ËÓ ØÛ Ö Ò ½¼¼¼ ¼ Ò µ ¹Ü Ò Ù Ò ËØ Ø Ã Ý Ä ÓÖ ØÓÖÝ
ËÌ Ä Å Ä Å ÌÁÇÆ ÂÓ Ò Ìº Ð Û Ò Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ËØ Ø Ø Ò ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó ÁÐÐ ÒÓ Ø Ó Â ÒÙ ÖÝ ¾¼¼¼ Ø ØÓ Ø Ñ ÑÓÖÝ Ó ºÁºÅ Ð Úº ÁÒ ½ ÖÞ ÓÖÞÝ Û Ø Ö
ËÌ Ä Å Ä Å ÌÁÇÆ ÂÓ Ò Ìº Ð Û Ò Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ËØ Ø Ø Ò ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó ÁÐÐ ÒÓ Ø Ó Â ÒÙ ÖÝ ¾¼¼¼ Ø ØÓ Ø Ñ ÑÓÖÝ Ó ºÁºÅ Ð Úº ÁÒ ½ ÖÞ ÓÖÞÝ Û Ø Ö Ø Ö Û Ö ÓÒØ ÒÙÙÑ Ñ ÒÝ «Ö ÒØ ¼ ¹ Ø ÓÖ Ð Ø ÓÖ º Ï Ø
ÓÒØ ÒØ ½ ÇÚ ÖÚ Û ½ ¾ Ö Ø ØÙÖ Ð Ö ÔØ ÓÒ ½ ¾º½ Ê Ø Ö º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ ¾º¾ ÙÒ Ñ ÒØ Ð ÌÝÔ º º
ÖÓÒ ËÑ Ø Â Ñ ÙÖÖ ÐÐ ÊÓ ÖØ Å ÓÒ Ð Æ ÓÐ Æ Ø ÖÓØ ÐÐ Ó Ö ÓÙ ÙÖ Ö ËØ Ô Ò Ïº Ã Ð Ö Ã Ø ÖÝÒ Ëº Åà ÒÐ Ý ÇØÓ Ö ½¼ ¾¼¼ ¹ Î Ö ÓÒ º¼ Ì Ê ÔÓÖØ Ìʹ¼ ¹¾¾ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ì ÍÒ Ú Ö ØÝ Ó Ì Ü Ø Ù Ø Ò Ì ÓÙÑ ÒØ Ô Ø
Î Ö Ð X C = {x 1, x 2,...,x 6 }
º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ À ÐÐ ÊÓÓÑ ¼ Ú ÖÝ º º ÓÙ ÖÝ ½ Å Ö ½ ¾¼½½ Ì ØÐ ÙØ ÓÖ ÈÖÓº È ÐØ Ö Ò Ð ÓÖ Ø Ñ ÓÖ ÓÒ ØÖ ÒØ Ó Ö Ò Ò ËÈ Ê Ò Âº¹ º ½ Á ¾ Ó ÓÒ ØÖ ÒØ ÈÖÓ Ò ÓÙÒ Ø ÓÒ ËÔÖ Ò ¾¼½½ Ë ¾½» ¾½ ÛÛÛº ºÙÒк Ù» ¾½ ÓÙ
ÓÙÖ ËØ ÁÒ ØÖÙØÓÖ ÓÒØ Ø ËÐ Ñ Ø ÙÐÐ Ö ÐÓÙ Ð Ø ÓÒ ÓÙÖ Û Ø ÇÒ ÍÏ¹Ä ÖÒ Ò ÓÒ ÓÙÖ Û Ø Î ÖÝ Ø Ö ÓÑ ØÓ Ð Ø ÒÓØ Ë ÁÒØÖÓ ØÓ Å Ñص ÇÚ ÖÚ Û Ó Ë ÄÄ ¾¼½ ¾» ¾
ÇÚ ÖÚ Û Ó Ë Ú Êº Ö ØÓÒ Ë ÓÓÐ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ï Ø ÖÐÓÓ Ë ÁÒØÖÓ ÙØ ÓÒ ØÓ Ø Å Ò Ñ ÒØ ÐÐ ¾¼½ Ë ÁÒØÖÓ ØÓ Å Ñص ÇÚ ÖÚ Û Ó Ë ÄÄ ¾¼½ ½» ¾ ÓÙÖ ËØ ÁÒ ØÖÙØÓÖ ÓÒØ Ø ËÐ Ñ Ø ÙÐÐ Ö ÐÓÙ Ð Ø ÓÒ ÓÙÖ Û Ø ÇÒ ÍϹÄ
ÁËÁË Ø Ò Ð Ö ÔÓÖØ Ö ÎÓк ½¼ ¾¼¼¼ ÖÓÙÒ ÜØÖ Ø ÓÒ Ó ÓÐÓÙÖ ÁÑ Ë ÕÙ Ò Ù Ò Ù Ò Ñ ÜØÙÖ ÑÓ Ð ËØ ÒÑ Ò Ò Ê Ò Ú Ò Ò ÓÓÑ Ö ÁÒØ ÐÐ ÒØ Ë Ò ÓÖÝ ÁÒ ÓÖÑ Ø ÓÒ ËÝ Ø Ñ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ñ Ø Ö Ñ Ì Æ Ø ÖÐ Ò
Breeze. Stench PIT. Breeze. Breeze PIT. Stench. Gold. Breeze. Stench PIT START
ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÄÓ Ð ÒØ Ì ØÐ ÔØ Ö Ë Ø ÓÒ º½ º¾ Ò º µ ÁÅ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽ ¹ ¹ ÐÓ» ÒØ ÒØ Ð ÐÓ ÈÖÓÔÓ Ø ÓÒ Ð
ÌÖ Ò Ò ÆÙÑ Ö ÓÖ È ÔÓ Ø Ö ÓÖ ÖÖÓÖ ÓÒØÖÓл ÔØ Ú Ñ Ò ³ ÁØ Ö Ø Ú Ô Ö ÐРе ÓÐÙØ ÓÒ ØÖ Ø ³ ÇÔ Ö ØÓÖ¹ ÔÐ ØØ Ò ÓÖ ÓÙÔÐ ÔÖÓ Ð Ñ ³ Ê ÙØ ÓÒ Ó ÒÙÑ Ö Ð ÓÑÔÐ Ü ØÝ
º À Ö Û Ö ¹ÓÖ ÒØ ÆÙÑ Ö ÓÖ È ¹ ÓÒ ÕÙ Ò ÓÖ ÁÒÓÑÔÖ Ð ÐÓÛ ËÓÐÚ Ö Ëº ÌÙÖ Ø ÖÓÙÔ Åº ÐØ Ö Öº Ö Ëº Ù Ò Ëº Ã Ð Ò º ÃÙÞÑ Ò º ÈÐ ØØ Âº ÀÖÓÒ Èº ÃÓØ Ð Ïº Ò º ÇÙ ÞÞ Êº Ë Ñ Ø Ð Äº Ê Ú Ò ººº ÁÒ Ø ØÙØ ĐÙÖ Ò Û Ò Ø Å Ø Ñ
½ ÁÒØÖÓ ÙØ ÓÒ ÒÓÑ ÈÓÖØ Ð Û ¹ ÒØ Ö Ø Ú ÓÑÔÙØ Ø ÓÒ Ð ÔÐ Ø ÓÖÑ ÓÖ Ø Ò Ð¹ Ý Ò Ñ Ò Ò Ó ÒÓÑ Ø º Ï Ñ ØÓ ÒØ Ö Ø Ø ÔÖ Ñ ÖÝ ÒÓÑ Ø ÙÒØ ÓÒ Ð ÒÓÛÐ Ò Ò ÐÝØ Ð ØÓÓÐ Û
ÓÒØ ÒØ ½ ÁÒØÖÓ ÙØ ÓÒ ¾ ¾ ËØ ÖØ Ý ÓÒ ØÖÙØ Ò Ò Ð Ø ¾ ¾º½ Í Ò ÔÖ Ò Ò Ð Ø µ º º º º º º º º º º º º º º º º º º º º º ¾ ¾º¾ Ë Ö ÓÖ Ò Ó ÒØ Ö Ø Ù Ò ÒØÖ Þ ÝÑ ÓÐ ÓÖ Ö ÔØ ÓÒº ¾º È Ø Ð Ø Ó Ò Ò Ø ÓÜ ÔÖÓÚ º º º º
ÄÈ ÈÖÓ Ò ÓÖ È Û Ä Ò Ö ÇÔØ Ñ Þ Ø ÓÒ Ò Ë ÙÐ Ò Ö Ð Ò À Ò Ð Ë ÓÙØ Á ¹È Ö ÁÑÔ Ö Ð ÓÐÐ º ÄÓÒ ÓÒ ËÏ ¾ ÍÒ Ø Ã Ò ÓѺ ¹Ñ Ð ½½ Ô Öº º ºÙ ØÖ Øº ÙÐ Ò ÔÖÓ Ð Ñ Û Ø Ô
ÄÈ ÈÖÓ Ò ÓÖ È Û Ä Ò Ö ÇÔØ Ñ Þ Ø ÓÒ Ò Ë ÙÐ Ò Ö Ð Ò À Ò Ð Ë ÓÙØ Á ¹È Ö ÁÑÔ Ö Ð ÓÐÐ º ÄÓÒ ÓÒ ËÏ ¾ ÍÒ Ø Ã Ò ÓѺ ¹Ñ Ð ½½ Ô Öº º ºÙ ØÖ Øº ÙÐ Ò ÔÖÓ Ð Ñ Û Ø Ô Û Ð Ò Ö Èĵ ÓÔØ Ñ Þ ¹ Ø ÓÒ ÜØ Ò ÓÒÚ ÒØ ÓÒ Ð ÙÐ Ò Ý
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 ËÇŹ ÐÙ Ø Ö Ò ÓÖ ÇÒ¹Ð Ò Ö Ù Ú ÓÖ Ð Ø ÓÒ ËØÙ Ý Î Ò ÒØ Ä Ñ Ö Á Á ÈßÊÊ ¼¾¹ ¼ ÂÙÐÝ ¾¼¼¾ Ö Ð ÖÓØ ØÓ ÔÔ Ö Ò ÙÞÞÝ ËÝ Ø Ñ Ò ÃÒÓÛÐ ÓÚ ÖÝ Ëà µ ¾¼¼¾ Ð Ð Å Ó Ð Ð Á Ò Ø Ø Ù Ø Ó
Communications Network Design: lecture 07 p.1/44
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ¼ Å ØØ Û ÊÓÙ Ò ÍÒ Ú Ö ØÝ Ó Ð ÔÖ Ð ½ ¾¼¼ Communications Network Design: lecture 07 p.1/44 ÊÓÙØ Ò ÓÒØ
ÅÓ Ø Ü Ø Ò ÖÓ ¹ÓÚ Ö Ö ÓÙÖ ÔÖÓÚ ÓÒÐÝ ÐÐÓÛ Ö ÔÖ ÒØ Ø ÓÒ Ñ ÒØ ÇÚ ÖÚ Û ÛÓÖÐ ÔÔÐ Ø ÓÒ Ò Ö ÓÙÖ Û Ø Ö ÝÒØ Ø Ò ¹ Ê Ð Ö ÔÖ ÒØ Ø ÓÒ º Ñ ÒØ ÅÙ Ö Ö Ö ÔÖ ÒØ Ø ÓÒ Ö
à ÔÔ Ö Ë ÙÐ Ö Ã Ö Ò ÔÔ ÖÐ Òº ºÙÔ ÒÒº Ù Î Ö Æ Ø ÜØ Ò ÓÒ Ò Ñ ÔÔ Ò ØÓ ÓØ Ö Ð Ü Ð Ö ÓÙÖ ÂÙÒ ¾ Ø ¾¼¼ ÅÓ Ø Ü Ø Ò ÖÓ ¹ÓÚ Ö Ö ÓÙÖ ÔÖÓÚ ÓÒÐÝ ÐÐÓÛ Ö ÔÖ ÒØ Ø ÓÒ Ñ ÒØ ÇÚ ÖÚ Û ÛÓÖÐ ÔÔÐ Ø ÓÒ Ò Ö ÓÙÖ Û Ø Ö ÝÒØ Ø Ò ¹
Ê Ö Ò Ù Ä ÒÙÜ ÓÖ ØÖÓÒÓÑ Ö º º º ½º¾º Ï Ø Ä ÒÙÜ Ä ÒÙÜ ÍÆÁ ¹Ð ÖÒ Ð Ö Ø Ý Ä ÒÙ ÌÓÖÚ Ð º Ä ÒÙÜ ÖÒ Ð Ó Ø Ò ÓÒ Ù Û Ø Ø ÆÍ»Ä ÒÙÜ ÓÔ Ö Ø Ò Ý Ø Ñº Ä ÒÙÜ Ø ÖÒ Ð
Ä ÒÙÜ ÓÖ ØÖÓÒÓÑ Ö Ô Ý Ø Ò Ò Ò Ö Ê Ö Ò Ù ÓÖ È ØÖÓÚ ÅÓÑ Ð Ú ÁÒ Ø ØÙØ Ó ØÖÓÒÓÑÝ Ò Æ Ç ÙÐ Ö Ò ÑÝ Ó Ë Ò ¹½ ËÓ Ô ØÖÓÚ ØÖÓº º Ñ Ú ØÖÓº º ËÙ Ñ ØØ ½ º½¼º¾¼½ ÔØ ¼¾º½¾º¾¼½ µ ØÖ Øº Ì ÓÒ Ö Ò Ø Ð ½ ÙÑÑ ÖÝ Ó Ö Ö Ò Ù
Ö Ô ÓÒ Ø Ó ØÛÓ Ø Î Ò ÒÓØ Ý Î µº Ë Ø Î Ò Ø ÒÓÒ¹ ÑÔØÝ Ø Ó Ú ÖØ ÓÖ ÒÓ µ Ò Ø Ó Ô Ö Ó Ú ÖØ ÐÐ º Ï Ù Î µ Ò µ ØÓ Ö ÔÖ ÒØ Ø Ø Ó Ú ÖØ Ò Ò Ö Ô Ö Ô Ø Ú Ðݺ ÅÓÖ Ò
Ö Ô Ð ÓÖ Ø Ñ ÁÒ ½ ÙÐ Ö Ú Ø Ø ÖÒ ÈÖÙ Ò ÃÓ Ò Ö Ò ÓÙÒ Ø Ö Û Ö Ú Ò Ö ÖÓ Ø Ö Ú Ö Ò Ò Ð Ò º À Ñ ÙÔ ÕÙ Ø ÓÒ Ø Ø Ò ÒÝÓÒ Ø ÖØ Ø ÒÝ Ð Ò µ Û Ð Ø ÖÓÙ Ü ØÐÝ ÓÒ ÓÖ Ö Ò Ö ØÙÖÒ ØÓ Ø ÓÖ ¹ Ò Ð Ø ÖØ Ò ÔÓ ÒØ Ê Ö ØÓ ÙÖ ½º
function KB-AGENT( percept) returns an action static: KB, a knowledge base t, a counter, initially 0, indicating time
ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½¾ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÄÓ Ð ÒØ Ì ØÐ ÔØ Ö Ë Ø ÓÒ º½ º¾ Ò º µ ÁÅ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽¾¹ ¹ ÐÓ» ÒØ ÒØ Ð ÐÓ ÈÖÓÔÓ Ø ÓÒ Ð
Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ ȹØÖ È¹ ÖÓÛØ ÄÇË Ì È¹ØÖ Ø ØÖÙØÙÖ È¹ ÖÓÛØ Ð ÓÖ Ø Ñ ÓÖ Ò Ò ÐÐ Ö ÕÙ ÒØ Ø ÄÇË Ì Ð ÓÖ Ø Ñ ÓÖ Ò Ò Ö ÕÙ
Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø Ò Ò ØÖÙØÙÖ ØÖ Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ ȹØÖ È¹ ÖÓÛØ ÄÇË Ì È¹ØÖ Ø ØÖÙØÙÖ È¹ ÖÓÛØ Ð ÓÖ Ø Ñ ÓÖ Ò Ò ÐÐ
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
ÌÖ Ò ÓÖÑ Ø ÓÒ Ô Ö ÐÐ Ð ÔÖÓ Ö ÑÑ Ò ÈÖÓ Ö Ñ Ô Ö ÐÐ Ð Þ Ø ÓÒ Ø Ò ÕÙ º ½º ÈÖÓ Ö Ñ Å ÔÔ Ò ÈÖÓ Ö Ñ È ÖØ Ø ÓÒ Ò º Ô Ò Ò Ò ÐÝ º Ë ÙÐ Ò ÄÓ Ð Ò Ò º Ó ØÖ ÙØ ÓÒº ¾º Ø Å ÔÔ Ò º Ø Ô ÖØ Ø ÓÒ Ò º ÓÑÑÙÒ Ø ÓÒ ØÛ Ò ÔÖÓ ÓÖ
ÓÒØ ÒØ ¾
ÉÙ Ø ÓÒ Ì È Ð ÐÔ Ð ÓÙÖØ ÒÒÙ Ð À Ë ÓÓÐ ÈÖÓ Ö ÑÑ Ò ÓÒØ Ø ÍÒ Ú Ö ØÝ Ó È ÒÒ ÝÐÚ Ò Å Ö ¾¼¼½ ÓÒØ ÒØ ¾ È ÖØ Á ÉÙ Ø ÓÒ ½ ¹ Ï Ò Ø ÒÙÑ Ö ¾ ÑÙÐØ ÔÐ Ý Ø ÔÖÓ ÙØ ¾ ¾ º ÆÓØ Ø Ø Ø Ö Ø ÓÙÖ Ø Ö Ø Ñ Ø Ð Ø ÓÙÖ Ø ¾ Ò ¾ µº
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ Ð ØÙÖ ÒØÖÓ Ù Ø ÖÓÙØ Ò ÔÖÓ Ð Ñ Ò Ö ÓÑÑÓÒ ÔÔÖÓ ØÓ Ø ÓÐÙØ ÓÒ Ì Ð ÓÖ Ø Ñµ ÓÖ ÓÖØ Ø¹Ô Ø ÖÓÙØ Ò º ØÖ ³ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ¼ ÊÓÙØ Ò Å ØØ Û ÊÓÙ Ò
Ó Ú ÐÙ Ö ÒÚÓÐÚ Ò ÖØ Ò Ô ÖØ Ó Ø ÔÖÓ Ö Ñµ Ò ØÓ ÐÔ Ø Ø ÔÖÓ Ö ÑÑ Ö Ñ Ø º ÁÒ Ø Ø ÐÐÝ ØÝÔ Ð Ò Ù Ø ØÝÔ Ö ÒÓØ Ò ÓÑ Ø Ò Ø Ø Ø Ô ÖØ Ò ÓÑÔÙØ Ø ÓÒ ÙØ Ö Ø Ö ÓÑ Ø Ò
ÙÒ Û Ø ÙÒØ ÓÒ Ð Ô Ò Ò ÓÖ Ö Øµ ÌÝÔ Î ÐÙ Ò ËØ Ø ÓÑÔÙØ Ø ÓÒ Ò À ÐÐ Ì ÓÑ À ÐÐ Ö Ò Ñ Ö ¾ ¾¼¼¼ ØÖ Ø Ì Ô Ô Ö ÐÐÙ ØÖ Ø ÓÛ À Ðг ØÝÔ Ð Ý Ø Ñ Ò Ù ØÓ ÜÔÖ ÓÑÔÙØ Ø ÓÒ º Ë Ò ÓÑÔÙØ Ø ÓÒ ÓÒ Ø ØÝÔ Ð Ú Ð Ö Ô Ö ÓÖÑ Ý Ø ØÝÔ
LCNS, Vol 1767, pp , Springer 2003
Ø Ö Ü Ø ËÓÐÙØ ÓÒ ÓÖ Å Ü¾Ë Ø Â Ò Ö ÑÑ ÊÓÐ Æ ÖÑ Ö Ï Ð ÐÑ¹Ë Ö ¹ÁÒ Ø ØÙØ ĐÙÖ ÁÒ ÓÖÑ Ø ÍÒ Ú Ö ØĐ Ø ÌĐÙ Ò Ò Ë Ò ½ ¹ ¾¼ ÌĐÙ Ò Ò º Ê Ôº Ó ÖÑ ÒÝ Ö ÑÑ Ò ÖÑÖ Ò ÓÖÑ Ø ºÙÒ ¹ØÙ Ò Òº ØÖ Øº Ú Ò ÓÓÐ Ò ¾ Æ ÓÖÑÙÐ Ø Å Ü¾Ë
ÁÒØÖÓ ÙØ ÓÒ Ì Ñ Ñ Ö Ó Ú Ò Ô ÓÖ Ù Ô µ Ú Ø Ñ Ò Ö Ð ØÙÖ ÓÒ Ø Ö Ó Ø Ô ØØ ÖÒº ÀÓÛ Ú Ö Ò Ú Ù Ð Ò Ñ Ð Ø ÓÛÒ Ø ÒØ Ñ Ö Ò º Ì Ô ØØ ÖÒ Ö ÒÓØ Ø ÖÑ Ò Ò Ø ÐÐݺ Ì Ý
Ò Ñ Ð Ó Ø È ØØ ÖÒ ÓÖÑ Ø ÓÒ Ú ÐÝÒ Ë Ò Ö Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ð Ë Ò ÓÖ Å ÓÒ ÍÒ Ú Ö ØÝ Ù Ù Ø ¾¼¼½ ÂÓ ÒØ ÛÓÖ Û Ø Ì ÓÑ Ï ÒÒ Ö ÍÅ µ ÁÒØÖÓ ÙØ ÓÒ Ì Ñ Ñ Ö Ó Ú Ò Ô ÓÖ Ù Ô µ Ú Ø Ñ Ò Ö Ð ØÙÖ ÓÒ Ø Ö Ó Ø Ô ØØ ÖÒº ÀÓÛ
ÅÓØ Ú Ø ÓÒ Ø Ú Øݹ ØÖ Ú Ð Ñ Ò ÑÓ Ð Ò Ô Ö ÓÒ Ð Þ ÖÚ ÓÒ Ñ ÖØÔ ÓÒ ¾» ¾
ÅÓ Ð Ò Ø ÝÒ Ñ Ó Ðй Ý Ø Ú ØÝ ÔÐ Ò Ï ÐÐ Ñ À ÑÔ ½ ÙÒÒ Ö Ð ØØ Ö Ê Ö Ó ÀÙÖØÙ Ò Å Ð ÖÐ Ö ¾ ÂÙÒ ¾¾ ¾¼½¼ ½ ÃÍ Ä ÙÚ Ò ¾ È Ä Ù ÒÒ ½» ¾ ÅÓØ Ú Ø ÓÒ Ø Ú Øݹ ØÖ Ú Ð Ñ Ò ÑÓ Ð Ò Ô Ö ÓÒ Ð Þ ÖÚ ÓÒ Ñ ÖØÔ ÓÒ ¾» ¾ ÇÙØÐ Ò
ÓÙÖ ÓÒØ ÒØ Ï Ý Ó Û Ù Ø ÙÒØ ÓÒ Ð ØÝ ÔÖÓÚ Ý Ø Å Ò Ñ ÒØ ËÝ Ø Ñ Ø ÅÓ Ð Ê Ð Ø ÓÒ Ð Æ ØÛÓÖ ÇÇ ÀÓÛ Ó Û Ù ÅË Ê Ð Ø ÓÒ Ð ÑÓ Ð ÓÙÒ Ø ÓÒ Ð ÕÙ ÖÝ Ð Ò Ù ËÉÄ ÔÔÐ Ø
ÇÚ ÖÚ Û Ó Ø Å Ò Ñ ÒØ Ö Ò ÌÓÑÔ Ë ÓÓÐ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ï Ø ÖÐÓÓ Ë ÁÒØÖÓ ÙØ ÓÒ ØÓ Ø Å Ò Ñ ÒØ Ï ÒØ Ö ¾¼½¼ Ë ÁÒØÖÓ ØÓ Å Ñص ÇÚ ÖÚ Û Ó Ø Å Ò Ñ ÒØ Ï ÒØ Ö ¾¼½¼ ½» ¾¾ ÓÙÖ ÄÓ Ø Ï Ô Ì ÜØ ÓÓ Ú ÐÙ Ø ÓÒ ÛÛÛº
Ä ÓÖ ØÓ Ö ÓÖ Ð Ê Ö Ò ÁÒ ÓÖÑ Ø ÕÙ ÍÅÊ ¼¼ ¹ ÍÒ Ú Ö Ø ÓÖ ÙÜ Á ½ ÓÙÖ Ð Ä Ö Ø ÓÒ ¼ Ì Ð Ò Ü Ö Ò Ê Ö Ê ÔÓÖØ Êʹ½ ¼ ¹¼ Ò Æ ÒØ Ò ÙÖ Ø Ð ÓÖ Ø Ñ ÓÖ ÓÑÔÙØ Ò Ø Û Ò Ð Ó ÓÙÑ ÒØ Ñ Ý Ø ÔÖÓ Ø ÓÒ ÔÖÓ Ð Ñ Ø Ó Ý Â ÕÙ ¹ÇÐ Ú
Ð Ø ÓÖ Ê Ö Ò Å ÒÙ Ð ½º¼ ÐÔ Ò Ö Ø Ý ÓÜÝ Ò ½º º º½ Ï ½ ¼¼ ½ ¾½ ¾¼¼ ÓÒØ ÒØ ½ Ð Ø ÓÖ Å Ò È ½ ½º½ ÁÒØÖÓ ÙØ ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ ¾ Ð Ø ÓÖ Ø ËØÖÙØÙÖ
ÄÇÊÁÇÍË Ä Ê Ê ÀÇÄ Æ ÏÁÄÄ ÇÍÊ ÒØ Ì Ö Ö Ñ ÒÝ «Ö ÒØ Ò Ø ÓÒ ÓÖ Ø Ø ÖÑ ÒØ Û Ø Ò Áº ÐÐÓÛ Ñ ØÓ ÒØÖÓ Ù ÎÁÄ ÊÇ Ç̺ ÅÍËÌ ÆËÄ Î ÊÌÀ Ë Ò ÆÎÁÊÇÆÅ ÆÌ Ø Û ÐÐ Ù Ø ÓÐÐ
ÖØ Ð ÁÒØ ÐÐ Ò Á Ö Ë Ò ÀÓÐ Ò Ò ÒØÖÓ ÙØ ÓÒ ØÓ ÒØ ÓÔÝÖ Ø Ë Ò ÀÓÐ Ò ¾¼¼¾¹¾¼½¼º ÄÇÊÁÇÍË Ä Ê Ê ÀÇÄ Æ ÏÁÄÄ ÇÍÊ ÒØ Ì Ö Ö Ñ ÒÝ «Ö ÒØ Ò Ø ÓÒ ÓÖ Ø Ø ÖÑ ÒØ Û Ø Ò Áº ÐÐÓÛ Ñ ØÓ ÒØÖÓ Ù ÎÁÄ ÊÇ Ç̺ ÅÍËÌ ÆËÄ Î ÊÌÀ Ë Ò ÆÎÁÊÇÆÅ
address bus Data bus Note: Instructions are fetched over data bus CPU Control ALU
ÁÒØÖÓ ÙØ ÓÒ ¼º½ Ì ÓÙÖ ½º ØÖÙØÙÖ Ó Ø Ð ÓÑÔÙØ Ö ÆÙÑ Ö Ö ÔÖ ÒØ Ø ÓÒ ¹ Ø Ð ÐÓ ÁÒØ Ö ¹ÙÒ Ò Ò Ö ÔÖ ÒØ Ø ÓÒ Ö Ø Ö ¹ Ë ÁÁ Ó Ò ÓØ Ö Ó Ò Ñ Ê Ð ÒÙÑ Ö ¹ Ü Ò Ó Ø Ò ÔÓ ÒØ Á º ¾º ÙÒØ ÓÒ Ð ÐÓ Ó ÓÑÔÙØ Ö ÈÍ Ñ ÑÓÖÝ ÒÔÙعÓÙØÔÙØ
1 The Multinomial logit
Ë ÑÔÐ Ò Ó ÐØ ÖÒ Ø Ú Ù Ò ÑÙÐØ Ñ Ò ÓÒ Ð Ò ÐÝ Åº ÖÐ Ö º ÄÙ ÑÓ Å Ý ¾¾ ¾¼¼ Ê ÔÓÖØ ÌÊ ÆËȹÇÊ ¼ ¼ ¾¾ ÌÖ Ò ÔÓÖØ Ò ÅÓ Ð ØÝ Ä ÓÖ ØÓÖÝ Ë ÓÓÐ Ó Ö Ø ØÙÖ Ú Ð Ò ÒÚ ÖÓÒÑ ÒØ Ð Ò Ò Ö Ò ÓÐ ÈÓÐÝØ Ò ÕÙ Ö Ð Ä Ù ÒÒ transp-or.epfl.ch
Ñ Ò Ò Ð Û Ø ÓÑÔÐ Ü ¹ Ñ Ò ÓÒ Ð Ø º Ì Ñ Ò Ø Ø Ø Ø Ø ÓÑ Ò Ö ÒØ Ò Ó ØÖÙØÙÖ º ÓÖ Ü ÑÔÐ Ó Ø Ò Û ÒØ Ñ Ø Ó Ø Ø Ò Ð Ø Ò ÐÝ Ø ØÓ ÕÙ ÒØ ÐÐÝ ÜØÖ Ø ÑÔÐ ØÖÙØÙÖ ÇÒ Ø
Ð Ñ ÒØ Ð Ë Ø Å Ø Ó Ò Ú ÍÒ Ö ØÝ Ù ½ Ñ Ò Ò Ð Û Ø ÓÑÔÐ Ü ¹ Ñ Ò ÓÒ Ð Ø º Ì Ñ Ò Ø Ø Ø Ø Ø ÓÑ Ò Ö ÒØ Ò Ó ØÖÙØÙÖ º ÓÖ Ü ÑÔÐ Ó Ø Ò Û ÒØ Ñ Ø Ó Ø Ø Ò Ð Ø Ò ÐÝ Ø ØÓ ÕÙ ÒØ ÐÐÝ ÜØÖ Ø ÑÔÐ ØÖÙØÙÖ ÇÒ Ø Ø º Ò ½º ÁÒØÖÓ
Ô ØÙ Ø Ò Ø ÔÐ Ò º Ì ÑÓ Ø ÑÔÓÖØ ÒØ Ø Ô Ò Ø ÔÖÓ ÙÖ Ø Ø ÖÑ Ò Ø ÓÒ Ó Ø ÙÒ ÒÓÛÒ ÓÑÔÓÒ ÒØ Ó Ø ÐÓÛÒ Ú ØÓÖ ØÓ Ø ÒÓÖÑ Ð Ò ØÓ Ø ÔÐ Ò º Ì ÔÖÓ Ð Ñ ÔÐ Ý Ò ÑÔÓÖØ ÒØ
ÓÑÔÓÒ ÒØ Ð Ô Ø ÓÒ Ó ÔÐ Ò Û Ú Ò ÓØÖÓÔ Ò Ò ÓØÖÓÔ Ú Ó Ð Ø Ñ ÎÐ Ø Ð Ú ÖÚ Ò Ý ½ Ò ÁÚ Ò È Ò ¾ ½ ÖÐ ÍÒ Ú Ö ØÝ ÙÐØÝ Ó Å Ø Ñ Ø Ò È Ý Ô ÖØÑ ÒØ Ó ÓÔ Ý Ã Ã ÖÐÓÚÙ ½¾½ ½ ÈÖ ¾ Þ Ê ÔÙ Ð º ¹Ñ Ð Ú ÖÚ ÒÝ º ÖÐÓںѫºÙÒ ºÞ
ÇÆÌ ÆÌ ËÙ Ø Ú ÒØÖÓ ÙØÓÖÝ Ö Ñ Ö Å Ø Ô ÓÖ Ò Ø Ú ÔÔÖÓ Ì Ô ÐÓ ÓÔ Ð Ö Ò À ÖÑ Ò ÙØ Ò Ø Ö Ð Ø ÓÒ Ô ØÓ Ò Ì ÒØ ÖÔÖ Ø Ò Ò Ø ÒØ ÖÔÖ Ø Ö Ò
ÌÀ Ê ÁÆ Ë À ÊÅ Æ ÍÌÁ ÎÁ È Ø Ö Ö ÒØ Ö ÓÖ ÓÑÔÐ Ü ËÝ Ø Ñ ËØÙ Ã Ð Ñ ÞÓÓ ÓÐÐ Å Ò Ò Ôغ ÓÔ Ý Ã ÃÁ Ê Ö ÁÒ Ø ØÙØ ÓÖ È ÖØ Ð Ò ÆÙÐ Ö È Ý Ó Ø ÀÙÒ Ö Ò ÑÝ Ó Ë Ò Ù Ô Ø ÇÆÌ ÆÌ ËÙ Ø Ú ÒØÖÓ ÙØÓÖÝ Ö Ñ Ö Å Ø Ô ÓÖ Ò Ø Ú ÔÔÖÓ
ØÖ Ø Ê Ù Ð ØÖ Ø ØÖ Ø Ø Ö Ñ Ò ØÓÖ Û Ø Ò ØÖÙØÙÖ Ö ÙÐØ Ó Ø Ñ ÒÙ ØÙÖ Ò ØÓÖݺ Ç Ø Ò ÐÐ ÐÓ Ò ØÖ Ø Ö Ñ Ò Û Ò Ø Ö ÒÓ ÔÔÐ ÐÓ Ò Ù Ò Ø ÔÔÐ ÐÓ Ò Ò Ø ØÖÙØÙÖ ³ ÜÔ Ø
Ö ÓÛÒ Ó Ê Ù Ð ËØÖ Ò À ÐÝ Ê ØÖ Ò Ì Ë Ø ÓÒ ËØ Ð Ï Ð ËÙ Ò È Ö Ë ÓÓÐ Ó Å Ò Ð Ò Ò Ö Ò Ì ÍÒ Ú Ö ØÝ Ó Ð ËÓÙØ Ù ØÖ Ð ¼¼ Å Ý ¾¼¼ ËÙÔ ÖÚ ÓÖ ÈÖÓ º Î Ð Ö Ä ÒØÓÒ ÅÖ Á Ò ÖÓÛÒ ØÖ Ø Ê Ù Ð ØÖ Ø ØÖ Ø Ø Ö Ñ Ò ØÓÖ Û Ø Ò ØÖÙØÙÖ
Ì Ö Ö Ü ÑÔÐ Ó ÒØ Ô Ø ÓÒ Ð Ò Ù Ø Ø ÔÖÓÚ ÓÓ ÙÔ¹ ÔÓÖØ ÓÖ Ô Ý Ò ÒØ Ý Ø Ñ ÒÐÙ Ò Ø ÒØ Ö Ø ÓÒ ØÛ Ò ÒØ º ÒØ ¾ Ò ÒعÓÖ ÒØ ÜØ Ò ÓÒ ØÓ Ç Ø¹ Û ÒÐÙ ÓÒ ÔØ Ù ÖÓÐ ÒØ
ÅÙÐØ ¹ ÒØ ËÝ Ø Ñ ËÔ Ø ÓÒ Ù Ò Ì Ç Ì Ñ Å ÐÐ Ö Ò È Ø Ö Å ÙÖÒ Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ì ÍÒ Ú Ö ØÝ Ó Ä Ú ÖÔÓÓÐ Ä Ú ÖÔÓÓÐ Ä ÍÃ Ø Ñ Ô Ø Ö ºÐ Úº ºÙ ØÖ Øº Ì Ç Ô Ø ÓÒ Ð Ò Ù Ø Ø ÓÑ Ò Ø ØÖ Ò Ø Ó Ç Ø¹ Ò Ì Ñ ËÈ Û Ø
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ½ Ó Ò ØÛÓÖ Æ ØÛÓÖ ÁÒØ ÖÒ Ø Ò ØÛÓÖ Ó Ò ØÛÓÖ º ÅÓ Ø Ó Ø Ì Å ØØ Û ÊÓÙ Ò Û Ú ÓÒ Ö ÙÔ ØÓ Ø ÔÓ ÒØ ÓÒ ÖÒ ÔÖÓ
ÌÖ Ò Ò ÆÙÑ Ö ÓÖ È ÔÓ Ø Ö ÓÖ ÖÖÓÖ ÓÒØÖÓл ÔØ Ú Ñ Ò ³ ÁØ Ö Ø Ú Ô Ö ÐРе ÓÐÙØ ÓÒ ØÖ Ø ³ ÇÔ Ö ØÓÖ¹ ÔÐ ØØ Ò ÓÖ ÓÙÔÐ ÔÖÓ Ð Ñ ³ Ñ ÁÑÔÖÓÚ Ñ ÒØ Ó Æ ÒÝ Ú ½º ÇÔ
º ÁÒØÖÓ ÙØ ÓÒ ØÓ À Ö Û Ö ¹ÓÖ ÒØ ÆÙÑ Ö ÓÖ È µ ˺ ÌÙÖ Ø ÖÓÙÔ Åº ÐØ Ö Öº Ö Ëº Ù Ò Ëº Ã Ð Ò º ÃÙÞÑ Ò ººº ÁÒ Ø ØÙØ ĐÙÖ Ò Û Ò Ø Å Ø Ñ Ø ² ÆÙÑ Ö ÍÒ Ú Ö ØĐ Ø ÓÖØÑÙÒ ØØÔ»»ÛÛÛº Ø ÐÓÛº ÌÖ Ò Ò ÆÙÑ Ö ÓÖ È ÔÓ Ø Ö ÓÖ
ÓÖ Ø ÁÒØ Ð ÔÖÓ ÓÖ Ñ Ðݺ Ê Ö Û ÒØ Ò Ò Ö Ð ÖÓÙÒ Ò Ñ Ð Ö ÔÖÓ Ö Ñ¹ Ñ Ò ÓÙÐ ÓÒ ÙÐØ ÔÔÖÓÔÖ Ø Ø ÜØ ÓÓ Ò ÓÒ ÙÒØ ÓÒ Û Ø Ø ÔÖÓ ÓÖ Ö Ö Ò Ñ Ò¹ Ù Ð ÔÙ Ð Ý ÁÒØ Ð Ò
ÒÙ Ñ Ð Ö Ì ÒÙ Ñ Ð Ö µ Ò ÓÔ Ò ÓÙÖ ¹ Ñ Ð Öº Ì Ñ Ð Ö ÒÐÙ Ø Ò¹ Ö Ò Ø ØÖ ÙØ ÓÒ Ò Ú Ð Ð ÓÖ ÓÛÒÐÓ ØÓ ÖÙÒ ÙÒ Ö Ï Ò ÓÛ º ÁØ ÔÖÓÚ ÙÔÔÓÖØ ÓÖ Ø Ò ØÖÙØ ÓÒ Ø Ó Ø Ó Ø Èͺ ÖÓ Ñ Ð Ö Ú Ö ÓÒ Ö Ð Ó Ú Ð Ð º Ì Ñ Ð Ö ÒÚÓ Ý Ø
ÇÙØÐ Ò ½ ¾ ÓÙÒ ¹Ô Ö Ñ Ø Ö Å Ö ÓÚ ÓÒ ÈÖÓ Å Èµ ÖÒ Ò Ó Äº Ù ÙÑ Ã Ö Ò Îº Ð Ó Ò Ä Ð Ò Æº ÖÖÓ
Ò ÒØ ÓÐÙØ ÓÒ ÓÖ ÓÙÒ ¹È Ö Ñ Ø Ö Å Ö ÓÚ ÓÒ ÈÖÓ ÖÒ Ò Ó Äº Ù ÙÑ Ã Ö Ò Îº Ð Ó Ò Ä Ð Ò Æº ÖÖÓ À»ÍËÈ ÁÅ»ÍËÈ Ê ÁË ¾¼½ ÖÒ Ò Ó Äº Ù ÙÑ Ã Ö Ò Îº Ð Ó Ò Ä Ð Ò Æº ÖÖÓ ÇÙØÐ Ò ½ ¾ ÓÙÒ ¹Ô Ö Ñ Ø Ö Å Ö ÓÚ ÓÒ ÈÖÓ Å Èµ ÖÒ
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 )µº ÆÓØ ÐÐ ÒÓÒ¹ ÙØÓÒÓÑÓÙ
ÇÙØÐ Ò ½ À ÙÒØ ÓÒ ¾ Ì ËÀ ¹ ÓÑÔ Ø Ø ÓÒ ÖÝÔØ Ò ÐÝ Ó À ÙÒØ ÓÒ ¾» ¾
ÖÝÔØÓ Ö Ô À ÙÒØ ÓÒ Ö Ø Ò ÓÙÖ Ë Ê Ì ÈÖÓ Ø Ì Ñ È Ö ¹ÊÓÕÙ ÒÓÙÖØ Ñ ÐØÓ Ö Ò ÆÓÚ Ñ Ö ½ ¾¼½½ ½» ¾ ÇÙØÐ Ò ½ À ÙÒØ ÓÒ ¾ Ì ËÀ ¹ ÓÑÔ Ø Ø ÓÒ ÖÝÔØ Ò ÐÝ Ó À ÙÒØ ÓÒ ¾» ¾ ÇÙØÐ Ò ½ À ÙÒØ ÓÒ ¾ Ì ËÀ ¹ ÓÑÔ Ø Ø ÓÒ ÖÝÔØ Ò ÐÝ
ÇÙØÐ Ò Ó Ø Ð ÅÓØ Ú Ø ÓÒ ÔÓÐÝÒÓÑ Ð Ú ÓÒ ÒÓ Ò ÓÖ ÝÐ Ó ÙØÓÑÓÖÔ Ñ µ ÑÓ ÙÐ ÕÙ ¹ÝÐ µ ØÖÙ¹ ØÙÖ ÖĐÓ Ò Ö ÓÖ ÑÓ ÙÐ Ú ÐÙ Ø ÓÒ Ó ÖÓÑ ÓÖ Ö ÓÑ Ò Ò¹ ÐÙ Ò ÓÔÔ Ó µ Ü Ñ
ÖĐÓ Ò Ö ÓÖ ÒÓ Ò Ó ÖØ Ò Ó ÖÓÑ ÇÖ Ö ÓÑ Ò ÂÓ Ò º Ä ØØÐ Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ò ÓÑÔÙØ Ö Ë Ò ÓÐÐ Ó Ø ÀÓÐÝ ÖÓ Ð ØØÐ Ñ Ø º ÓÐÝÖÓ º Ù ÊÁË ÏÓÖ ÓÔ Ä ÒÞ Ù ØÖ Å Ý ½ ¾¼¼ ÇÙØÐ Ò Ó Ø Ð ÅÓØ Ú Ø ÓÒ ÔÓÐÝÒÓÑ Ð Ú ÓÒ ÒÓ Ò ÓÖ
Kevin Dowd, after his book High Performance Computing, O Reilly & Associates, Inc, 1991
Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ Ï ÐÐ ÝÓÒ ÆÙÑÈÝ Ö Ð Ò Ú ÐÓÔ Ö Ò ÈÝÌ Ð Ö ØÓÖ ÂÙÐÝ Ø ¹½½Ø ¾¼½¼º È Ö ¹ Ö Ò ÇÙØÐ Ò Ì Ø Á Ù Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ ½ Ì Ø Á Ù ¾ Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ ÇÙØÐ Ò Ì Ø Á Ù Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ ½ Ì Ø Á
Extreme events. Ship as a dynamic system
ÓÖ Ä Ò Ö Ò ½ Â Ö Ï Ò Ö ½ ½ ÒØÖ ÓÖ Å Ø Ñ Ø Ð Ë Ò ¾¼¼ ÁÏ È ÂÙÐÝ ½¼ ¾¼¼ ÓÑÔ Ò Ñ Ö Ò Ø Ø Ø Ï Ò»Û Ú Ï Ú ÑÓ Ð ËØÓ Ø ÑÓ Ð Ò Ñ Ö Ò Ò ÄÙÒ ÍÒ Ú Ö ØÝ Ø Ø Ø Ñ Ö Ò Ø Ø Ø Ñ Ö Ò ÓÒ Ù Ï Ò ¹Û Ú ¹ ØÝ Ï Ò»Û Ú Ò Û Ø Ö Ð Ñ
TCP SOURCE TCP DESTINATION
ÆÓÚ Ð Ð Ý Ã Ø Ò ÕÙ ÓÖ ÑÔÖÓÚ Ò Ì È Ô Ö ÓÖÑ Ò Ò ÑÙÐØ ÓÔ Û Ö Ð Ò ØÛÓÖ Ø Ò ÐØÑ Ò ÁÆÊÁ È ¾¼¼ ÊÓÙØ ÄÙ ÓÐ ¼ ¼¾ ËÓÔ ÒØ ÔÓÐ Ü Ö Ò Ñ Ð ÐØÑ Ò ÓÔ º ÒÖ º Ö Ì Ð µ ¾ Ü µ ¾ º Ì Ò Â Ñ Ò Þ º ºËºÁºÅºÇº ÙÐØ ÁÒ Ò Ö ÍÒ Ú Ö
½ Ê Ú Û Ó ÆÒ ÕÙÓØ ÒØ ¾ ÇÖØ Ó ÓÒ Ð ÒÚ Ö ÒØ ÓÙ Ð Ö Ø ÓÒ Ý ÕÙÓØ ÒØ Ñ Ô ÇÖ Ø ÓÖÖ ÔÓÒ Ò Ü ÑÔÐ Ó ÓÖ Ø ÓÖÖ ÔÓÒ Ò Ü ÑÔÐ Ø Ò ÓÖ ÔÖÓ ÙØ Ü ÑÔÐ ÓÒØÖ Ø ÓÒ Ñ Ô ÇÔ Ò
ÆÒ ÕÙÓØ ÒØ Ò Ø ÓÖÖ ÔÓÒ Ò Ó ÓÖ Ø ÃÝÓ Æ Ý Ñ Ö Ù Ø Ë ÓÓÐ Ó Ë Ò ÃÝÓØÓ ÍÒ Ú Ö ØÝ ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ò ÓÒ Ê ÒØ Ú Ò Ò Å Ø Ñ Ø Ò Ø ÔÔÐ Ø ÓÒ º Ë ÔØ Ñ Ö ¾ ß ¼ ¾¼¼ µ Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ÃÍ ÈÓ Ø Ö Ù Ø ÒØ Ö Ð ÙÑ Ã ÖÒ
ÇÙØÐ Ò ÖÓÙÒ Ü ÑÔÐ ÔÖÓ Ö Ñ ÒÓ Ñ Ø Ó Ü ÑÔÐ ÒÓ Ì ÓÖÝ ÓÒÐÙ ÓÒ ¾
Æ Ä Ë Ò Ò ÓÑÔÙØ Ö Ò Ò Ö Ò ËÓ ØÛ Ö Ó Å Ð ÓÙÖÒ ÍÒ Ú Ö ØÝ Ð Ö Ø Ú ÒÓ Ó ÐÓÙÒ Ö Ò ËÐ Ô Ô Ö Ò Ó Ö ÓÒ Ø Û ØØÔ»»ÛÛÛº ºÑÙºÓÞº Ù» Ð»Ô Ô Ö»» ½ ÇÙØÐ Ò ÖÓÙÒ Ü ÑÔÐ ÔÖÓ Ö Ñ ÒÓ Ñ Ø Ó Ü ÑÔÐ ÒÓ Ì ÓÖÝ ÓÒÐÙ ÓÒ ¾ Û ÐÐ Ø ÒÓÖÑ
Ë Ø Ó ÒÙÑ Ö Ò Ø Ö Ö ÔÖ ÒØ Ø ÓÒ ÁÒ Ø ÓÙÖ Û Û ÐÐ ÒØ Ö Ø Ò Ø Ó ÒÙÑ Ö º ÁÒ ÓÑÔÙØ Ö Ò Û Ö ÓÒ ÖÒ Ý Ø ÕÙ Ø ÓÒ ÓÛ Ó Û Ú Ù Ø Ø ÓÙÖ ÔÓ Ð Ì Û Ý ÒÙÑ Ö Ø ÓÒ Ý Ø Ñ
Ð ØÝ ÄÓ Ò ÆÙÑ Ö Ø ÓÒ ËÝ Ø Ñ Ñ Ð ÖÐ Ö Ô ÖØ Ñ ÒØ Å Ø Ñ Ø ÕÙ ÍÒ Ú Ö Ø Ä ÆÌ ¾¼½ ¹ Å Ö ÐÐ ÆÓÚ Ñ Ö ¾ ¹ Ñ Ö ¾ Ë Ø Ó ÒÙÑ Ö Ò Ø Ö Ö ÔÖ ÒØ Ø ÓÒ ÁÒ Ø ÓÙÖ Û Û ÐÐ ÒØ Ö Ø Ò Ø Ó ÒÙÑ Ö º ÁÒ ÓÑÔÙØ Ö Ò Û Ö ÓÒ ÖÒ Ý Ø ÕÙ
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ Ð ØÙÖ Ö ÓÑ ÓÑÑÓÒ Ò ØÛÓÖ ÓÔØ Ñ Þ Ø ÓÒ Ó Ð Ò ÓÒ ØÖ ÒØ Ò Û Ý Ì ÓÙÖº ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ¼ Å ØØ Û ÊÓÙ Ò Æ ØÛÓÖ ÇÔØ Ñ Þ Ø ÓÒ
The distin tive features of interval temp o ral logi s ψ ψ T ruth of fo rmulae is de ned over intervals (not p oints). ψ ψ
Ò ÓÔØ Ñ Ð Ø Ð Ù Ý Ø Ñ ÓÖ Ø ÐÓ Ó Ø ÑÔÓÖ Ð Ò ÓÖ ÓÓ ÓÚ Ö Ø Ö Ð Ò ÐÓ ÅÓÒØ Ò Ö Ò È ØÖÓ Ë Ð + Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ò ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Í Ò ÁØ ÐÝ + Ô ÖØÑ ÒØ Ó ÖÑ ÓÐÓ Ý ÍÒ Ú Ö ØÝ Ó Î ÖÓÒ ÁØ ÐÝ ÌÁÅ ¾¼½¾ Ä Ø
Ú Ð Ð ÓÒÐ Ò Ø ØØÔ»» Ѻ Ö Ùº º Ö ÁÒغ º ÁÒ Ù ØÖ Ð Å Ø Ñ Ø ÎÓк ÆÓº ¾¼½½µ ½ ½¹½ ½ Ê Ò Ò ÍÒ Ø Ò Ý Í Ò Ø ÎÓØ Ò ËÝ Ø Ñ Åº à ÒÑÓ ÑÑ Êº ÐÐ Ò µ Ô ÖØÑ ÒØ Ó Å
Ú Ð Ð ÓÒÐ Ò Ø ØØÔ»» Ѻ Ö Ùº º Ö ÁÒغ º ÁÒ Ù ØÖ Ð Å Ø Ñ Ø ÎÓк ÆÓº ¾¼½½µ ½ ½¹½ ½ Ê Ò Ò ÍÒ Ø Ò Ý Í Ò Ø ÎÓØ Ò ËÝ Ø Ñ Åº à ÒÑÓ ÑÑ Êº ÐÐ Ò µ Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ë Ò Ò Ê Ö Ö Ò Á Ð Ñ Þ ÍÒ Ú Ö ØÝ Ð Ñ Ö ÁÖ Òº µ
Communications Network Design: lecture 19 p.1/32
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ½ Å ØØ Û ÊÓÙ Ò ÍÒ Ú Ö ØÝ Ó Ð Å Ö ¾ ¾¼¼ Communications Network Design: lecture 19 p.1/32 Æ ØÛÓÖ Ó Ò ØÛÓÖ
Ë Ö Ð Þ Ø ÓÒ Ú ËØÓÖ ËÓÐÙØ ÓÒ Ï ÓÐÐÓÛ Ø ÓÒÚ ÒØ ÓÒ Ø Ø Ë Ö Ð Þ Ø ÓÒ Û Ý ØÓ Ñ Ô Ö Ø ÒØ Ø Ø Ø Ø Ò¹Ñ ÑÓÖݺ Ý ËØÓÖ ËÓÐÙØ ÓÒ Û Ñ Ò Û Ý ØÓ Ô Ø ÓÒ¹ ÙØ Û Ø ÓÙØ
ÖÓÑ È Ð ÌÓ Ø ÈÝÌ Ð ÙØ ÓÖ Ö ÐÓÒ ÅÙ Ò Ù Ó Ì ÒÓÐÓ Ý Å Ìµ Ú Ò Ë ÒØ ÈÖÓ Ö ÑÑ Ò Ò ÈÝØ ÓÒ ¾¼½½ ËÙÑÑ Ö Ë ÓÓÐ ËØ Ò Ö Û ËÓØÐ Ò Ë Ö Ð Þ Ø ÓÒ Ú ËØÓÖ ËÓÐÙØ ÓÒ Ï ÓÐÐÓÛ Ø ÓÒÚ ÒØ ÓÒ Ø Ø Ë Ö Ð Þ Ø ÓÒ Û Ý ØÓ Ñ Ô Ö Ø ÒØ
Degradation
Î Ê ÙÐØ Ì ÔØ Ö ÔÖ ÒØ Ø Ö ÙÐØ Ó Ø Ò Û Ø Ø ÑÙÐ Ø ÓÒ Ò Ñ ÙÖ Ñ ÒØ ÜÔÐ Ò ÙÒØ Ð Ø ÔÓ Òغ ÁÒ ÐÐ Ø Ó ³ Ö Ø Û Ú Ö Û Ð P er Û ÔØ ÓÒ Ø ÒØ Ò Ø Ó ÓÒØ ÒØ Û Ú ÐÙ Ø Û Ø Ö Ô Ø ØÓ Ö Ø ÓÒ Ý Ù Ò Ø ÓÐÐÓÛ Ò Ñ Ò Ñ ½µ Ó Ø Ú ÕÙ
Outflow plane U=V=W=0. 2.5m. 1.95m U=V=W= m (0,0,H) 0.1m. 0.1m y. 0.41m 0.15m. 0.45m U=V=W= m Inflow plane
º ÓÒ ÔØ Ó À È Ö ÓÖÑ Ò Å Ë ÑÙÐ Ø ÓÒ Ò Ê Ð Þ Ø ÓÒ Ò Ø Ø ËÓ ØÛ Ö Ëº ÌÙÖ Ø ÖÓÙÔ Åº ÐØ Ö Öº Ö Ëº Ù Ò Ëº Ã Ð Ò º ÃÙÞÑ Ò ººº ÁÒ Ø ØÙØ ĐÙÖ Ò Û Ò Ø Å Ø Ñ Ø ² ÆÙÑ Ö ÍÒ Ú Ö ØĐ Ø ÓÖØÑÙÒ ØØÔ»»ÛÛÛº Ø ÐÓÛº Ð Ø ÓÒ Ó È
ËÔ Ó ÓÙÒ Ó ÓÜÝ Ò Ò ÙÔ ÖÖ Ø Ð Ø Ø ÙÔ ØÓ ¼¼ Ã Ò ½¼¼ ÅÈ Ö Ø Ó Àº Ù Ö Å Ö Ù Ê ÔÓÐ ÐÑ Ö ÙÑ Ö Ò Â Ö Ò ÎÖ Ì ÖÑÓ ÝÒ Ñ Ò Ò Ö Ý Ì ÒÓÐÓ Ý ÍÒ Ú Ö ØÝ Ó È Ö ÓÖÒ ÖÑ
ËÔ Ó ÓÙÒ Ó ÓÜÝ Ò Ò ÙÔ ÖÖ Ø Ð Ø Ø ÙÔ ØÓ ¼¼ Ã Ò ½¼¼ ÅÈ Ö Ø Ó Àº Ù Ö Å Ö Ù Ê ÔÓÐ ÐÑ Ö ÙÑ Ö Ò Â Ö Ò ÎÖ Ì ÖÑÓ ÝÒ Ñ Ò Ò Ö Ý Ì ÒÓÐÓ Ý ÍÒ Ú Ö ØÝ Ó È Ö ÓÖÒ ÖÑ ÒÝ ¹Ñ Ð Ö ÒºÚÖ ÙÒ ¹Ô Ö ÓÖÒº È ÓÒ ¹ ¾ ½» ¼¹¾ ¾½º Ü ¹
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
dis.08 dis.09 dis.10 dis.11
Ò ÂÓÙÖÒ Ð Ó ØÖÓÒÓÑÝ Ò ØÖÓÔ Ý Ñ ÒÙ Ö ÔØ ÒÓº Ä Ì ÒÖÝ ¾¼¼ ¼½ºØ Ü ÔÖ ÒØ ÓÒ Å Ý ¾ ¾¼¼ ½ µ Ö Ø Ä Ø ÖÓÑ Ö Å ØØ Ö ÖÝÓÒ Ò ÆÓÒ¹ ÖÝÓÒ µ Ê Ö ÓÒÒ À ÒÖÝ À ÒÖÝ º ÊÓÛÐ Ò Ô ÖØÑ ÒØ Ó È Ý Ò ØÖÓÒÓÑÝ Ì ÂÓ Ò ÀÓÔ Ò ÍÒ Ú Ö ØÝ
ÁÒØÖÓ ÙØ ÓÒ ËØ Ø Ø Ð Ò ÐÝ ÓÖ Ö Ø Ø Ô ÖØ Ù¹ Ð ÖÐÝ ÓÖ ÔÖÓ Ð ØÝ ÑÓ Ð Ù Ø ÒÓ¹ Ñ Ð ÈÓ ÓÒ Ò ÑÙÐØ ÒÓÑ Ð Ý ÒÓÛ Ú ÖÝ Û ÐÐ ÙÒ Ö ØÓÓ Û Ø Û ÐØ Ó Ù Ø Ð Ó Ø¹ Û Ö º
ÇÚ Ö Ô Ö ÓÒ Ò ÓÙÒØ Ø º Ⱥź º ÐØ Ñ ËØ Ø Ø Ð Ä ÓÖ ØÓÖÝ ÍÒ Ú Ö ØÝ Ó Ñ Ö ÒØÖ ÓÖ Ø Å Ø Ñ Ø Ð Ë Ò Ï Ð Ö ÓÖ ÊÓ Ñ Ö ÇÏ ÍÃ Ü ÒÓ ¼½¾¾ ¹ º Ⱥ ÐØ Ñ Ø Ø Ð º Ѻ ºÙ Ë Ñ Ò Ö Ú Ò Ø ÅÊ Ó Ø Ø Ø ÍÒ Ø ÆÓÚ Ñ Ö ½ ¾¼¼¼º ½ ÁÒØÖÓ
deactivate keys for withdrawal
Ù Ø Ð ÌÖ Ò Û Ø ÍÒÓÒ Ø ÓÒ Ð ÒÓÒÝÑ ØÝ ÒÒ Ã Ð Ö Ò ÀÓÐ Ö ÎÓ Ø Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÖÑ Ø Ø ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¹ ¾ ÖÑ Ø Ø ÖÑ ÒÝ ß Ù Ð Ö ÚÓ ØÐ º Ò ÓÖÑ Ø ºØÙ¹ ÖÑ Ø Øº ØÖ Ø Ï ÔÖ ÒØ Ò Û ÒÓÒÝÑÓÙ ÓÒ¹Ð Ò Ô ÝÑ ÒØ
ÓÖÑ Ð Þ Ø ÓÒ Ó ÐÓ ÙÖ ÔÖÓÔ ÖØ ÓÖ ÓÒØ Üع Ö Ö ÑÑ Ö Å ÖÙ Î Ò Ù Å Ò Ê ÑÓ Í È»ÍÆÁÎ Ë Ë ÔØ Ñ Ö ¼ ¾¼½ ÑÚÑÖ ÒºÙ Ô º Ö Ñ ÖÙ ºÖ ÑÓ ÙÒ Ú º Ùº Ö Å ÖÙ Ê ÑÓ Í È»ÍÆÁ
ÄË ¾¼½ Å ÖÙ Ê ÑÓ Í È»ÍÆÁÎ Ë µ ÓÖÑ Ð Þ Ø ÓÒ Ë ÔØ Ñ Ö ¼ ¾¼½ ½» ÓÖÑ Ð Þ Ø ÓÒ Ó ÐÓ ÙÖ ÔÖÓÔ ÖØ ÓÖ ÓÒØ Üع Ö Ö ÑÑ Ö Å ÖÙ Î Ò Ù Å Ò Ê ÑÓ Í È»ÍÆÁÎ Ë Ë ÔØ Ñ Ö ¼ ¾¼½ ÑÚÑÖ ÒºÙ Ô º Ö Ñ ÖÙ ºÖ ÑÓ ÙÒ Ú º Ùº Ö Å ÖÙ Ê
Ø Ø Ò Ö ÓÖ Ö ÒØ Ö Ø ÓÒ ÀÓÛ ØÓ Ø Ø Î¹ ØÖÙØÙÖ Û Ø Ô ÖÛ Û ÓÖ ÒÓÒ Ü Ø Òص Ô Ò Ò X Y Z º Ë ÒÓÚ ËÅÄ Í Äµ Ì Ö ¹Ú Ö Ð Ø Ø ÆÁÈË ¼ ¾¼½ ¾» ½
à ÖÒ Ð Ì Ø ÓÖ Ì Ö Î Ö Ð ÁÒØ Ö Ø ÓÒ ÒÓ Ë ÒÓÚ ½ ÖØ ÙÖ Ö ØØÓÒ ½ Ï Ö Ö Ñ ¾ ½ Ø Ý ÍÒ Ø ËÅÄ ÍÒ Ú Ö ØÝ ÓÐÐ ÄÓÒ ÓÒ ¾ Ô ÖØÑ ÒØ Ó ËØ Ø Ø ÄÓÒ ÓÒ Ë ÓÓÐ Ó ÓÒÓÑ ÆÁÈË ¼ ¾¼½ º Ë ÒÓÚ ËÅÄ Í Äµ Ì Ö ¹Ú Ö Ð Ø Ø ÆÁÈË ¼ ¾¼½
Significant sample +... Synthetic Population. IPFP + Random Draws. Set of consistent margins
Ë ÑÔÐ ¹ Ö ÝÒØ Ø ÔÓÔÙÐ Ø ÓÒ Ò Ö Ø ÓÒ Û Ø Ò ÔÔÐ Ø ÓÒ ØÓ Ð ÙÑ ÂÓ Ò ÖØ Ð ÑÝ Ò È Ð ÔÔ ÌÓ ÒØ Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ÍÒ Ú Ö ØÝ Ó Æ ÑÙÖ Ð ÙÑ Ô Ð ÔÔ ºØÓ ÒØ ÙÒ Ôº º Ó Òº ÖØ Ð ÑÝ ÙÒ Ôº º Æ ÑÙÖ ÖÙ ÖÝ ¾¼½½ º ÖØ Ð ÑÝ È
arxiv: v25 [math.ca] 21 Nov 2008
![arxiv: v25 [math.ca] 21 Nov 2008](/thumbs/75/71471955.jpg "arxiv: v25 [math.ca] 21 Nov 2008")
ËÓÑ ÓÒ ØÙÖ ÓÒ Ø ÓÒ Ò ÑÙÐØ ÔÐ Ø ÓÒ Ó ÓÑÔÐ Ü Ö Ðµ ÒÙÑ Ö ÔÓÐÓÒ Ù Þ ÌÝ Þ arxiv:0807.3010v25 [math.ca] 21 Nov 2008 ØÖ Øº Ï Ù ÓÒ ØÙÖ Ö Ð Ø ØÓ Ø ÓÐÐÓÛ Ò ØÛÓ ÓÒ ØÙÖ Áµ µ ÓÖ ÓÑÔÐ Ü ÒÙÑ Ö x 1,...,x n Ø Ö Ü Ø Ö Ø
Chapter 9. Trapezoidal Maps. 9.1 The Trapezoidal Map
Chapter 9 Trapezoidal Maps ÁÒ Ø Ø ÓÒ Û Û ÐÐ ÒÓØ Ö ÔÔÐ Ø ÓÒ Ó Ö Ò ÓÑ Þ ÒÖ Ñ ÒØ Ð ÓÒ ØÖÙØ ÓÒ Ò Ø ØÖ Ø ÓÒ ÙÖ Ø ÓÒ Ô Ö Ñ ÛÓÖ º Ø Ø Ñ Ø Ñ Ø Û ÐÐ Ú Ù Ò Æ ÒØ Ð ÓÖ Ø Ñ ÓÖ ÓÐÚ Ò Ø Ò Ö Ð ÔÖÓ Ð Ñ Ó ÔÓ ÒØ ÐÓ Ø ÓÒ
Communications Network Design: lecture 16 p.1/41
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ½ Å ØØ Û ÊÓÙ Ò ÍÒ Ú Ö ØÝ Ó Ð Å Ý ¾¼ ¾¼¼ Communications Network Design: lecture 16 p.1/41 ÌÖ ¹Ð Ò ØÛÓÖ
ÝØ Ð Ö Ø ÓÒ Ó ÝÒ Ñ ØÖ ÑÙÐ Ø ÓÒ Ó Ø Ú Ñ Ò Ð Ö Ø ÓÒ ÖÓÑ ØÖ ÓÙÒØ Ð Ð Ô Ö Ô Ø Ú Ø Ñ Ø ÓÒ Ó Ô Ø ÓÛ Ø ÛÓÖ Ø Ñ Ø ÓÒ Ó Ñ ÖÓ¹ ÑÙÐ Ø Ú ÓÖ ¾» ¾¾
ÝØ Ö Ð Ö Ø ÓÒ ØÓÓÐ ÓÖ ÝÒ Ñ ØÖ ÑÙÐ Ø ÓÒ ÙÒÒ Ö Ð ØØ Ö ½ Ë ÔØ Ñ Ö ½¼ ¾¼¼ ½ Ñ ÒÝ Ø Ò ØÓ Ù Ò ÓÖ ÐÔ Ò Û Ø Ø ÑÙÐ Ø ÓÒ ½» ¾¾ ÝØ Ð Ö Ø ÓÒ Ó ÝÒ Ñ ØÖ ÑÙÐ Ø ÓÒ Ó Ø Ú Ñ Ò Ð Ö Ø ÓÒ ÖÓÑ ØÖ ÓÙÒØ Ð Ð Ô Ö Ô Ø Ú Ø Ñ Ø ÓÒ
Æ ÛØÓÒ³ Å Ø Ó ÐÓ Ì ÓÖÝ Ò ËÓÑ Ø Ò ÓÙ ÈÖÓ ÐÝ Ò³Ø ÃÒÓÛ ÓÙØ Ú º ÓÜ Ñ Ö Ø ÓÐÐ
Æ ÛØÓÒ³ Å Ø Ó ÐÓ Ì ÓÖÝ Ò ËÓÑ Ø Ò ÓÙ ÈÖÓ ÐÝ Ò³Ø ÃÒÓÛ ÓÙØ Ú º ÓÜ Ñ Ö Ø ÓÐÐ Ê Ö Ò ÃÐ Ò Ä ØÙÖ ÓÒ Ø ÁÓ ÖÓÒ Ì Ù Ò Ö ½ ËÑ Ð ÇÒ Ø Æ ÒÝ Ó Ð ÓÖ Ø Ñ Ò ÐÝ ÙÐк ÅË ½ ÅÅÙÐÐ Ò Ñ Ð Ó Ö Ø ÓÒ Ð Ñ Ô Ò Ø Ö Ø Ú ÖÓÓع Ò Ò Ð
Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖ Ø ÓÑÔ Ö ÓÒ Ó ÀÙÑ Ò Ä Ñ ÌÖ ØÓÖ Å Ö ÈÓÑÔÐÙÒ ½ Ò Å Âº Å Ø Ö ¾ ½ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÓÖ ÍÒ Ú Ö ØÝ ¼¼ à РËØÖ Ø ÌÓÖÓÒØÓ ÇÒØ Ö Ó
Ì ØÐ Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖ Ø ÓÑÔ Ö ÓÒ Ó ÀÙÑ Ò Ä Ñ ÌÖ ØÓÖ ÙØ ÓÖ Å Ö ÈÓÑÔÐÙÒ Ò Å Âº Å Ø Ö ÊÙÒÒ Ò Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖÖ ÔÓÒ Ò ÙØ ÓÖ Å Ö ÈÓÑÔÐÙÒ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÓÖ ÍÒ Ú Ö ØÝ ¼¼ à РËØÖ Ø ÌÓÖÓÒØÓ
Control X Switch X=1, SW ON X=0, SW OFF F(X)=X F un tion Implementation N. Mekhiel
Ä ¾ Á ÁÌ Ä Ë ËÌ ÅË Æ ÅÁ ÊÇÈÊÇ ËËÇÊË ÁÒØÖÓ ÙØ ÓÒ ß ËÓÔ Ò Ç Ø Ú ß ÓÙÖ Å Ò Ñ ÒØ ÁÒØÖÓ ÙØ ÓÒ ØÓ ÄÓ ÖÙ Ø ß Î Ö Ð Ò ÙÒØ ÓÒ Æº Å Ð ËÓÔ Ò Ç Ø Ú Ò Ó Ø Ð ÄÓ ÖÙ Ø Ò ÁÑÔÐ Ñ ÒØ Ø ÓÒ Ò ÔÔÖÓÔÖ Ø Ì ÒÓÐÓ Ý Ø Ð ÖÙ Ø ÒÐÙ
ÅÓÖ Ö ÒØÐÝ ÓÑ ÔØ Ú Ð Ò Ô ÓÛÒ Ò Ò ÙØÖ Ð ØÝ Ð Ú Ð Ú Ò ÝÒØ Þ Ò Ø Ð Ó ÐÐÙÐ Ö ÙØÓÑ Ø µ ÕÙ ÒØ Ð ÝÒ Ñ Ý Ø Ñ ¾ µ Ò Ò Ø Ð ÓÖ Ø Ñ ½ µº Å ÒÝ ØÒ Ð Ò Ô ÖÓÑ Ò Ø Ð Ó
ËÝÒØ Ø Æ ÙØÖ Ð ØÝ ÓÖ ÖØ Ð ÚÓÐÙØ ÓÒ È Ð ÔÔ ÓÐÐ Ö Å ÒÙ Ð Ð Ö Ù Ò Å Ð Ó Ò¹ÈÐ Ø Ð Ä ÓÖ ØÓ Ö Á Ë ÆÊË ¹ ÍÆË ¾¼¼¼ ÖÓÙØ ÐÙ ÓÐ ¼ ½¼ ÓØ Ê Æ ¹Ñ Ð Ô Ð Ö Ù Ñ Ó Ò ºÙÒ º Ö ØÖ Øº Ê ÒØ ÛÓÖ Ò ÓØ ÚÓÐÙØ ÓÒ Ø ÓÖÝ Ò ÑÓÐ ÙÐ
Ø ÑÔÐÝ Ù Ø Ø Ø Ø ÔÖÓÓ ÒÓÖÑ Ð Þ Ò Ø ËØÖ Ø ÓÙÒ Ø ÓÒ Ø Ø ÓÖÝ ÔÖ ¹ÑÓ Ð Û Ð Ú Ö ÒØ Ó Ø ÔÖÓÔÓ Ø ÓÒ Ò ØÓ ÔÖÓÚ Ò Ø ÓÖ Ò Ð ÔÖÓÓ º ÁØ ÛÓÖØ ÒÓØ Ò Ø Ø Ø ÓÖ Ò Ð ÒÓ
Ì ËØÖ Ø ÓÙÒ Ø ÓÒ Ø ÓÖÝ ÑÓ ÙÐÓ ÐÐ ÓÛ ÁÆÊÁ ¹ÊÓÕÙ ÒÓÙÖØ ºÈº ½¼ ½ Ä Ò Ý Ü Ö Ò º ÐÐ º ÓÛ ÒÖ º Ö ØØÔ»»ÐÓ Ðº ÒÖ º Ö» ÓÛ ØÖ Øº Ì ËØÖ Ø ÓÙÒ Ø ÓÒ Ö Ö ØÖ Ø ÓÒ Ó Ò Ú Ø Ø ¹ ÓÖÝ Û Ö Ø ÓÑÔÖ Ò ÓÒ Ñ Ö ØÖ Ø ØÓ ØÖ Ø Ð ÔÖÓÔÓ
ÁÒØÖÓ ÙØ ÓÒ Î Ø Ð Ø Ö ØÙÖ ÓÒ ÑÔ Ø Ó Ù ØÑ ÒØ Ò Ø Ð Ø ÓÒ ÔÓÐ ÓÒ ÔÓÚ ÖØÝ ÙØ Ù Ø Û ÓÒ Ø ÑÔ Ø Ó Ô Ñ ÖÓ ÓÒÓÑ ÔÓÐ º ØØ Ö ÒÓÛÐ ÓÙØ ÔÖÓ¹ÔÓÓÖ Ñ ÖÓ ÔÓÐ Ò Ø Ñ ÒØ
Ò ÐÝ Ò Å ÖÓ¹ÈÓÚ ÖØÝ Ä Ò Ò ÇÚ ÖÚ Û ÖÒ Ö º ÙÒØ Ö Å Ö Âº Ó Ò Ò À Ò ÄÓ Ö Ò Ý ÖÙ ÖÝ ¾ ¾¼½½ ÁÒØÖÓ ÙØ ÓÒ Î Ø Ð Ø Ö ØÙÖ ÓÒ ÑÔ Ø Ó Ù ØÑ ÒØ Ò Ø Ð Ø ÓÒ ÔÓÐ ÓÒ ÔÓÚ ÖØÝ ÙØ Ù Ø Û ÓÒ Ø ÑÔ Ø Ó Ô Ñ ÖÓ ÓÒÓÑ ÔÓÐ º ØØ Ö ÒÓÛÐ
Ì ÓÑÔÙØ Ð Ñ Ò ÓÒ Ó ÌÖ Ó ÁÒ Ò Ø À Ø ÊÙ ÐÐ Å ÐÐ Ö ÂÙÐÝ ¾ ¾¼¼ Ì Ö Ø ÓÙÖ Ø ÓÒ Ó Ø ÖØ Ð ÔÔ Ö ÔØ Ö Ó È º º Ø Ø Ø ÍÒ Ú Ö ØÝ Ó Ó ÙÒ Ö Ø ÙÔ ÖÚ ÓÒ Ó ÊÓ ÖØ Áº ËÓ
Ì ÓÑÔÙØ Ð Ñ Ò ÓÒ Ó ÌÖ Ó ÁÒ Ò Ø À Ø ÊÙ ÐÐ Å ÐÐ Ö ÂÙÐÝ ¾ ¾¼¼ Ì Ö Ø ÓÙÖ Ø ÓÒ Ó Ø ÖØ Ð ÔÔ Ö ÔØ Ö Ó È º º Ø Ø Ø ÍÒ Ú Ö ØÝ Ó Ó ÙÒ Ö Ø ÙÔ ÖÚ ÓÒ Ó ÊÓ ÖØ Áº ËÓ Ö º Ì Ò Ö Ð Ó Ù ØÓ ÝÖ Ã ÓÙ ÒÓÚ Û Ó ÓÖ Ò ÐÐÝ ÔÓ Ø ÕÙ
Ì ÓÑÔÐ Ü ØÝ Ó Á ÓÑÓÖÔ Ñ ÁÒ ÐÐ Ú ÓÑÓÖÔ Ñ Σ ½ ½ ÑÓÖ ÔÖ ÐÝ A B Ö ÓÑÓÖÔ : ( ØÖÙØÙÖ ¹ÔÖ ÖÚ Ò Ø ÓÒ) ÓÙÒØ Ð ØÖÙØÙÖ Ò Ó Ý Ö Ð Ø Ò ÓÑÓÖÔ Ñ ÓÑ Σ ½ ½ Ö Ð Ø ÓÒ ÓÒ
Ì ÓÑÔÐ Ü ØÝ Ó Á ÓÑÓÖÔ Ñ Ò ÑÔÓÖØ ÒØ ÕÙ Ú Ð Ò Ö Ð Ø ÓÒ ÖÓ ÐÐ Ó Ñ Ø Ñ Ø Ø Ö Ð Ø ÓÒ Ó ÓÑÓÖÔ Ñº ÐÓ Ò Ø Ò ØÙÖ Ð ØÓ ÔÓ Ø ÕÙ Ø ÓÒ ÀÓÛ ÓÑÔÐ Ü Ø ÓÑÓÖÔ Ñ Ö Ð Ø ÓÒ Ò ÓÑÔ Ö ÓÒ Û Ø ÓØ Ö ÕÙ Ú Ð Ò Ö Ð Ø ÓÒ Ì Ò Û Ö ØÓ
ÁÒ ÙØ Ú ¹ ÙØ Ú ËÝ Ø Ñ Ñ Ø Ñ Ø Ð ÐÓ Ò Ø Ø Ø Ð Ð ÖÒ Ò Ô Ö Ô Ø Ú Æ ÓÐ ÓØ Å Ð Ë Ø ÇÐ Ú Ö Ì ÝØ Ù ÍÒ Ú Ö Ø È Ö ¹ËÙ ÆÊË ÁÆÊÁ ÈÖÓ ¾¼¼
ÁÒ ÙØ Ú ¹ ÙØ Ú ËÝ Ø Ñ Ñ Ø Ñ Ø Ð ÐÓ Ò Ø Ø Ø Ð Ð ÖÒ Ò Ô Ö Ô Ø Ú Æ ÓÐ ÓØ Å Ð Ë Ø ÇÐ Ú Ö Ì ÝØ Ù ÍÒ Ú Ö Ø È Ö ¹ËÙ ÆÊË ÁÆÊÁ ÈÖÓ ¾¼¼ Ó ÜÔ ÖØ Ð ÒØ ÒØ Ø Ò Ò Öº º º µ Ý ÖÑ ÐÓ¹ Ö Ò Ð ÓÐ Ó Ø Ø ÓÖ Ñ Ð Ð ÓÐ Ï Ø Ó ÝÓÙ
ÇÙØÐ Ò ÇÙØÐ Ò ÈÙÖÔÓ Ó Ø ÈÖÓ Ø È ÖØ Ð ÌÖ Ò ÔÓÖØ È ÖØ Ð ÁÒØ Ö Ø ÓÒ È ÖØ Ð ÔÓ Ø ÓÒ Ê ÙÐØ ËÙÑÑ ÖÝ ¾ Ôк¹Å Ø º Ò Ö ØÞ Ë Ð ¹ Ò Ì Ö È ÖØÝ ËÓ Ð Ò Ó ÅÓØÓÖ Î Ð
ÆÙÑ Ö Ð Ë ÑÙÐ Ø ÓÒ Û Ø È ÖØ Ð ÌÖ Ò ÔÓÖØ ØÓ ÓÑÔÙØ Ë Ð ¹ Ò Ì Ö È ÖØÝ ËÓ Ð Ò Ó ÅÓØÓÖ Î Ð Ôк¹Å Ø º Ò Ö ØÞ ÐÙ ÝÒ Ñ À Ä Ø Ò Ö ØÖ ¹ Ö Ò º Å Ò Ò ÂÙÒ ¾ Ö ¾¼½¼ ÇÙØÐ Ò ÇÙØÐ Ò ÈÙÖÔÓ Ó Ø ÈÖÓ Ø È ÖØ Ð ÌÖ Ò ÔÓÖØ È ÖØ
ÇÖ Ò Þ Ø ÓÒ ÄÙ Ù Ó Ø ÓÒ ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÇÖ Ò Þ Ò ÓÑÑ ØØ Ð ÖÚ Ð Ó ÁË Ä ÈÓÖØ٠е Ò È ÙÐ ÖÖÓ ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÈÓÖØ٠е ÖÐÓ Ë ÒØÓ ÁË ÈÓÖØ٠е ÂÓÖ ÆÙÒÓ Ë ÐÚ
Ê Ö Ø ÓÒ Ð Å Ø Ñ Ø ÓÐÐÓÕÙ ÙÑ ÁÁÁ Ó Ö Ñ ËØÙ ÓÐÐÓÕÙ ÙÑ ÎÁ ÇÇÃ Ç ËÌÊ ÌË ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÔÖ Ð Ö ¹ ÔÖ Ð Ø ¾¼½ ÇÖ Ò Þ Ø ÓÒ ÄÙ Ù Ó Ø ÓÒ ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÇÖ Ò Þ Ò ÓÑÑ ØØ Ð ÖÚ Ð Ó ÁË Ä ÈÓÖØ٠е Ò È ÙÐ ÖÖÓ ÍÒ Ú Ö
Ä Ü¹ÇÔØ Ñ Ð ÇÒ¹Ä Ò ÅÙÐØ Ð Ë ÙÐ Ò Û Ø À Ö Ð Ò ÖÙ À Ò È ÖÖ Ë Ö Ô ÖØÑ ÒØ Ó Ð ØÖ Ð Ò ÓÑÔÙØ Ö Ò Ò Ö Ò Ò Ø ÓÓÖ Ò Ø Ë Ò Ä ÓÖ ØÓÖÝ ÍÒ Úº Ó ÁÐÐ ÒÓ ÍÖ Ò ÁÄ ½ ¼½
Ä Ü¹ÇÔØ Ñ Ð ÇÒ¹Ä Ò ÅÙÐØ Ð Ë ÙÐ Ò Û Ø À Ö Ð Ò ÖÙ À Ò È ÖÖ Ë Ö Ô ÖØÑ ÒØ Ó Ð ØÖ Ð Ò ÓÑÔÙØ Ö Ò Ò Ö Ò Ò Ø ÓÓÖ Ò Ø Ë Ò Ä ÓÖ ØÓÖÝ ÍÒ Úº Ó ÁÐÐ ÒÓ ÍÖ Ò ÁÄ ½ ¼½ Ñ Ð ¹ Ô¹ Ö Ù Ùº Ù ÂÙÒ ¾¼¼¼ ØÖ Ø ÇÒ¹Ð Ò ÙÐ Ò Ó ÙÒ Ø¹Ð
ÇÍÌ ÁËÌ Æ Æ ÆÇƹ ÁËÌ Æ Ç Ä ÌÌÁ Ë ÁÆ ËÇÅ ËÇÄÎ Ä ÄÁ ÊÇÍÈË Îº ÓÖ Ø Ú Ì ÖØ Ð ÚÓØ ØÓ ÔÖÓ Ð Ñ Ó Ü Ø Ò Ò ÒÓÒ Ü Ø Ò Ó Ð ØØ Ò ÓÐÚ Ð Ä ÖÓÙÔ º ÁÒ Ô ÖØ ÙÐ Ö Û ÔÖÓ
ËÁ Ì ÖÛ Ò Ë ÖĐÓ Ò Ö ÁÒØ ÖÒ Ø ÓÒ Ð ÁÒ Ø ØÙØ ÓÖ Å Ø Ñ Ø Ð È Ý ÓÐØÞÑ ÒÒ ¹½¼ ¼ Ï Ò Ù ØÖ ÓÙØ Ü Ø Ò Ò ÆÓÒß Ü Ø Ò Ó Ä ØØ Ò ÓÑ ËÓÐÚ Ð Ä ÖÓÙÔ Îº ÓÖ Ø Ú Î ÒÒ ÈÖ ÔÖ ÒØ ËÁ ½¾ ¾¼¼¾µ  ÒÙ ÖÝ ¾ ¾¼¼ ËÙÔÔÓÖØ Ý Ø Ù ØÖ Ò
ÓÒØ ÒØ ½ ÁÒØÖÓ ÙØ ÓÒ ½ ¾ ÈÖ Ð Ñ Ò Ö ¾ ¾º½ Ö Ø ÇÖ Ö ÅÓ Ð ÄÓ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ ¾º¾ ÇÖ Ö Ò ÃÖ Ô ÅÓ Ð º
ÁÒ Ø ØÙØ Ó ÁÒ ÓÖÑ Ø Ï Ö Û ÍÒ Ú Ö ØÝ ÜÔÓ ÒØ Ë Ñ ÒØ Ò Ò ËÄ ¹Ê ÓÐÙØ ÓÒ ÐÙÐÙ ÓÖ ÅÓ Ð ÄÓ ÈÖÓ Ö Ñ Ä Ò Ò Æ ÙÝ Ò Ò ÙÝ ÒÑ ÑÙÛº ÙºÔÐ ÌÊ ¼½¹¼¾ ¾ µ Ë ÔØ Ñ Ö ¾¼¼½ Ð Ø Ö Ú Â ÒÙ ÖÝ ¾¼¼ µ ØÖ Ø Ï ÔÖÓÔÓ ÑÓ Ð ÐÓ ÔÖÓ Ö ÑÑ