1. Qui hoch ng : Quy hoch ng gii cc bi ton bng cch kt hp cc li gii ca cc bi ton con ca bi ton ang xt.

Phng php ny kh dng khi cc bi ton con khng c lp i vi nhau, tc l khi cc bi ton con c dng chung nhng bi ton chu. Qui hoch ng gii cc bi ton chu dng chung ny mt ln v lu li gii ca chng trong mt bng v sau khi phi tnh li khi gp li bi ton chu . Qui hoch ng c p dng cho nhng bi ton ti u ha (optimization problem). Bn bc ca qui hoch ng : c trng ha cu trc ca li gii ti u. + nh ngha gi tr ca li gii ti u mt cch quy. + Tnh tr ca li gii ti u theo kiu t di ln. + Cu to li gii ti u t nhng thng tin c tnh ton. Cc thnh phn ca quy hoch ng : + Tiu cu trc ti u - Mt bi ton c tnh cht tiu cu trc ti u nu li gii ti u cha trong n nhng li gii ti u ca nhng bi ton con. + Nhng bi ton con trng lp - Khi mt gii thut quy gp li cng mt bi ton con nhiu ln, ta bo rng bi ton ti u ha c nhng bi ton con trng lp. Chui con chung di nht LCS : O(m+n) Bi ton ci ti (Knapsack) : Bi ton ci ti c th d dng gii c nu M khng ln, nhng khi M ln th thi gian chy tr nn khng th chp nhn c. Phng php ny khng th lm vic c khi M v trng lng/kch thc l nhng s thc thay v s nguyn. Gii thut qui hoch ng gii bi ton ci ti c thi gian chy t l vi NM. Gii thut Warshall [O(V3)- Gii thut Floyd [O(V3)] : th hin s p dng chin lc quy hoch ng v s tnh ton cn c vo mt h thc truy hi nhng li khng xy dng thnh gii thut quy. Thay vo l mt gii thut lp vi s h tr ca mt ma trn lu tr cc kt qu trung gian. 2. Gii thut tham lam Cc gii thut ti u ha thng i qua mt s bc vi mt tp cc kh nng la chn ti mi bc. Mt gii thut tham lam thng chn mt kh nng m xem nh tt nht ti lc . Tc l, gii thut chn mt kh nng ti u cc b vi hy vng s dn n mt li gii ti u ton cc. VD : +Bi ton xp lch cho cc hot ng + Bi ton ci ti dng phn s + Bi ton m Huffman+ Gii thut Prim tnh cy bao trm ti thiu. Hai thnh phn chnh ca gii thut tham lam : + Tnh cht la chn tham lam : La chn c thc hin bi gii thut tham lam ty thuc vo nhng la chn lm cho n by gi, nhng n khng ty thuc

vo bt k la chn trong tng lai hay nhng li gii ca nhng bi ton con. Nh vy, mt gii thut tham lam tin hnh theo kiu t trn xung, thc hin mi lc mt la chn tham lam. + Tiu cu trc ti u: Mt bi tan c tnh cht tiu cu trc ti u nu mt li gii ti u cha trong n nhng li gii ti u cho nhng bi ton con. Dng gii thut tham lam cho bi ton ci ti dng phn s v qui hoch ng cho bi ton ci ti dng 0-1. Gii thut tham lam cho bi ton xp lch cc hot ng: Hot ng c chn bi th tc GREEDY-ACTIVITY-SELECTER thng l hot ng vi thi im kt thc sm nht m c th c xp lch mt cch hp l. Hot ng c chn theo cch tham lam theo ngha n s li c hi xp lch cho c nhiu hot ngkhc. Gii thut tham lam khng nht thit em li li gii ti u. Tuy nhin th tc GREEDY-ACTIVITY-SELECTOR thng tm c mt li gii ti u cho mt th hin ca bi ton xp lch cc hot ng. Bi ton ci ti dng phn s (knapsack) : O(n) + Gii thut HUFFMAN (dng ph bin v rt hu hiu cho vic nn d liu) trn tp n k t s l : O(nlgn) + Bi ton t mu th : u tin ta c t cho c nhiu nh vi mu u tin, v ri dng mt mu mi t cc nh cha t sao cho t c cng nhiu nh cng tt. V qu trnh ny c lp li vi nhng mu khc cho n khi mi nh u c t mu. phc tp ca th tc SAME_COLOR: O(n). Nu m l s mu c dng t th th th tc SAME_COLOR c gi tt c m ln. Do , phc tp ca ton gii thut: m* O(n). V m thng l mt s nh phc tp tuyn tnh . ng dng : p lch thi hc k , gn tn s trong lnh vc v tuyn ,in thoi di ng. 3. Gii thut quay lui : bc hng v li gii y v ghi li thng tin v bc ny m sau n c th b tho g v xa i khi pht hin rng bc ny khng dn n li gii y , tc l mt bc i dn n tnh th b tc(deadend). (Hnh vi ny c gi l quay lui - backtracking.) VD : bi ton tm con hu ,bi ton con m i tun Mt phng php tng qut gii quyt vn : thit k gii thut tm li gii cho bi tan khng phi l bm theo mt tp qui lut tnh tan c xc nh m l bng cch th v sa sai .Khun mu thng thng l phn r qu trnh th v sa sai thnh nhng cng tc b phn. Thng th nhng cng tc b phn ny c din t theo li quy mt cch thun tin v bao gm vic thm d mt s hu

hn nhng cng tc con.Ta c th coi ton b qu trnh ny nh l mt qu trnh tm kim m dn dn cu to v duyt qua mt cy cc cng tc con. Tm tt c cc li gii : Mt khi mt li gii c tm thy v ghi li, ta tip tc xt ng vin k trong qu trnh chn ng vin mt cch c h thng. Thi gian tnh ton ca cc gii thut quay lui thng l hm m (exponential). Nu mi nt trn cy khng gian trng thi c trung bnh nt con, v chiu di ca li i li gii l N, th s nt trn cy s t l vi N. 4. Gii thut nhnh v cn (branch-and-bound) tng nhnh v cn: Trong qu trnh tm kim mt li i tt nht (tng trng s nh nht) cho bi ton TSP, c mt k thut ta nhnh quan trng l kt thc s tm kim ngay khi thy rng n khng th no thnh cng c. Gi s mt li i n c chi ph x c tm thy. Th tht v ch duyt tip trn li i chay- no m chi ph cho n hin gi ln hn x. iu ny c th c thc hin bng cch khng gi quy th tc visit nu li i cha-y- hin hnh ln hn chi ph ca li i y tt nht cho n by gi. R rng ta s khng b st li i chi ph nh nht no nu ta bm st mt chin lc nh vy. K thut tnh cn (bound) ca cc li gii cha-y- hn ch s li gii phi d tm c gi l gii thut nhnh v cn. Gii thut ny c th p dng khi c chi ph c gn vo cc li i. Bi ton ngi thng gia du hnh (TSP) + Bi ton Chu trnh Hamilton (HCP) : gii bi ton (HCP), ta c th ci bin gii thut tm kim theo chiu su trc (DFS) gii thut ny c th sinh ra mi li i n m i qua mi nh trong th. 5. NP-Complete P : Tp hp tt c nhng bi ton c th gii c bng nhng gii thut tt nh trong thi gian a thc. NP: tp hp tt c nhng bi ton m c th c gii bng gii thut khng tt nh trong thi gian a thc. VD : Bi ton c tn ti li i di nht t nh x n nh y ; Bi ton tha mn mch logic CSP l mt bi ton thuc lp NP Tt nh : khi gii thut ang lm g, cng ch c mt vic duy nht c th c thc hin k tip. VD : p th t bng phng php chn thuc lp P v c phc tp a thc O(N2 )

Khng tt nh: khi mt gii thut gp mt s la chn gia nhiu kh nng, n c quyn nng tin an bit chn mt kh nng thch ng. VD : Cho A l mt mng s nguyn. Mt gii thut khng tt nh NSORT(A, n) sp th t cc s theo th t tng v xut chng ra theo th t ny. S phn gii mt gii thut khng tt nh c th c thc hin bng mt s song song ha khng hn ch .Mi ln c bc la chn phi thc hin, gii thut to ra nhiu bn sao ca chnh n .Mi bn sao c thc hin cho kh nng la chn. Nh vy nhiu kh nng c thc hin cng mt lc : +Bn sao u tin kt thc thnh cng th lm kt thc tt c cc qu trnh tnh tan khc + Nu mt bn sao kt thc tht bi th ch bn sao y kt thc m thi. NP-complete : C mt danh sch nhng bi ton m bit l thuc v lp NP nhng khng r c th thuc v lp P hay khng. Tc l, ta gii chng d dng trn mt my khng tt nh nhng cha ai c th tm thy mt gii thut hu hiu chy trn my tnh thng thng gii bt k mt bi ton no ca chng.Nhng bi ton NP ny li c thm mt tnh cht:Nu bt k mt trong nhng bi ton ny c th gii c trong thi gian a thc th tt c nhng bi ton thuc lp NP cng s c gii trong thi gian a thc trn mt my tt nh. y l bi ton NP-complete . chng minh mt bi ton thuc loi NP l NP-y , ta ch cn chng t rng mt bi ton NP-y bit no th kh thu gim a thc v bi ton mi y. Mt s bi ton NP-y : - Bi ton tha mn mch logic CSP : Nu tn ti mt gii thut thi gian a thc gii bi ton tha mn mch logic th tt c mi bi ton trong lp NP c th c gii trong thi gian a thc - Bi ton phn hoch s: Cho mt tp nhng s nguyn, c th phn hoch chng thnh hai tp con m c tng tr s bng nhau ? - Bi ton qui hoch nguyn: Cho mt bi ton qui hoch tuyn tnh, liu c tn ti mt li gii ton s nguyn - Xp lch cng vic trn a b x l : Cho mt k hn v mt tp cc cng tc c chiu di thi gian khc nhau phi c thc thi trn hai b x l. Vn l c th sp xp thc thi tt c nhng cng tc sao cho tha mn k hn khng - Bi ton ph nh (VERTEX COVER): Cho mt th v mt s nguyn N, c th kim c mt tp nh hn N nh m chm ht mi cnh trong th - Bi ton xp thng (BIN PACKING): cho n mn m phi t vo trong cc thng c sc cha bng nhau L. Mn i i hi li n v sc cha ca thng. Mc ch l xc nh s thng t nht cn cha tt c n mn .? Bi ton ngi thng gia du hnh (TSP): cho mt tp cc thnh ph v khong cch gia mi cp thnh ph,

tm mt l trnh i qua tt c mi thnh ph sao cho tng khong cch ca l trnh nh hn M+? Bi ton chu trnh Hamilton (HCP): Cho mt th, tm mt chu trnh n m i qua tt c mi nh. Bi ton NP-y trong cc lnh vc : gii tch s, sp th t v tm kim, x l dng k t, M hnh ha hnh hc, x l th. S ng gp quan trng nht ca l thuyt v NP-y l: n cung cp mt c ch xc nh mt bi ton mi trong cc lnh vc trn l d hay kh.Mt s k thut i ph vi nhng bi ton NP-y : + Dng gii thut xp x tm li gii xp x ti u (near-optimal) + Da vo hiu nng ca trng hp trung bnh pht trin mt gii thut m tm ra li gii trong mt s trng hp no , mc d khng lm vic c trong mi trng hp+ S dng nhng gii thut c phc tp hm m nhng hu hiu, v d nh gii thut quay lui+ a heuristic vo gii thut tng thm hiu qu ca gii thut+ S dng metaheuristic. Heuristic l tri thc v bi ton c th c s dng dn dt qu trnh tm ra li gii ca gii thut. Nh s thm vo cc heuristic m gii thut tr nn hu hiu hn. Meta heuristic l loi heuristic tng qut c th p dng cho nhiu lp bi tan.Gn y meta heuristic l mt lnh vc nghin cu pht trin mnh m, vi s ra i ca nhiu meta heuristic nh:- gii thut di truyn - gii thut m phng luyn kim - tm kim tabu (Tabu search) Bn lp bi ton phn theo kh: Nhng bi ton bt kh quyt : y l nhng bi ton cha h c gii thut gii. VD: Bi ton quyt nh xem mt chng trnh c dng trn mt my Turing + Nhng bi ton kh gii : y l nhng bi ton m khng tn ti gii thut thi gian a thc gii chng. Ch tn ti gii thut thi gian hm m gii chng + Nhng bi ton NP-y : Nhng bi ton NP-y l mt lp con c bit ca lp bi ton NP + Nhng bi ton P. Approximation algorithm : An algorithm that returns near-optimal solutions is called an approximation algorithm. The Vertex-Cover Problem : O(E) Bruce-force : Sequential search, selection sort + Divide-and-conquer : Quicksort, mergesort, binary search Decrease-and-conquer : Insertion sort, DFS, BFS , Sp xp Tp , Sinh hon v PERM + Transform-and-conquer : Heapsort, Gauss elimination, Horner , RabinKarp + Greedy : Prims, Dijkstras , Ci ti dng phn s, M HUFFMAN, T mu

 th, p lch cc hot ng + Dynamic Programming : Floyds, Warshall, Ci ti Knapsack, Chui con chung di nht LCS, Nhn xu ma trn