Oradea 71 Neamt. Sibiu 99. Fagaras. 80 Rimnicu Vilcea. Pitesti. 90 Craiova
|
|
|
- Chester Nichols
- 6 years ago
- Views:
Transcription
1 ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼¼ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ ÓÙ ÖÝ ºÙÒк Ù ÓÖ ØÓ Ø Ô Ó ÓÖ ÕÙ ÒØ Ð Ø Ø Ú º Ø ÖÑ Ò Ø Ö Ø Ú º ÓÒØ ÒÙÓÙ Ò Ð ÒØ Ú º ÑÙÐØ ÒØ ÝÒ Ñ Ì ØÐ ËÓÐÚ Ò ÈÖÓ Ð Ñ Ý Ë Ö Ò ÁÅ ÔØ Ö Ë Ø ÓÒ º½ º¾ Ò º µ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˼ ¹ ¹ ËÙÑÑ ÖÝ ÒØ ÁÒØ ÐÐ ÒØ Ò Ò ÒØ ÐÐ ÒØ ÒØ È Ë ÌÝÔ Ó ÁÒØ ÐÐ ÒØ ÒØ ½º Ë Ð Ê Ü ¾º º º ÌÝÔ Ó ÒÚ ÖÓÒÑ ÒØ Ó ÖÚ Ð ÙÐÐÝ ÓÖ Ô ÖØ ÐÐݵ
2 ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ö Ü ÒØ ÙÒ Ð ØÓ ÔÐ Ò Ë ÑÔÐ Ø ÓÒ Ð Ñ Ø Ý ÙÖÖ ÒØ Ô Ö ÔØ ¹ ÒÓ ÒÓÛÐ Ó Û Ø Ø ÓÒ Ó ¹ ÒÓ ÒÓÛÐ Ó Û Ø Ø Ý Ö ØÖÝ Ò ØÓ Ú ¹ ÒØ Ó Ð¹ ÒØ ÈÖÓ Ð Ñ¹ ÓÐÚ Ò Ú Ò ÔÖÓ Ð Ñ ÓÖÑÙÐ Ø ÓÒ Ø Ó Ø Ø Ò Ø Ó Ø ÓÒ ¹ Ó Ð ØÓ Ö» ÓÑÔÐ ¹ ÇÙØÐ Ò ÈÖÓ Ð Ñ¹ ÓÐÚ Ò ÒØ ÓÖÑÙÐ Ø Ò ÔÖÓ Ð Ñ ÈÖÓ Ð Ñ ÓÑÔÓÒ ÒØ Ë Ö ÁÑÔÓÖØ Ò Ó ÑÓ Ð Ò Ð Ñ ÒØ»ÓÑÔÓÒ ÒØ ÍÒ Ò ÓÖÑ Ö Ë Ø ÓÒ º º µ ÁÒ ÓÖÑ ÙÖ Ø µ Ö ÔØ Ö µ Ò ¹ ÕÙ Ò Ó Ø ÓÒ Ð Ò ØÓ Ó Ð
3 ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ó Ð ÓÖÑÙÐ Ø Ò Ù Ö Ø ÔÖÓ Ð Ñ ÓÖÑÙÐ Ø Ú Ö ÓÙ Ø Ø Ø ÓÐÙØ ÓÒ Ò Ó Ø Ö Ë Ù Ö Ù Ö Ø ÕÙ Ò ÀÓÐ Ý Ò ÊÓÑ Ò Ü ÑÔÐ ÓÐ Ý Ò ÊÓÑ Ò ÙÖÖ ÒØÐÝ Ò Ö Û ÒØ ØÓ Ó ØÓ Ù Ö Ø ÇÒ Ø ÓÒ ÓÔ Ö ØÓÖ Ù ÓÖ ÙÒØ ÓÒµ Ö Ú ØÛ Ò Ø
4 ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ñ Ô ØÓ ÓÒ Ö ÝÔÓØ Ø Ð ÓÙÖÒ Ý Ø ÖÓÙ ÖÓ ÙÒØ Ð Í Ù Ö Ø Ö Ò ÓÖ ÕÙ Ò Ó Ø ÓÒ Ö ÄÓÓ Ò Ó Ø ÓÒ ØÓ Ó Ð ÓÐÙØ ÓÒ Ë ÕÙ Ò Ö Ú ØÓ Ù Ö Øººº ÓÛ Ñ ÒÝ ÖÓ ÓÙØ Ó Ö Oradea 71 Neamt Zerind 140 Timisoara 151 ibiu 99 Fagaras 80 imnicu Vilcea 87 Iasi 92 Vaslui 111 ugoj 97 Pitesti Dobreta Mehadia Urziceni 138 Bucharest 90 Craiova Giurgiu Hirsova 86 Eforie 71 Oradea Neamt Zerind Timisoara Dobreta 151 ibiu 99 Fagaras 80 imnicu Vilcea ugoj Mehadia 120 Pitesti Bucharest 90 Craiova Giurgiu 87 Iasi Urziceni Vaslui Hirsova 86 Eforie ÖÖÝ Ò ÓÙØ Ø ÓÒ Ü ÙØ ÓÒ Ô ÓÖÑÙÐ Ø Ö Ü ÙØ
5 ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ½¼ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÖÑÙÐ Ø ÓÒ ÈÖÓ Ð Ñ ÔÖÓ Ð Ñ Ò Ý Ø ÓÐÐÓÛ Ò Ø Ñ Ô Ø Ó Ø Ø Ú µ º ÙÑ Ó Ø Ò ÒÙÑ Ö Ó ÓÔ Ö ØÓÖ Ü ÙØ Øº ÓÐÙØ ÓÒ ÕÙ Ò Ó ÓÔ Ö ØÓÖ Ð Ò ÖÓÑ Ø Ò Ø Ð Ø Ø Ó Ð Ø Ø º ØÓ ÓÖÑÙÐ Ø Ö Ü ÙØ ÍÔ Ø ¹ËØ Ø ÓÖÑÙÐ Ø ¹ Ó Ð ÓÖÑÙÐ Ø ¹ÈÖÓ Ð Ñ Ë Ö Ê ÓÑÑ Ò Ø ÓÒ Ö Ø Ò Ê Ñ Ò Ö Ö Ø ÙÑÔØ ÓÒ ÓÖ ÒÚ ÖÓÒÑ ÒØ Ó ÖÚ Ð Ø Ø Ö Ø Ø ÖÑ Ò Ø ÕÙ ÒØ Ð Ò Ð ¹ ÒØ ½º Ò Ø Ð Ø Ø In() Ù ÓÖ ÙÒØ ÓÒ (x) ÓÔ Ö ØÓÖ Ø ÓÒ µ ¾º (In()) = { Go(ibiu),In(ibiu), Ü ÑÔÐ Go(T imisoara), In(T imisoara), Go(Zerind), In(Zerind) } º Ó Ð Ø Ø Ò ÜÔÐ Ø x In(Bucharest) ÓÖ ÔÖÓÔ ÖØÝ NoDirt(x) º Ø Ô Ó Ø ÙÑ ÒÓÒ¹Ò Ø Ú ËÓÐÙØ ÓÒ ÕÙ Ð ØÝ ÓÔØ Ñ Ð ÓÐÙØ ÓÒ º
6 ÓÙ ÖÝ ½½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ½¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ö ÔØ ÓÒ Ø ÓÒ Ø Ö Ø Ð Ú Ð Ó ØÖ Ø ÓÒ ÓÓ Ò ØÖ Ø ÓÒ ÖÓ Ñ Ô Û Ø Ö ÓÖ Ø ØÖ Ú Ð Ò ËØ Ø Ò ÖÝ Ö Ó ÔÖÓ Ö Ñ ººº ÓÑÔ Ò ÓÒ ØÖ Ø ÓÒ Ò Ö Ø ÔÓÐÐÙØ ÓÒ ÐÓÛ Ò ÓÛÒ» Ô Ò Ø ÓÒ Ø Ñ ÙÖ Ø ÓÒ ØÙÖÒ Ò ÓÒ Ø Ö Ó ºº ÙÔ ÜÔÐÓ ÓÒº ØÖ Ø ÓÒ Ý Ö ÑÓÚ Ò ÖÖ Ð Ú ÒØ Ø Ð ÓÑ Ò ØÓÖ Ð Ø Ø Ö ØÓ Ò Ð Ñ ÖØ Ó ÔÖÓ Ð Ñ ÓÐÚ Ò ÑÓ Ð Ò Ê Ð Ø Ø Ö ÔØ ÓÒ ÁÑÔÓÖØ Ò Ó ÑÓ Ð Ò ÓÖ ÔÖÓ Ð Ñ ÓÖÑÙÐ Ø ÓÒµ Ò Û Ø³ Ò ËØ Ø Ô Ú º Ø Ø Ø
7 ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÈÖÓ Ð Ñ ÌÓÝ ÒØ Ò ØÓ ÐÐÙ ØÖ Ø ÓÖ Ü Ö 8 < : ÓÒ ÔØ Ü ÑÔÐ ÔÖÓ Ð Ñ Ú ÓÒ Ü Ø Ö ÔØ ÓÒ Ò Ò ÓÑÔ Ö Ô Ö ÓÖÑ Ò Ó Ð ÓÖ Ø Ñ Ö Ö Ö ÔÖÓ Ð Ñ¹ ÓÐÚ Ò Ñ Ø Ó Ý Ð Ñ Ø Ó Ø Ø Ö Ö ÐÝ Ð ¹ÙÔ Ñ Ý Ö Ø Ö Ð ØÝ Ò ÙÖ Ø ÐÝ ÓÖ ÒÓØ Ø Ðе ÈÖÓ Ð Ñ Ê Ð¹ÛÓÖÐ ÑÓÖ ÙÐØ ÙØ Û Ó ÓÐÙØ ÓÒ Ô ÓÔÐ ØÙ ÐÐÝ Ö ÓÙØ Ö Ð Ù ÙÐ ÓÖ ÔÖ Ø Ð ØØ Ò ÑÓÖ ÙÐØ ØÓ ÑÓ Ð Ö Ö ÐÝ Ö ¹ÙÔÓÒ Ö ÔØ ÓÒ ÌÓÝ ÔÖÓ Ð Ñ Ú ÙÙÑ Ë Ò Ð Ø Ø ËØ Ø ÁÒ Ø Ð ËØ Ø ËÙ ÓÖ ÙÒØ ÓÒ Ó Ð Ø Ø È Ø Ó Ø Ï Ø ¾ ÐÓ Ø ÓÒ Ø Ø º Ï Ø n ÐÓ Ø ÓÒ n.2 n Ø Ø
8 ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÌÓÝ ÔÖÓ Ð Ñ ¹ÔÙÞÞÐ ËØ Ø ÁÒ Ø Ð Ø Ø ËÙ ÓÖ ÙÒØ ÓÒ Ó Ð Ø Ø È Ø Ó Ø Ò Ø Ò Ó Ð Ò ¹ ÐÓ ÔÙÞÞÐ ÒÓÛÒ ØÓ ÆȹÓÑÔÐ Ø ÇÔØ Ñ Ð ÓÐÙØ ÓÒ Ó n¹ôùþþð Æȹ Ö Ó Ö ÒÓØ Ò ØØ Ö Ø Ò Ö ¹ÔÙÞÞÐ ½ ¹ÔÙÞÞÐ ØÖ Ø ÓÒ ÐÐÝ Ù ØÓ Ø Ø Ö Ð ÓÖ Ø Ñ ÌÓÝ ÔÖÓ Ð Ñ n¹éù Ò ÓÖÑÙÐ Ø ÓÒ ÒÖ Ñ ÒØ Ð Ú º ÓÑÔÐ Ø ¹ Ø Ø ËØ Ø ÒÝ ÖÖ Ò Ñ ÒØ Ó x 8 ÕÙ Ò ÓÒ Ó Ö ÁÒ Ø Ð Ø Ø ËÙ ÓÖ ÙÒØ ÓÒ ÕÙ Ò Ðغ ÑÓÚ ÕÙ Òµ Ó Ð Ø Ø ÕÙ Ò ÒÓØ ØØ Ò ÓÒ ÒÓØ Ö È Ø Ó Ø ÖÖ Ð Ú ÒØ ÓÒÐÝ Ò Ð Ø Ø Ñ ØØ Ö µ 64 8 ÔÓ Ð Ø Ø ÙØ ÓØ Ö ÑÓÖ Ø Ú ÓÖÑÙÐ Ø ÓÒ
9 ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ñ ÐÝ Ý ÖÓ Óع ÖÑ ÖÓ ÓØ Ó ÒØ Ò Ð ÖÓ ÓØ Ò Ô ÖØ ÓÓÖ Ò Ø ËØ Ø ÙÒØ ÓÒ ÓÒØ ÒÙÓÙ ÑÓØ ÓÒ Ó Ø ÖÓ ÓØ Ó Ò ËÙ ÓÖ Ø Ø ÓÑÔÐ Ø Ñ ÐÝ Ó Ð ÌÓÝ ÔÖÓ Ð Ñ Ö ÕÙ Ö Ò Ö ÔÙÞÞÐ n¹õù Ò Ú ÙÙÑ ÇØ Ö Å ÓÒ Ö ² ÒÒ Ð ÖÑ Ö³ Ð ÑÑ Øº ÔÖÓ Ð Ñ Ö ÕÙ Ö Ò Ö Ê Ð¹ÛÓÖÐ ÊÓÙØ Ò Ò Ø Ø ÐÓ Ø ÓÒ Ø ÓÒ ØÖ Ò Ø ÓÒ ÖÓÙØ Ò ÓÑÔÙØ Ö Ò ØÛÓÖ ØÖ Ú Ð Ú ÓÖÝ Øº ÌÓÙÖ Ò Ø ÖØ Ò Ù Ö Ø Ú Ø Ú ÖÝ ØÝ Ø Ð Ø ÓÒ ÌÖ Ú Ð Ò Ð Ô Ö ÓÒ ÔÖÓ Ð Ñ ÌËȵ Ü ØÐÝ ÓÒ ÓÖØ Ø ØÓÙÖµ ÎÄËÁ Ð ÝÓÙØ ÐÐ Ð ÝÓÙØ ÒÒ Ð Ð ÝÓÙØ Ñ Ò Ñ Þ Ö Ò ÓÒÒ Ø ÓÒ Ð Ò Ø ØÓ Ñ Ü Ñ Þ Ô ÊÓ ÓØ Ò Ú Ø ÓÒ ÓÒØ ÒÙÓÙ Ô ¾ ldotsµ Ô Ø Ó Ø Ø Ñ ØÓ Ü ÙØ ÔÖÓØ Ò Ò ÒØ ÖÒ Ø Ö Øº ÁÅ µ
10 ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾¼ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ö ØÓ Ù Ö Ø Ü ÑÔÐ Ó Ø ØÓØ Ð Ñ Ð Ù Ð Ø Ö Û Ö f ÖÓÙØ µ غ È Ø ÈÖÓ Ð Ñ ÓÑÔÓÒ ÒØ ËØ Ø ÁÒ Ø Ð Ø Ø ËÙ ÓÖ Ó Ð Ø Ø ËØ Ô Ó Ø È Ø Ó Ø ÙÒØ ÓÒ ÈÖÓ Ð Ñ ÓÐÚ Ò Ô Ö ÓÖÑ Ò Å ÙÖ ÓÖ Ø Ú Ò Ó Ö ½º Ó Ø Ò ÓÐÙØ ÓÒ ÓÑÔÐ Ø ¾º Á Ø ÓÓ ÓÐÙØ ÓÒ Ô Ø Ó Ø ÐÓÛ º Ë Ö Ó Ø Ø Ñ ² Ô Ó Ø Ë Ö Ó Ø È Ø Ó Ø ÌÓØ Ð ÔÖÓ Ð Ñ Ë Ö Ó Ø Ø Ñ ÓÑÔÙØ Ö Ø Ò Øº Ö ËÓ ÈÖÓ Ð Ñ¹ ÓÐÚ Ò ÒØ ÓÖÑÙÐ Ø Ò ÔÖÓ Ð Ñ ÓÖÑÙÐ Ø Ë Ö Ü ÙØ ËÓÐÙØ ÓÒ ÕÙ Ò Ó Ø ÓÒ ÖÓÑ Ò Ø Ð Ø Ø ØÓ Ó Ð Ø Ø ÁÑÔÓÖØ Ò Ó ÑÓ Ð Ò Ö ÆÓÛ Ì ÖÑ ÒÓÐÓ Ý ØÖ ÒÓ ÜÔ Ò ÓÒ Ö Ò Ð ÕÙ Ù ØÖ Ø Ý ÁÑÔÐ Ñ ÒØ Ø ÓÒ Ø ØÖÙØÙÖ ÓÙÖ Ú ÐÙ Ø ÓÒ Ö Ø Ö ºº
11 ÓÙ ÖÝ ¾½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÑÙÐ Ø ÜÔÐÓÖ Ø ÓÒ Ó Ø Ø Ô Ó Ò ÖÓÑ Ø Ø Ø Ø Ø Ó Ð Ø Ø ËØ ÖØ Ø Û Ö ÓÒ Á ÐÐ ÓÔ Ö ØÓÖ ÔÔÐ Ð ØÓ ÙÖÖ ÒØ Ø Ø ØÓ ÔÔÐÝ ÐÐ ÔÓ Ð ÕÙ Ò Ó ÙØÙÖ Ø Ø Ò Ö Ø Ë Ö Ò Ö Ø Ø ÓÒ ÕÙ Ò Ò Ö Ø Ô ÖØ Ð ÓÐÙØ ÓÒ ÕÙ Ò Ý Ð Ò ÒÓÒ Ó Ðµ ÒØ ÖÑ Ø Ø Ø Ë Ö Ø Ó ÕÙ Ò Ó Ô ÖØ Ð ÓÐÙØ ÓÒ Ñ ÒØ Ò ÌÛÓ Ô Ø ½º ÓÛ ØÓ Ò Ö Ø ÕÙ Ò ¾º Û Ø ØÖÙØÙÖ ØÓ Ô ØÖ Ó Ø Ñ Ë Ö Ò Ö Ø Ø ÓÒ ÕÙ Ò Ò Ö Ø Ò Ù ÓÖ Ó ÐÖ Ý¹ ÜÔÐÓÖ Ø Ø Ý ÜÔ Ò Ò Ø Ø Á Ø ÒÓØ ÜÔ Ò Ø Ø ÒÓÛ Û Ú Ø Ó Ô ÖØ Ð ÓÐÙØ ÓÒ ººº
12 ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ (a) The initial state ibiu Timisoara Zerind Fagaras Oradea imnicu Vilcea ugoj Oradea (b) After expanding ibiu Timisoara Zerind Fagaras Oradea imnicu Vilcea ugoj Oradea (c) After expanding ibiu ibiu Timisoara Zerind Fagaras Oradea imnicu Vilcea ugoj Oradea 8 < : ÖÓÓØ Ò Ø Ð Ø Ø Ë Ö ØÖ ÒÓ Ð Ú Ø Ø Ø Ø Ò» ÓÙÐ ÒÓØ ÜÔ Ò ØÖÙØÙÖ ÄÀÏ ÔØ Ö ½ Ø ÒÓ x Ô Ö ÒØ Ð Ö Ò ÔØ Ô Ø Ó Ø g(x) Ø ØÖÙØÙÖ ÓÖ Ö ÒÓ Ø Ø Ò Ô Ø Ø tate[x] Parent Ô Ö ÒØ ÒÓ Node[x] ÓÔ Ö ØÓÖ Ù ØÓ Ò Ö Ø ÒÓ Action[x] Path Ô Ø Ó Ø Ó Ô Ö ÒØ Ó Ø Ø Ô Ô Ø Ó Ø Cost[x] g(x) ÔØ ÒÓ ÖÓÑ ÖÓÓØ Ô Ø Ð Ò Ø µ Depth[x] ØÓ ÜÔ Ò ÆÓ Ñ Ò Ò ÕÙ Ù ÓÒ Ø ØÙØ Ö Ò ÖÓÒØ Öµ ÓÖ Ö Ó ÒÓ ÜÔ Ò ÓÒ Ø ÖÑ Ò Ö ØÖ Ø Ý
13 ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ö ØÖ Ø ÍÒ Ò ÓÖÑ Ö ÍÒ ÓÖÑ¹Ó Ø Ö ÔØ ¹ Ö Ø Ö Ö Ø ¹ Ö Ø Ö ÁØ Ö Ø Ú Ô Ò Ò Ö Ö Ø ÓÒ Ð ÔØ ¹Ð Ñ Ø Ö Ï ÖÒ Ò PAENT-NODE TATE Node ACTION = right DEPTH = 6 PATH-COT = Ó ÒÓØ ÓÒ Ù ËØ Ø Ô Ò Ë Ö ØÖ µ Ô >< Ï Ø Ø Ø Ï Ø Ø Ø Ø Ô >: ÀÓÐ Ý Ò ÊÓÑ Ò Ï Ø Ø Þ Ó Ø Ø Ô Ø Þ Ó Ö ØÖ Ï Ø ÒÓ Ô Ö ÒØ Ð Ö Ò ÔØ Ô Ø Ó Ø g(x) Ø Ø ÒÓ Ô Ö ÒØ Ð Ö Ò ÔØ Øºº ÌÝÔ Ó Ë Ö ÍÒ Ò ÓÖÑ Ù ÓÒÐÝ Ò ÓÖÑ Ø ÓÒ Ú Ð Ð Ò ÔÖÓ Ð Ñ Ò Ø ÓÒ À ÙÖ Ø ÜÔÐÓ Ø ÓÑ ÒÓÛÐ Ó Ø ÓÑ Ò
14 ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ØÖ Ø Ë Ö ÓÖ Ú ÐÙ Ø Ò Ö Ö Ø Ö ½º ÓÑÔÐ Ø Ò Ó Ø ÐÛ Ý Ò ÓÐÙØ ÓÒ ÓÒ Ü Ø ¾º Ì Ñ ÓÑÔÐ Ü ØÝ ÒÙÑ Ö Ó ÒÓ Ò Ö Ø» ÜÔ Ò º ËÔ ÓÑÔÐ Ü ØÝ Ñ Ü ÑÙÑ ÒÙÑ Ö Ó ÒÓ Ò Ñ ÑÓÖÝ º ÇÔØ Ñ Ð ØÝ Ó Ø ÐÛ Ý Ò Ð Ø¹Ó Ø ÓÐÙØ ÓÒ ÓÑÔÐ Ü ØÝ Ñ ÙÖ Ò Ø ÖÑ Ó Ì Ñ» Ô b Ñ Ü ÑÙÑ Ö Ò Ò ØÓÖ Ó Ø Ö ØÖ d ÔØ Ó Ø Ð Ø¹Ó Ø ÓÐÙØ ÓÒ m Ñ Ü ÑÙÑ ÔØ Ó Ø Ö Ô Ñ Ý µ
ØÓ ÓÑÔ Ö Ø Ñ ÓÛ ØÓ Ò Ö Ø Ø Ñ ÓÛ º º ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÇÙØÐ Ò Ø ÓÖ Þ Ø ÓÒ Ó Ö Ø Ò ÕÙ ÇÖ Ö Ö Ö Û Ø Ò Ú ÐÙ Ø ÓÒ ÙÒØ ÓÒµ ع Ö Ø Ö Ö Ý Ö ½µ Ñ Ð ÙÖ Ø Ù
Ö Ò ÁÅ ÔØ Ö Ë Ø ÓÒ º º µ Ê ÕÙ Ö ÔØ Ö ½¼ ½ Ò ½ º ÄÏÀ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÁÒ ÓÖÑ Ë Ö Å Ø Ó Ì ØÐ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽ ¹
Arad Bucharest Craiova Dobreta Eforie Fagaras Giurgiu Hirsova Iasi Lugoj
ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ö Ò ÁÅ ÔØ Ö Ë Ø ÓÒ º½ º¾ ² º µ Ê ÕÙ Ö ÔØ Ö ½ Ò ½ º ÄÏÀ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼¼ Ë ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˼ ¹ ¹ º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ
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
º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÁÒØ ÐÐ ÒØ ÒØ Ì ØÐ ÔØ Ö ¾ ÁÅ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽ ¹ ¹ ÍÊÄ º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÁÒØ ÐÐ ÒØ ÒØ ÒØ
function GENERAL-SEARCH( problem, strategy) returns a solution, or failure initialize the search tree using the initial state of problem loop do if
ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ ÓÙ ÖÝ ºÙÒк Ù º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ËÓÐÚ Ò ÈÖÓ Ð Ñ Ý Ë Ö Ò Ì ØÐ ÔØ Ö Ë Ø ÓÒ º µ ÁÅ ÛÛÛº ºÙÒк Ù» ÍÊÄ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽
ÇÙØÐ Ò ÁÒØÖÓ ÙØ ÓÒ º º ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ Å Ò Ñ Ü Ð ÓÖ Ø Ñ ÐÔ Ø ÔÖÙÒ Ò
ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ËÔÖ Ò ¾¼½¾ Ë º ÓÙ ÖÝ Ë ÙÛ Ö µ ÖØ ¼¾µ ¾ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ú Ö Ö Ð Ë Ö Ì ØÐ ÔØ Ö Ë Ø ÓÒ º½ º¾ Ò º µ ÁÅ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽¾ ÇÙØÐ Ò ÁÒØÖÓ ÙØ ÓÒ º º ÓÙ ÖÝ ¾ ÁÒ
ÁÒØÖÓ ÙØ ÓÒ Ö ÔØ Ú ËØ Ø Ø ÁÒ Ö ÒØ Ð ËØ Ø Ø ÀÝÔÓØ Ø Ø Ò ¹ Ô Ú ÐÙ Ø ÖÑ Ò Ø ÓÒ Ó ÑÔÐ Þ ËÙÑÑ ÖÝ Ä ÖÒ Ò Ó¹ Ø ÖÑ Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú
Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú Ö ØÝ Ó Å Ò Ò È ÖÑ Ý Ó ÀÓ Å Ò ØÝ ¾ Æ ÙÝ Ò ÌÖ È ÙÓÒ ÀÓ Ô Ø Ð ÂÁ ÔÖÓ Ø ¹ Ù Ù Ø ¾¼½ ÇÙØÐ Ò ½ ¾ Ø ÓÖÝ Ñ ÙÖ Ø Ñ Ø ÓÒ ¹ ÓÒ Ò ÁÒØ ÖÚ Ð ÔÓ ÒØ Ø Ñ Ø ¹ Ò ÒØ ÖÚ Ð Ø Ñ Ø ÁÒØ
ÁÒØÖÓ ÙØ ÓÒ ÇÖ Ò Ø ÓÒ Ð Ù ÌÓÔ ÇÚ ÖÚ Û Ä ØÙÖ Ü Ö ÓÑÔÙØ Ö ÓÓ Ü Ñ Ï Ý Ñ Ø Ñ Ø ÅÓ Ð Ò Ø Ë Ø ÌÛÓ Ü ÑÔÐ
Å Ø Ñ Ø Ð ÌÓÓÐ ÓÖ Ò Ò Ö Ò Ò Å Ò Ñ ÒØ Ä ØÙÖ ½ ½ ÇØ ¾¼½½ ÁÒØÖÓ ÙØ ÓÒ ÇÖ Ò Ø ÓÒ Ð Ù ÌÓÔ ÇÚ ÖÚ Û Ä ØÙÖ Ü Ö ÓÑÔÙØ Ö ÓÓ Ü Ñ Ï Ý Ñ Ø Ñ Ø ÅÓ Ð Ò Ø Ë Ø ÌÛÓ Ü ÑÔÐ Ì Ñ Ê ÔÓÒ Ð ÓÖ Ø Å Ø Ñ Ø Ë Ø ÓÒ Ó È Öº Öº ºº ÑÙÐغ
ÇÙØÐ Ò
ÀÓÛ ÑÙ ÒØ Ö Ò Ö Ø ÓÒ Ð Ö Ö Ò Ó Ø ÍºËº Ó Ð ÙÖ ØÝ Ý Ø Ñ Ö ÐÐÝ ÔÖÓÚ ½ ½ Ê ¹ Á ÈÖ Ù Å Ý ¾¼½½ ÇÙØÐ Ò ÅÓØ Ú Ø ÓÒ ÓÒÓÑ Ó Ø Ö ÒØ Ò Ö Ø ÓÒ Ö ÒØÐÝ Ä Ñ Ø Ð ØÝ ØÓ Ò ÙÖ Ü¹ ÒØ Ú ¹ ¹Ú ÓØ Ö Ò Ö Ø ÓÒ È Ý¹ ¹ÝÓÙ¹ Ó Ô Ò ÓÒ
Ó Ú ÐÙ Ö ÒÚÓÐÚ Ò ÖØ Ò Ô ÖØ Ó Ø ÔÖÓ Ö Ñµ Ò ØÓ ÐÔ Ø Ø ÔÖÓ Ö ÑÑ Ö Ñ Ø º ÁÒ Ø Ø ÐÐÝ ØÝÔ Ð Ò Ù Ø ØÝÔ Ö ÒÓØ Ò ÓÑ Ø Ò Ø Ø Ø Ô ÖØ Ò ÓÑÔÙØ Ø ÓÒ ÙØ Ö Ø Ö ÓÑ Ø Ò
ÙÒ Û Ø ÙÒØ ÓÒ Ð Ô Ò Ò ÓÖ Ö Øµ ÌÝÔ Î ÐÙ Ò ËØ Ø ÓÑÔÙØ Ø ÓÒ Ò À ÐÐ Ì ÓÑ À ÐÐ Ö Ò Ñ Ö ¾ ¾¼¼¼ ØÖ Ø Ì Ô Ô Ö ÐÐÙ ØÖ Ø ÓÛ À Ðг ØÝÔ Ð Ý Ø Ñ Ò Ù ØÓ ÜÔÖ ÓÑÔÙØ Ø ÓÒ º Ë Ò ÓÑÔÙØ Ø ÓÒ ÓÒ Ø ØÝÔ Ð Ú Ð Ö Ô Ö ÓÖÑ Ý Ø ØÝÔ
Ë ÓÑ Ò Ò ÝÒ Ñ ÈÖÓ Ö ÑÑ Ò Û Ø Ò Ö Ð Þ Ø ÓÒ Ò Ð Ö ËÝ Ø Ñ È ÖÖ Ö Ö ½ ¾ Ò ÇÐ Ú Ö Ë Ù ½ ½ ÙÐØ Ú Ø ÓÒ Ì» ÈÊ» Ë ÉÙ Å Ö Ð ÙÐØ ¾ ¾ Ëع ÐÓÙ Ü ¾ Ò Ñ ØÄ ÄÁÈ µ ÖÙ
Ë ÓÑ Ò Ò ÝÒ Ñ ÈÖÓ Ö ÑÑ Ò Û Ø Ò Ö Ð Þ Ø ÓÒ Ò Ð Ö ËÝ Ø Ñ È ÖÖ Ö Ö ½ ¾ Ò ÇÐ Ú Ö Ë Ù ½ ½ ÙÐØ Ú Ø ÓÒ Ì» ÈÊ» Ë ÉÙ Å Ö Ð ÙÐØ ¾ ¾ Ëع ÐÓÙ Ü ¾ Ò Ñ ØÄ ÄÁÈ µ ÖÙ Ù Ô Ø Ò ËÓØØ ¼½ È ÊÁË Ô ÖÖ º Ö Ö Ð Ô º Ö ÓÐ Ú Öº Ù
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 ËÇŹ ÐÙ Ø Ö Ò ÓÖ ÇÒ¹Ð Ò Ö Ù Ú ÓÖ Ð Ø ÓÒ ËØÙ Ý Î Ò ÒØ Ä Ñ Ö Á Á ÈßÊÊ ¼¾¹ ¼ ÂÙÐÝ ¾¼¼¾ Ö Ð ÖÓØ ØÓ ÔÔ Ö Ò ÙÞÞÝ ËÝ Ø Ñ Ò ÃÒÓÛÐ ÓÚ ÖÝ Ëà µ ¾¼¼¾ Ð Ð Å Ó Ð Ð Á Ò Ø Ø Ù Ø Ó
LCNS, Vol 1767, pp , Springer 2003
Ø Ö Ü Ø ËÓÐÙØ ÓÒ ÓÖ Å Ü¾Ë Ø Â Ò Ö ÑÑ ÊÓÐ Æ ÖÑ Ö Ï Ð ÐÑ¹Ë Ö ¹ÁÒ Ø ØÙØ ĐÙÖ ÁÒ ÓÖÑ Ø ÍÒ Ú Ö ØĐ Ø ÌĐÙ Ò Ò Ë Ò ½ ¹ ¾¼ ÌĐÙ Ò Ò º Ê Ôº Ó ÖÑ ÒÝ Ö ÑÑ Ò ÖÑÖ Ò ÓÖÑ Ø ºÙÒ ¹ØÙ Ò Òº ØÖ Øº Ú Ò ÓÓÐ Ò ¾ Æ ÓÖÑÙÐ Ø Å Ü¾Ë
edges added to S contracted edges
Ì Å Ü ÑÙÑ ÝÐ ËÙ Ö Ô ÈÖÓ Ð Ñ Ò Ö ¹ Ö Ô Ð ÒØ Æ ÛÑ Ò Ä ÓÖ ØÓÖÝ ÓÖ ÓÑÔÙØ Ö Ë Ò ÅÁÌ Ñ Ö Å ¼¾½ ¹Ñ Ð Ð ÒØ Ø ÓÖݺРºÑ غ Ù Ï ØÙ Ý Ø ÔÖÓ Ð Ñ Ó Ò Ò Ñ Ü ÑÙÑ ÝÐ Ù Ö Ô Ó Ú Ò Ö Ø Ö Ô Ò Û Ø Ñ Ü ÑÙÑ ØÓØ Ð Ö Ò ÔÐÙ ÓÙص
ÄÇÊÁÇÍË Ä Ê Ê ÀÇÄ Æ ÏÁÄÄ ÇÍÊ ÒØ Ì Ö Ö Ñ ÒÝ «Ö ÒØ Ò Ø ÓÒ ÓÖ Ø Ø ÖÑ ÒØ Û Ø Ò Áº ÐÐÓÛ Ñ ØÓ ÒØÖÓ Ù ÎÁÄ ÊÇ Ç̺ ÅÍËÌ ÆËÄ Î ÊÌÀ Ë Ò ÆÎÁÊÇÆÅ ÆÌ Ø Û ÐÐ Ù Ø ÓÐÐ
ÖØ Ð ÁÒØ ÐÐ Ò Á Ö Ë Ò ÀÓÐ Ò Ò ÒØÖÓ ÙØ ÓÒ ØÓ ÒØ ÓÔÝÖ Ø Ë Ò ÀÓÐ Ò ¾¼¼¾¹¾¼½¼º ÄÇÊÁÇÍË Ä Ê Ê ÀÇÄ Æ ÏÁÄÄ ÇÍÊ ÒØ Ì Ö Ö Ñ ÒÝ «Ö ÒØ Ò Ø ÓÒ ÓÖ Ø Ø ÖÑ ÒØ Û Ø Ò Áº ÐÐÓÛ Ñ ØÓ ÒØÖÓ Ù ÎÁÄ ÊÇ Ç̺ ÅÍËÌ ÆËÄ Î ÊÌÀ Ë Ò ÆÎÁÊÇÆÅ
Ð Ò ØÓ ØØ Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐغ Ì ÓÙÖ Ô Ö Ñ ØÓÛ Ö Ø Ø Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐØ Ò Ô Ö Ý Ø Ô Ô Ö Ó È Ô Ñ ØÖ ÓÙ Ò Î ÑÔ Ð ÓÒ ÌÖ Ú Ð Ò Ë Ð Ñ Ò ÔÖÓ Ð Ñ µ Ø
ÔÔÖÓÜ Ñ Ø ÓÒ À Ö Ò ÓÖ ËÑ ÐÐ ÇÙÖÖ Ò ÁÒ Ø Ò Ó ÆȹÀ Ö ÈÖÓ Ð Ñ Å ÖÓ Ð Ú Ð Ò Â Ò Ð ÓÚ ¾ ¾ ÅÈÁ ÓÖ Å Ø Ñ Ø Ò Ø Ë Ò ¹¼ ¼ Ä ÔÞ Í ÁÒ Ø ØÙØ ĐÙÖ ÁÒ ÓÖÑ Ø ÙÒ ÈÖ Ø Å Ø Ñ Ø ¹¾ ¼ Ã Ð Ò ÓÖÑ Ø ºÙÒ ¹ к ØÖ Øº Ì Ô Ô Ö ÓÒØÖ
½ ÁÒØÖÓ ÙØ ÓÒ ÒÓÑ ÈÓÖØ Ð Û ¹ ÒØ Ö Ø Ú ÓÑÔÙØ Ø ÓÒ Ð ÔÐ Ø ÓÖÑ ÓÖ Ø Ò Ð¹ Ý Ò Ñ Ò Ò Ó ÒÓÑ Ø º Ï Ñ ØÓ ÒØ Ö Ø Ø ÔÖ Ñ ÖÝ ÒÓÑ Ø ÙÒØ ÓÒ Ð ÒÓÛÐ Ò Ò ÐÝØ Ð ØÓÓÐ Û
ÓÒØ ÒØ ½ ÁÒØÖÓ ÙØ ÓÒ ¾ ¾ ËØ ÖØ Ý ÓÒ ØÖÙØ Ò Ò Ð Ø ¾ ¾º½ Í Ò ÔÖ Ò Ò Ð Ø µ º º º º º º º º º º º º º º º º º º º º º ¾ ¾º¾ Ë Ö ÓÖ Ò Ó ÒØ Ö Ø Ù Ò ÒØÖ Þ ÝÑ ÓÐ ÓÖ Ö ÔØ ÓÒº ¾º È Ø Ð Ø Ó Ò Ò Ø ÓÜ ÔÖÓÚ º º º º
½º¾ Ò Ø ÓÒ Ì Ò Ó Ø ÓÚ ÕÙ Ø ÓÒ Ò ÓÖÑ Ð Þ Ý Ø ÓÐÐÓÛ Ò Ò Ø ÓÒº Ò Ø ÓÒ ½ È Ù Ó Ê Ò ÓÑ ÙÒØ ÓÒ Ñ Ðݵ Ñ ÐÝ ¾ ¼ ½ ¾Æ ÐÐ Ñ ÐÝ Ó Ð µ Ä µµ È Ù Ó Ê Ò ÓÑ ÙÒØ ÓÒ ¾
¾¾º ¼ ¹¼¼ ÁÒØÖÓ ÙØ ÓÒ ØÓ ÖÝÔØÓ Ö Ô Ý ÆÓÚ Ñ Ö Ø ¾¼¼½ Ä ØÙÖ Ä ØÙÖ Ö Ú Ò Ý Ó ËÖ ÒØÓÒ Ó Æ ÓÐÓ Ä Ø Ø Ñ Û Ò Û Ø Û Ñ Ò Ý Ë Ö Ø Ã Ý ÒÖÝÔØ ÓÒ Ñ Ëà µ Ò Û ÒØÖÓ Ù ØÛÓ Ö Ð Ø ÒÓØ ÓÒ Ó ÙÖ Øݺ Ì Ò Û ÓÛ ÓÛ ÈÊ Ñ Ý Ù ØÓ
ÅÓØ Ú Ø ÓÒ Ø Ú Øݹ ØÖ Ú Ð Ñ Ò ÑÓ Ð Ò Ô Ö ÓÒ Ð Þ ÖÚ ÓÒ Ñ ÖØÔ ÓÒ ¾» ¾
ÅÓ Ð Ò Ø ÝÒ Ñ Ó Ðй Ý Ø Ú ØÝ ÔÐ Ò Ï ÐÐ Ñ À ÑÔ ½ ÙÒÒ Ö Ð ØØ Ö Ê Ö Ó ÀÙÖØÙ Ò Å Ð ÖÐ Ö ¾ ÂÙÒ ¾¾ ¾¼½¼ ½ ÃÍ Ä ÙÚ Ò ¾ È Ä Ù ÒÒ ½» ¾ ÅÓØ Ú Ø ÓÒ Ø Ú Øݹ ØÖ Ú Ð Ñ Ò ÑÓ Ð Ò Ô Ö ÓÒ Ð Þ ÖÚ ÓÒ Ñ ÖØÔ ÓÒ ¾» ¾ ÇÙØÐ Ò
Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖ Ø ÓÑÔ Ö ÓÒ Ó ÀÙÑ Ò Ä Ñ ÌÖ ØÓÖ Å Ö ÈÓÑÔÐÙÒ ½ Ò Å Âº Å Ø Ö ¾ ½ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÓÖ ÍÒ Ú Ö ØÝ ¼¼ à РËØÖ Ø ÌÓÖÓÒØÓ ÇÒØ Ö Ó
Ì ØÐ Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖ Ø ÓÑÔ Ö ÓÒ Ó ÀÙÑ Ò Ä Ñ ÌÖ ØÓÖ ÙØ ÓÖ Å Ö ÈÓÑÔÐÙÒ Ò Å Âº Å Ø Ö ÊÙÒÒ Ò Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖÖ ÔÓÒ Ò ÙØ ÓÖ Å Ö ÈÓÑÔÐÙÒ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÓÖ ÍÒ Ú Ö ØÝ ¼¼ à РËØÖ Ø ÌÓÖÓÒØÓ
ÝÓÒ ÀÝÔ ÖØÖ Ï Ø ÓÑÔÓ Ø ÓÒ Å Ø Ó Ï Ø ÓÙØ ÓÑÔÓ Ø ÓÒ ÀÙ Ò Ò Î ØÓÖ ÐÑ Ù Ô ÖØ Ñ ÒØ Ì ÒÓÐÓ ÍÒ Ú Ö Ø Ø ÈÓÑÔ Ù Ö Ö ÐÓÒ ËÔ Ò Ù º Ò Ú ØÓÖº ÐÑ Ù ÙÔ º Ù ØÖ Øº Ì Ò
ÝÓÒ ÀÝÔ ÖØÖ Ï Ø ÓÑÔÓ Ø ÓÒ Å Ø Ó Ï Ø ÓÙØ ÓÑÔÓ Ø ÓÒ ÀÙ Ò Ò Î ØÓÖ ÐÑ Ù Ô ÖØ Ñ ÒØ Ì ÒÓÐÓ ÍÒ Ú Ö Ø Ø ÈÓÑÔ Ù Ö Ö ÐÓÒ ËÔ Ò Ù º Ò Ú ØÓÖº ÐÑ Ù ÙÔ º Ù ØÖ Øº Ì Ò Ö Ð ÒØÖ Ø Ð ØÝ Ó Ø ÓÒ ØÖ ÒØ Ø Ø ÓÒ ÔÖÓ ¹ Ð Ñ ÑÓØ Ú
Breeze. Stench PIT. Breeze. Breeze PIT. Stench. Gold. Breeze. Stench PIT START
ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÄÓ Ð ÒØ Ì ØÐ ÔØ Ö Ë Ø ÓÒ º½ º¾ Ò º µ ÁÅ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽ ¹ ¹ ÐÓ» ÒØ ÒØ Ð ÐÓ ÈÖÓÔÓ Ø ÓÒ Ð
ÓÖ Ø ÁÒØ Ð ÔÖÓ ÓÖ Ñ Ðݺ Ê Ö Û ÒØ Ò Ò Ö Ð ÖÓÙÒ Ò Ñ Ð Ö ÔÖÓ Ö Ñ¹ Ñ Ò ÓÙÐ ÓÒ ÙÐØ ÔÔÖÓÔÖ Ø Ø ÜØ ÓÓ Ò ÓÒ ÙÒØ ÓÒ Û Ø Ø ÔÖÓ ÓÖ Ö Ö Ò Ñ Ò¹ Ù Ð ÔÙ Ð Ý ÁÒØ Ð Ò
ÒÙ Ñ Ð Ö Ì ÒÙ Ñ Ð Ö µ Ò ÓÔ Ò ÓÙÖ ¹ Ñ Ð Öº Ì Ñ Ð Ö ÒÐÙ Ø Ò¹ Ö Ò Ø ØÖ ÙØ ÓÒ Ò Ú Ð Ð ÓÖ ÓÛÒÐÓ ØÓ ÖÙÒ ÙÒ Ö Ï Ò ÓÛ º ÁØ ÔÖÓÚ ÙÔÔÓÖØ ÓÖ Ø Ò ØÖÙØ ÓÒ Ø Ó Ø Ó Ø Èͺ ÖÓ Ñ Ð Ö Ú Ö ÓÒ Ö Ð Ó Ú Ð Ð º Ì Ñ Ð Ö ÒÚÓ Ý Ø
Ô ØÙ Ø Ò Ø ÔÐ Ò º Ì ÑÓ Ø ÑÔÓÖØ ÒØ Ø Ô Ò Ø ÔÖÓ ÙÖ Ø Ø ÖÑ Ò Ø ÓÒ Ó Ø ÙÒ ÒÓÛÒ ÓÑÔÓÒ ÒØ Ó Ø ÐÓÛÒ Ú ØÓÖ ØÓ Ø ÒÓÖÑ Ð Ò ØÓ Ø ÔÐ Ò º Ì ÔÖÓ Ð Ñ ÔÐ Ý Ò ÑÔÓÖØ ÒØ
ÓÑÔÓÒ ÒØ Ð Ô Ø ÓÒ Ó ÔÐ Ò Û Ú Ò ÓØÖÓÔ Ò Ò ÓØÖÓÔ Ú Ó Ð Ø Ñ ÎÐ Ø Ð Ú ÖÚ Ò Ý ½ Ò ÁÚ Ò È Ò ¾ ½ ÖÐ ÍÒ Ú Ö ØÝ ÙÐØÝ Ó Å Ø Ñ Ø Ò È Ý Ô ÖØÑ ÒØ Ó ÓÔ Ý Ã Ã ÖÐÓÚÙ ½¾½ ½ ÈÖ ¾ Þ Ê ÔÙ Ð º ¹Ñ Ð Ú ÖÚ ÒÝ º ÖÐÓںѫºÙÒ ºÞ
ÜÔÓÒ ÒØ Ð Ò Ø ÔÖÓ Ð Ñ Þ Ø Ò ÐÓ Ò Ù Ø Ð Ò Ö ÓÖ Ò ØÓ ÃÓÖ º Ì ÒØ Ð Ö ÓÒ Û Ý ØÖ Ø ÓÒ Ö Ù ÓÑÔÐ Ü ØÝ Ø Ø Ø ØÓØ Ð ÓÑÔÐ Ü ØÝ Ø ÙÑ Ó Ø ÓÑÔÐ Ü Ø Ó Ø ÑÙÐØ ÔÐ Ö Ò
ØÖ Ø ÓÒ Û Ø Ò È ÖØ Ð ÙØ ÓÒ ÓÖ Ä Ò Ö ÄÓ È Ô ÃĐÙÒ ÆÓÖÛ Ò ÍÒ Ú Ö ØÝ Ó Ë Ò Ò Ì ÒÓÐÓ Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ò ÁÒ ÓÖÑ Ø ÓÒ Ë Ò Ô Ô ºÒØÒÙºÒÓ ØÖ Øº ØÖ Ø ÓÒ Ò Ù ÜØ Ò Ú ÐÝ Ò ÖØ Ð ÁÒØ ÐÐ ¹ Ò Áµ ÔÐ ÒÒ Ò ÙÑ Ò ÔÖÓ Ð Ñ
½½ º º À Æ Æ º º Í Æ ÒÓØ ÔÓ Ø Ú Ñ ¹ Ò Ø ÙÒÐ Ø ÓÐÐÓÛ Ò ØÖÙ Ø Ö ÓÒ Ù ÔÖÓ Ð Ñ È ½ Û Ø Ò Ð ÐÐ ÓÒ ØÖ ÒØ Û Ó ÓÖÑ Ù Ø ØÓ Ñ Ò ¾Ê Ò µ ½ ¾ Ì Ì Ø Ì Ù ÔÖÓ Ð Ñ Ø Ð
ÂÓÙÖÒ Ð Ó ÓÑÔÙØ Ø ÓÒ Ð Å Ø Ñ Ø ÎÓк½ ÆÓº¾ ¾¼¼½ ½½ ß½¾ º ÇÆ Å ÁÅ Ç Í Ä ÍÆ ÌÁÇÆ Ç ÌÀ Ì ËÍ ÈÊÇ Ä Å ½µ ÓÒ ¹ Ò Ê Ö Ú ÐÓÔÑ ÒØ ÒØ Ö Ó È Ö ÐÐ Ð ËÓ ØÛ Ö ÁÒ Ø ØÙØ Ó ËÓ ØÛ Ö Ò ½¼¼¼ ¼ Ò µ ¹Ü Ò Ù Ò ËØ Ø Ã Ý Ä ÓÖ ØÓÖÝ
Ë Ø Ó ÒÙÑ Ö Ò Ø Ö Ö ÔÖ ÒØ Ø ÓÒ ÁÒ Ø ÓÙÖ Û Û ÐÐ ÒØ Ö Ø Ò Ø Ó ÒÙÑ Ö º ÁÒ ÓÑÔÙØ Ö Ò Û Ö ÓÒ ÖÒ Ý Ø ÕÙ Ø ÓÒ ÓÛ Ó Û Ú Ù Ø Ø ÓÙÖ ÔÓ Ð Ì Û Ý ÒÙÑ Ö Ø ÓÒ Ý Ø Ñ
Ð ØÝ ÄÓ Ò ÆÙÑ Ö Ø ÓÒ ËÝ Ø Ñ Ñ Ð ÖÐ Ö Ô ÖØ Ñ ÒØ Å Ø Ñ Ø ÕÙ ÍÒ Ú Ö Ø Ä ÆÌ ¾¼½ ¹ Å Ö ÐÐ ÆÓÚ Ñ Ö ¾ ¹ Ñ Ö ¾ Ë Ø Ó ÒÙÑ Ö Ò Ø Ö Ö ÔÖ ÒØ Ø ÓÒ ÁÒ Ø ÓÙÖ Û Û ÐÐ ÒØ Ö Ø Ò Ø Ó ÒÙÑ Ö º ÁÒ ÓÑÔÙØ Ö Ò Û Ö ÓÒ ÖÒ Ý Ø ÕÙ
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
ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½¾ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÄÓ Ð ÒØ Ì ØÐ ÔØ Ö Ë Ø ÓÒ º½ º¾ Ò º µ ÁÅ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽¾¹ ¹ ÐÓ» ÒØ ÒØ Ð ÐÓ ÈÖÓÔÓ Ø ÓÒ Ð
Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ ȹØÖ È¹ ÖÓÛØ ÄÇË Ì È¹ØÖ Ø ØÖÙØÙÖ È¹ ÖÓÛØ Ð ÓÖ Ø Ñ ÓÖ Ò Ò ÐÐ Ö ÕÙ ÒØ Ø ÄÇË Ì Ð ÓÖ Ø Ñ ÓÖ Ò Ò Ö ÕÙ
Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø Ò Ò ØÖÙØÙÖ ØÖ Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ ȹØÖ È¹ ÖÓÛØ ÄÇË Ì È¹ØÖ Ø ØÖÙØÙÖ È¹ ÖÓÛØ Ð ÓÖ Ø Ñ ÓÖ Ò Ò ÐÐ
Ì ÓÑÔÐ Ü ØÝ Ó Á ÓÑÓÖÔ Ñ ÁÒ ÐÐ Ú ÓÑÓÖÔ Ñ Σ ½ ½ ÑÓÖ ÔÖ ÐÝ A B Ö ÓÑÓÖÔ : ( ØÖÙØÙÖ ¹ÔÖ ÖÚ Ò Ø ÓÒ) ÓÙÒØ Ð ØÖÙØÙÖ Ò Ó Ý Ö Ð Ø Ò ÓÑÓÖÔ Ñ ÓÑ Σ ½ ½ Ö Ð Ø ÓÒ ÓÒ
Ì ÓÑÔÐ Ü ØÝ Ó Á ÓÑÓÖÔ Ñ Ò ÑÔÓÖØ ÒØ ÕÙ Ú Ð Ò Ö Ð Ø ÓÒ ÖÓ ÐÐ Ó Ñ Ø Ñ Ø Ø Ö Ð Ø ÓÒ Ó ÓÑÓÖÔ Ñº ÐÓ Ò Ø Ò ØÙÖ Ð ØÓ ÔÓ Ø ÕÙ Ø ÓÒ ÀÓÛ ÓÑÔÐ Ü Ø ÓÑÓÖÔ Ñ Ö Ð Ø ÓÒ Ò ÓÑÔ Ö ÓÒ Û Ø ÓØ Ö ÕÙ Ú Ð Ò Ö Ð Ø ÓÒ Ì Ò Û Ö ØÓ
ÁËÁË Ø Ò Ð Ö ÔÓÖØ Ö ÎÓк ½¼ ¾¼¼¼ ÖÓÙÒ ÜØÖ Ø ÓÒ Ó ÓÐÓÙÖ ÁÑ Ë ÕÙ Ò Ù Ò Ù Ò Ñ ÜØÙÖ ÑÓ Ð ËØ ÒÑ Ò Ò Ê Ò Ú Ò Ò ÓÓÑ Ö ÁÒØ ÐÐ ÒØ Ë Ò ÓÖÝ ÁÒ ÓÖÑ Ø ÓÒ ËÝ Ø Ñ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ñ Ø Ö Ñ Ì Æ Ø ÖÐ Ò
Ê Ö Ò Ù Ä ÒÙÜ ÓÖ ØÖÓÒÓÑ Ö º º º ½º¾º Ï Ø Ä ÒÙÜ Ä ÒÙÜ ÍÆÁ ¹Ð ÖÒ Ð Ö Ø Ý Ä ÒÙ ÌÓÖÚ Ð º Ä ÒÙÜ ÖÒ Ð Ó Ø Ò ÓÒ Ù Û Ø Ø ÆÍ»Ä ÒÙÜ ÓÔ Ö Ø Ò Ý Ø Ñº Ä ÒÙÜ Ø ÖÒ Ð
Ä ÒÙÜ ÓÖ ØÖÓÒÓÑ Ö Ô Ý Ø Ò Ò Ò Ö Ê Ö Ò Ù ÓÖ È ØÖÓÚ ÅÓÑ Ð Ú ÁÒ Ø ØÙØ Ó ØÖÓÒÓÑÝ Ò Æ Ç ÙÐ Ö Ò ÑÝ Ó Ë Ò ¹½ ËÓ Ô ØÖÓÚ ØÖÓº º Ñ Ú ØÖÓº º ËÙ Ñ ØØ ½ º½¼º¾¼½ ÔØ ¼¾º½¾º¾¼½ µ ØÖ Øº Ì ÓÒ Ö Ò Ø Ð ½ ÙÑÑ ÖÝ Ó Ö Ö Ò Ù
Î Ö Ð X C = {x 1, x 2,...,x 6 }
º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ À ÐÐ ÊÓÓÑ ¼ Ú ÖÝ º º ÓÙ ÖÝ ½ Å Ö ½ ¾¼½½ Ì ØÐ ÙØ ÓÖ ÈÖÓº È ÐØ Ö Ò Ð ÓÖ Ø Ñ ÓÖ ÓÒ ØÖ ÒØ Ó Ö Ò Ò ËÈ Ê Ò Âº¹ º ½ Á ¾ Ó ÓÒ ØÖ ÒØ ÈÖÓ Ò ÓÙÒ Ø ÓÒ ËÔÖ Ò ¾¼½½ Ë ¾½» ¾½ ÛÛÛº ºÙÒк Ù» ¾½ ÓÙ
ÖÖ Ý ÒÑ ÒØ Ø Ø Ñ ÒØ Ö Ö ÓÖ ÒÝ Ð Ø¹ Ò Ð Ñ ÒØ Ö ØÓÖ º ÖÖ Ý ÓÖ Ù Ø ÓÒ Ó ÖÖ Ý Ò Ô Ý Ù Ò ØÖ ÔÐ Ø Ù Ö ÔØ º ØÖ ÔÐ Ø Ô Ö Ò Ò Ø ÓÖÑ ÐÓÛ Ö ÓÙÒ ÙÔÔ Ö ÓÙÒ ØÖ º Á
ÖÓÑ Ø ÈÖÓ Ò Ó Ø ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ò ÓÒ È Ö ÐÐ Ð Ò ØÖ ÙØ ÈÖÓ Ò Ì Ò ÕÙ Ò ÔÔÐ Ø ÓÒ È ÈÌ ³ µ ËÙÒÒÝÚ Ð Ù Ù Ø ½ Ô Ò Ò Ò ÐÝ Ó ÓÖØÖ Ò ¼ ÖÖ Ý ËÝÒØ Ü Ö Ð ÊÓØ Ã Ò Ã ÒÒ Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ê ÍÒ Ú Ö ØÝ ÀÓÙ ØÓÒ
ÁÒØÖÓ ÙØ ÓÒ Î Ø Ð Ø Ö ØÙÖ ÓÒ ÑÔ Ø Ó Ù ØÑ ÒØ Ò Ø Ð Ø ÓÒ ÔÓÐ ÓÒ ÔÓÚ ÖØÝ ÙØ Ù Ø Û ÓÒ Ø ÑÔ Ø Ó Ô Ñ ÖÓ ÓÒÓÑ ÔÓÐ º ØØ Ö ÒÓÛÐ ÓÙØ ÔÖÓ¹ÔÓÓÖ Ñ ÖÓ ÔÓÐ Ò Ø Ñ ÒØ
Ò ÐÝ Ò Å ÖÓ¹ÈÓÚ ÖØÝ Ä Ò Ò ÇÚ ÖÚ Û ÖÒ Ö º ÙÒØ Ö Å Ö Âº Ó Ò Ò À Ò ÄÓ Ö Ò Ý ÖÙ ÖÝ ¾ ¾¼½½ ÁÒØÖÓ ÙØ ÓÒ Î Ø Ð Ø Ö ØÙÖ ÓÒ ÑÔ Ø Ó Ù ØÑ ÒØ Ò Ø Ð Ø ÓÒ ÔÓÐ ÓÒ ÔÓÚ ÖØÝ ÙØ Ù Ø Û ÓÒ Ø ÑÔ Ø Ó Ô Ñ ÖÓ ÓÒÓÑ ÔÓÐ º ØØ Ö ÒÓÛÐ
ÓÖÑ Ð Þ Ø ÓÒ Ó ÐÓ ÙÖ ÔÖÓÔ ÖØ ÓÖ ÓÒØ Üع Ö Ö ÑÑ Ö Å ÖÙ Î Ò Ù Å Ò Ê ÑÓ Í È»ÍÆÁÎ Ë Ë ÔØ Ñ Ö ¼ ¾¼½ ÑÚÑÖ ÒºÙ Ô º Ö Ñ ÖÙ ºÖ ÑÓ ÙÒ Ú º Ùº Ö Å ÖÙ Ê ÑÓ Í È»ÍÆÁ
ÄË ¾¼½ Å ÖÙ Ê ÑÓ Í È»ÍÆÁÎ Ë µ ÓÖÑ Ð Þ Ø ÓÒ Ë ÔØ Ñ Ö ¼ ¾¼½ ½» ÓÖÑ Ð Þ Ø ÓÒ Ó ÐÓ ÙÖ ÔÖÓÔ ÖØ ÓÖ ÓÒØ Üع Ö Ö ÑÑ Ö Å ÖÙ Î Ò Ù Å Ò Ê ÑÓ Í È»ÍÆÁÎ Ë Ë ÔØ Ñ Ö ¼ ¾¼½ ÑÚÑÖ ÒºÙ Ô º Ö Ñ ÖÙ ºÖ ÑÓ ÙÒ Ú º Ùº Ö Å ÖÙ Ê
Ñ Ò Ò Ð Û Ø ÓÑÔÐ Ü ¹ Ñ Ò ÓÒ Ð Ø º Ì Ñ Ò Ø Ø Ø Ø Ø ÓÑ Ò Ö ÒØ Ò Ó ØÖÙØÙÖ º ÓÖ Ü ÑÔÐ Ó Ø Ò Û ÒØ Ñ Ø Ó Ø Ø Ò Ð Ø Ò ÐÝ Ø ØÓ ÕÙ ÒØ ÐÐÝ ÜØÖ Ø ÑÔÐ ØÖÙØÙÖ ÇÒ Ø
Ð Ñ ÒØ Ð Ë Ø Å Ø Ó Ò Ú ÍÒ Ö ØÝ Ù ½ Ñ Ò Ò Ð Û Ø ÓÑÔÐ Ü ¹ Ñ Ò ÓÒ Ð Ø º Ì Ñ Ò Ø Ø Ø Ø Ø ÓÑ Ò Ö ÒØ Ò Ó ØÖÙØÙÖ º ÓÖ Ü ÑÔÐ Ó Ø Ò Û ÒØ Ñ Ø Ó Ø Ø Ò Ð Ø Ò ÐÝ Ø ØÓ ÕÙ ÒØ ÐÐÝ ÜØÖ Ø ÑÔÐ ØÖÙØÙÖ ÇÒ Ø Ø º Ò ½º ÁÒØÖÓ
ÓÙÖ ËØ ÁÒ ØÖÙØÓÖ ÓÒØ Ø ËÐ Ñ Ø ÙÐÐ Ö ÐÓÙ Ð Ø ÓÒ ÓÙÖ Û Ø ÇÒ ÍÏ¹Ä ÖÒ Ò ÓÒ ÓÙÖ Û Ø Î ÖÝ Ø Ö ÓÑ ØÓ Ð Ø ÒÓØ Ë ÁÒØÖÓ ØÓ Å Ñص ÇÚ ÖÚ Û Ó Ë ÄÄ ¾¼½ ¾» ¾
ÇÚ ÖÚ Û Ó Ë Ú Êº Ö ØÓÒ Ë ÓÓÐ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ï Ø ÖÐÓÓ Ë ÁÒØÖÓ ÙØ ÓÒ ØÓ Ø Å Ò Ñ ÒØ ÐÐ ¾¼½ Ë ÁÒØÖÓ ØÓ Å Ñص ÇÚ ÖÚ Û Ó Ë ÄÄ ¾¼½ ½» ¾ ÓÙÖ ËØ ÁÒ ØÖÙØÓÖ ÓÒØ Ø ËÐ Ñ Ø ÙÐÐ Ö ÐÓÙ Ð Ø ÓÒ ÓÙÖ Û Ø ÇÒ ÍϹÄ
ÇÆÌ ÆÌ ËÙ Ø Ú ÒØÖÓ ÙØÓÖÝ Ö Ñ Ö Å Ø Ô ÓÖ Ò Ø Ú ÔÔÖÓ Ì Ô ÐÓ ÓÔ Ð Ö Ò À ÖÑ Ò ÙØ Ò Ø Ö Ð Ø ÓÒ Ô ØÓ Ò Ì ÒØ ÖÔÖ Ø Ò Ò Ø ÒØ ÖÔÖ Ø Ö Ò
ÌÀ Ê ÁÆ Ë À ÊÅ Æ ÍÌÁ ÎÁ È Ø Ö Ö ÒØ Ö ÓÖ ÓÑÔÐ Ü ËÝ Ø Ñ ËØÙ Ã Ð Ñ ÞÓÓ ÓÐÐ Å Ò Ò Ôغ ÓÔ Ý Ã ÃÁ Ê Ö ÁÒ Ø ØÙØ ÓÖ È ÖØ Ð Ò ÆÙÐ Ö È Ý Ó Ø ÀÙÒ Ö Ò ÑÝ Ó Ë Ò Ù Ô Ø ÇÆÌ ÆÌ ËÙ Ø Ú ÒØÖÓ ÙØÓÖÝ Ö Ñ Ö Å Ø Ô ÓÖ Ò Ø Ú ÔÔÖÓ
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
3D Interaction in Virtual Environment
3D Interaction in Virtual Environment Â Ò Ð Ö Ö ºÑÙÒ ºÞ ÙÐØÝ Ó ÁÒ ÓÖÑ Ø Å ÖÝ ÍÒ Ú Ö ØÝ ÖÒÓ» Þ Ê ÔÙ Ð ØÖ Ø ÀÙÑ Ò¹ ÓÑÔÙØ Ö ÁÒØ Ö Ø ÓÒ Ò Ô ÓÙÐ Ò Ð Ù Ö ØÓ ÒØ Ö Ø Ö ÐÝ Û Ø Ú ÖØÙ Ð Ó Ø º ÁÒØ Ö Ø ÓÒ Ò Ò Ö Ø Ñ
ÇÙØÐ Ò ½ ¾ ØÖ ÙØ ÓÒ ² Ì Ò ÐÝ Ó Ö ÕÙ Ò ÔÔÐ Ø ÓÒ Ó Ø χ ¾ ËØ Ø Ø ÐÙÐ Ø Ò Ô Ú ÐÙ Ò ³ Ü Ø Ø Ø Ì ÓÒÚ ÒØ ÓÒ Ð Ú º Ø Ñ Ô ÓÔغµ È Ö ÓÒ Ò ËÔ ÖÑ Ò ÓÖÖ Ð Ø ÓÒ Ù Ò
Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú Ö ØÝ Ó Å Ò Ò È ÖÑ Ý Ó ÀÓ Å Ò ØÝ ¾ Æ ÙÝ Ò ÌÖ È ÙÓÒ ÀÓ Ô Ø Ð ÂÁ ÔÖÓ Ø ¹ Ù Ù Ø ¾¼½ ÇÙØÐ Ò ½ ¾ ØÖ ÙØ ÓÒ ² Ì Ò ÐÝ Ó Ö ÕÙ Ò ÔÔÐ Ø ÓÒ Ó Ø χ ¾ ËØ Ø Ø ÐÙÐ Ø Ò Ô Ú ÐÙ Ò
ÓÙÖ ÓÒØ ÒØ Ï Ý Ó Û Ù Ø ÙÒØ ÓÒ Ð ØÝ ÔÖÓÚ Ý Ø Å Ò Ñ ÒØ ËÝ Ø Ñ Ø ÅÓ Ð Ê Ð Ø ÓÒ Ð Æ ØÛÓÖ ÇÇ ÀÓÛ Ó Û Ù ÅË Ê Ð Ø ÓÒ Ð ÑÓ Ð ÓÙÒ Ø ÓÒ Ð ÕÙ ÖÝ Ð Ò Ù ËÉÄ ÔÔÐ Ø
ÇÚ ÖÚ Û Ó Ø Å Ò Ñ ÒØ Ö Ò ÌÓÑÔ Ë ÓÓÐ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ï Ø ÖÐÓÓ Ë ÁÒØÖÓ ÙØ ÓÒ ØÓ Ø Å Ò Ñ ÒØ Ï ÒØ Ö ¾¼½¼ Ë ÁÒØÖÓ ØÓ Å Ñص ÇÚ ÖÚ Û Ó Ø Å Ò Ñ ÒØ Ï ÒØ Ö ¾¼½¼ ½» ¾¾ ÓÙÖ ÄÓ Ø Ï Ô Ì ÜØ ÓÓ Ú ÐÙ Ø ÓÒ ÛÛÛº
ØÖ Ø Ê Ù Ð ØÖ Ø ØÖ Ø Ø Ö Ñ Ò ØÓÖ Û Ø Ò ØÖÙØÙÖ Ö ÙÐØ Ó Ø Ñ ÒÙ ØÙÖ Ò ØÓÖݺ Ç Ø Ò ÐÐ ÐÓ Ò ØÖ Ø Ö Ñ Ò Û Ò Ø Ö ÒÓ ÔÔÐ ÐÓ Ò Ù Ò Ø ÔÔÐ ÐÓ Ò Ò Ø ØÖÙØÙÖ ³ ÜÔ Ø
Ö ÓÛÒ Ó Ê Ù Ð ËØÖ Ò À ÐÝ Ê ØÖ Ò Ì Ë Ø ÓÒ ËØ Ð Ï Ð ËÙ Ò È Ö Ë ÓÓÐ Ó Å Ò Ð Ò Ò Ö Ò Ì ÍÒ Ú Ö ØÝ Ó Ð ËÓÙØ Ù ØÖ Ð ¼¼ Å Ý ¾¼¼ ËÙÔ ÖÚ ÓÖ ÈÖÓ º Î Ð Ö Ä ÒØÓÒ ÅÖ Á Ò ÖÓÛÒ ØÖ Ø Ê Ù Ð ØÖ Ø ØÖ Ø Ø Ö Ñ Ò ØÓÖ Û Ø Ò ØÖÙØÙÖ
ÁÒØÖÓ ÙØ ÓÒ Ì Ñ Ñ Ö Ó Ú Ò Ô ÓÖ Ù Ô µ Ú Ø Ñ Ò Ö Ð ØÙÖ ÓÒ Ø Ö Ó Ø Ô ØØ ÖÒº ÀÓÛ Ú Ö Ò Ú Ù Ð Ò Ñ Ð Ø ÓÛÒ Ø ÒØ Ñ Ö Ò º Ì Ô ØØ ÖÒ Ö ÒÓØ Ø ÖÑ Ò Ò Ø ÐÐݺ Ì Ý
Ò Ñ Ð Ó Ø È ØØ ÖÒ ÓÖÑ Ø ÓÒ Ú ÐÝÒ Ë Ò Ö Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ð Ë Ò ÓÖ Å ÓÒ ÍÒ Ú Ö ØÝ Ù Ù Ø ¾¼¼½ ÂÓ ÒØ ÛÓÖ Û Ø Ì ÓÑ Ï ÒÒ Ö ÍÅ µ ÁÒØÖÓ ÙØ ÓÒ Ì Ñ Ñ Ö Ó Ú Ò Ô ÓÖ Ù Ô µ Ú Ø Ñ Ò Ö Ð ØÙÖ ÓÒ Ø Ö Ó Ø Ô ØØ ÖÒº ÀÓÛ
Sensor0 Motor0. Sensor2. Motor2
ÅÓ ÐÐ Ò Ö Ð¹Ø Ñ Ð Ò Ù Ì ÓÑ ÀÙÒ ÊÁ Ë Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ö Ù ÒÑ Ö Ñ Ð Ö Ö ØÖ Ø Ï ÔÖ ÒØ ÓÑÔÓ Ø ÓÒ Ð Ñ Ø Ó ÓÖ ØÖ Ò Ð Ø Ò Ö Ð¹Ø Ñ ÔÖÓ¹ Ö Ñ ÒØÓ Ò ØÛÓÖ Ó Ø Ñ ÙØÓÑ Ø ÈÖÓ Ö Ñ Ö ÛÖ ØØ Ò Ò Ò Ñ ÐÝ
ÝØ Ð Ö Ø ÓÒ Ó ÝÒ Ñ ØÖ ÑÙÐ Ø ÓÒ Ó Ø Ú Ñ Ò Ð Ö Ø ÓÒ ÖÓÑ ØÖ ÓÙÒØ Ð Ð Ô Ö Ô Ø Ú Ø Ñ Ø ÓÒ Ó Ô Ø ÓÛ Ø ÛÓÖ Ø Ñ Ø ÓÒ Ó Ñ ÖÓ¹ ÑÙÐ Ø Ú ÓÖ ¾» ¾¾
ÝØ Ö Ð Ö Ø ÓÒ ØÓÓÐ ÓÖ ÝÒ Ñ ØÖ ÑÙÐ Ø ÓÒ ÙÒÒ Ö Ð ØØ Ö ½ Ë ÔØ Ñ Ö ½¼ ¾¼¼ ½ Ñ ÒÝ Ø Ò ØÓ Ù Ò ÓÖ ÐÔ Ò Û Ø Ø ÑÙÐ Ø ÓÒ ½» ¾¾ ÝØ Ð Ö Ø ÓÒ Ó ÝÒ Ñ ØÖ ÑÙÐ Ø ÓÒ Ó Ø Ú Ñ Ò Ð Ö Ø ÓÒ ÖÓÑ ØÖ ÓÙÒØ Ð Ð Ô Ö Ô Ø Ú Ø Ñ Ø ÓÒ
Ö Ô ÓÒ Ø Ó ØÛÓ Ø Î Ò ÒÓØ Ý Î µº Ë Ø Î Ò Ø ÒÓÒ¹ ÑÔØÝ Ø Ó Ú ÖØ ÓÖ ÒÓ µ Ò Ø Ó Ô Ö Ó Ú ÖØ ÐÐ º Ï Ù Î µ Ò µ ØÓ Ö ÔÖ ÒØ Ø Ø Ó Ú ÖØ Ò Ò Ö Ô Ö Ô Ø Ú Ðݺ ÅÓÖ Ò
Ö Ô Ð ÓÖ Ø Ñ ÁÒ ½ ÙÐ Ö Ú Ø Ø ÖÒ ÈÖÙ Ò ÃÓ Ò Ö Ò ÓÙÒ Ø Ö Û Ö Ú Ò Ö ÖÓ Ø Ö Ú Ö Ò Ò Ð Ò º À Ñ ÙÔ ÕÙ Ø ÓÒ Ø Ø Ò ÒÝÓÒ Ø ÖØ Ø ÒÝ Ð Ò µ Û Ð Ø ÖÓÙ Ü ØÐÝ ÓÒ ÓÖ Ö Ò Ö ØÙÖÒ ØÓ Ø ÓÖ ¹ Ò Ð Ø ÖØ Ò ÔÓ ÒØ Ê Ö ØÓ ÙÖ ½º
ÅÓ Ø Ü Ø Ò ÖÓ ¹ÓÚ Ö Ö ÓÙÖ ÔÖÓÚ ÓÒÐÝ ÐÐÓÛ Ö ÔÖ ÒØ Ø ÓÒ Ñ ÒØ ÇÚ ÖÚ Û ÛÓÖÐ ÔÔÐ Ø ÓÒ Ò Ö ÓÙÖ Û Ø Ö ÝÒØ Ø Ò ¹ Ê Ð Ö ÔÖ ÒØ Ø ÓÒ º Ñ ÒØ ÅÙ Ö Ö Ö ÔÖ ÒØ Ø ÓÒ Ö
à ÔÔ Ö Ë ÙÐ Ö Ã Ö Ò ÔÔ ÖÐ Òº ºÙÔ ÒÒº Ù Î Ö Æ Ø ÜØ Ò ÓÒ Ò Ñ ÔÔ Ò ØÓ ÓØ Ö Ð Ü Ð Ö ÓÙÖ ÂÙÒ ¾ Ø ¾¼¼ ÅÓ Ø Ü Ø Ò ÖÓ ¹ÓÚ Ö Ö ÓÙÖ ÔÖÓÚ ÓÒÐÝ ÐÐÓÛ Ö ÔÖ ÒØ Ø ÓÒ Ñ ÒØ ÇÚ ÖÚ Û ÛÓÖÐ ÔÔÐ Ø ÓÒ Ò Ö ÓÙÖ Û Ø Ö ÝÒØ Ø Ò ¹
ÇÙØÐ Ò ÁÒØÖÓ ÙØ ÓÒ Ï Ø Ñ Ø Ñ Ø ËÓÑ Ø ÒÓ Ö Ô Ú Ò ÒÓØ Ö ÓÖ ÓØØ Ò ØÖ Ó ÙÑ Ò ØÝ Ð Ö Ò ØÙ Ý Ñ ÖÓÖ Ä Ø Ò Ö Ø Ø Ø ÑÓÒ ÖÓÑ ÓÖÑ Ö Ð Ö Ò Ï Ø Ñ Ø Ñ Ø Ê ÄÄ Á Ô ÓÔ
ÈÖÓØÓ¹Ñ Ø Ñ Ø Ñ Ø ¹Ñ Ø Ñ Ø Ò Ò ØÖ Ø ØÖÙØÙÖ Ó Ð Ñ ÒØ ÖÝ ÓÓÐ Ñ Ø Ñ Ø Ð Ü Ò Ö ÓÖÓÚ ÍÒ Ú Ö ØÝ Ó Å Ò Ø Ö Ë Ð ¼ Å Ö ¾¼½½ ÇÙØÐ Ò ÁÒØÖÓ ÙØ ÓÒ Ï Ø Ñ Ø Ñ Ø ËÓÑ Ø ÒÓ Ö Ô Ú Ò ÒÓØ Ö ÓÖ ÓØØ Ò ØÖ Ó ÙÑ Ò ØÝ Ð Ö Ò ØÙ Ý
Ä ÖÒ Ò ÖÓÑ Ø Ö Ëº Ù¹ÅÓ Ø Ð ÓÖÒ ÁÒ Ø ØÙØ Ó Ì ÒÓÐÓ Ý Ä ØÙÖ ½ Ì Ä ÖÒ Ò ÈÖÓ Ð Ñ ËÔÓÒ ÓÖ Ý ÐØ ³ ÈÖÓÚÓ Ø Ç ² Ë Ú ÓÒ Ò ÁËÌ ÌÙ Ý ÔÖ Ð ¾¼½¾
ÇÙØÐ Ò Ó Ø ÓÙÖ ½½º ÇÚ Ö ØØ Ò Å Ý µ ½¾º Ê ÙÐ Ö Þ Ø ÓÒ Å Ý ½¼ µ ½º Ì Ä ÖÒ Ò ÈÖÓ Ð Ñ ÔÖ Ð µ ½ º Î Ð Ø ÓÒ Å Ý ½ µ ¾º Á Ä ÖÒ Ò Ð ÔÖ Ð µ º Ì Ä Ò Ö ÅÓ Ð Á ÔÖ Ð ½¼ µ º ÖÖÓÖ Ò ÆÓ ÔÖ Ð ½¾ µ º ÌÖ Ò Ò Ú Ö Ù Ì Ø Ò
Chapter 9. Trapezoidal Maps. 9.1 The Trapezoidal Map
Chapter 9 Trapezoidal Maps ÁÒ Ø Ø ÓÒ Û Û ÐÐ ÒÓØ Ö ÔÔÐ Ø ÓÒ Ó Ö Ò ÓÑ Þ ÒÖ Ñ ÒØ Ð ÓÒ ØÖÙØ ÓÒ Ò Ø ØÖ Ø ÓÒ ÙÖ Ø ÓÒ Ô Ö Ñ ÛÓÖ º Ø Ø Ñ Ø Ñ Ø Û ÐÐ Ú Ù Ò Æ ÒØ Ð ÓÖ Ø Ñ ÓÖ ÓÐÚ Ò Ø Ò Ö Ð ÔÖÓ Ð Ñ Ó ÔÓ ÒØ ÐÓ Ø ÓÒ
ÌÖ Ò Ò ÆÙÑ Ö ÓÖ È ÔÓ Ø Ö ÓÖ ÖÖÓÖ ÓÒØÖÓл ÔØ Ú Ñ Ò ³ ÁØ Ö Ø Ú Ô Ö ÐРе ÓÐÙØ ÓÒ ØÖ Ø ³ ÇÔ Ö ØÓÖ¹ ÔÐ ØØ Ò ÓÖ ÓÙÔÐ ÔÖÓ Ð Ñ ³ Ñ ÁÑÔÖÓÚ Ñ ÒØ Ó Æ ÒÝ Ú ½º ÇÔ
º ÁÒØÖÓ ÙØ ÓÒ ØÓ À Ö Û Ö ¹ÓÖ ÒØ ÆÙÑ Ö ÓÖ È µ ˺ ÌÙÖ Ø ÖÓÙÔ Åº ÐØ Ö Öº Ö Ëº Ù Ò Ëº Ã Ð Ò º ÃÙÞÑ Ò ººº ÁÒ Ø ØÙØ ĐÙÖ Ò Û Ò Ø Å Ø Ñ Ø ² ÆÙÑ Ö ÍÒ Ú Ö ØĐ Ø ÓÖØÑÙÒ ØØÔ»»ÛÛÛº Ø ÐÓÛº ÌÖ Ò Ò ÆÙÑ Ö ÓÖ È ÔÓ Ø Ö ÓÖ
1 The Multinomial logit
Ë ÑÔÐ Ò Ó ÐØ ÖÒ Ø Ú Ù Ò ÑÙÐØ Ñ Ò ÓÒ Ð Ò ÐÝ Åº ÖÐ Ö º ÄÙ ÑÓ Å Ý ¾¾ ¾¼¼ Ê ÔÓÖØ ÌÊ ÆËȹÇÊ ¼ ¼ ¾¾ ÌÖ Ò ÔÓÖØ Ò ÅÓ Ð ØÝ Ä ÓÖ ØÓÖÝ Ë ÓÓÐ Ó Ö Ø ØÙÖ Ú Ð Ò ÒÚ ÖÓÒÑ ÒØ Ð Ò Ò Ö Ò ÓÐ ÈÓÐÝØ Ò ÕÙ Ö Ð Ä Ù ÒÒ transp-or.epfl.ch
1 http : //store.iteadstudio.com/images/produce/shield/shields/gpsshield/arduinogpsshield DS.pdf 2 http : //
Ä Ú Ö Ò ÈË Ò ËÅ˹ Ù ÌÖ Ò Ö Ø ØÙÖ ÓÖ Ò ÒØ ÌÖ Ò ÔÓÖØ Ø ÓÒ ÖÓÙ Ã ÅÓÙ ÐÐÓ Ò Ñ Ù Ý ÍÒ Ú Ö Ø ÒØ ÓÔ Ö Ö Ë Ò Ð ØÖ Øº ÆÓÛ Ý Û ÒÓØ Ù ÔÓÔÙÐ Ø ÓÒ ÖÓÛØ Ò Ö Ê ¹ ÓÒ Ù Ñ ÒÐÝ ØÓ Ø Ö Ø ÖÓÑ Ø Ð Ò º Ì Ö ÓÖ Ø Ù ÙÖ Ô ÖÓÛ Ò
½µ ÓÖ È µ Ô ÛÒ Ò Ò Ø Ò Ó ÔÖÓ È ÓÖ ÓÙÖÖ Ò Ó ÙÖÖ ÒØÐÝ Ò Ø Ø Ô ¾µ ÒÓØ Ý È µ ÔÖÓ Ù Ð Ø Ò Ö Ø Ø Û ÒÓØ Û Ø ÓÒ È µ Û Û ÐÐ Ô ÛÒ Ò Ò Ø Ò Ó È Ø Ñ Ò Û ÔÖÓ Ù µ ÑÓ
ËØ Ø ¹ Ò Ú Òع Ê Ø Ú ÈÖÓ Ö ÑÑ Ò Ò Ë Ö Ø Ô Æ Ù ½ ÒØÓÒÝ ÊÓÛ ØÖÓÒ ¾ Ò ÒÐÙ Ú ØØ ÖÓ ½ ½ Ô ÖØ Ñ ÒØÓ Ë ÒÞ ÐгÁÒ ÓÖÑ Þ ÓÒ ÍÒ Ú Ö Ø ÓÐÓ Ò È ÞÞ ÈÓÖØ Ëº ÓÒ ØÓ Á¹ ¼½¾ ÓÐÓ Ò ÁØ Ðݺ ¹Ñ Ð Ù Þ Ú ØØ Ö ºÙÒ Óº Ø ¾ Å ÖÓ Ó
Ú Ð Ð ÓÒÐ Ò Ø ØØÔ»» Ѻ Ö Ùº º Ö ÁÒغ º ÁÒ Ù ØÖ Ð Å Ø Ñ Ø ÎÓк ÆÓº ¾¼½½µ ½ ½¹½ ½ Ê Ò Ò ÍÒ Ø Ò Ý Í Ò Ø ÎÓØ Ò ËÝ Ø Ñ Åº à ÒÑÓ ÑÑ Êº ÐÐ Ò µ Ô ÖØÑ ÒØ Ó Å
Ú Ð Ð ÓÒÐ Ò Ø ØØÔ»» Ѻ Ö Ùº º Ö ÁÒغ º ÁÒ Ù ØÖ Ð Å Ø Ñ Ø ÎÓк ÆÓº ¾¼½½µ ½ ½¹½ ½ Ê Ò Ò ÍÒ Ø Ò Ý Í Ò Ø ÎÓØ Ò ËÝ Ø Ñ Åº à ÒÑÓ ÑÑ Êº ÐÐ Ò µ Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ë Ò Ò Ê Ö Ö Ò Á Ð Ñ Þ ÍÒ Ú Ö ØÝ Ð Ñ Ö ÁÖ Òº µ
ÅÓÖ Ö ÒØÐÝ ÓÑ ÔØ Ú Ð Ò Ô ÓÛÒ Ò Ò ÙØÖ Ð ØÝ Ð Ú Ð Ú Ò ÝÒØ Þ Ò Ø Ð Ó ÐÐÙÐ Ö ÙØÓÑ Ø µ ÕÙ ÒØ Ð ÝÒ Ñ Ý Ø Ñ ¾ µ Ò Ò Ø Ð ÓÖ Ø Ñ ½ µº Å ÒÝ ØÒ Ð Ò Ô ÖÓÑ Ò Ø Ð Ó
ËÝÒØ Ø Æ ÙØÖ Ð ØÝ ÓÖ ÖØ Ð ÚÓÐÙØ ÓÒ È Ð ÔÔ ÓÐÐ Ö Å ÒÙ Ð Ð Ö Ù Ò Å Ð Ó Ò¹ÈÐ Ø Ð Ä ÓÖ ØÓ Ö Á Ë ÆÊË ¹ ÍÆË ¾¼¼¼ ÖÓÙØ ÐÙ ÓÐ ¼ ½¼ ÓØ Ê Æ ¹Ñ Ð Ô Ð Ö Ù Ñ Ó Ò ºÙÒ º Ö ØÖ Øº Ê ÒØ ÛÓÖ Ò ÓØ ÚÓÐÙØ ÓÒ Ø ÓÖÝ Ò ÑÓÐ ÙÐ
Kevin Dowd, after his book High Performance Computing, O Reilly & Associates, Inc, 1991
Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ Ï ÐÐ ÝÓÒ ÆÙÑÈÝ Ö Ð Ò Ú ÐÓÔ Ö Ò ÈÝÌ Ð Ö ØÓÖ ÂÙÐÝ Ø ¹½½Ø ¾¼½¼º È Ö ¹ Ö Ò ÇÙØÐ Ò Ì Ø Á Ù Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ ½ Ì Ø Á Ù ¾ Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ ÇÙØÐ Ò Ì Ø Á Ù Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ ½ Ì Ø Á
ÄÈ ÈÖÓ Ò ÓÖ È Û Ä Ò Ö ÇÔØ Ñ Þ Ø ÓÒ Ò Ë ÙÐ Ò Ö Ð Ò À Ò Ð Ë ÓÙØ Á ¹È Ö ÁÑÔ Ö Ð ÓÐÐ º ÄÓÒ ÓÒ ËÏ ¾ ÍÒ Ø Ã Ò ÓѺ ¹Ñ Ð ½½ Ô Öº º ºÙ ØÖ Øº ÙÐ Ò ÔÖÓ Ð Ñ Û Ø Ô
ÄÈ ÈÖÓ Ò ÓÖ È Û Ä Ò Ö ÇÔØ Ñ Þ Ø ÓÒ Ò Ë ÙÐ Ò Ö Ð Ò À Ò Ð Ë ÓÙØ Á ¹È Ö ÁÑÔ Ö Ð ÓÐÐ º ÄÓÒ ÓÒ ËÏ ¾ ÍÒ Ø Ã Ò ÓѺ ¹Ñ Ð ½½ Ô Öº º ºÙ ØÖ Øº ÙÐ Ò ÔÖÓ Ð Ñ Û Ø Ô Û Ð Ò Ö Èĵ ÓÔØ Ñ Þ ¹ Ø ÓÒ ÜØ Ò ÓÒÚ ÒØ ÓÒ Ð ÙÐ Ò Ý
Ë Ò ÓÖ Æ ØÛÓÖ Å ÈÖÓØÓÓÐ ÂÙ Î Ð ÓÒ Ò Ä ÓÖ ØÓÖÝ ÓÖ Ì ÓÖ Ø Ð ÓÑÔÙØ Ö Ë Ò À Ð Ò ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¾ º º¾¼¼ ÂÙ Î Ð ÓÒ Ò Ë Ò ÓÖ Æ ØÛÓÖ Å ÈÖÓØÓÓÐ
Ä ÓÖ ØÓÖÝ ÓÖ Ì ÓÖ Ø Ð ÓÑÔÙØ Ö Ë Ò À Ð Ò ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¾ º º¾¼¼ ÇÙØÐ Ò ÖÓÙÒ Ò ÁÒØÖÓ ÙØ ÓÒ Ë Ò ÓÖ Æ ØÛÓÖ Ó Å ¹ÔÖÓØÓÓÐ Ì Ö ÔÖÓØÓÓÐ Ö ÓÒÐÙ ÓÒ ÖÓÙÒ ÈÖ ÒØ Ø ÓÒ ÓÒ º Ë Ú Ê Ñ ÅÙÖØ Ý Ò º ˺ Å ÒÓ º ¹ÀÓ Ï
Ì ÓÑÔÙØ Ð Ñ Ò ÓÒ Ó ÌÖ Ó ÁÒ Ò Ø À Ø ÊÙ ÐÐ Å ÐÐ Ö ÂÙÐÝ ¾ ¾¼¼ Ì Ö Ø ÓÙÖ Ø ÓÒ Ó Ø ÖØ Ð ÔÔ Ö ÔØ Ö Ó È º º Ø Ø Ø ÍÒ Ú Ö ØÝ Ó Ó ÙÒ Ö Ø ÙÔ ÖÚ ÓÒ Ó ÊÓ ÖØ Áº ËÓ
Ì ÓÑÔÙØ Ð Ñ Ò ÓÒ Ó ÌÖ Ó ÁÒ Ò Ø À Ø ÊÙ ÐÐ Å ÐÐ Ö ÂÙÐÝ ¾ ¾¼¼ Ì Ö Ø ÓÙÖ Ø ÓÒ Ó Ø ÖØ Ð ÔÔ Ö ÔØ Ö Ó È º º Ø Ø Ø ÍÒ Ú Ö ØÝ Ó Ó ÙÒ Ö Ø ÙÔ ÖÚ ÓÒ Ó ÊÓ ÖØ Áº ËÓ Ö º Ì Ò Ö Ð Ó Ù ØÓ ÝÖ Ã ÓÙ ÒÓÚ Û Ó ÓÖ Ò ÐÐÝ ÔÓ Ø ÕÙ
Ä Ü¹ÇÔØ Ñ Ð ÇÒ¹Ä Ò ÅÙÐØ Ð Ë ÙÐ Ò Û Ø À Ö Ð Ò ÖÙ À Ò È ÖÖ Ë Ö Ô ÖØÑ ÒØ Ó Ð ØÖ Ð Ò ÓÑÔÙØ Ö Ò Ò Ö Ò Ò Ø ÓÓÖ Ò Ø Ë Ò Ä ÓÖ ØÓÖÝ ÍÒ Úº Ó ÁÐÐ ÒÓ ÍÖ Ò ÁÄ ½ ¼½
Ä Ü¹ÇÔØ Ñ Ð ÇÒ¹Ä Ò ÅÙÐØ Ð Ë ÙÐ Ò Û Ø À Ö Ð Ò ÖÙ À Ò È ÖÖ Ë Ö Ô ÖØÑ ÒØ Ó Ð ØÖ Ð Ò ÓÑÔÙØ Ö Ò Ò Ö Ò Ò Ø ÓÓÖ Ò Ø Ë Ò Ä ÓÖ ØÓÖÝ ÍÒ Úº Ó ÁÐÐ ÒÓ ÍÖ Ò ÁÄ ½ ¼½ Ñ Ð ¹ Ô¹ Ö Ù Ùº Ù ÂÙÒ ¾¼¼¼ ØÖ Ø ÇÒ¹Ð Ò ÙÐ Ò Ó ÙÒ Ø¹Ð
ÇÙØÐ Ò ÖÓÙÒ Ü ÑÔÐ ÔÖÓ Ö Ñ ÒÓ Ñ Ø Ó Ü ÑÔÐ ÒÓ Ì ÓÖÝ ÓÒÐÙ ÓÒ ¾
Æ Ä Ë Ò Ò ÓÑÔÙØ Ö Ò Ò Ö Ò ËÓ ØÛ Ö Ó Å Ð ÓÙÖÒ ÍÒ Ú Ö ØÝ Ð Ö Ø Ú ÒÓ Ó ÐÓÙÒ Ö Ò ËÐ Ô Ô Ö Ò Ó Ö ÓÒ Ø Û ØØÔ»»ÛÛÛº ºÑÙºÓÞº Ù» Ð»Ô Ô Ö»» ½ ÇÙØÐ Ò ÖÓÙÒ Ü ÑÔÐ ÔÖÓ Ö Ñ ÒÓ Ñ Ø Ó Ü ÑÔÐ ÒÓ Ì ÓÖÝ ÓÒÐÙ ÓÒ ¾ Û ÐÐ Ø ÒÓÖÑ
ÌÖ Ò Ò ÆÙÑ Ö ÓÖ È ÔÓ Ø Ö ÓÖ ÖÖÓÖ ÓÒØÖÓл ÔØ Ú Ñ Ò ³ ÁØ Ö Ø Ú Ô Ö ÐРе ÓÐÙØ ÓÒ ØÖ Ø ³ ÇÔ Ö ØÓÖ¹ ÔÐ ØØ Ò ÓÖ ÓÙÔÐ ÔÖÓ Ð Ñ ³ Ê ÙØ ÓÒ Ó ÒÙÑ Ö Ð ÓÑÔÐ Ü ØÝ
º À Ö Û Ö ¹ÓÖ ÒØ ÆÙÑ Ö ÓÖ È ¹ ÓÒ ÕÙ Ò ÓÖ ÁÒÓÑÔÖ Ð ÐÓÛ ËÓÐÚ Ö Ëº ÌÙÖ Ø ÖÓÙÔ Åº ÐØ Ö Öº Ö Ëº Ù Ò Ëº Ã Ð Ò º ÃÙÞÑ Ò º ÈÐ ØØ Âº ÀÖÓÒ Èº ÃÓØ Ð Ïº Ò º ÇÙ ÞÞ Êº Ë Ñ Ø Ð Äº Ê Ú Ò ººº ÁÒ Ø ØÙØ ĐÙÖ Ò Û Ò Ø Å Ø Ñ
Ì Ó Ø Ú Ó ÓÙÖ ØÖ Ò Ð ÓÒØÖÓÐÐ Ö Ú ÙÐ Ö Ð Ý Ñ Ò Ñ Þ Ø ÓÒº Ì ÓÒÐÝ ÓÒ Ó Ú Ö Ð Ó Ø Ú Ó Ö Ð¹Ð ØÖ Ò Ð ÓÒØÖÓÐÐ Ö º ÇØ Ö ÒÐÙ º º ØÝ Ò ÒÚ ÖÓÒÑ ÒØ Ð Ô Ø Ò ÓÔØ Ñ
Ê Ò ÓÖ Ñ ÒØ Ä ÖÒ Ò Ò Æ ÙÖÓ ÙÞÞÝ ÌÖ Ë Ò Ð ÓÒØÖÓÐ ÐÐ Ò Ñ ½ À Ð Ò ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý Ä ÓÖ ØÓÖÝ Ó ÌÖ Ò ÔÓÖØ Ø ÓÒ Ò Ò Ö Ò ÈºÇº ÓÜ ¾½¼¼ Áƹ¼¾¼½ ÀÍÌ ÒÐ Ò ÐÐ º Ò Ñ Ùغ ÙÖÓÔ Ò ÂÓÙÖÒ Ð Ó ÇÔ Ö Ø ÓÒ Ð Ê Ö ÎÓÐÙÑ
ÇÖ Ò Þ Ø ÓÒ ÄÙ Ù Ó Ø ÓÒ ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÇÖ Ò Þ Ò ÓÑÑ ØØ Ð ÖÚ Ð Ó ÁË Ä ÈÓÖØ٠е Ò È ÙÐ ÖÖÓ ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÈÓÖØ٠е ÖÐÓ Ë ÒØÓ ÁË ÈÓÖØ٠е ÂÓÖ ÆÙÒÓ Ë ÐÚ
Ê Ö Ø ÓÒ Ð Å Ø Ñ Ø ÓÐÐÓÕÙ ÙÑ ÁÁÁ Ó Ö Ñ ËØÙ ÓÐÐÓÕÙ ÙÑ ÎÁ ÇÇÃ Ç ËÌÊ ÌË ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÔÖ Ð Ö ¹ ÔÖ Ð Ø ¾¼½ ÇÖ Ò Þ Ø ÓÒ ÄÙ Ù Ó Ø ÓÒ ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÇÖ Ò Þ Ò ÓÑÑ ØØ Ð ÖÚ Ð Ó ÁË Ä ÈÓÖØ٠е Ò È ÙÐ ÖÖÓ ÍÒ Ú Ö
Abiteboul. publication x author. citation title date 2000 Suciu Data on the Web Buneman
ËÔ Ø Ð ÄÓ ÓÖ ÉÙ ÖÝ Ò Ö Ô ÄÙ Ö ÐÐ È Ð ÔÔ Ö Ò Ö Ò ÓÖ Ó ÐÐ ½ ØÖ Øº Ï ØÙ Ý Ô Ø Ð ÐÓ ÓÖ Ö ÓÒ Ò ÓÙØ ÐÐÐ Ö Ø Ö Ô Ò Ø ÔÔÐ Ø ÓÒ Ó Ø ÐÓ ØÓ ÔÖÓÚ ÕÙ ÖÝ Ð Ò Ù ÓÖ Ò ÐÝ Ò Ò Ñ Ò ÔÙÐ Ø Ò Ù Ö Ô º Ï Ú Ö Ô Ö ÔØ ÓÒ Ù Ò ÓÒ
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ Ð ØÙÖ Ö ÓÑ ÓÑÑÓÒ Ò ØÛÓÖ ÓÔØ Ñ Þ Ø ÓÒ Ó Ð Ò ÓÒ ØÖ ÒØ Ò Û Ý Ì ÓÙÖº ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ¼ Å ØØ Û ÊÓÙ Ò Æ ØÛÓÖ ÇÔØ Ñ Þ Ø ÓÒ
ÓÒØ ÒØ ¾
ÉÙ Ø ÓÒ Ì È Ð ÐÔ Ð ÓÙÖØ ÒÒÙ Ð À Ë ÓÓÐ ÈÖÓ Ö ÑÑ Ò ÓÒØ Ø ÍÒ Ú Ö ØÝ Ó È ÒÒ ÝÐÚ Ò Å Ö ¾¼¼½ ÓÒØ ÒØ ¾ È ÖØ Á ÉÙ Ø ÓÒ ½ ¹ Ï Ò Ø ÒÙÑ Ö ¾ ÑÙÐØ ÔÐ Ý Ø ÔÖÓ ÙØ ¾ ¾ º ÆÓØ Ø Ø Ø Ö Ø ÓÙÖ Ø Ö Ø Ñ Ø Ð Ø ÓÙÖ Ø ¾ Ò ¾ µº
ÌÖ ÓÒÓÑ ØÖÝ ÌÖ ÓÒÓÑ ØÖÝ Ð Û Ø Ö Ð Ø ÓÒ Ô ØÛ Ò Ò Ò Ð Ó ØÖ Ò Ð º ÁØ Û ÔÔÐ Ø ÓÒ Ò Ô Ý Ò Ò Ò Ö Ò º Ì ØÖ ÓÒÓÑ ØÖ ÙÒØ ÓÒ Ö Ö Ø Ò Ù Ò Ö Ø¹ Ò Ð ØÖ Ò Ð º C Ì Ç
ÌÖ ÓÒÓÑ ØÖÝ ÌÖ ÓÒÓÑ ØÖÝ Ð Û Ø Ö Ð Ø ÓÒ Ô ØÛ Ò Ò Ò Ð Ó ØÖ Ò Ð º ÁØ Û ÔÔÐ Ø ÓÒ Ò Ô Ý Ò Ò Ò Ö Ò º Ì ØÖ ÓÒÓÑ ØÖ ÙÒØ ÓÒ Ö Ö Ø Ò Ù Ò Ö Ø¹ Ò Ð ØÖ Ò Ð º C Ì ËÁÆ ÙÒØ ÓÒ A B Ò = Ò = ÓÔÔÓ Ø ÝÔÓØ ÒÙ µ ÆÓÚ Ñ Ö ¾ ¾¼½
Ì Ö Ö Ü ÑÔÐ Ó ÒØ Ô Ø ÓÒ Ð Ò Ù Ø Ø ÔÖÓÚ ÓÓ ÙÔ¹ ÔÓÖØ ÓÖ Ô Ý Ò ÒØ Ý Ø Ñ ÒÐÙ Ò Ø ÒØ Ö Ø ÓÒ ØÛ Ò ÒØ º ÒØ ¾ Ò ÒعÓÖ ÒØ ÜØ Ò ÓÒ ØÓ Ç Ø¹ Û ÒÐÙ ÓÒ ÔØ Ù ÖÓÐ ÒØ
ÅÙÐØ ¹ ÒØ ËÝ Ø Ñ ËÔ Ø ÓÒ Ù Ò Ì Ç Ì Ñ Å ÐÐ Ö Ò È Ø Ö Å ÙÖÒ Ý Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ì ÍÒ Ú Ö ØÝ Ó Ä Ú ÖÔÓÓÐ Ä Ú ÖÔÓÓÐ Ä ÍÃ Ø Ñ Ô Ø Ö ºÐ Úº ºÙ ØÖ Øº Ì Ç Ô Ø ÓÒ Ð Ò Ù Ø Ø ÓÑ Ò Ø ØÖ Ò Ø Ó Ç Ø¹ Ò Ì Ñ ËÈ Û Ø
ÒÒ Ú Ö Ö Ø ½ ÁËÅȵ ¼Ø Ó Ø ÑÔÐ Ü Ñ Ø Ó ¼Ø Ó Ã ÒØÓÖÓÚ ³ ½ Ô Ô Ö Å Ø Ñ Ø Ð Å Ø Ó Ò Ø ÇÖ Ò Þ Ø ÓÒ Ò ÈÐ ÒÒ Ò Ó ÈÖÓ ÙØ ÓÒ ¼Ø Ó ¼Ø Å Ø Ñ Ø Ð ÈÖÓ Ö ÑÑ Ò ËÝÑÔÓ
Ì Ñ ÒÝ Ø Ó Ð Ò Ö ÔÖÓ Ö ÑÑ Ò Å Ð Âº ÌÓ Ë ÓÓÐ Ó ÇÔ Ö Ø ÓÒ Ê Ö Ò ÁÒ Ù ØÖ Ð Ò Ò Ö Ò ÓÖÒ ÐÐ ÍÒ Ú Ö ØÝ ÁØ Æ Ñ ØÓ ºÓÖÒ Ðк Ù ØØÔ»»ÛÛÛºÓÖ ºÓÖÒ Ðк Ù» Ñ ØÓ» ÁËÅÈ ØÐ ÒØ Ù Ù Ø ½¼ ¾¼¼¼ ½ ÒÒ Ú Ö Ö Ø ½ ÁËÅȵ ¼Ø Ó Ø
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ½ Ó Ò ØÛÓÖ Æ ØÛÓÖ ÁÒØ ÖÒ Ø Ò ØÛÓÖ Ó Ò ØÛÓÖ º ÅÓ Ø Ó Ø Ì Å ØØ Û ÊÓÙ Ò Û Ú ÓÒ Ö ÙÔ ØÓ Ø ÔÓ ÒØ ÓÒ ÖÒ ÔÖÓ
Ë Ö Ð Þ Ø ÓÒ Ú ËØÓÖ ËÓÐÙØ ÓÒ Ï ÓÐÐÓÛ Ø ÓÒÚ ÒØ ÓÒ Ø Ø Ë Ö Ð Þ Ø ÓÒ Û Ý ØÓ Ñ Ô Ö Ø ÒØ Ø Ø Ø Ø Ò¹Ñ ÑÓÖݺ Ý ËØÓÖ ËÓÐÙØ ÓÒ Û Ñ Ò Û Ý ØÓ Ô Ø ÓÒ¹ ÙØ Û Ø ÓÙØ
ÖÓÑ È Ð ÌÓ Ø ÈÝÌ Ð ÙØ ÓÖ Ö ÐÓÒ ÅÙ Ò Ù Ó Ì ÒÓÐÓ Ý Å Ìµ Ú Ò Ë ÒØ ÈÖÓ Ö ÑÑ Ò Ò ÈÝØ ÓÒ ¾¼½½ ËÙÑÑ Ö Ë ÓÓÐ ËØ Ò Ö Û ËÓØÐ Ò Ë Ö Ð Þ Ø ÓÒ Ú ËØÓÖ ËÓÐÙØ ÓÒ Ï ÓÐÐÓÛ Ø ÓÒÚ ÒØ ÓÒ Ø Ø Ë Ö Ð Þ Ø ÓÒ Û Ý ØÓ Ñ Ô Ö Ø ÒØ
Accounts(Anum, CId, BranchId, Balance) update Accounts set Balance = Balance * 1.05 where BranchId = 12345
ÌÖ Ò Ø ÓÒ Ò ÓÒÙÖÖ ÒÝ Ë ÓÓÐ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ï Ø ÖÐÓÓ Ë ÁÒØÖÓ ÙØ ÓÒ ØÓ Ø Å Ò Ñ ÒØ ÐÐ ¾¼¼ Ë ÁÒØÖÓ ØÓ Ø µ ÌÖ Ò Ø ÓÒ ÐÐ ¾¼¼ ½» ¾ ÇÙØÐ Ò ½ Ï Ý Ï Æ ÌÖ Ò Ø ÓÒ ÐÙÖ ÓÒÙÖÖ ÒÝ ¾ Ë Ö Ð Þ Ð ØÝ Ë Ö Ð Þ Ð Ë
ÁÒ ÙØ Ú ¹ ÙØ Ú ËÝ Ø Ñ Ñ Ø Ñ Ø Ð ÐÓ Ò Ø Ø Ø Ð Ð ÖÒ Ò Ô Ö Ô Ø Ú Æ ÓÐ ÓØ Å Ð Ë Ø ÇÐ Ú Ö Ì ÝØ Ù ÍÒ Ú Ö Ø È Ö ¹ËÙ ÆÊË ÁÆÊÁ ÈÖÓ ¾¼¼
ÁÒ ÙØ Ú ¹ ÙØ Ú ËÝ Ø Ñ Ñ Ø Ñ Ø Ð ÐÓ Ò Ø Ø Ø Ð Ð ÖÒ Ò Ô Ö Ô Ø Ú Æ ÓÐ ÓØ Å Ð Ë Ø ÇÐ Ú Ö Ì ÝØ Ù ÍÒ Ú Ö Ø È Ö ¹ËÙ ÆÊË ÁÆÊÁ ÈÖÓ ¾¼¼ Ó ÜÔ ÖØ Ð ÒØ ÒØ Ø Ò Ò Öº º º µ Ý ÖÑ ÐÓ¹ Ö Ò Ð ÓÐ Ó Ø Ø ÓÖ Ñ Ð Ð ÓÐ Ï Ø Ó ÝÓÙ
Accounts(Anum, CId, BranchId, Balance) update Accounts set Balance = Balance * 1.05 where BranchId = 12345
ÌÖ Ò Ø ÓÒ Ò ÓÒÙÖÖ ÒÝ Ú Êº Ö ØÓÒ Ë ÓÓÐ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ï Ø ÖÐÓÓ Ë ÁÒØÖÓ ÙØ ÓÒ ØÓ Ø Å Ò Ñ ÒØ ÐÐ ¾¼½ Ë ÁÒØÖÓ ØÓ Å Ñص ÌÖ Ò Ø ÓÒ ÄÄ ¾¼½ ½» ¾ ÇÙØÐ Ò ½ Ï Ý Ï Æ ÌÖ Ò Ø ÓÒ ÐÙÖ ÓÒÙÖÖ ÒÝ ¾ Ë Ö Ð Þ Ð ØÝ
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
ÓÖÑ Ð ÓÒ ÔØ Ò ÐÝ Ò Ö Ö ÓØ ÖÛ ØÓ Ò ØÓ ÔÖÓ Ò Ó Ô Ø Á Ë ÓÒ Ö Ò º Ì Ö Ö Ö Ð Ø ÔÔÖÓ ØÓ Ø ÓÚ Ø Ø ÔÖÓ Ð Ñº ÓÖ Ò Ø Ò Ø ÓÒ ÔØ Ó Ú ÖØÙ Ð ÓÐ Ö Û ÒØÖÓ Ù Ò ÔÖÓ Ö Ñ
Å ß ÓÒ ÔØÙ Ð Ñ Ð Å Ò Ö Ê Ö ÓÐ ½ Ö ËØÙÑÑ ¾ ½ Ë ÓÓÐ Ó ÁÒ ÓÖÑ Ø ÓÒ Ì ÒÓÐÓ Ý Ö ÆØ ÍÒ Ú Ö ØÝ ÓÐ Ó Ø ÑÔÙ ÈÅ ¼ ÓÐ Ó Ø Å Ð ÒØÖ ÉÄ ¾ Ù ØÖ Ð ÖºÓÐ Ùº Ùº Ù ¾ Ì Ò ÍÒ Ú Ö ØĐ Ø ÖÑ Ø Ø Ö Å Ø Ñ Ø Ë ÐÓ ÖØ Ò ØÖº ß ¾ ÖÑ Ø
Communications Network Design: lecture 19 p.1/32
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ½ Å ØØ Û ÊÓÙ Ò ÍÒ Ú Ö ØÝ Ó Ð Å Ö ¾ ¾¼¼ Communications Network Design: lecture 19 p.1/32 Æ ØÛÓÖ Ó Ò ØÛÓÖ
TCP SOURCE TCP DESTINATION
ÆÓÚ Ð Ð Ý Ã Ø Ò ÕÙ ÓÖ ÑÔÖÓÚ Ò Ì È Ô Ö ÓÖÑ Ò Ò ÑÙÐØ ÓÔ Û Ö Ð Ò ØÛÓÖ Ø Ò ÐØÑ Ò ÁÆÊÁ È ¾¼¼ ÊÓÙØ ÄÙ ÓÐ ¼ ¼¾ ËÓÔ ÒØ ÔÓÐ Ü Ö Ò Ñ Ð ÐØÑ Ò ÓÔ º ÒÖ º Ö Ì Ð µ ¾ Ü µ ¾ º Ì Ò Â Ñ Ò Þ º ºËºÁºÅºÇº ÙÐØ ÁÒ Ò Ö ÍÒ Ú Ö
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ Ð ØÙÖ ÒØÖÓ Ù Ø ÖÓÙØ Ò ÔÖÓ Ð Ñ Ò Ö ÓÑÑÓÒ ÔÔÖÓ ØÓ Ø ÓÐÙØ ÓÒ Ì Ð ÓÖ Ø Ñµ ÓÖ ÓÖØ Ø¹Ô Ø ÖÓÙØ Ò º ØÖ ³ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ¼ ÊÓÙØ Ò Å ØØ Û ÊÓÙ Ò
ÁÒØÖÓ ÙØ ÓÒ ËØ Ø Ø Ð Ò ÐÝ ÓÖ Ö Ø Ø Ô ÖØ Ù¹ Ð ÖÐÝ ÓÖ ÔÖÓ Ð ØÝ ÑÓ Ð Ù Ø ÒÓ¹ Ñ Ð ÈÓ ÓÒ Ò ÑÙÐØ ÒÓÑ Ð Ý ÒÓÛ Ú ÖÝ Û ÐÐ ÙÒ Ö ØÓÓ Û Ø Û ÐØ Ó Ù Ø Ð Ó Ø¹ Û Ö º
ÇÚ Ö Ô Ö ÓÒ Ò ÓÙÒØ Ø º Ⱥź º ÐØ Ñ ËØ Ø Ø Ð Ä ÓÖ ØÓÖÝ ÍÒ Ú Ö ØÝ Ó Ñ Ö ÒØÖ ÓÖ Ø Å Ø Ñ Ø Ð Ë Ò Ï Ð Ö ÓÖ ÊÓ Ñ Ö ÇÏ ÍÃ Ü ÒÓ ¼½¾¾ ¹ º Ⱥ ÐØ Ñ Ø Ø Ð º Ѻ ºÙ Ë Ñ Ò Ö Ú Ò Ø ÅÊ Ó Ø Ø Ø ÍÒ Ø ÆÓÚ Ñ Ö ½ ¾¼¼¼º ½ ÁÒØÖÓ
Extreme events. Ship as a dynamic system
ÓÖ Ä Ò Ö Ò ½ Â Ö Ï Ò Ö ½ ½ ÒØÖ ÓÖ Å Ø Ñ Ø Ð Ë Ò ¾¼¼ ÁÏ È ÂÙÐÝ ½¼ ¾¼¼ ÓÑÔ Ò Ñ Ö Ò Ø Ø Ø Ï Ò»Û Ú Ï Ú ÑÓ Ð ËØÓ Ø ÑÓ Ð Ò Ñ Ö Ò Ò ÄÙÒ ÍÒ Ú Ö ØÝ Ø Ø Ø Ñ Ö Ò Ø Ø Ø Ñ Ö Ò ÓÒ Ù Ï Ò ¹Û Ú ¹ ØÝ Ï Ò»Û Ú Ò Û Ø Ö Ð Ñ
Ì ÐÑÓ Ø ÓÑÔÐ Ø ÙÔÛ Ö ÓÐÐ Ô Ó ÈÀ ÓÛÒ ØÓ È ÆÈ ½ Ü ÔØ ÓÖ Ø Ô ØÛ Ò È ÆÈ Ò ÈÈ ÆÈ º ÐÓ Ò Ø Ô Ñ Ø ÓÒ Û Ø ÔÖÓÓ Ø Ø È ÆÈ ½ È ÆÈ ¾ ØØ µ ÈÈ ÆÈ È ÆÈ º ÀÓÛ Ú Ö Ø Ô
ÇÒ Ø Ó Ú À ÖÖÝ Ù ÖÑ Ò ½ Ê Ö Ò ¾ Ò Ä Ò ÓÖØÒÓÛ ½ ÏÁ ² ÍÒ Ú Ö ØÝ Ó Ñ Ø Ö Ñº Ö ÏÁ ÁÆË ÈºÇº ÓÜ ¼ Ñ Ø Ö Ñ Ì Æ Ø ÖÐ Ò º Ù ÖÑ ÒÛ ºÒк ¾ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ò Ð ØÖ Ð Ò Ò Ö Ò ÍÒ Ú Ö ØÝ Ó Å ÖÝÐ Ò ÐØ ÑÓÖ ÓÙÒØÝ
deactivate keys for withdrawal
Ù Ø Ð ÌÖ Ò Û Ø ÍÒÓÒ Ø ÓÒ Ð ÒÓÒÝÑ ØÝ ÒÒ Ã Ð Ö Ò ÀÓÐ Ö ÎÓ Ø Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÖÑ Ø Ø ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¹ ¾ ÖÑ Ø Ø ÖÑ ÒÝ ß Ù Ð Ö ÚÓ ØÐ º Ò ÓÖÑ Ø ºØÙ¹ ÖÑ Ø Øº ØÖ Ø Ï ÔÖ ÒØ Ò Û ÒÓÒÝÑÓÙ ÓÒ¹Ð Ò Ô ÝÑ ÒØ
Ø ÔÖ ÙÖ ØÝ Ö ÕÙ Ö Ñ ÒØ Ó ÙØ ÒØ Ø Ý Ø Ð Ñ Òغ Ë Ú Ö Ð ÓÒÖ Ø ÙÖ ØÝ Ò Ô Ö ÓÖÑ Ò ØØÖ ÙØ Ú Ò ÒØ Ö Ð º Ì ÙÒ Ñ ÒØ Ð ÙÖ ØÝ Ó Ð Ó Ý Ø Ð Ñ ÒØ ÔÖÓØÓÓÐ Ö ØÓ ÑÔÐ Ø
ÌÛÓ¹È ÙØ ÒØ Ø Ã Ý Ö Ñ ÒØ ÈÖÓØÓÓÐ Û Ø Ã Ý ÓÒ ÖÑ Ø ÓÒ ÓÝ ÓÒ ËÓÒ ÃÛ Ò Ó Ã Ñ ÁÒ ÓÖÑ Ø ÓÒ Ò ÓÑÑÙÒ Ø ÓÒ ÍÒ Ú Ö ØÝ Á ͵ ¹ ÀÛ Ñ¹ ÓÒ Ù ÓÒ ¹ Ù Ì ÓÒ ¼ ¹ ¾ ˺ ÃÓÖ Ý ÓÒ Ùº º Ö ØÖ Øº Ì Ô Ô Ö ÔÖÓÔÓ Ø Ö Ý Ö Ñ ÒØ ÔÖÓØÓÓÐ
ÇÙØÐ Ò ½ À ÙÒØ ÓÒ ¾ Ì ËÀ ¹ ÓÑÔ Ø Ø ÓÒ ÖÝÔØ Ò ÐÝ Ó À ÙÒØ ÓÒ ¾» ¾
ÖÝÔØÓ Ö Ô À ÙÒØ ÓÒ Ö Ø Ò ÓÙÖ Ë Ê Ì ÈÖÓ Ø Ì Ñ È Ö ¹ÊÓÕÙ ÒÓÙÖØ Ñ ÐØÓ Ö Ò ÆÓÚ Ñ Ö ½ ¾¼½½ ½» ¾ ÇÙØÐ Ò ½ À ÙÒØ ÓÒ ¾ Ì ËÀ ¹ ÓÑÔ Ø Ø ÓÒ ÖÝÔØ Ò ÐÝ Ó À ÙÒØ ÓÒ ¾» ¾ ÇÙØÐ Ò ½ À ÙÒØ ÓÒ ¾ Ì ËÀ ¹ ÓÑÔ Ø Ø ÓÒ ÖÝÔØ Ò ÐÝ
ÓÒØ ÒØ ½ ÁÒØÖÓ ÙØ ÓÒ ½ ¾ ÈÖ Ð Ñ Ò Ö ¾ ¾º½ Ö Ø ÇÖ Ö ÅÓ Ð ÄÓ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ ¾º¾ ÇÖ Ö Ò ÃÖ Ô ÅÓ Ð º
ÁÒ Ø ØÙØ Ó ÁÒ ÓÖÑ Ø Ï Ö Û ÍÒ Ú Ö ØÝ ÜÔÓ ÒØ Ë Ñ ÒØ Ò Ò ËÄ ¹Ê ÓÐÙØ ÓÒ ÐÙÐÙ ÓÖ ÅÓ Ð ÄÓ ÈÖÓ Ö Ñ Ä Ò Ò Æ ÙÝ Ò Ò ÙÝ ÒÑ ÑÙÛº ÙºÔÐ ÌÊ ¼½¹¼¾ ¾ µ Ë ÔØ Ñ Ö ¾¼¼½ Ð Ø Ö Ú Â ÒÙ ÖÝ ¾¼¼ µ ØÖ Ø Ï ÔÖÓÔÓ ÑÓ Ð ÐÓ ÔÖÓ Ö ÑÑ
ÇÙØÐ Ò ½ ¾ ÓÙÒ ¹Ô Ö Ñ Ø Ö Å Ö ÓÚ ÓÒ ÈÖÓ Å Èµ ÖÒ Ò Ó Äº Ù ÙÑ Ã Ö Ò Îº Ð Ó Ò Ä Ð Ò Æº ÖÖÓ
Ò ÒØ ÓÐÙØ ÓÒ ÓÖ ÓÙÒ ¹È Ö Ñ Ø Ö Å Ö ÓÚ ÓÒ ÈÖÓ ÖÒ Ò Ó Äº Ù ÙÑ Ã Ö Ò Îº Ð Ó Ò Ä Ð Ò Æº ÖÖÓ À»ÍËÈ ÁÅ»ÍËÈ Ê ÁË ¾¼½ ÖÒ Ò Ó Äº Ù ÙÑ Ã Ö Ò Îº Ð Ó Ò Ä Ð Ò Æº ÖÖÓ ÇÙØÐ Ò ½ ¾ ÓÙÒ ¹Ô Ö Ñ Ø Ö Å Ö ÓÚ ÓÒ ÈÖÓ Å Èµ ÖÒ
Employee Name Salary Page Page Smith Stowe. Employee(x,y)? (Smith, 3000), (Stowe, 7000) yemployee(x,y)? Page,Smith,Stowe
ÖØÓ Ä ÓÔÓÐ Ó ÍÒ Ú Ö ØÝ ÖÐ ØÓÒ Ò Ö ÄÓÔ Ø Ò Ó Íº ÓÐÞ ÒÓ¹ ÓÞ Òµ ÉÙ ÖÝ Ò Û Ö Ò Ò Ø ÓÒ Ø ÒØ Å Ò ÑÙÑ Ö Ò Ð ØÝ Ë Ñ ÒØ ÍÒ Ö ÇØØ Û Ò ÂÓ ÒØ ÛÓÖ Û Ø ¾ ÁÒØÖÓ ÙØ ÓÒ Ñ Ý ÓÑ ÒÓÒ Ø ÒØ ÛÖØ Ú Ò Ø Ó ÒØ Ö ØÝ Ø Á µ ÓÒ ØÖ ÒØ
Uppsala University. Access to the published version may require subscription.
Uppsala University This is an accepted version of a paper published in Physics Education. This paper has been peer-reviewed but does not include the final publisher proof-corrections or journal pagination.
ÇÙØÐ Ò ÇÙØÐ Ò ÈÙÖÔÓ Ó Ø ÈÖÓ Ø È ÖØ Ð ÌÖ Ò ÔÓÖØ È ÖØ Ð ÁÒØ Ö Ø ÓÒ È ÖØ Ð ÔÓ Ø ÓÒ Ê ÙÐØ ËÙÑÑ ÖÝ ¾ Ôк¹Å Ø º Ò Ö ØÞ Ë Ð ¹ Ò Ì Ö È ÖØÝ ËÓ Ð Ò Ó ÅÓØÓÖ Î Ð
ÆÙÑ Ö Ð Ë ÑÙÐ Ø ÓÒ Û Ø È ÖØ Ð ÌÖ Ò ÔÓÖØ ØÓ ÓÑÔÙØ Ë Ð ¹ Ò Ì Ö È ÖØÝ ËÓ Ð Ò Ó ÅÓØÓÖ Î Ð Ôк¹Å Ø º Ò Ö ØÞ ÐÙ ÝÒ Ñ À Ä Ø Ò Ö ØÖ ¹ Ö Ò º Å Ò Ò ÂÙÒ ¾ Ö ¾¼½¼ ÇÙØÐ Ò ÇÙØÐ Ò ÈÙÖÔÓ Ó Ø ÈÖÓ Ø È ÖØ Ð ÌÖ Ò ÔÓÖØ È ÖØ