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 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 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 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 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 6 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 • 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 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 [...]... ∈ E th` tˆ 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 ’ ˙ ¯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 ... ’ ’ 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 ... a ˙ ’ Chˇng han, d` thi c´ hu.´.ng trong H` 1. 1 c´ d+ (v2 ) = 2, d− (v2 ) = 1 a o ınh o ¯ˆ o o 11 ˙ ˙ ˙ ` ` ’ ’ ˙ a ’ Hiˆ’n nhiˆn rˇ ng, tˆ’ng c´c bˆc ngo`i cua c´c d ınh bˇ ng tˆ’ng c´c bˆc trong cua c´c e e a o a a a ˙ a ¯˙ a o a a c l` ˙ ´ ’ ˙ ¯o ’ ˆ d ınh v` bˇ ng tˆ’ng sˆ cung cua d` thi G, t´ a ¯˙ a ` a o o u n i =1 d+ (vi ) = n d− (vi ) = m i =1 ´ ´ ˙ ¯˙ ’ ’ Nˆu G l` d` thi vˆ hu.´.ng, bˆc... tu kh´c khˆng o u e ` o o ¯´ o a ˙ a o ` ´ aij (bˇ ng 1, hay 1) th` det(A ) = ± det(A ), trong d o A l` ma trˆn vuˆng cˆ p (k − 1) a ı ¯´ a a o a o.c t` A bˇ ng c´ch xo´ h`ng i v` cˆt j Theo gia thiˆt quy nap, det(A ) bˇ ng 1, 1 ` ` ´ ˙ ’ a a a a a o e a nhˆn d u u a ¯ o.c ch´.ng minh u hay 0 v` do d ´ mˆnh d` d u a ¯o e ¯ˆ ¯ e 14 1. 2.2 ’ Ma trˆn liˆn thuˆc d ˙nh-canh a e o ¯ı ’ ˙ ¯ˆ... ˙ 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 ... e3 e2 • d • c e5 H` 1. 4: ınh 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 a e o ¯˙ o a e o ¯˙ 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`... vi1 ∈ V1 Do G l` hai phˆn, nˆn hai d ınh liˆn tiˆp trˆn a o a ınh o a a a a e ¯˙ e e e ˙ o o ¯˙ ’ ’ ’ chu tr` µ phai c´ mˆt d ınh thuˆc V1 v` d ınh kia thuˆc V2 Do d o vi2 ∈ V2 , vi3 ∈ V1 , , ınh o a ¯˙ o ¯´ ˜ ˙ ´ ´ ˙ a ’ ’ v` tˆ’ng qu´t, vik ∈ V1 nˆu k le v` vik ∈ V2 nˆu k chˇn M` chu tr` µ c´ d ˆ d`i le nˆn a o a e e a a ınh o ¯o a ˙ e - ` ˜ o ˙.i vˆy vi1 ∈ V2 Diˆu n`y mˆu thuˆn v´.i V1... iˆu n`y d ung v´.i c´c ma trˆn vuˆng con cˆ p 1; gia su khˇng d nh d ung v´.i c´c ma ˙ ’ ` ´ ˙ ˙ ’ ’ a ¯i ¯´ o a 1 D e a ¯´ o a a o a ´ ´ trˆn vuˆng con cˆ p (k − 1) X´t ma trˆn vuˆng con B cˆ p k a o a e a o a ˜ ´ ` ’ a ˙ ’ ı Nˆu mˆi cˆt B j cua B ch´.a d ung hai phˆn tu bˇ ng 1 th` e o o u ¯´ a ˙ ` Bi = i∈I1 Bi , i∈I2 ˙ o ’ ´ ˙ a a ¯˙ ’ ’ trong d o I1 v` I2 l` c´c tˆp chı sˆ tu.o.ng u.ng hai phˆn... o o ˙ e ` ´ ´ Bˆ’ d` 1. 2.6 D` thi vˆ hu.´.ng G l` hai phˆn nˆu v` chı’ nˆu G khˆng ch´.a chu tr` c´ d ˆ o ¯ˆ o a a e a ˙ e o u ınh o ¯o ’ d`i le a ˙ - ` a a a Ch´.ng minh Diˆu kiˆn cˆn Do V d u.o.c phˆn hoach th`nh V1 v` V2 : u e e ` ¯ a V = V2 ∪ V2 , 16 V1 ∩ V2 = ∅ ´ o ˙ ’ ’ Gia thiˆt tˆn tai mˆt chu tr` c´ d ˆ d`i le e ` o ınh o ¯o a ˙ µ = {vi1 , vi2 , , viq , vi1 } ˙ ` ´ ´ ´ ’ v` khˆng... a 2 ¯o o o ı a 1 i j vi ∈ V1 , vj ∈ V2 hoˇc vj ∈ V1 , vi ∈ V2 a 15 a • b • • c • d • e -ˆ ` H` 1. 5: D` thi hai phˆn K2,3 ınh o a ˜ e ` e ˙ ¯o ˆ ınh a a V´ du 1. 2.4 Dˆ kiˆ’m tra . tr`u . a ik = 1, a jk = 1. 13 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 0 +1 +1 0 c 0 1 1 0 +1 d. 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. . . . 11 4 4.4 .1 Thuˆa . t to´an Kruskal . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 6 4.4.2 Thuˆa . t to´an Prim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 9 4.4.3