ɽ¶«¿Æ¼¼´óѧ±¾¿Æ±ÏÒµÉè¼Æ£¨ÂÛÎÄ£©
ÕÒ¡ªÌõÔö¹ã·¾¶£¬²¢ÔÚÕâÌõÔö¹ã·¾¶ÉÏÔö¼ÓÁ÷Á¿£¬ÓÚÊDZãµÃµ½Ò»¸öеĿÉÐÐÁ÷£¬È»ºóÔÚÕâеĿÉÐÐÁ÷µÄ»ù´¡ÉÏÔÙÕÒÒ»ÌõеÄÔö¹ã·¾¶£¬ÔÙÔö¼ÓÁ÷Á¿¡¡£¬¼ÌÐøÕâ¸ö¹ý³Ì£¬Ò»Ö±µ½ÕÒ²»µ½ÐµÄÔö¹ã·¾¶ÎªÖ¹£¨²Î¼ûÎÄÏ×[2]£©¡£
²ÉÓÃFord-Fulkerson±êºÅ·¨Çó½â×î´óÁ÷ÎÊÌâʱ£¬ÔÚ±êºÅ¹ý³ÌÖУ¬Ò»¸öµã½öÓÐÏÂÁÐÈýÖÖ״̬֮һ£º±êºÅÒѼì²é(ÓбêºÅÇÒËùÓÐÏàÁڵ㶼±êºÅÁË)£»±êºÅδ¼ì²é(ÓбêºÅ£¬µ«Ä³Ð©ÏàÁÚµãδ±êºÅ)£»Î´±êºÅ£¨²Î¼ûÎÄÏ×[6]£©¡£
Ford-Fulkerson±êºÅËã·¨·ÖΪÁ½¸ö¹ý³Ì£ºÒ»ÊDZêºÅ¹ý³Ì£¬Í¨¹ý±êºÅ¹ý³ÌÕÒµ½Ò»ÌõÔö¹ã·¾¶£»¶þÊÇÔö¹ã¹ý³Ì£¬ÑØ×ÅÔö¹ã·¾¶Ôö¼ÓÍøÂçÁ÷Á÷Á¿µÄ¹ý³Ì£¨²Î¼ûÎÄÏ×[18]£©¡£ÏÖÔÚÎÒÃÇ¿¼ÂÇÖ»ÓÐÒ»¸ö·¢µãvsºÍÒ»¸öÊÕµãvtµÄÈÝÁ¿ÍøÂ磬ӦÓÃFord-Fulkerson±êºÅËã·¨Çó½âËüµÄ×î´óÁ÷
3.1.2 Ford-Fulkerson±êºÅ·¨µÄ¾ßÌå²½Öè A:±êºÅ¹ý³Ì
²½Öè0 È·¶¨Ò»³õʼ¿ÉÐÐÁ÷{fij}£¬¿ÉÒÔÊÇÁãÁ÷¡£ ²½Öè1 ¸ø·¢µãvsÒÔ±êºÅ[?,vs]¡£
²½Öè2 Ñ¡ÔñÒ»¸öÒѱêºÅµ«Î´¼ì²éµÄµãvi£¬²¢×÷Èçϼì²é£º
¢Ù ¶Ôÿһ»¡(vi,vj)£¬Èôvjδ¸ø±êºÅ£¬¶øÇÒcij?fijʱ£¬¼´Á÷³öδ±¥ºÍ»¡,¸øvjÒÔ±êºÅ[?j,vi]£»
¢Ú ¶Ôÿһ»¡(vj,vi)£¬Èôvjδ¸ø±êºÅ£¬¶øÇÒfji?0ʱ£¬¼´Á÷Èë·ÇÁãÁ÷»¡£¬¸øvjÒÔ±êºÅ[?j,?vi]£»
??cij?fijÆäÖУº?j?min{?i,?},?????fji10
Èô(vi,vj)ΪÁ÷³öδ±¥ºÍ»¡Èô(vj,vi)ΪÁ÷Èë·ÇÁãÁ÷»¡
ɽ¶«¿Æ¼¼´óѧ±¾¿Æ±ÏÒµÉè¼Æ£¨ÂÛÎÄ£©
²½Öè3 ÖØ¸´²½Öè2Ö±µ½ÊÕµãvt±»±êºÅ£¬»ò²»ÔÙÓж¥µã¿ÉÒÔ±êºÅΪֹ¡£ Èç¹ûµã¸øÁ˱êºÅ˵Ã÷´æÔÚÒ»ÌõÔö¹ã·¾¶£¬¹ÊתÏòÔö¹ã¹ý³ÌB¡£ÈçÈôµãvt²»ÄÜ»ñµÃ±êºÅ£¬¶øÇÒ²»´æÔÚÆäËü¿É±êºÅµÄ¶¥µãʱ£¬Ëã·¨½áÊø£¬ËùµÃµ½µÄÁ÷±ãÊÇ×î´óÁ÷¡£ B£ºÔö¹ã¹ý³Ì
ÓÉÖÕµãvt¿ªÊ¼£¬Ê¹ÓñêºÅµÄµÚ¶þ¸öÔªËØ¹¹ÔìÒ»ÌõÔö¹ã·¾¶?(µãvtµÄ±êºÅµÄµÚ¶þ¸öÔªËØ±íʾÔÚ·Öе¹ÊýµÚ¶þ¸öµãµÄϱ꣬¶øÕâµÚ¶þ¸öµãµÄ±êºÅµÄµÚ¶þ¸öÔªËØ±íʾµ¹ÊýµÚÈý¸öµãµÄϱêµÈµÈ)£¬ÔÚ?ÉÏ×÷µ÷ÕûµÃеĿÉÐÐÁ÷
{fij}£¬(±êºÅµÄµÚ¶þ¸öÔªËØµÄÕý¸ººÅ±íʾͨ¹ýÔö¼Ó»ò¼õÉÙ»¡Á÷À´Ôö´óÁ÷Öµ)¡£Áî?Ϊvt±êºÅµÄµÚÒ»¸öÔªËØµÄÖµ£¬×÷
?fij??(vi,vj)ÊÇ?ÉÏǰÏò»¡??fij??fij??(vj,vi)ÊÇ?ÉϺóÏò»¡???fijÆäËü
ÒÔеĿÉÐÐÁ÷{fij}´úÌæÔÀ´µÄ¿ÉÐÐÁ÷£¬È¥µôËùÓбêºÅ£¬×ª±êºÅ¹ý³ÌµÄ²½Öè1¡£
²ÉÓÃFord-Fulkerson±êºÅËã·¨Çó½â×î´óÁ÷ÎÊÌ⣬ͬʱµÃµ½Ò»¸ö×îС¸î¼¯¡£×îС¸î¼¯µÄÒâÒåÊÇ£ºÍøÂç´Ó·¢µãµ½ÊÕµãµÄ¸÷¸öͨ·ÖУ¬ÓÉÈÝÁ¿¾ö¶¨Æäͨ¹ýÄÜÁ¦£¬Í¨³£ÎÒÃǽ«×îС¸î¼¯ÐÎÏ󵨳ÆÎªÕâЩͨ·µÄÑÊºí²¿·Ö£¬»ò½Ð×ö¡°Æ¿¾±¡±£¬Ëü¾ö¶¨ÁËÕû¸öÍøÂçµÄͨ¹ýÄÜÁ¦£¬¼´×îС¸î¼¯µÄÈÝÁ¿µÄ´óСӰÏì×ܵÄÁ÷Á¿µÄÌá¸ß¡£Òò´Ë£¬ÎªÌá¸ß×ܵÄÁ÷Á¿£¬±ØÐëÊ×ÏÈ¿¼ÂǸÄÉÆ×îС¸î¼¯Öи÷С»¡µÄÁ÷Á¿£¬Ìá¸ßËüÃǵÄͨ¹ýÄÜÁ¦£¨²Î¼ûÎÄÏ×[14]£©¡£
11
ɽ¶«¿Æ¼¼´óѧ±¾¿Æ±ÏÒµÉè¼Æ£¨ÂÛÎÄ£©
3.2 Edmonds-KarpÐÞÕýËã·¨
Ford-Fulkerson±êºÅËã·¨ÀíÂÛÉÏ´æÔÚ×ÅÑÏÖØµÄÈõµã£¬ÒÔÏÂͼ3.2.1ΪÀý¸÷±ßÉϵÄȨÊÇËüÃǵÄÈÝÁ¿£¬Æä×î´óÁ÷Á÷Á¿Îª2m£¬ÈôÔö¹ã·¾¶Ñ¡ÔñµÃ²»ºÃ,¼´½»ÌæµØ²ÉÓÃsabeftºÍsdebct×÷ΪÔö¹ã·¾¶£¬Ôòÿ´ÎÔö¹ãÖ»ÄÜʹ×ܵÄÁ÷Á¿Ôö¼Ó1,µ±³õʼÁ÷ѡΪÁãÁ÷£¬ÎÞÒÉÐè×÷2m?1´ÎµÄÔö¼ÓÁ÷Á¿²ÅÄÜʹ֮´ïµ½×î´ó£¬¿É¼ûFord-FulkersonËã·¨µÄʱ¼ä¸´ÔӶȲ»½öÒÀÀµÓÚÍøÂçµÄ¹æÄ£(¼´ÒÀÀµÓÚÍøÂçµãÊýºÍ±ßÊý)£¬»¹ºÍ¸÷±ßµÄÈÝÁ¿ÓйØ,¶øÈÝÁ¿¿ÉÒÔÊÇÈÎÒâµÄÕýÕûÊý¡£Èçͼ3.2.1ÖУ¬µ±sabeftºÍsdebct½»Ìæ×÷ΪÔö¹ã·¾¶Ê±£¬be»¡½»ÌæµØÒÔǰÏò»¡ºÍºóÏò»¡³öÏÖ¡£ÀûÓÃFord-FulkersonËã·¨Çó½â¾ÍºÜÂé·³ÁË£¨²Î¼ûÎÄÏ×[8]£©¡£
¶ÔÓÚFord-FulkersonËã·¨,ÓÉÓÚÔö¹ã·¾¶Ñ¡È¡µÄÈÎÒâÐÔÔì³ÉÁ˸ÃËã·¨²»ÊǺÃËã·¨£¬EdmondsºÍKarp¶ÔFord-FulkersonËã·¨×÷ÐÞÕý£¬¿É¸ÅÀ¨ÎªÒ»¾ä»°£º¡°Ïȸø±êºÅµÄÏÈɨÃ衱¡£ËüµÄÒâ˼ÊǶÔÒѸø±êºÅµÄ¶¥µãv½øÐÐɨÃèʱ£¬ÏȶÔËùÓкÍvÁÚ½ÓµÄδ¸ø±êºÅµÄ¶¥µã¸øÓè±êºÅ¡£¾ßÌåµÄ˵ͼ3.2.1µÄÀý×Ó£¬¶¥µãsÏȱê¼Ç£¬ËùÒÔÓ¦¸ÃÏÈɨÃ裬Òò´Ë±ÜÃâÁËFord-FulkersonËã·¨ÄÇÑù½»ÌæµØ³öÏÖsabeft,sdebctµÄÇé¿ö£¬Ò²¾Í±ÜÃâÁËbe»¡½»ÌæµØÒÔǰÏò»¡ºÍºóÏò»¡À´»ØÒ¡°ÚµÄ¾ÖÃæ¡£ËùÒÔEdmonds-KarpµÄÐÞÕýʵÖÊÊǶԶ¥µã¸ø±ê¼Ç¹ý³Ì²ÉÓÃÁË¡°¿í¶ÈÓÅÏÈ¡±²ßÂÔ¡£Ê¹µÃÁ÷Á¿Ôö¼Ó×ÜÊÇÑØ×ÅÒ»Ìõ³¤¶È×î¶ÌµÄ·¾¶´ÓsÁ÷ÏòtµÄ£¨²Î¼ûÎÄÏ×[3]£©¡£
s m m d 12 a m m b m c m 1 m e ͼ3.2.1 m f t ɽ¶«¿Æ¼¼´óѧ±¾¿Æ±ÏÒµÉè¼Æ£¨ÂÛÎÄ£©
ÏÖÔÚÎÒÃÇÈÔ¿¼ÂÇÖ»ÓÐÒ»¸ö·¢µãvsºÍÒ»¸öÊÕµãvtµÄÍøÂçͼ£¬Edmonds-KarpÐÞÕýËã·¨µÄÖ÷Òª²½ÖèÊÇ£º ¢Ù È·¶¨Ò»³õʼ¿ÉÐÐÁ÷{fij}£¬ÆäÁ÷Á¿W(f)¡£
¢Ú ¼ìÑ鵱ǰËùÈ·¶¨¿ÉÐÐÁ÷ÊÇ·ñÊÇÍøÂçÖеÄ×î´óÁ÷£¬Èô²»ÊÇ£¬Ðè½øÒ»²½µ÷Õû
(¼ìÑéÒ»¸ö¿ÉÐÐÁ÷ÊÇ·ñΪ×î´óÁ÷¡£Ö»Òª¼ì²éһϵ±Ç°¿ÉÐÐÁ÷ÊÇ·ñ»¹´æÔÚÔö¹ã·¾¶£¬Èô´æÔÚ£¬Ôò˵Ã÷µ±Ç°¿ÉÐÐÁ÷»¹²»ÊÇ×î´óÁ÷£¬·ñÔòÊÇ×î´óÁ÷)¡£ ¢Û ½«µ±Ç°µÄ¿ÉÐÐÁ÷µ÷Õû³ÉÒ»¸öÁ÷Á¿¸ü´óµÄпÉÐÐÁ÷£¬ÔÙÓÉ¢Ú¼ìÑé¡£
ͬÑùµØ£¬ÎÒÃÇͨ³£Óù۲취ȷ¶¨ÍøÂçµÄ¡ª¸ö³õʼ¿ÉÐÐÁ÷¡£¶ÔÓÚ½ÏΪ¸´ÔÓµÄÍøÂ磬ÖÁÉÙÄܰѳõʼ¿ÉÐÐÁ÷ȡΪÁãÁ÷¡£Í¨¹ýÔÚÍøÂçÉϱêºÅµÄ·½·¨ÄÜϵͳµØÑ°ÕÒ³öµ±Ç°¿ÉÐÐÁ÷µÄÔö¹ã·¾¶£¬ËüµÄ»ù±¾Ë¼ÏëÊÇ£º´ÓÆðµãvsÆð£¬Öð²½Ñ°ÕÒvsÖÁ¸÷µãvi¼äµÄÔö¹ã·¾¶£¬ÈôÄÜÕÒµ½vsÖÁviµÄÒ»ÌõÔö¹ã·¾¶£¬Ôò¸øµãvi±êºÅ[?i,?i]£¨ÆäÖеÚÒ»¸ö±êºÅ?i¼´ÎªvsÖÁviÕâÌõÔö¹ã·¾¶ÉϵÄ×î´ó¿Éµ÷ÕûÁ¿£¬µÚ¶þ¸ö±êºÅ?iÔò±íʾÕâÌõ¿ÉÐÐÁ÷ÉϵãviµÄǰһµãÊÇ?iµã£©¡£¸ù¾Ý±êºÅ¿É·´Ïò×·×Ù¶øÐ´³öÕâÌõÔö¹ã·¾¶¡£ÔÚÖð²½À©´óÒѱêºÅµÄ¹ý³ÌÖУ¬Ò»µ©ÖÕµãvt±êÉϺţ¬±íʾÒÑÕÒµ½Ò»ÌõÓÉvsÖÁvtµÄÔö¹ã·¾¶¡£·´Ö®£¬Èç¹û±êºÅ¹ý³Ì½øÐÐÖÁijһ²½ÖÐÖ¹ÁË£¬¶øvtÉÐδ±êºÅ£¬Ôò±íÃ÷¶Ôµ±Ç°µÄ¿ÉÐÐÁ÷£¬ÍøÂçÖв»´æÔÚÈκÎÔö¹ã·¾¶¡£µ±Ç°¿ÉÐÐÁ÷¼´Îª×î´óÁ÷¡£Edmonds-KarpÐÞÕýËã·¨µÄ¾ßÌå²½ÖèÈçÏ£º
¢Ù ¸ø·¢µãvs±êºÅ[?,vs]£¬º¬ÒåΪvsÖÁvsµÄÔö¹ã·¾¶ÒÑÕÒµ½£¬Ç°Ò»µãΪvs£¬ÕâÌõÔö¹ã·¾¶Éϵĵ÷ÕûÁ¿Îª?¡£Ñ¡Óëvs¹ØÁªµÄ´ÓvsÁ÷³öµÄδ±¥ºÍ»¡
13
ɽ¶«¿Æ¼¼´óѧ±¾¿Æ±ÏÒµÉè¼Æ£¨ÂÛÎÄ£©
(vs,vi)»òÁ÷ÈëvsµÄ·ÇÁãÁ÷»¡(vi,vs)£¬¸øvi±êºÅ[?i,vs] (¶ÔÓÚÁ÷³ö»¡)»ò
[?i,?vs] (¶ÔÓÚÁ÷È뻡)¡£
??csi?fsiÈô(vs,vi)ΪÁ÷³öδ±¥ºÍ»¡ÆäÖУº?i??
??fsiÈô(vi,vs)ΪÁ÷Èë·ÇÁ㻡¢Ú ½«¶¥µã¼¯·ÖΪ»¥²¹µÄ¶þ¸öµã¼¯S¡¢S£¬ÆäÖÐSΪÒѱêºÅµã¼¯£¬SΪδ±êºÅµã¼¯£»
¢Û ¿¼ÂÇËùÓÐÕâÑùµÄ»¡(vi,vj)»ò(vj,vi)£¬ÆäÖÐvi?S,vj?S¡£Èô»¡(vi,vj)Ϊ´ÓviÁ÷³öµÄδ±¥ºÍ»¡£¬Ôò¸øvj±êºÅ[?j,vi]¡£ÆäÖÐ?j?min{?i,cij?fij}£»Èô»¡(vj,vi)ΪÁ÷ÈëviµÄ·ÇÁãÁ÷»¡£¬Ôò¸øvj±êºÅ[?j,?vi]¡£ÆäÖÐ
?j?min{?i,fij}¡£ÒÀ´Ë½øÐУ¬µÃµ½µÄ½á¹ûÊÇ£º
(a)S??£¬ËµÃ÷ÍøÂçÖдæÔÚÔö¹ã·¾¶?£¬ÔòÓɱêºÅµã·´Ïò×·×ÙÕÒ³ö?£¬×ªµÚ¢Ü²½£»
(b)S??£¬±êºÅÒѽøÐв»ÏÂÈ¥£¬ËµÃ÷¶ÔÓÚµ±Ç°¿ÉÐÐÁ÷¡£ÍøÂçÖÐÒÑÎÞеÄÔö¹ã·¾¶£¬µ±Ç°¿ÉÐÐÁ÷¼´Îª×î´óÁ÷£¬Í¬Ê±µÃµ½×îС¸î¼¯(S,S)¡£
?fij????¢Ü µ÷Õû¹ý³Ì£ºÈ¡??min{?j}£¬Áîfij??fij??vj?????fij(vi,vj)ÊÇ?ÉÏǰÏò»¡(vj,vi)ÊÇ?ÉϺóÏò»¡ ÆäËüµÃµ½Ð¿ÉÐÐÁ÷{fij}£¬Á÷Á¿W(f)?W(f)??£¬¼´±ÈÔ¿ÉÐÐÁ÷Á÷Á¿Ôö¼ÓÁË?£¬ÔÙת¢Ù²½¡£
ÓÃEdmonds-KarpÐÞÕýËã·¨Çó½â×î´óÁ÷ÎÊÌâʱ£¬Ò²¿ÉÒԵõ½Ò»¸ö×îС¸î¼¯¡£×îС¸î¼¯µÄÒâÒåͬFord-FulkersonËã·¨µÃµ½µÄ×îС¸î¼¯µÄÒâÒåÏàͬ¡£
14
Ïà¹ØÍÆ¼ö£º