Bài giảng Phân tích và thiết kế thuật toán - Phạm Thế Bảo - Chương 8: Chia để trị Divide and conquer

Kỹthuật quan trọng,đượcápdụng rộng rãiđể

thiếtkếcácgiảithuậtcóhiệuquả.

• Đểgiải quyếtmột bài toán kích thướcn,tachia

bài toán này thành mộtsốbài toán con có kích

thướcnhỏhơn. Giải các bài toán con này rồitổng

hợpkếtquảlạiđể đượclờigiảibanđầu.

• Những bài toán con này cũng có thểđược chia

thành cácbàitoán cókíchthướcnhỏhơnnữađể

giải quyết. Quá trình này sẽđưađếnnhững bài

toán mà lờigiảilàhiển nhiên hay dễdàng thực

hiện. Ta gọinhững bài toán này làbài toán cơsở.

pdf7 trang | Chuyên mục: Phân Tích & Thiết Kế Thuật Toán | Chia sẻ: dkS00TYs | Lượt xem: 2312 | Lượt tải: 5download
Tóm tắt nội dung Bài giảng Phân tích và thiết kế thuật toán - Phạm Thế Bảo - Chương 8: Chia để trị Divide and conquer, để xem tài liệu hoàn chỉnh bạn click vào nút "TẢI VỀ" ở trên
14/04/2008
1
CHIA ĐỂ TRN 
DIVIDE AND CONQUER
Phạm Thế Bảo
Khoa Toán – Tin học 
Trường Đại học Khoa học Tự nhiên Tp.HCM
Nội dung
• Kỹ thuật quan trọng, được áp dụng rộng rãi để
thiết kế các giải thuật có hiệu quả.
• Để giải quyết một bài toán kích thước n, ta chia
bài toán này thành một số bài toán con có kích
thước nhỏ hơn. Giải các bài toán con này rồi tổng
hợp kết quả lại để được lời giải ban đầu.
• Những bài toán con này cũng có thể được chia
thành các bài toán có kích thước nhỏ hơn nữa để
giải quyết. Quá trình này sẽ đưa đến những bài
toán mà lời giải là hiển nhiên hay dễ dàng thực
hiện. Ta gọi những bài toán này là bài toán cơ sở.
Phạm Thế Bảo
14/04/2008
2
Một số bài toán tiêu biểu
• MergeSort và QuickSort
ố• Nhân s nguyên lớn
• Xếp lịch thi đấu thể thao
• Bài toán con cân bằng
• …
Phạm Thế Bảo
MergeSort và QuickSort
• Chia tập dữ liệu làm 2 tập con, quá trình chia
đế khi hỉ ò 01 hầ tử Æ dừ (bài t án c c n p n ng o n
cơ sở), tổng hợp 2 tập con bằng cách trộn có
thứ tựÆ tập dữ liệu được sắp xếp.
• Giống MergeSort nhưng cần phần tử cầm canh
đứng giữa để chia thành 2 tập con: một tập sẽ
có các phần tử có giá trị nhỏ hơn hay bằng, tập
còn lại sẽ có các phần tử có giá trị lớn hơn.
Phạm Thế Bảo
14/04/2008
3
Bài toán nhân hai số nguyên lớn
• Trong các ngôn ngữ lập trình, kiểu dữ liệu số
nguyên đều có miền giá trị hạn chế,
ví dụ: Pascal, C số nguyên từ -32768 đến 32767
• Khi gặp ứng dụng cần số nguyên lớn hơn
(hàng chục hay hàng trăm chữ số), chúng ta
phải đi xây dựng cấu trúc dữ liệu số nguyên
lớn Các thao tác đi kèm là: cộng trừ nhân. , , , …
• Chúng ta xem xét cách nhân 02 số nguyên lớn
có n chữ số sao cho hiệu quả.
Phạm Thế Bảo
• Nếu chúng ta dùng cách nhân thông thường,
nghĩa là từng chữ số nhân với nhau rồi cộng lại
thì chi phí là O(n2).
• Áp dụng kỹ thuật chia để trị. Ta chia 02 số
nguyên X, Y thành các số nguyên lớn có n/2
chữ số: X=A10n/2+B và Y=C10n/2+D
Ví dụ: A=1234 thì A=12x102 +34
Khi đó X.Y = AC10n+(AD+BC)10n/2+BD.
Giố h ê l i hi iế để ó bàing n ư tr n ta ạ c a t p tục c
toán cơ sở dễ dàng thực hiện.
Phạm Thế Bảo
14/04/2008
4
• Theo cách làm trên thì phải thực hiện 4 phép
nhân các số nguyên lớn n/2 chữ số (AC, AD,
BC, BD), sau đó dùng 3 phép cộng các số
nguyên lớn n chữ số và 2 phép nhan với 10n và
ể ổ10n /2 đ t ng hợp.
• Phép cộng số nguyên lớn cần O(n), phép nhân
10n có thể thực hiện đơn giản bằng cách thêm
n chữ số 0 Æ cũng cần O(n). Gọi T(n) là thời
gian nhân hai số nguyên lớn ta có phương,
trình đệ quy:
Phạm Thế Bảo
• Giải phương trình ta có T(n) =
Æ không cải thiện!
• Viết lại: 
X Y AC10n+[(A B)(D C)+AC+BD]10n/2+BD. = - -
Công thức này chỉ cần tính 3 phép nhân của các
số nguyên lớn n/2 chữ số: AC,BD và (A-B)(D-
C), 6 phép cộng trừ và 2 phép nhân với 10n. 
Lập luận tương tự ta có phương trình đệ quy:
T(1)=1
T(n)=
Phạm Thế Bảo
Nghiệm?
14/04/2008
5
Nghiệm của phương trình T(n)=
Æ cải thiện hơn.
Thuật giải thô:
longDigit multi2Integer(longDigit X, longDogit Y, int n){
if( 1) th t X*Yn= en re urn ;
A=left(X,n/2);
B=right(X,n/2);
C=left(Y,n/2);
D=right(Y,n/2);
m1=multi2Integer(A,C,n/2);
2 lti2I t (A B D C /2)m =mu n eger - , - ,n ;
m3=multi2Integer(B,D,n/2);
return (m1*10n +(m1+m2+m3)*10n/2 +m3);
}
Phạm Thế Bảo
Xếp lịch thi đấu thể thao
• Xét việc xếp lịch thi đấu vòng tròn một lượt
cho n đội đá banh Mỗi đội thi đấu với nhau. ,
mỗi đội chỉ đấu nhiều nhất một trận một ngày.
Làm sao ta xếp lịch thi đấu cho số ngày ít nhất.
• Ta có tổng số trận đấu của toàn giải là
nếu n chẵn thì ta có thể sắp n/2 cặp thi đấu
ộ à Æ ầ í hấ ( 1) à Nếtrong m t ng y c n t n t n- ng y. u
n lẻ thì ta có thể sắp (n-1)/2 cặp thi đấu trong
một ngàyÆ cần ít nhất n ngày
Phạm Thế Bảo
14/04/2008
6
• Lịch thi đấu là một bảng n dòng và n-1 cột và được
đánh số tứ 1 trở đi, dòng i đại diện cho đội thứ i và cột j
đại diện cho ngày thi đấu j, ô(i,j) ghi đội phải thi đấu
với đội i trong ngày j.
• Dùng chiến lược chia để trị: để sắp lịch cho n đội, ta
sắp cho n/2 đội, để sắp lịch cho n/2 đội ta sắp lịch cho
ắ ấn/4 đội, … Æ s p lịch thi đ u cho 2 đội (bài toán cơ
sở).
• Từ lịch thi đấu của 2 đội, chúng ta sắp lịch thi đấu cho
4 đội như sau:
– Lịch thi đấu cho 4 đội là một bảng 4 dòng 3 cột.
– Lịch thi đấu cho 2 đội 1 và 2 trong ngày 1 chính là lịch thi
đấu của 2 đội (bài toán cơ sở) Vậy ô(1 1)=2 ô(2 1)=1. , , , .
Tương tự cũng có lịch thi đấu cho 2 đội 3 và 4 trong ngày
1: ô(3,1)=4 và ô(4,1)=3. Ta có thể thấy ô(3,1)=ô(1,1)+2 và
ô(4,1)=ô(2,1)+2.
– Lịch thi đấu của 4 đội, ta lấy góc trên bên trái của bảng lắp
vào cho góc dưới bên phải và lấy góc dưới bên trái lắp cho
góc trên bên phải. Phạm Thế Bảo
Ngày 1
Đội 1 2
Đội 2 1
Ngày 1 Ngày 2 Ngày 3
Đội 1 2
Đội 2 1
Đội 3 4
Đội 4 3
Ngày 1 Ngày 2 Ngày 3
Đội 1 2 4
Đội 2 1 3
Đội 3 4 2
Đội 4 3 1
Phạm Thế Bảo
Ngày 1 Ngày 2 Ngày 3
Đội 1 2 3 4
Đội 2 1 4 3
Đội 3 4 1 2
Đội 4 3 2 1
14/04/2008
7
Ngày 1 Ngày 2 Ngày 3 Ngày 4 Ngày 5 Ngày 6 Ngày 7
Đội 1 2 3 4
Đội 2 1 4 3
6 7 8
5 8 7
i 5
i 6
Đội 3 4 1 2
Đội 4 3 2 1
Đội 5 6 7 8
Đội 6 5 8 7
Đội 7 8 5 6
Đội 8 7 6 5
8 5 6
7 6 5
2 3 4
1 4 3
4 1 2
3 2 1
i 7
i 8
i 1
i 2
i 3
i 4
Phạm Thế Bảo
Bài tập: cài đặt chương trình
Bài toán con cân bằng
• Với kỹ thuật chia để trị, nếu bài toán ban đầu
đ thà h á bài t á ó kí h th ớ ầược n c c o n con c c ư c g n
bằng nhau thì hiểu suất sẽ cao hơn.
• Ví dụ: MergeSort chia làm 2 tập con bằng
nhau (n/2 phần tử - có thể sai khác 1) thì độ
phức tạp là O . Đối với QuickSort, nếu
phân hoạch không tốt thì độ phức tạp vẫn là
O(n2), trường hợp xấu nhất.
Phạm Thế Bảo

File đính kèm:

  • pdfBài giảng Phân tích và thiết kế thuật toán - Phạm Thế Bảo - Chương 8 Chia để trị Divide and conquer.pdf
Tài liệu liên quan