Graph R epresentation and Si m p l e Graph F a m i l ies. I n dealin g w ith g raphs of fix ed path ...... [2 ]Hans L. Bodlaender . A linear time al g orithm for fi ndin g ...
! " # $ ! ! % & ' ( ) ! * +* , -'/. 0*1' 2 * %3 4. 0*' 576%898;:=< ? 6'@BADC EGFIH JLKMFONQPSR E(KTVUWP9KMXZY [\KMU]K_^ ` PaXcbQ^dFOJ0XeKgf [aUb9U;P#PhU;i jG^NQFgRkXVUmlh`/[SE n oBp\C6q:r@s5utuv oBw+w3:a:rw x ^yUWFzKH ^dP{K(N;|4}~NQH ySK_^dF([mYdXZ^dP=Y^ ` P#Xeb\^dFJ0XcKzf ND|EG=YkTVUWPa EG=YkTVUWPa l
s^ %^U;TVUWPa ad ]VV9zV V ¡¢eD£¥¤¦]§©¨ccª¡¢D#«¬¡c®Vk«¬¡c§©V¨¦«¬ ®¯ ®V¤c¡c§©V«°±¤\²®³´¡¢dBV§µV ®
¶ ·h¸>¹ºm»½¼h¾ ¿ÀkÁ1ÂÄÃÅÆ±ÇÁMù¦Ç0ÃÁ¸>ÆÈ»½¼ ÉÊÁË9Ì·Æ ( ÀQ¿3ÍÀ\üÎh¸>Î ÏÐË;Ç0·SÑ/»½Î#Ç0· ËW¼Î ÒÓÁ¸]¸ÔÑÕ»½Î#Ç0· Ö «ec¡e¡×%«¬°©¨c=« ´¯ha§µZØ«° Ö´Ù ]§© ® ®V Ú9ÛÝÜ´ÞßáàãâäÛªåØàæç\èæéâÔÜzêëàÛªß]ìOíªîïÛªåíZÛ ðIåØîòñ۪ߢóªîòàãômæçõÔêØíZöé÷øÞåzùéú0ûߪîòñéÞàÝÛ>üÞþýSÿ ÿ õÔêØíZöé÷øÞåzùéú DÛ 0ÛcÞ÷øÞåzù !#"#$&%')(*,+-&. /10')('2.,+$3'204".,!')5&%6"879%')$&%'2'2;:" :='2@BAC+%D!%6"¤£®«¡cc ¯´VV¤k²z¤¨c§ø¡¢§µ¤ >§©¨LV«¨c§µi° q]¨e²gV§©«°©i§ ®VV¯>£¥¤I«²Ø«é¡¢B ¨e¡¢e³®¡c³®c¯WV«¨cL s ¡¢´Vcª£¥¤cD¨c´¤ ¦§µ3 rQ¡¢®D°©§µ3
äz=¡ V h¡¢c ¦§µ¯´¡¢#« ®¯=²Ø«¬¡¢ ¦§µ¯´¡¢ Ù ®£¥¤ck«°O¯® Ø ®§ø¡¢§©¤ Ä£¥¤ ²Ø«¬¡c ¦§©¯´¡c=£¥¤°µ°©¤ ¦¨¡c®V¤eV\¨¦¯®½«°µ§©3 rf¦§ø¡¢Ä²®e¤²ge¡c§©V¨¦¤£±¡¢eV ¦§©¯´¡c Ù ¯N°±²´³ ³_µ¶²¸· õ ¡¢cW¯®V¤\²z¤¨c§ø¡¢§©¤ æçWÞkýßeÞª Ü J¹ ºX¡)¢ Wî©ó9Þmà ߢÛZcÛ »àÝæcýëÛª¼à ØÛªß îò¼à hÞ íZæé÷ò÷©ÛZíªà îïæéåqæçÔóªê ½ªóþÛªà¥Dó »¶¾#æç îòåzùëVÛ ¿BÛcJù ½Vôkà ØÛDñÛªßáàãîïíZÛZGó À æGç »~à ´ÞàMóVÞà ó ÁÛZó  §
Ã#Ä »¶¾ ¾Þ ²Ø«¬¡¢m¯´VV¤k²z¤¨c§ø¡¢§µ¤ ¡ ) ¡«¨gª£¥¤c Ù ®WV3¯ r;¤²zV¢«é¡¢¤e¨ «eS³®¨c¯'¡¢¤hc½«é¡¢m«h ® ~V3¯ rmz=¡ V '=¡ ¤rz¤³® ®¯Ø«¬V q¨pV ¡¢§µVV¨ Ù ¡{§©¨; ®¤¡9 ´VV¨c¨c«V q%¡c¤ Ve½«¬¡cÔ«¬ k3¯ rdgª=¡ V Ä« \§© ¡¢c Ø«¬3° pV ¡¢2 tm« ´¯ä«g¤³® ®¯Ø«6 q9pe¡¢2 t䫨 ¡c®§©¨M§µ¨ ²z¤¨e¨c§©´°©b ¦§µ¡c «{V¤W®§© ث顢§©¤ m¤£_3¯ rD« ®O¯ pe¡c t=¤²zVc«¬¡¢¤e¨¦¤ m¡¢®z¤³® ®¯Ø«¬V q Ù ¯N°±²´³ ³_µ¶²¸·_ ÖØÛÄÛcùþýëÛÄæZÜØÛªßeÞàæéߢú ` úÜz÷øÞëíZÛZóSÞhåÛ ð½ªæéêëåzùÞßáôhñÛªßáàVÛ ¿ÞàÜØæþóªîòà îïæéå îòå à Øc Û ½ªæéêBåzùÞßáôþúBç½æéߢíªîòåëý;à ØÛ>æé÷øfù ½ªæéêëåzùÞßáô;ñÛªßáàÝVÛ ¿9îòåØàæDà ØÛdîòåØàÛªßáîïæéß]æç¦à ØÛýßcÞªÜ 9Hëîò÷©ÛöÛZÛÝÜzîòåëý ÞåØômíZæéåØåÛZíªàãîòñþîòà ôQàæmVÛ ¿î©óªà îòåëNý ½ªæéêBåzùÞßáôQñÛªßáàãîïíZÛZó Ã Û ½ªÛªºà ÛZÛªå_à æ ½ªæéêBåzùÞßáôkñ۪ߪà îïíZÛZó Þåzaù ¶Ã ÖØÛDñÛªßáàVÛ ¿#æZÜØÛªßeÞàæéߢú úIÜz÷øÞëíZÛZóWÞäåÛ ÐÛcùþýël Ì¥ç]¼à ØÛ{ÛcùþýëÛ;Þ÷ ߢÛcÞùômVÛ ¿î©óªà¥óZú¼à ØÛ{ÛcùþýëÛ9æZÜØÛªßeÞàÝæéß;ùëæþÛZóåæé¼à ëîòåë ýÃ ÖæSýßcÞª Ü Zó îòà qàãߢÛZÛ î ùà × | ú;æJç ½ªæéêBåzùÞßáôaóª8î ¦éÛ ú;ícÞéå ½ªcÛ bµý÷ êØÛcùhàæcýëÛªà ØÛªeß dZîòà à Øg Û f æZÜØÛªßcÞàÝæéߢúícÞ÷ò÷©Ûcù §©eV°©Ô²®°©³®¨ úMà ´ÞàóªîòâÔÜz÷ ôQî ùëÛªåØà î ÁÛZó>ñÛªßáà îïíZÛZTó îòà Ä¼à ØÛÔóVÞâäSÛ ½ªæéêëåzùÞߪô ÷øÞ ½ªÛª8÷ à h-i ækj[l¼°¬· ÖØÛÛcùþýëÛæZÜØÛªßeÞàæéß ÞåzùÔñÛªßáàÝVÛ ¿DæZÜØÛªßeÞàæéßMî©óóþÛZÛªgå ½ªÛª÷©;æ qæéå{à ØÛ0óVÞâäÛ Ë 6½ªæéêëåzùÞßáîïÛcù ýßeÞªÜ Ãýz۪ߪàÝVÛ ¿hæZÜØÛªßcÞàÝæéߢóQÞߢÛWêóþÛcùmàÝæaíªß¢ÛcÞàÝÛ{åÛ _úêBåíZæéåØåÛZíªàÝÛcOù ½ªæéêBåzùÞßáôSñÛªßáà îïíZÛZóÜzê)ó ëîòåëý à ØÛÜzߢ۪ñþîïæéêó9ñÛªßáàÝVÛ ¿=îòåØàÝæSà ØÛ{îòåØàÝÛªßáîïæéß\æç;¼à ØÛ>ýßeÞª Ü Ã+mùþýëÛ\æZÜØÛªßeÞàæéߢó{ÞùùÄåÛ 4íZæéåØåÛZíªà îòñþîòàãô æéåhà ØlÛ ½ªæéêBåzùÞßáô Ã
0
0,1
1
0,2
2
1,2
ØÛ VîòåzÞßáô#æZÜØÛªßeÞàÝæéß fGæéå$à_æ 6½ªæéêëåzùÞßáîïÛcùkýßeÞªÜóanÕÞåzù ü î©ó9îò÷ò÷ êóªà ßeÞàÛcùj½ªÛª÷©æ;MÃg;æéàÝÛ à ´ÞàíZæéâ{âäæéåj½ªæéêëåzùÞßáôkÛcùþýëÛZólÜ îòåaàëî©óWícÞéóþÛZú_àØÛ;ÛcùþýëÛZóT½ªÛªàºÛZÛªå1½ªæéêëåzùÞßáô9ñÛªßáàãîïíZÛZóTäÞåzùfÝ ÞߢÛDߢÛÝÜz÷øÞëíZÛcùvîòà#Þ\óªîòåëý÷©Û9ÛcùþýëÛîòåO onpf ü Ã Ö v½
q MONv
r
s
wxX[Z]ya^Xza{}|6~ WTW^'z}oVYXSya^
t q u r
±¤hgr§© qtB²®°µ¤c§µ 3r1r¢«²®$k9gc¨e®§©²q§© q£ «¬k§µ°©§©¨>¤£btB¯¬¦§©¯´¡csS¨e¡¢«e¡¦§µ¡c$¨ck«°µ° s ¨c§µk²´°©SV«¨c¨kz£¥¤e=«¬¡c¡cV\²´¡¢§µ3 rV¤\²®°µ t \V9zVe¨c®§µ²«C° r¤c§µ¡c®\¨;£¥¤9 rc«²® £ «\§©°©§µV¨D¤£ z¤³® ®¯®k¯ ¦§©¯´¡c Ù ®V¨e9¨c§µk²®°µ;V«¨c¨>«eW ®VV¨e¨¢«6 qh§µ a¡¢®«¬¡]¨e³®3 rc«²®®¨ sOk§µ ®¤e¨«¬ ®¯#¡¢¤²g¤¬ °©¤ r§©V«°g\§© ´¤c¨¦«e>Ø«¨eV¯#¤ Ä¡c®¨c§µk²®°µ]½«¬¨cV¨d°©i§
>²Ø«é¡¢®¨ Ù ¯N°±²´³ ³_µ¶²¸·Q·
îòñÛªåSÞ]ýßeÞª Ü W9ú_ùë¼Û ÁMåÛ ä;« tB²Ø«é¡¢ l¦Þéóà ØÛ¦÷©Ûªåëýà äæçà ØÛ¦â\=¡ ¤=¤²zVc«¬¡¢¤e¨ sL q¯® Ø ®§ø¡¢§©¤ sL½« r ®¤¬¡§© ®c½«¬¨c\«S²Ø«¬¡cq¨e§© ® z¤¡¢'¤²zVc«¬¡¢¤c¨{§© ´®VeV ¡¢8° q$k«
m²®«¬¡¢®¨{¨e®¤ ¡¢V{ q$¯®Vc½«¬¨c§© r¤c¯®{¤9¨ci§ ®Vm¤£k« rc«²® Ù ®{°©«¨e¡¤²zV¢«é¡¢¤äi§ p q=¡ ¤hV¤ ® ®Vª¡¢¬ ¯ pV ¡¢§µVV¨ ÷J v _È¡aÉ ¦®VeJ pe¡c§©V¨ È « ´¯ É k« qrz\V¤ ® ´V¡cV¯ ¡¢¤¤¡c®Vg pe¡¢§µV¨ Ù ¡ È Ø²Ø«¬¡c®V¤ pVm« ´¯ që°©V¤ pV s ®¤ p s3Ve] ®¤¡³®¨c¯ Ù ®V¨e>° «¨ ¡=¡ ¤W£¥³® ´¡¢§µ¤ ®¨ s´«M¨ ÔØ²®«¬¡¢ ¦§©¯B¡¢\« ®¯{¡¢eV ¦§©¯´¡ck«¬ ®¯\«c°µ¤ §©¯®V«°©¨0§µ 9¡¢®\§© ´¤_¤e¯®V0«¨¨cV \§© 9¡¢´²®c¤ë¤£¥¨ Ù ®§µ¨d¡c®V¤e¡c§©½«¬°©i° qS«°©°µ¤ ¦¨¡¢®D³®¨cD¤£¡¢®;«C° r¤c§ø¡¢®\¨§© ¡cc¤ë¯®³®V¯#§µ =¡c®; ´ të¡Ô¨eVª¡¢§©¤ a¡¢¤\z «²®²´°©§©¯q¡c¤h¤´¡¢«§© $«³´¡¢¤ä«¬¡¢«=¡cØ«¬l¡ ¦§µ°©°M¨c²zV§µ£ qqk9zVc¨e®§©²q§© $£ «¬k§µ°©§©¨>¯® ® ®V¯ qq¡c®V¨e ¡=¤k¤²zVc«¬¡¢§µ¤ ®¨ Ù :] ®°©«¨e¡§µ¡cV ®V¯®¨_¡c¤Ôz\V ¡c§©¤ ®¯ ¦§ø¡¢WeV¨e²g¡0¡c¤¡¢´V¤k²®°µ tB§µ=¡ q]§©¨c¨e³®V¨_¤£ØZ®)
ë§µ3 r £¥¤]¨e³®®¨ ¡¢c³´¡¢³´cV¨D¤M£ rc«²®®¨]¡cØ«¬T¡ «¨>½«e°©§µVÔ´§© ¡¢¯q«é¡§© #¡c®Q§© ¡¢e¤B¯®³´¡¢§µ¤ Ù b ¤=° «¨e¨c§µ t´«\²®°µV¨9¤X £ uxwD V¤\²®°µ¡¢ä²®c¤´°©V\¨W§µ¨9¯®V§©¯´§©3 r\V9zVe¨c®§µ²'§©õ ? pe¡c t ¤ pV\« ®¯ £¥V¯®Ø«)
#pe¡¢2 t¨e¡Ô£¥¤]J« rc«²® QÙ ®9V¤k²®°µ tB§µ=¡ qa«e§©¨eVU¨ ¦´V z¤¡¢ « ®¯ #«c;²Ø« ¡ ¤£¡c®ä§µ ®²®³´¡ 1Ù £¡¢®v p«¬°©³®\¤`£ q§µS¨ Ft´¯ s§µ¡;½«¬ %g\¨c´¤ ¦ %¡cØ«¬¡9«°©S° 6qVV¨ §© ®¨ ¡Z« ®V¨9®« p ²Ø«¬¡c ¦§©¯´¡c$¤¡¢eV ¦§µ¯´¡¢$«¬¡;k¤¨ 9¡ Ù ®ä¤k²´°© t²®c¤´°©V ®«¨D¡c®Ve£¥¤eäzV %ZØ«3 rV¯ ¨c³´Za¡¢®«¬¡¦§µ¡¦§µ¨ ®¤ С¢c«¡¢«®°µ>§© m¡¢®z¤³® ®¯´VO¯ ¦§©¯´¡caV«¨c¨ ¨cVZ y{L~ ªÙ ¸ Ò¸>ÆÇGÂm¸ÔÇ0ÆsËW¼Î ¹GÃ#Ç0)À I Ë;Ç_Ë ÉG¸>¼h¸>ÁËDÇ»VÀ\¼ « Ø ®§µ¡cÔ¨e¡¤£ r¢«²®´¨¡¢®«¬¡§µ¨ ¡¢e¤B¯®³´VV¯Ä®c]§µ¨ ¡c®]§µ¯®½«W¤¬£O¡¢® ÁMåØîòàÛDíZæéåëýßáê ÛªåíZÛÔàÛZóªà_óþÛªà s®S c²®c¨c ¡¢«¬¡¢8§ pD¤£«¬°©Ó° r¢«²®´¨¦£¥¤¦«Q¨e²gV8§ Ø;²´c¤®°µV yº@FsÓ|*|*sQz;~ älå °&µ °Iæ
» NQP
µ. ÖØÛâ\ÞñÛªßáàÝVÛ ¿÷øÞ ½ªÛª¼÷ Ü È Ý æéßDñÛªßáàÝVÛ ¿÷øÞ ½ªÛª¼÷ Ü É Ý ÛcùþýëÛ÷øÞ ½ªÛª÷ ¼È¡aÉ omî ç>ñÛªßáàVÛ ¿÷øÞ ½ªÛª¼÷ Ü È Ý/aæéßñ۪ߪàÝVÛ ¿÷øÞ ½ªÛª¼÷ Ü É Ýc ÛcùþýëÛ÷øÞ ½ªÛª÷ ¼È¡aÉ o#æéß î çñÛªßáàÝVÛ ¿÷øÞ ½ªÛª¼÷ Ü È Ý9ñÛªßáàÝVÛ ¿÷øÞ ½ªÛª¼÷ Ü É ÝÍ çáêëßªà ØÛªßáâäæéߢÛZú ¼à ØÛªß¢Ûâ{êóªGà ½ªÛ;Þà ÷©ÛcÞéóªàæéåÛñÛªßáàVÛ ¿aæéß9ÛcùþýëÛ÷øÞ ½ªÛª÷©Ûcù à ¨e§©3 r¡¢®§µ¨ «C° r¤c§µ¡c®3£¥¤MVcV«¬¡¢§µ3 r¡¢V¨ ¡¨e¡c¨ s&½«v rV ´V¢«é¡¢W« Ø ´§µ¡¢¡cV¨e¡¨cª¡«¬M¨ ` ¦§µ°©° ®¤ 4²´c¤ p Ù µÓµ ¡¦¨cµ³ æ\V¨¡c¤\¨e®¤ 4¡¢®«¬¡¦§µ£ ¿¯ ÀaÁ s®¡¢®c tB§µ¨e¡¢¨d« » Ê É Æ ; ¨c³®Z=¡¢Ø«é¡ ÷ Åfë» Ê ; « ´¯ Á/fë»Ê ç ; ¤ Åfë»Ê ç ; « ´¯ Á/fë» Ê ; Ù B§µ ®V ¿¯ ÀgÁ s´¡c®VeD2 tB§©¨e¡c¨dg« r¢«²® Ä ¨c³®Z=¡¢Ø«é²®c¤²ge¡¢§µV¨¦¤£ Ä;Ù ¤ ®¨e§©¯®Ô«¬°©°L¨c³´3 r¢«¬²®®c¨ ñ¤£ éf'Ä ø ñ ¡ ñ ¡¡¢°©3° ¦® k¡¢´Ô«³B¡¢¤k«¬¡Z«>Ø«¬¯k®³´§©°µ¡¡c®¦¯®V¨e§©eV¯ rc«²®®¨ Ù B t®«¬k²®°µQk£¥¤d¡¢®{\V9zVe¨c®§µ²#£¥³® ®ª¡¢§µ¤ ¤£M¡¢®{\§© ´¤²´c¤®°µV# sO«S°µ§µ¡c¡c°©D®§µ¡ \¤c¯®8§ æ\V³´°µ¡¡c¤9¯®V¨eVe§©z]¡¢Ø« S¡c®]¨e³®3 rc«²®Ä²®c¤®°© Ù S¡c®§©¨½«¨e s® ®¤¬¡¤ ®8° q䯮f¤ > ®V¯ ¡¢f¤ ® ®¯m¡¢®>¨e³®3 rc«²® s®´³´¡¦§µ£L¡c®VeD§µ¨«9 që°©T re½«¬¡cV¡cØ«# W¡¢Ø«é¡Ø«¨¦«9Z®¤c¯Ä¤ pVe¡c t=§µ ¡¢´Ô që°©c ¦§ø¡¢ä¯´ reV re½«¬¡cV ¡¢Ø« sB§ø¡§µ¨ ®¤ «W\VWg Ù ®Ô¨c¤°µ³´¡¢§µ¤ \¡cØ«¬Y¡ «¨«cei§ p¯
ôõ+ö&÷Õøöùaú¢ùüûúþýÿö£ýOú ýöQø >ø ±öAö ¢÷ÕùÕú ºöùØú±öQøØø Aö! ø"$# %¢ö ýöQøÚù ö Õö& þ ÷ ÕùAú ' |
¤k«;tB²Ø«¬¡c î Ú e¤®°© e¡¢2 t=²g¤¨c¨c§µ®§©°µ§µ¡c§©V¨ ÷Mø Fsi|*s Iú&s®§ºs® ¯ r²z¤¨c¨e§©®§µ°©§ø¡¢§©¨ ÷ § s´ 3
«zV°I«°µ°\pVe¡c§©V¨d§© =«°©°g²g¤¨c¨c§µ®°©>²zVe9³´¡¢«¬¡¢§µ¤ ®¨ Ù
-
§ | § | §§ |
V °©«®°©§µ 3rW¡c®V¨e;²zVe9³´¡Z«é¡¢§©¤ ®¨q ¯®°©ª¡¢§© rk«¬°©°§µ ¡¢Ve§©¤9e§CfpVe¡c§©V¨« ®¯ e§i{V¯3rV¨`r§ipV¨¡¢®±V¨ ¡¢¨ Ù .
r¢«¬²® sza§µ ®¤« ´¯a±¤²z¤°©*¤ r§©½«¬°Oa§µ ®¤ Ú c¤®°© ¤¡c® §ø¡¢DB³´3 ± V¨ ¡¢¨DcDV°©V«c°8qm«´°©]¡¢¤Qz¯®§ipë§©¯´V¯Ä§© ¡¢¤9¡c®crc¤³®²´¨s®¡¢´¤¨cT¦§µ¡cm¡Z«§µ°©¨§µ Ä¡c®§© ¡¢c§µ¤s ¡c®të¡¢c§©¤¤¡¢®z¤³® ®¯Ø«¬Vq Ù § § | | §§ | >§µ¡cS oc«²® ¡Z«°µ]§© ¡¢c Ø«¬° ¡Z«°µ] të¡¢c Ø«¬° g¤³´ ®¯Ø«6qS¡Z«°µ r;¡¢®§µ¨¨cZ®kL sQW rV ´V¢«é¡¢¡¢®>£¥¤°µ°©¤ ¦§©3 rD¡¢¨e¡¨c¡¦£¥¤G
§ø¡¢>¨c³´3 r¢«¬²®1 ¦®c £ ¤°µ°©¤ ¦§©3 §µ¨¡¢® ³®9zV¦¤£²gc9³B¡Z«¬¡c§©¤ ®¨¤¬£¡cØ«¬¡=¡ që²gD¤£ r¢«¬²®Ä¤ pV¦¡¢®z¤³® ®¯®«V q Ù 0/
/
)(
(
(+,
(+*
(+*
(+*
(+*
(+,
(
(+*
(
(+*
§ ³®c ÷ ¨e¡d¨cª¡Ô2t®«¬k²®°µ Ù
ir
|
(+,
(+*
(+*
(+,
(+*
0 1 2 0,1 0,2 1,2
2
1
0,1
2
0
1
0,2 0,1
2
0,2
2 1
0,1 1,2
0,1 1,2
1,2
1,2 0,1 0,2
1,2 0,1
0,2
0
0
0
0 2
0,1
2
0 1 1,2 0,1 0,2
0,1
0,1 0,2
0
1 0,2 1,2
2 0
1,2
2
0,2 1,2
1
0 1 2
>V ®¢«¬¡cV¯O¦§µ¡c=¡c®>£¥¤°©°µ¤¦§µ 3r;¡cV¨ ¡Ô¨e¡d²g¡¢®D«°ir¤c§ø¡¢® ²®eV¨eV ¡¢¯ ÷ o
(+*
2
1
2
0,2
1,2 0,1 0,2
0
1
0,2
2
2
1,2
1
0
0,1 0,2
0
0 0,2 1,2
1
1,2
(+*
§ ³´c} ÷X ³´¡¢¤k«¬¡¢«W£¥¤ä«t´²®«¬¡¢ lV Q«¬ ®¯Ä²Ø«¬¡¢¦§µ¯´¡¢ lV Ù
Cr
|