Đồ thị và các thuật toán - Chương 1 potx

http://www.ebook.edu.vn Mu . c lu . c L`o . i n´oi d¯ˆa ` u 7 1 D - a . i cu . o . ng vˆe ` d¯ˆo ` thi . 9 1.1 D - i . nh ngh˜ıa v`a c´ac kh´ai niˆe . m . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.1.1 D - ˆo ` thi . c´o hu . ´o . ng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.1.2 D - ˆo ` thi . v`a ´anh xa . d¯a tri . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.1.3 D - ˆo ` thi . vˆo hu . ´o . ng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.1.4 C´ac d¯i . nh ngh˜ıa ch´ınh . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.2 Ma trˆa . n biˆe ˙’ u diˆe ˜ n d¯ˆo ` thi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.2.1 Ma trˆa . n liˆen thuˆo . c d¯ı ˙’ nh-cung . . . . . . . . . . . . . . . . . . . . . . 13 1.2.2 Ma trˆa . n liˆen thuˆo . c d¯ı ˙’ nh-ca . nh . . . . . . . . . . . . . . . . . . . . . . 15 1.2.3 Ma trˆa . n kˆe ` hay ma trˆa . n liˆen thuˆo . c d¯ı ˙’ nh-d¯ı ˙’ nh . . . . . . . . . . . . . 17 1.2.4 C´ac biˆe ˙’ u diˆe ˜ n cu ˙’ a d¯ˆo ` thi . . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.3 T´ınh liˆen thˆong . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 1.3.1 Dˆay chuyˆe ` n v`a chu tr`ınh . . . . . . . . . . . . . . . . . . . . . . . . . 23 1.3.2 D - u . `o . ng d¯i v`a ma . ch . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 1.3.3 T´ınh liˆen thˆong . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 1 http://www.ebook.edu.vn 1.3.4 Cˆa ` u, k−liˆen thˆong . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 1.3.5 D - ˆo ` thi . liˆen thˆong ma . nh . . . . . . . . . . . . . . . . . . . . . . . . . . 31 1.4 Pha . m vi v`a liˆen thˆong ma . nh . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 1.4.1 Ma trˆa . n pha . m vi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 1.4.2 T`ım c´ac th`anh phˆa ` n liˆen thˆong ma . nh . . . . . . . . . . . . . . . . . . 36 1.4.3 Co . so . ˙’ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 1.5 D - ˇa ˙’ ng cˆa ´ u cu ˙’ a c´ac d¯ˆo ` thi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 1.5.1 1−d¯ˇa ˙’ ng cˆa ´ u . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 1.5.2 2−d¯ˇa ˙’ ng cˆa ´ u . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 1.6 C´ac d¯ˆo ` thi . d¯ˇa . c biˆe . t . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 1.6.1 D - ˆo ` thi . khˆong c´o ma . ch . . . . . . . . . . . . . . . . . . . . . . . . . . 46 1.6.2 D - ˆo ` thi . phˇa ˙’ ng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 2 C´ac sˆo ´ co . ba ˙’ n cu ˙’ a d¯ˆo ` thi . 49 2.1 Chu sˆo ´ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 2.2 Sˇa ´ c sˆo ´ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 2.2.1 C´ach t`ım sˇa ´ c sˆo ´ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 2.3 Sˆo ´ ˆo ˙’ n d¯i . nh trong . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 2.4 Sˆo ´ ˆo ˙’ n d¯i . nh ngo`ai . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 2.5 Phu ˙’ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 2.6 Nhˆan cu ˙’ a d¯ˆo ` thi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 2.6.1 C´ac d¯i . nh l´y vˆe ` tˆo ` n ta . i v`a duy nhˆa ´ t . . . . . . . . . . . . . . . . . . . 69 2.6.2 Tr`o cho . i Nim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 2 http://www.ebook.edu.vn 3 C´ac b`ai to´an vˆe ` d¯u . `o . ng d¯i 75 3.1 D - u . `o . ng d¯i gi˜u . a hai d¯ı ˙’ nh . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 3.1.1 D - u . `o . ng d¯i gi˜u . a hai d¯ı ˙’ nh . . . . . . . . . . . . . . . . . . . . . . . . . 75 3.1.2 D - ˆo ` thi . liˆen thˆong ma . nh . . . . . . . . . . . . . . . . . . . . . . . . . . 76 3.2 D - u . `o . ng d¯i ngˇa ´ n nhˆa ´ t gi˜u . a hai d¯ı ˙’ nh . . . . . . . . . . . . . . . . . . . . . . . 78 3.2.1 Tru . `o . ng ho . . p ma trˆa . n tro . ng lu . o . . ng khˆong ˆam . . . . . . . . . . . . . . 78 3.2.2 Tru . `o . ng ho . . p ma trˆa . n tro . ng lu . o . . ng tu`y ´y . . . . . . . . . . . . . . . . . 82 3.3 D - u . `o . ng d¯i ngˇa ´ n nhˆa ´ t gi˜u . a tˆa ´ t ca ˙’ c´ac cˇa . p d¯ı ˙’ nh . . . . . . . . . . . . . . . . . 87 3.3.1 Thuˆa . t to´an Hedetniemi (tru . `o . ng ho . . p ma trˆa . n tro . ng lu . o . . ng khˆong ˆam) 88 3.3.2 Thuˆa . t to´an Floyd (tru . `o . ng ho . . p ma trˆa . n tro . ng lu . o . . ng tu`y ´y) . . . . . . 93 3.4 Ph´at hiˆe . n ma . ch c´o d¯ˆo . d`ai ˆam . . . . . . . . . . . . . . . . . . . . . . . . . . 96 3.4.1 Ma . ch tˆo ´ i u . u trong d¯ˆo ` thi . c´o hai tro . ng lu . o . . ng . . . . . . . . . . . . . . 96 4 C ˆ AY 99 4.1 Mo . ˙’ d¯ˆa ` u . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 4.2 Cˆay Huffman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 4.2.1 C´ac bˆo . m˜a “tˆo ´ t” . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 4.2.2 M˜a Huffman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 4.3 Cˆay bao tr`um . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 4.3.1 Thuˆa . t to´an t`ım kiˆe ´ m theo chiˆe ` u rˆo . ng x´ac d¯i . nh cˆay bao tr`um . . . . . 107 4.3.2 Thuˆa . t to´an t`ım kiˆe ´ m theo chiˆe ` u sˆau x´ac d¯i . nh cˆay bao tr`um . . . . . 107 4.3.3 T`ım cˆay bao tr`um du . . a trˆen hai ma ˙’ ng tuyˆe ´ n t´ınh . . . . . . . . . . . 108 4.3.4 Thuˆa . t to´an t`ım tˆa ´ t ca ˙’ c´ac cˆay bao tr`um . . . . . . . . . . . . . . . . 112 4.3.5 Hˆe . co . so . ˙’ cu ˙’ a c´ac chu tr`ınh d¯ˆo . c lˆa . p . . . . . . . . . . . . . . . . . . . 112 3 http://www.ebook.edu.vn 4.4 Cˆay bao tr`um tˆo ´ i thiˆe ˙’ u . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 4.4.1 Thuˆa . t to´an Kruskal . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 4.4.2 Thuˆa . t to´an Prim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 4.4.3 Thuˆa . t to´an Dijkstra-Kevin-Whitney . . . . . . . . . . . . . . . . . . 121 4.5 B`ai to´an Steiner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122 5 B`ai to´an Euler v`a b`ai to´an Hamilton 127 5.1 B`ai to´an Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 5.1.1 Thuˆa . t to´an t`ım dˆay chuyˆe ` n Euler . . . . . . . . . . . . . . . . . . . . 129 5.2 B`ai to´an ngu . `o . i d¯u . a thu . Trung Hoa . . . . . . . . . . . . . . . . . . . . . . . 131 5.3 B`ai to´an Hamilton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135 5.3.1 C´ac d¯iˆe ` u kiˆe . n cˆa ` n d¯ˆe ˙’ tˆo ` n ta . i chu tr`ınh Hamilton . . . . . . . . . . . . 138 5.3.2 C´ac d¯iˆe ` u kiˆe . n d¯u ˙’ vˆe ` su . . tˆo ` n ta . i chu tr`ınh Hamilton . . . . . . . . . . 139 5.3.3 C´ac d¯iˆe ` u kiˆe . n d¯u ˙’ vˆe ` su . . tˆo ` n ta . i ma . ch Hamilton . . . . . . . . . . . . . 142 6 D - ˆo ` thi . phˇa ˙’ ng 149 6.1 D - i . nh ngh˜ıa v`a c´ac v´ı du . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149 6.2 C´ac biˆe ˙’ u diˆe ˜ n kh´ac nhau cu ˙’ a mˆo . t d¯ˆo ` thi . phˇa ˙’ ng . . . . . . . . . . . . . . . . 151 6.3 C´ac t´ınh chˆa ´ t cu ˙’ a d¯ˆo ` thi . phˇa ˙’ ng . . . . . . . . . . . . . . . . . . . . . . . . . 154 6.4 Ph´at hiˆe . n t´ınh phˇa ˙’ ng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157 6.4.1 Kiˆe ˙’ m tra t´ınh phˇa ˙’ ng . . . . . . . . . . . . . . . . . . . . . . . . . . . 161 6.5 D - ˆo ´ i ngˆa ˜ u h`ınh ho . c . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167 6.6 D - ˆo ´ i ngˆa ˜ u tˆo ˙’ ho . . p . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170 7 Ma . ng vˆa . n ta ˙’ i 173 4 http://www.ebook.edu.vn 7.1 Mo . ˙’ d¯ˆa ` u . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173 7.2 B`ai to´an luˆo ` ng l´o . n nhˆa ´ t . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174 7.2.1 Thuˆa . t to´an g´an nh˜an d¯ˆe ˙’ t`ım luˆo ` ng l´o . n nhˆa ´ t . . . . . . . . . . . . . . 180 7.2.2 D - ˆo ` thi . d¯iˆe ` u chı ˙’ nh luˆo ` ng . . . . . . . . . . . . . . . . . . . . . . . . . . 181 7.2.3 Phˆan t´ıch luˆo ` ng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182 7.3 C´ac ca ˙’ i biˆen d¯o . n gia ˙’ n cu ˙’ a b`ai to´an luˆo ` ng l´o . n nhˆa ´ t . . . . . . . . . . . . . . . 183 7.3.1 C´ac d¯ˆo ` thi . c´o nhiˆe ` u nguˆo ` n v`a nhiˆe ` u d¯´ıch . . . . . . . . . . . . . . . . 183 7.3.2 C´ac d¯ˆo ` thi . v´o . i r`ang buˆo . c ta . i c´ac cung v`a d¯ı ˙’ nh . . . . . . . . . . . . . 184 7.3.3 C´ac d¯ˆo ` thi . c´o cˆa . n trˆen v`a cˆa . n du . ´o . i vˆe ` luˆo ` ng . . . . . . . . . . . . . . 185 7.4 Luˆo ` ng v´o . i chi ph´ı nho ˙’ nhˆa ´ t . . . . . . . . . . . . . . . . . . . . . . . . . . . 186 7.4.1 Thuˆa . t to´an Klein, Busacker, Gowen . . . . . . . . . . . . . . . . . . . 186 7.5 Cˇa . p gh´ep . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189 7.5.1 C´ac b`ai to´an vˆe ` cˇa . p gh´ep . . . . . . . . . . . . . . . . . . . . . . . . 189 7.5.2 Cˇa . p gh´ep l´o . n nhˆa ´ t trong d¯ˆo ` thi . hai phˆa ` n . . . . . . . . . . . . . . . . 192 7.5.3 Cˇa . p gh´ep ho`an ha ˙’ o trong d¯ˆo ` thi . hai phˆa ` n . . . . . . . . . . . . . . . 193 A Thu . viˆe . n Graph.h 197 T`ai liˆe . u tham kha ˙’ o 209 5 http://www.ebook.edu.vn 6 http://www.ebook.edu.vn L`o . i n´oi d¯ˆa ` u Trong thu . . c tˆe ´ d¯ˆe ˙’ miˆeu ta ˙’ mˆo . t sˆo ´ t`ınh huˆo ´ ng ngu . `o . i ta thu . `o . ng biˆe ˙’ u thi . bˇa ` ng mˆo . t h`ınh a ˙’ nh gˆo ` m c´ac d¯iˆe ˙’ m (c´ac d¯ı ˙’ nh)-biˆe ˙’ u diˆe ˜ n c´ac thu . . c thˆe ˙’ -v`a v˜e c´ac d¯oa . n thˇa ˙’ ng nˆo ´ i cˇa . p c´ac d¯ı ˙’ nh biˆe ˙’ u diˆe ˜ n mˆo ´ i quan hˆe . gi˜u . a ch´ung. Nh˜u . ng h`ınh nhu . thˆe ´ thu . `o . ng go . i l`a c´ac d¯ˆo ` thi . . Mu . c d¯´ıch cu ˙’ a gi´ao tr`ınh n`ay cung cˆa ´ p nh˜u . ng kiˆe ´ n th´u . c co . ba ˙’ n d¯ˆe ˙’ nghiˆen c´u . u c´ac d¯ˆo ` thi . . C´ac d¯ˆo ` thi . xuˆa ´ t hiˆe . n trong nhiˆe ` u l˜ınh vu . . c v´o . i c´ac tˆen go . i kh´ac nhau: “cˆa ´ u tr´uc” trong cˆong tr`ınh xˆay du . . ng, “ma . ch” trong d¯iˆe . n tu . ˙’ , “lu . o . . c d¯ˆo ` quan hˆe . ”, “cˆa ´ u tr´uc truyˆe ` n thˆong”, “cˆa ´ u tr´uc tˆo ˙’ ch´u . c” trong x˜a hˆo . i v`a kinh tˆe ´ , “cˆa ´ u tr´uc phˆan tu . ˙’ ” trong ho´a ho . c, vˆan vˆan. Do nh˜u . ng ´u . ng du . ng rˆo . ng r˜ai cu ˙’ a n´o trong nhiˆe ` u l˜ınh vu . . c, c´o rˆa ´ t nhiˆe ` u nghiˆen c´u . u xung quanh l´y thuyˆe ´ t d¯ˆo ` thi . trong nh˜u . ng nˇam gˆa ` n d¯ˆay; mˆo . t nhˆan tˆo ´ chu ˙’ yˆe ´ u g´op phˆa ` n th´uc d¯ˆa ˙’ y su . . ph´at triˆe ˙’ n d¯´o l`a xuˆa ´ t hiˆe . n c´ac m´ay t´ınh l´o . n c´o thˆe ˙’ thu . . c hiˆe . n nhiˆe ` u ph´ep to´an v´o . i tˆo ´ c d¯ˆo . rˆa ´ t nhanh. Viˆe . c biˆe ˙’ u diˆe ˜ n tru . . c tiˆe ´ p v`a chi tiˆe ´ t c´ac hˆe . thˆo ´ ng thu . . c tˆe ´ , chˇa ˙’ ng ha . n c´ac ma . ng truyˆe ` n thˆong, d¯˜a d¯u . a d¯ˆe ´ n nh˜u . ng d¯ˆo ` thi . c´o k´ıch thu . ´o . c l´o . n v`a viˆe . c phˆan t´ıch th`anh cˆong hˆe . thˆo ´ ng phu . thuˆo . c rˆa ´ t nhiˆe ` u v`ao c´ac thuˆa . t to´an “tˆo ´ t” c˜ung nhu . kha ˙’ nˇang cu ˙’ a m´ay t´ınh. Theo d¯´o, gi´ao tr`ınh n`ay s˜e tˆa . p trung v`ao viˆe . c ph´at triˆe ˙’ n v`a tr`ınh b`ay c´ac thuˆa . t to´an d¯ˆe ˙’ phˆan t´ıch c´ac d¯ˆo ` thi . . C´ac phu . o . ng ph´ap phˆan t´ıch v`a thiˆe ´ t kˆe ´ c´ac thuˆa . t to´an trong gi´ao tr`ınh cho ph´ep sinh viˆen c´o thˆe ˙’ viˆe ´ t dˆe ˜ d`ang c´ac chu . o . ng tr`ınh minh ho . a. Gi´ao tr`ınh d¯u . o . . c biˆen soa . n cho c´ac d¯ˆo ´ i tu . o . . ng l`a sinh viˆen To´an-Tin v`a Tin ho . c. Gi´ao tr`ınh su . ˙’ du . ng ngˆon ng˜u . C d¯ˆe ˙’ minh ho . a, tuy nhiˆen c´o thˆe ˙’ dˆe ˜ d`ang chuyˆe ˙’ n d¯ˆo ˙’ i sang c´ac ngˆon ng˜u . kh´ac; v`a do d¯´o, sinh viˆen cˆa ` n c´o mˆo . t sˆo ´ kiˆe ´ n th´u . c vˆe ` ngˆon ng˜u . C. Ngo`ai ra, hˆa ` u hˆe ´ t c´ac chu . o . ng tr`ınh thao t´ac trˆen cˆa ´ u tr´uc d˜u . liˆe . u nhu . danh s´ach liˆen kˆe ´ t, nˆen d¯`oi ho ˙’ i sinh viˆen pha ˙’ i c´o nh˜u . ng k˜y nˇang lˆa . p tr`ınh tˆo ´ t. Gi´ao tr`ınh bao gˆo ` m ba ˙’ y chu . o . ng v`a mˆo . t phˆa ` n phu . lu . c v´o . i nh˜u . ng nˆo . i dung ch´ınh nhu . sau: • Chu . o . ng th´u . nhˆa ´ t tr`ınh b`ay nh˜u . ng kh´ai niˆe . m cˇan ba ˙’ n vˆe ` d¯ˆo ` thi . . • Chu . o . ng 2 tr`ınh b`ay nh˜u . ng sˆo ´ co . ba ˙’ n cu ˙’ a d¯ˆo ` thi . . ´ Y ngh˜ıa thu . . c tiˆe ˜ n cu ˙’ a c´ac sˆo ´ n`ay. 7 http://www.ebook.edu.vn • Chu . o . ng 3 t`ım hiˆe ˙’ u b`ai to´an t`ım d¯u . `o . ng d¯i ngˇa ´ n nhˆa ´ t. • Chu . o . ng 4 d¯ˆe ` cˆa . p d¯ˆe ´ n kh´ai niˆe . m vˆe ` cˆay. ´ U . ng du . ng cu ˙’ a cˆay Huffman trong n´en d˜u . liˆe . u. Ngo`ai ra xˆay du . . ng c´ac thuˆa . t to´an t`ım cˆay bao tr`um nho ˙’ nhˆa ´ t. • B`ai to´an Euler v`a b`ai to´an Hamilton v`a nh˜u . ng mo . ˙’ rˆo . ng cu ˙’ a ch´ung s˜e d¯u . o . . c n´oi d¯ˆe ´ n trong Chu . o . ng 5. • Chu . o . ng 6 nghiˆen c´u . u c´ac t´ınh chˆa ´ t phˇa ˙’ ng cu ˙’ a d¯ˆo ` thi . ; v`a cuˆo ´ i c`ung • Chu . o . ng 7 t`ım hiˆe ˙’ u c´ac b`ai to´an trˆen ma . ng vˆa . n ta ˙’ i. Ngo`ai ra, phˆa ` n phu . lu . c tr`ınh b`ay c´ac cˆa ´ u tr´uc d˜u . liˆe . u v`a nh˜u . ng thu ˙’ tu . c cˆa ` n thiˆe ´ t d¯ˆe ˙’ d¯o . n gia ˙’ n ho´a c´ac d¯oa . n chu . o . ng tr`ınh minh ho . a c´ac thuˆa . t to´an d¯u . o . . c tr`ınh b`ay. Gi´ao tr`ınh d¯u . o . . c biˆen soa . n lˆa ` n d¯ˆa ` u tiˆen nˆen khˆong tr´anh kho ˙’ i kh´a nhiˆe ` u thiˆe ´ u s´ot. T´ac gia ˙’ mong c´o nh˜u . ng d¯´ong g´op t`u . ba . n d¯o . c. Tˆoi xin ca ˙’ m o . n nh˜u . ng gi´up d¯˜o . d¯˜a nhˆa . n d¯u . o . . c t`u . nhiˆe ` u ngu . `o . i m`a khˆong thˆe ˙’ liˆe . t kˆe hˆe ´ t, d¯ˇa . c biˆe . t l`a c´ac ba . n sinh viˆen, trong qu´a tr`ınh biˆen soa . n gi´ao tr`ınh n`ay. D - `a La . t, ng`ay 5 th´ang 3 nˇam 2002 PHA . M Tiˆe ´ n So . n 8 http://www.ebook.edu.vn Chu . o . ng 1 D - a . i cu . o . ng vˆe ` d¯ˆo ` thi . 1.1 D - i . nh ngh˜ıa v`a c´ac kh´ai niˆe . m 1.1.1 D - ˆo ` thi . c´o hu . ´o . ng D - ˆo ` thi . c´o hu . ´o . ng G = (V, E) gˆo ` m mˆo . t tˆa . p V c´ac phˆa ` n tu . ˙’ go . i l`a d¯ı ˙’ nh (hay n´ut) v`a mˆo . t tˆa . p E c´ac cung sao cho mˆo ˜ i cung e ∈ E tu . o . ng ´u . ng v´o . i mˆo . t cˇa . p c´ac d¯ı ˙’ nh d¯u . o . . c sˇa ´ p th´u . tu . . . Nˆe ´ u c´o d¯´ung mˆo . t cung e tu . o . ng ´u . ng c´ac d¯ı ˙’ nh d¯u . o . . c sˇa ´ p th´u . tu . . (a, b), ta s˜e viˆe ´ t e := (a, b). Ch´ung ta s˜e gia ˙’ su . ˙’ c´ac d¯ı ˙’ nh d¯u . o . . c d¯´anh sˆo ´ l`a v 1 , v 2 , . . . , v n hay gia ˙’ n tiˆe . n, 1, 2, . . . , n, trong d¯´o n = #V l`a sˆo ´ c´ac d¯ı ˙’ nh cu ˙’ a d¯ˆo ` thi . . Nˆe ´ u e l`a mˆo . t cung tu . o . ng ´u . ng cˇa . p c´ac d¯ı ˙’ nh d¯u . o . . c sˇa ´ p th´u . tu . . v i v`a v j th`ı d¯ı ˙’ nh v i go . i l`a gˆo ´ c v`a d¯ı ˙’ nh v j go . i l`a ngo . n; cung e go . i l`a liˆen thuˆo . c hai d¯ı ˙’ nh v i v`a v j . Ch´ung ta s˜e thu . `o . ng k´y hiˆe . u m = #E−sˆo ´ ca . nh cu ˙’ a d¯ˆo ` thi . G. C´ac ca . nh thu . `o . ng d¯u . o . . c d¯´anh sˆo ´ l`a e 1 , e 2 , . . . , e m . Mˆo . t c´ach h`ınh ho . c, c´ac d¯ı ˙’ nh d¯u . o . . c biˆe ˙’ u diˆe ˜ n bo . ˙’ i c´ac d¯iˆe ˙’ m, v`a e = (v i , v j ) d¯u . o . . c biˆe ˙’ u diˆe ˜ n bo . ˙’ i mˆo . t cung nˆo ´ i c´ac d¯iˆe ˙’ m v i v`a v j . Mˆo . t cung c´o gˆo ´ c tr`ung v´o . i ngo . n go . i l`a khuyˆen. Nˆe ´ u c´o nhiˆe ` u ho . n mˆo . t cung v´o . i gˆo ´ c ta . i v i v`a ngo . n ta . i v j th`ı G go . i l`a d¯a d¯ˆo ` thi . v`a c´ac cung tu . o . ng ´u . ng go . i l`a song song. D - o . n d¯ˆo ` thi . c´o hu . ´o . ng l`a d¯ˆo ` thi . khˆong khuyˆen trong d¯´o hai d¯ı ˙’ nh bˆa ´ t k`y v i v`a v j c´o nhiˆe ` u nhˆa ´ t mˆo . t cung (v i , v j ). Chˇa ˙’ ng ha . n, d¯ˆo ` thi . trong H`ınh 1.1 c´o cung e 8 l`a khuyˆen; c´ac cung e 4 v`a e 9 l`a song song do c`ung tu . o . ng ´u . ng cˇa . p d¯ı ˙’ nh v 3 v`a v 4 . 9 http://www.ebook.edu.vn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v 1 v 2 v 3 v 4 v 5 e 1 e 2 e 3 e 4 e 5 e 6 e 7 e 8 e 9 • • • • • H`ınh 1.1: V´ı du . cu ˙’ a 2−d¯ˆo ` thi . c´o hu . ´o . ng. 1.1.2 D - ˆo ` thi . v`a ´anh xa . d¯a tri . V´o . i mˆo ˜ i x ∈ V, k´y hiˆe . u Γ(x) := {y ∈ V | (x, y ) ∈ E}. Khi d¯´o ta c´o mˆo . t ´anh xa . d¯a tri . Γ: V → 2 V , x → Γ(x). K´y hiˆe . u Γ −1 l`a ´anh xa . (d¯a tri . ) ngu . o . . c cu ˙’ a Γ. Nˆe ´ u G l`a d¯o . n d¯ˆo ` thi . , th`ı d¯ˆo ` thi . n`ay ho`an to`an d¯u . o . . c x´ac d¯i . nh bo . ˙’ i tˆa . p V v`a ´anh xa . d¯a tri . Γ t`u . V v`ao 2 V . V`ı vˆa . y, d¯ˆo ` thi . n`ay c`on c´o thˆe ˙’ k´y hiˆe . u l`a G = (V, Γ). Nˆe ´ u xo´a cung e 9 trong H`ınh 1.1 ta nhˆa . n d¯u . o . . c d¯o . n d¯ˆo ` thi . v`a do d¯´o c´o thˆe ˙’ biˆe ˙’ u diˆe ˜ n bo . ˙’ i ´anh xa . d¯a tri . Γ. Trong tru . `o . ng ho . . p n`ay ta c´o Γ(v 1 ) = {v 2 }, Γ(v 2 ) = {v 1 , v 3 }, Γ(v 3 ) = {v 4 , v 5 }, Γ(v 4 ) = {v 5 }, Γ(v 5 ) = {v 1 , v 5 }. 1.1.3 D - ˆo ` thi . vˆo hu . ´o . ng Khi nghiˆen c´u . u mˆo . t sˆo ´ t´ınh chˆa ´ t cu ˙’ a c´ac d¯ˆo ` thi . , ta thˆa ´ y rˇa ` ng ch´ung khˆong phu . thuˆo . c v`ao hu . ´o . ng cu ˙’ a c´ac cung, t´u . c l`a khˆong cˆa ` n phˆan biˆe . t su . . kh´ac nhau gi˜u . a c´ac d¯iˆe ˙’ m bˇa ´ t d¯ˆa ` u v`a kˆe ´ t th´uc. D - iˆe ` u n`ay d¯o . n gia ˙’ n l`a mˆo ˜ i khi c´o ´ıt nhˆa ´ t mˆo . t cung gi˜u . a hai d¯ı ˙’ nh ta khˆong quan tˆam d¯ˆe ´ n th´u . tu . . cu ˙’ a ch´ung. V´o . i mˆo ˜ i cung, t´u . c l`a mˆo ˜ i cˇa . p c´o th ´u . tu . . (v i , v j ) ta cho tu . o . ng ´u . ng cˇa . p khˆong c´o th´u . tu . . (v i , v j ) go . i l`a c´ac ca . nh. Tu . o . ng d¯u . o . ng, ta n´oi rˇa ` ng ca . nh l`a mˆo . t cung m`a hu . ´o . ng d¯˜a bi . bo ˙’ quˆen. Vˆe ` h`ınh ho . c, ca . nh (v i , v j ) d¯u . o . . c biˆe ˙’ u diˆe ˜ n bo . ˙’ i c´ac d¯oa . n thˇa ˙’ ng (hoˇa . c cong) v`a khˆong c´o m˜ui tˆen liˆen thuˆo . c hai d¯iˆe ˙’ m tu . o . ng ´u . ng hai d¯ı ˙’ nh v i v`a v j . 10 [...]... v5 , v6 } {v3 , v4 , v5 , v6 , v7 } 35 http://www.ebook.edu.vn Do d o ma trˆn pham vi c´ dang ¯´ a o v  1 v1  v2   v3    R = v4   v5   v6   v7 1 0 0 0 0 0 0 v2 1 1 0 0 0 0 0 v3 0 0 1 0 0 1 1 v4 1 1 1 1 0 1 1 v5 1 1 1 1 1 1 1 v6 0 0 0 0 0 1 1 v7  0  0  0  0    0  1  1 ˙ ˜ ` ˙ ’ Cˆn ch´ y rˇ ng, do R v` Q l` c´c ma trˆn Boole, mˆ i h`ng cua ch´ng c´ thˆ’ lu.u dang a u´ ` a... } ∪ Γ 1 (vi ) ∪ Γ−2 (vi ) ∪ · · · ∪ Γ−p (vi ), (1. 2) trong d o Γ−2 (vi ) = Γ 1 (Γ 1 (vi )), ¯´ ˙ T` d nh ngh˜ hiˆ’n nhiˆn c´ Q = Rt u ¯i ıa, e e o V´ du 1. 4 .1 X´t d` thi G trong H` 1. 18 Ma trˆn kˆ cua G l` ı e ¯o ˆ ınh a ` ˙ a e ’ v  1 v1  v2   v3   A = v4    v5   v6   v7 0 0 0 0 0 0 0 v2 1 1 0 0 0 0 0 v3 0 0 0 0 0 1 0 34 v4 0 1 1 0 0 0 1 v5 1 0 0 1 1 0 0 v6 0 0 0 0 0 0 1 v7 ... t ca c´c phˆn tu ˙ o a e e o ¯˙ e ı a ˙ a a ’ a ’ khˆng ngoai tr` o u aik = 1, ajk = 1 13 http://www.ebook.edu.vn ’ ˙ ¯o ’ ˆ V´ du 1. 2 .1 Ma trˆn liˆn thuˆc d ınh-cung cua d` thi trong H` 1. 3 l` ı a e o ¯˙ ınh a e1 e2 e3 e4 e5  a +1 +1 0 0 0 b  1 0 +1 +1 0     c  0 1 1 0 +1  d 0 0 0 1 1  a e 1 b • • e4 ... ngoai tr` ` ´ ’ ` ’ ’ hai d ınh vi v` vj th` tˆ t ca c´c phˆn tu ˙ o ¯˙ a ı a ˙ a a ˙ ’ a o u aik = 1, ajk = 1 ’ ˙ ¯o ’ ˆ V´ du 1. 2.3 Ma trˆn liˆn thuˆc d ınh-canh cua d` thi trong H` 1. 4 l` ı a e o ¯˙ ınh a e1 a 1 b 1   c 0 d 0 e2 1 0 1 0  e3 0 1 1 0 e4 0 1 0 1 e5  0 0   1 1 a e 1 b • • e4 ... k˜ (k + 1) d ınh v` k cung bˇ ¯ˆ u a o a e ¯˙ a a a a e u µ := {v0 , e1 , v1 , e2 , v2 , , vk 1 , ek , vk }, -e ˙ ˙ ’ ˙ ’ trong d ´ cung ei liˆn thuˆc c´c d ınh vi 1 v` vi , i = 1, 2, , k Dˆ’ gian tiˆn, ta c´ thˆ’ k´ ¯o e o a ¯˙ a e o e y `.ng d i µ l` {e , e , , e } hiˆu d u o e ¯ ¯ a 1 2 k Do d o trong H` 1. 12 d˜y c´c cung ¯´ ınh a a 1 := {e6 , e5 , e9 , e8 , e4 } µ2 := {e1 , e6 ,... e3 e2 • d • c e5 H` 1. 4: ınh a e o ¯˙ o a e o ¯˙ o Tr´i v´.i ma trˆn liˆn thuˆc d ınh-cung, n´i chung ma trˆn liˆn thuˆc d ınh-canh khˆng a o ’ ’ ˙ ’ total unimodular Chˇng han, trong v´ du trˆn, ma trˆn con a ı e a   1 1 0   1 0 1 0 1 1 ` c´ d inh th´.c bˇ ng −2 o ¯ u a - o ˙ a ` ´ ’ D` thi vˆ hu.´.ng G = (V, E) goi l` hai phˆn nˆu c´... ˙ a GA sinh bo.i U ’ ˙ ’ bˆ phˆn cu o a 1. 2 ˙ ˜ ¯ˆ Ma trˆn biˆ’u diˆn d` thi a e e o 1. 2 .1 ’ Ma trˆn liˆn thuˆc d ˙nh-cung a e o ¯ı ˙ ¯o ’ ˆ Ma trˆn liˆn thuˆc d ınh-cung cua d` thi G = (V, E) l` ma trˆn A = (aij ), i = 1, 2, , n, j = a e o ¯˙ a a ’ i c´c phˆn tu 0, 1 v` 1, trong d o mˆi cˆt biˆ’u diˆn mˆt cung cua G v` mˆi ˙ ˜ o ˜ ˜ ` ˙ ’ ˙ ’ 1, 2, , m, v´ a o a a ¯´ o e e o a o ... v1 • v4 • • v2 • v3 H` 1. 14: ınh 1. 15 v5 .• 5 v1 • 1 v4 • 2 • v2 3 4 • v3 H` 1. 15: ınh ´ ` Thuˆt to´n t` kiˆm theo chiˆu sˆu a a ım e e a ´ ’ 1 Thˇm d ınh xuˆ t ph´t s a ¯˙ a a ˜ ’ ` o ´ e o o u ¯e a a o 2 V´.i mˆ i d ınh... liˆn thuˆc d ınh-cung a e o ¯˙ ’ hoˇc ma trˆn liˆn thuˆc d ınh-canh a a e o ¯˙ `.ng minh dang tu o ↑ | ’ Ma trˆn liˆn thuˆc d ınh-cung a e o ¯˙ ’ hoˇc ma trˆn liˆn thuˆc d ınh-canh a a e o ¯˙ ´ dang kˆt theo h`ng e a ↑ | O(mn) | ↓ O(m) | ↓ ’ Ma trˆn liˆn thuˆc d ınh-cung a e o ¯˙ ’ hoˇc ma trˆn liˆn thuˆc d ınh-canh a a e o ¯˙ ´ dang kˆt theo cˆt e o ˙ ˙ ˙ ˜ ´ H` 1. 10: Mˆi liˆn hˆ... http://www.ebook.edu.vn 1. 3 T´ liˆn thˆng ınh e o 1. 3 .1 ` Dˆy chuyˆn v` chu tr` a e a ınh ` ´ ˙ ˙ ’ ’ ’ ˙ ¯ˆ o o ’ o Gia su v0 , vk l` c´c d ınh cua d` thi vˆ hu.´.ng G := (V, E) Dˆy chuyˆn µ t` v0 dˆn vk d ˆ a a ¯˙ a e u ¯e ¯o v v` kˆt th´c tai v , ´ ˆ ´ ’ d`i k l` mˆt d˜y xen k˜ (k + 1) d ınh v` k canh bˇt d` u t` 0 a e a a o a e ¯˙ a a ¯a u u k µ := {v0 , e1 , v1 , e2 , v2 , , vk 1 , ek , vk }, -e ˙ ˙ ’ . tr`u . a ik = 1, a jk = 1. V´ı du . 1. 2.3 Ma trˆa . n liˆen thuˆo . c d¯ı ˙’ nh-ca . nh cu ˙’ a d¯ˆo ` thi . trong H`ınh 1. 4 l`a      e 1 e 2 e 3 e 4 e 5 a 1 1 0 0 0 b 1 0 1 1 0 c 0 1 1 0 1 d 0 0 0 1. tr`u . a ik = 1, a jk = 1. 13 http://www.ebook.edu.vn V´ı du . 1. 2 .1 Ma trˆa . n liˆen thuˆo . c d¯ı ˙’ nh-cung cu ˙’ a d¯ˆo ` thi . trong H`ınh 1. 3 l`a      e 1 e 2 e 3 e 4 e 5 a +1 +1 0 0 0 b 1. lu . c L`o . i n´oi d¯ˆa ` u 7 1 D - a . i cu . o . ng vˆe ` d¯ˆo ` thi . 9 1. 1 D - i . nh ngh˜ıa v`a c´ac kh´ai niˆe . m . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1. 1 .1 D - ˆo ` thi . c´o hu . ´o . ng