Tiểu luận môn điện toán lưới và đám mây SONG SONG HÓA THUẬT GIẢI ACO GIẢI BÀI TOÁN TSP

Đại Học Quốc Gia TP.HCM Trường Đại Học Công Nghệ Thông Tin TIỂU LUẬN MÔN HỌC ĐIỆN TOÁN LƯỚI VÀ ĐÁM MÂY SONG SONG HÓA THUẬT GIẢI ACO GIẢI BÀI TOÁN TSP GVHD: PGS. TS. NGUYỄN PHI KHỨ HVTH: NGUYỄN MINH PHÁT MSHV: CH1301047 TP. HỒ CHÍ MINH Tháng 6/2014 TỔNG QUAN Mục đích của bài toán tối ưu tổ hợp là tìm lời giải tốt nhất trong các lời giải có thể và không gian tìm kiếm lời giải của bài toán là rời rạc .Nhiều bài toán tối ưu tổ hợp có độ phức tạp tính toán cao và được phân lọai thuộc lớp NP khó .Việc tìm ra lời giải tối ưu cho các bài toán này cho các hệ thống song song lớn nhất cũng không thể hoàn thành được trong giới hạn thời gian cho phép vì vậy các kỹ thuật heuristic cho việc giải các bài toán tổ hợp theo hướng xấp xỉ đã được phát triển để tìm ra các lời giải gần tối ưu (hay xấp xỉ )trong giới hạn thời gian cho phép. Bài toán người du lịch (TSP) là một bài toán cổ điển thuộc lớp NP được nghiên cứu sâu trong lĩnh vực tối ưu tổ hợp. Metaheuristic là một cách gọi chung cho các giải thuật heuristic trong việc giải quyết các bài toán tổ hợp khó. Metaheuristic bao gồm những chiến lược khác nhau trong việc khám phá không gian tìm kiếm bằng cách sử dụng những phương thức khác nhau và phải đạt được sự cân bằng giữa tính đa dạng và chuyên sâu của không gian tìm kiếm. Một cài đặt thành công của metaheuristic trong một bài toán tổ hợp phải cân bằng giữa sự khai thác được kinh nghiệm thu thập được trong quá trình tìm kiếm để xác định được những vùng với những lời giải có chất lượng cao gần tối ưu. Những ví dụ của metaheuristic bao gồm giải thuật luyện thép (SA) , giải thuật di truyền (GA) , giải thuật đàn kiến (ACO) ,…Giải thuật đàn kiến là metaheuristic dùng chiến lược của kiến trong thế giới thực để giải bài toán tối ưu.  Với độ phức tạp tính toán cao của các bài toán tối ưu tổ hợp cũng như đòi hỏi về mặt thời gian , việc giải các bài toán này yêu cầu cần phải có những siêu máy tính. Con người hy vọng sẽ đem sức mạnh của siêu máy tính tới tất cả người dùng PC đơn lẻ trên thế giới. Để giải quyết vấn đề này người ta đã sử dụng Điện toán lưới và Điện toán đám mây. Trong phạm vi tiểu luận này sẽ tìm hiểu cài đặt song song hóa giải thuật ACO để giải quyết bài toán TSP. Song song hóa các giải thuật metaheuristic phải đạt được 2 yêu cầu : đa dạng hóa để khám phá được nhiều vùng trong không gian tìm kiếm và tăng tốc độ tìm kiếm . Nhiều mô hình song song hoái đã được đề xuất cho nhiều metaheuristic. ACO và GA đều là các cách tiếp cận dựa trên tập cá thể và vì vậy khá tự nhiên cho việc xử lý song song . Tiểu luận nhằm mục đích nghiên cứu ,cài đặt thực tế giải thuật song song hóa ACO nhằm mục đích so sánh hiệu quả của giải thuật ACO thông thường và khả năng song song hóa của các mô hình song song cho việc tìm kiếm lời giản gần tối ưu của bài tóan TSP. Mô hình thực nghiệm dùng MPI và một vài bài toán trong thư viện TSPLIB. 1. Bài toán TSP (Traveling Salesman Problem) 1.1 Giới thiệu bài toán   !"#$%&' ()"*+,#$$-"./0 121'3+#$4256 )#%   Hình 1: Việc kết nối 15 thành phố lớn nhất nước Đức với lộ trình ngắn nhất là một phép tính khá phức tạp. ""78(6(9:.;7<"./< =>>#">?@8A9:  2-B1%CA9:1-"8  B881#%DBE 7###'# F2""($/#(E" G"BH2A1'"%I"6J .;)E#9:1"*"#H $8.;9879:"+KIL% MB9N9#.##O'#!-/ #P'1P;#%86O'#. ##8BFO5'8GQR,S#$-T 24US6VEQ#W#"1--2;% &"I./9X=>Y>Z">?"* "12"7%D2'#F "88[2\/6.9:]8"8'(6 F6.\Q9[59*EH% 1.2. Nhắc lại bài toán Người du lịch &"I./9X6-./0"./. =>?68J7./")#[ #$6]4.;#$984]8  #$4\#(^6.;#1"'_`a5 "7.]$LYbc"de"" Z>8"f6.;"$"-gh8'RXP ' i)j"9%I225"2A" '\5#A#F"3>"$k="8 F"./J7l*"IZ@2?%I./ 04B$']"88([ 3`mno=omQ?6"'3,SSo ".;\$Q\,o%maV6 9O"TJ'#:3"*% &"21#19.\B*R X. D"RXQ48  27$pq=M@F#Q6r@F# ?2"B.\%--e" 2P7$ H% 1.3. Ý tưởng mô phỏng hành vi của đàn kiến thực trong tự nhiên I3`mVm67./sCK>>"O B$']A(E'L>=" '''\?67(EtD'4Bu=K">&9> r)#>>?% D:167v'4BR=929 !406.-T?$P '\R A362'04]" l ""/ \%f']4"'>"  '4\$.;4.6. $/]./F8"'2).\7 01=VS@`SSw$.;?% f'].;7h.K"(O (276+"'981B1.;2 7'x=#>"">?././-l T>""./2.;xF%D'x8* "28>"/69"F84-.;x5 )#Q.6."/X 0T2.;xF"\99"k.; x4)#Q.#$59F#$x5  8TB98!2906*k9" .;x9kTX8"x "/% I3`mm`6\5'] (EP'6 "7./&QC"K""v)89OF"'=L L"68J7eE'6LY8>?4A9:" "./9X6B$"F'y B%" "86$\EF"L@D8>=F "P'E]"\#F"eE'?.;B $3`mmU#(h8' zrrr=z>"jr>9 r>"r>>6E#ABE"7 4'\?%eE86K""Ov)89O.;E '#A#A9:" "22hy"7 ON% 1.4. Thuật toán đàn kiến giải bài toán người du lịch s10.\ "' O6K"")89O"'"={?k2 .'x1./34'>"R x1O7"./2Rx"1%M\" I./9XRX"B\7$" r9>*Q|6K""0\+=6}?"7 $9=6}?R'x2%&46Rx +.;5"!!$"2% Phương pháp tìm đường đi mô phỏng hành vi con kiến D"'T'-./[Q)#] "Q]85Q46Q"'T7 Q..;]"F# >") "2 @~M=?F#Q ..;"'E]% 7B>l#()OO7   "']8'X[Q]Q% 211BA. ]8'XO7Q'#>"1 " '.;O7G>")=A Q"2)"T23.; 7"6.B2yQ2 )#B.;72.;7\# B?%•.58.;1E]€F&)>)$$=g">8 b>>?T.;-8%M)8=837Q'# >" "'?_EF\R'x.;7 =>"( "'O?_EX\96 *E$11EO7 "'#("% Kỹ thuật bánh xe xổ số s8€F#P'89:"#.##-' 9O")6E"#W#"D77=Y>>"? F "98=p>>L"?%D:1€F. pMq• ` 6 , 6‚6  ƒF# 6# ` 6# , 6‚6#) O7Q'#>"[ .A ` 6 , 6‚6   A007`"Q1'#%s1 ".' *Q2)\6. G" Q2)# ./$G =S6„R7H"" D8B#H" J ]8)P$=J.;#4B !?6…]8B'  ]8TQ"#4".k2 1F88#4\T3"2% D(-F8€F8.;7&)>)P$% I.F86"'[Q)#64.;\3 Q'#>">"]80=3)"9l?"' 3\Q$x]8Q46'l-% †-8.;##6-$=290? T.;F#F"'"/ $=B./( ">"$J#6\./;#H=$Q‡q,SS?$J# !nSS -']$.6J\./;#\#  \$4#\6x8"[9*E:1% Y"]-"'-./'x=? .;F#F6-lX'P9"]-89"]- (k8 "'2%D2F#Fx6+ 2.5X'.; F"%DF#F x. Y+J#="'-.;- -?6' x+.;F#F>"BA "2 7$8=59y7.F8-+4F# F.;x=6}?T.; ./.; 7S6V"8.-%I".;8 2+=6}?J.;(:.;x Xx8 "["']6:1.;(. "2†!$6g  9- "'A% I/EF#Fx86+J#=8+4" ''-?6R'xT8P=" "394?.5']8'X7 "'62 15.\#871.'.\#G" '2B]2*%I/F8F"23- .;/$"*./;#9*EO\% 2. Điện toán lưới và điện toán đám mây 2.1 Giới thiệu Điện toán lưới ( Grid computing)  p9"E$#6$(""6"#W# "^681OF#;#R8F# Xh6x8>"3ˆ26B6"6#(84 .;9X: ./9:% sE".\=sCg?2y"#4  28(68 'X.*"9"E#6.; t"2u=‰>?+8(\%M-sCg#2* 3("B.;9:"/1|6l2 1"#W#9"E#3./$6A )hBO'6lŠ8]8-("F"%  "26#(GT.;*5A#-sCg21.;)8 9O[(4E262##4"O8$. 3("% sCg"#W#"2A3("#k. R)h63B3.*61[2" E$R6"#W#./9:A9:8F# B$"(3E"\%p$../.\d> )>9$]d>6./9:sCgk-8 8("O\98% 7 sCg9OF#;#5 Š "A6(9:f'l9X:.\5=ipYL?6"#W#] B./+##Xh%M\sCg6PA 9"E#21$.23("R9*E6F# l*$A\6^l] lŠ8O#$;#6.% p9:6./2'8(22# A)h".\9$8A9:JH A)h-BE.;]8''82 T.;O#P\8".\t+u BX.9:A(2"BE"% ‹89O.\921.E"#W#$ .;HZD">>".*F9:*3. .;'%[]8B14H6./9:2 19494"F#A5.\x8>"4 9"E#% g.\8BQ21']8-" #F 21#$;##J\"F('A 4 $9"E#F#% 2.2 Điện toán đám mây – Cloud computing  sE"8 ="9"#?6J7 E"8  "6B- E" 9:BE 8( #19O " z>>%F*<8<58$2Š9:Q  z>> =9O".;$( 2"R8(? ..5#A# 54A"2%Œ B-E"8673]' BEB  .;#9.\9<9X:<6"#W#./9:8F# 9X:BE[#"2<"8<B 4#2'A6EBE26k.B 4]'54#::BE2% >"PA ‹v8(zrrr <I2-G"2B .;.*./O8 z>>Q.;.;. */586"R8(6(6 8("9"E#6#.E8(486%%%<%sE "8EP1"RE. #4 9X:6 b>,%S )E486).\ BEPF6"2 8' 29O"z>> 1#A*4E" ./9x%M(9:69X: p""> L##r> #*A9:9"O8'B./62 18F#[ -98Ed>6J #4  9*E .; .*8 % 3. Giao thức truyền gói tin(MPI) và các vấn đề song song hóa 3.1 Kiến trúc máy tính song song C8(""2'l&\#\9x % C8("">"'l\#O F#8(4O=7•"9>?xE1]8' %C+l238F#"\ 2 8F#"\ lB]"'#6./ "'#2$"%K*E.;"P*l2 .;8"'#% C8(""\9x6)h9x B\!\$"%fB \9x"#W#)h"P^E8F#9* EE]%Y$.;)h9x"B-\9x 2\H%gh9"$.;9*E.;8] \')h2\% 'E'#>" 8(""E89:';# *'l\#\9x%C…l2 )h9x\l.;'$! "'#$"%  [...]... ra 5 mô hình thuật toán ACO phát triển từ hệ thống Ant System Nhưng đó chỉ là một số các dạng tiêu biểu của thuật toán ACO, còn tồn tại rất nhiều các biến thể khác Và trong đồ án sẽ áp dụng thuật toán theo mô hình hệ thống MMAS để giải bài toán CPMP Mô hình thuật toán MMAS là một trong các thuật toán hiệu quả nhất của các thuật toán bầy kiến 4.3 Thuật toán đàn kiến song song Từ sơ đồ giải thuật ta nhận... đồ thị đầy đủ có trọng số Bao gồm các nút và các cung không định hướng Sau khi đi biến đổi bài toán về dạng phù hợp mới áp dụng thuật toán ACO để giải Trên đồ thị này các con kiến sẽ đi xây dựng các lời giải cho bài toán Sau đây là mô hình cụ thể hơn về thuật toán ACO Mô tả về thuật toán ACO với việc thực hiện song song hoạt động của các con kiến 1 Procedure ACO_ Metaheuristic 2 parameter_initialization... dữ liệu MPI 4 Thuật toán bầy kiến và bầy kiến song song Bài toán người du lịch là một bài toán NP-khó Cho nên việc tìm kiếm lời giải tối ưu là một việc rất khó khăn khi mà không gian các lời giải của bài toán là dạng hàm mũ của số thành phố làm cho việc tìm kiếm vét cạn không khả thi Các thuật toán xấp xỉ được phát triển để tìm ra những lời giải tốt nằm trong một cận xấp xỉ đối với lời giải tối ưu Một... nay đó là áp dụng các thuật toán heuristic vào các bài toán tối ưu nhằm tìm ra những giá trị gần với giá trị tối ưu 4.1 Sơ đồ chung của thuật toán bầy kiến 4.1.1 Giới thiệu chung về thuật toán bầy kiến Các thuật toán kiến lần đầu tiên được giới thiệu bởi Dorigo và các cộng sự như là cách tiếp cận đa tác tử tới các vấn đề về tối ưu tổ hợp khó, như bài toán người du lịch (TSP) , bài toán người đưa thư Hiện... ) 4.2.5 Thuật toán Best-Worst Ant System(BWAS) Thuật toán được đưa ra bởi Cordon vào năm 1999 Thuật toán này bao gồm một thuật toán mở rộng khác của AS là MMAS (về luật di chuyển và việc bay hơi của pheromone) Bên cạnh đó trong thuật toán này còn quan tâm tới của việc tối ưu cục bộ một cách hệ thống để nâng cao chất lượng lời giải của con kiến Trong thuật toán BWAS có 3 daemon action thêm vào gồm có:... Phiên bản mở rộng tiếp đó đã được công bố vào năm 2004 Hầu hết các nghiên cứu gần đây về ACO tập trung vào việc phát triển các thuật toán biến thể để làm tăng hiệu năng tính toán của thuật toán Ant System ban đầu Trên đây là sơ lược chung về các thuật toán kiến, mục tiếp theo sẽ mô tả về sơ đồ chung của thuật toán kiến Sơ đồ chung của thuật toán bầy kiến Procedure ACO Initial(); While (!ĐK dừng) do ConstructSolutions();... các thuật toán kiến Thuật toán tối ưu bầy kiến (ACO) nghiên cứu các hệ thống nhân tạo dựa vào hành vi tìm kiếm của bầy kiến thực và được sử dụng để giải quyết các vấn đề về tối ưu rời rạc .Thuật toán bầy kiến siêu tìm kiếm (ACO meta_heuristic) lần đầu tiên được Dorigo, Di Caro và Gambardella đề xuất vào năm 1999 ACO là một meta-heuristic, trong đó một tập các con kiến nhân tạo phối hợp tìm kiếm các giải. .. ra tối ưu cục bộ 19 Hình 4 Sơ đồ chung của thuật toán bầy kiến Đó là sơ đồ chung của thuật toán bầy kiến, mục tiếp theo sẽ đi sâu vào mô tả thuật toán bầy kiến đơn giản cho bài toán người đưa thư Trung Hoa trên đồ thị hỗn hợp 4.1.2 Nội dung thuật toán Trước khi nói về nội dung thuật toán bầy kiến ta đi tìm hiểu về đàn kiến trong tự nhiên, xem các đặc điểm và cách hoạt động của đàn kiến tự nhiên Từ... đầu được áp dụng cho bài toán người du lịch (TSP) và QAP Cũng vào năm 1992, tại hội nghị sự sống nhân tạo lần đầu tiên ở châu Âu , Dorigo và các cộng sự đã công bố bài: sự tối ưu được phân bố bởi đàn kiến Tiếp theo tại hội nghị quốc tế thứ hai về giải quyết các vấn đề song song trong tự nhiên ở Hà Lan (1992), ông và các cộng sự đã công bố bài: nghiên cứu về các đặc tính của một giải thuật kiến Kể từ năm... này, mô hình phân tách công việc hay song song hóa công việc là hiệu quả hơn mô hình phân tách dữ liệu Trong song song hóa công việc, bài toán được phân chia thành một số lượng lớn các nhiệm vụ nhỏ hơn và các công việc nhỏ được gán cho các bộ xử lý một cách phù hợp Các bộ xử lý sẽ kết thúc nhanh chóng một công việc và được gán cho công việc tiếp theo Song song hóa công việc được thực hiện trên kiến . Để giải quyết vấn đề này người ta đã sử dụng Điện toán lưới và Điện toán đám mây. Trong phạm vi tiểu luận này sẽ tìm hiểu cài đặt song song hóa giải thuật ACO để giải quyết bài toán TSP. Song. Học Quốc Gia TP.HCM Trường Đại Học Công Nghệ Thông Tin TIỂU LUẬN MÔN HỌC ĐIỆN TOÁN LƯỚI VÀ ĐÁM MÂY SONG SONG HÓA THUẬT GIẢI ACO GIẢI BÀI TOÁN TSP GVHD: PGS. TS. NGUYỄN PHI KHỨ HVTH: NGUYỄN MINH. quả của giải thuật ACO thông thường và khả năng song song hóa của các mô hình song song cho việc tìm kiếm lời giản gần tối ưu của bài tóan TSP. Mô hình thực nghiệm dùng MPI và một vài bài toán