Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức

Tính chất

Xóa một cạnh trên chu trình không làm mất tính liên thông của đồ

thị.

Vậy, mạng với chi phí nhỏ nhất phải là một cây.

5 / 64Bài toán Cây bao trùm nhỏ nhất (Minimal Spaning Tree)

I Input: Đồ thị vô hướng G = (V, E); mỗi cạnh có trọng số we.

I Output: Một cây T = (V, E′) với E′ E, với tổng trọng số

weight(T) = ∑

eE′

we

là nhỏ nhất

Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức trang 1

Trang 1

Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức trang 2

Trang 2

Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức trang 3

Trang 3

Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức trang 4

Trang 4

Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức trang 5

Trang 5

Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức trang 6

Trang 6

Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức trang 7

Trang 7

Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức trang 8

Trang 8

Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức trang 9

Trang 9

Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức trang 10

Trang 10

Tải về để xem bản đầy đủ

pdf 64 trang xuanhieu 2140
Bạn đang xem 10 trang mẫu của tài liệu "Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức", để tải tài liệu gốc về máy hãy click vào nút Download ở trên

Tóm tắt nội dung tài liệu: Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức

Bài giảng Toán rời rạc - Chương: Thuật toán tham lam - Trần Vĩnh Đức
to n to bring it down to 1 (or below 1). For instance, log 1000 = 4 since log log∗ log log 1000 1.
 ≤
there will justIn practicebe the first five of the intervals shown; more are needed only if 27 / 64
 n 265536, in other words never.
 ≥
 In a sequence of find operations, some may take longer than others. We’ll bound the
 overall running time using some creative accounting. Specifically, we will give each node a
 certain amount of pocket money, such that the total money doled out is at most n log∗ n dollars.
 We will then show that each find takes O(log∗ n) steps, plus some additional amount of time
 that can be “paid for” using the pocket money of the nodes involved—one dollar per unit of
 time. Thus the overall time for m find’s is O(m log∗ n) plus at most O(n log∗ n).
 In more detail, a node receives its allowance as soon as it ceases to be a root, at which point
 its rank is fixed. If this rank lies in the interval k + 1, . . . , 2k , the node receives 2k dollars.
 { }
 By Property 3, the number of nodes with rank > k is bounded by
 n n n
 + + .
 2k+1 2k+2 · · · ≤ 2k
 Therefore the total money given to nodes in this particular interval is at most n dollars, and
 since there are log∗ n intervals, the total money disbursed to all nodes is n log∗ n.
 ≤
Thuật toán tổng quát dựa trên tính chất cắt
 X = {}
 Lặp lại các bước sau cho đến khi |X| = |V| − 1:
 I Chọn một tập S ⊂ V thỏa mãn: X không chứa cạnh
 nối giữa nhát cắt S và V − S.
 I Xét e ∈ E là cạnh có trọng số nhỏ nhất nối giữa
 nhát cắt S và V − S
 I X = X ∪ {e}
 28 / 64
Thuật toán Prim
 X = {}
 Lặp lại các bước sau cho đến khi |X| = |V| − 1:
 I Chọn một tập S ⊂ V thỏa mãn: X không chứa cạnh
 nối giữa nhát cắt S và V − S.
 I Xét e ∈ E là cạnh có trọng số nhỏ nhất nối giữa
 nhát cắt S và V − S
 I X = X ∪ {e}
 Thuật toán Prim
 I Tập cạnh X luôn tạo ra một cây con, và
 I Tập S được chọn là tập đỉnh của cây con này.
 29 / 64
S. Dasgupta, C.H. Papadimitriou, and U.V. Vazirani 151
Figure 5.8 Prim’s algorithm: the edges X form a tree, and S consists of its vertices.
 S V − S
 X e
 Thuật toán Prim
growing to include theI vertexTập cạnhv X luônS of tạosmallest ra một câycost con,: và
 ̸∈
 I Tập S được chọn là tập đỉnh của cây con này.
 cost(v) = min w(u, v).
 u S
 ∈
 30 / 64
This isreminiscentstrongly s ofalgorithm,Dijkstra’and in fact the pseudocode (F igure 5.9)
is almost identical. The only difference is in the key values by which the priority queue is
ordered. In Prim’s algorithm, the value of a node is the weight of the lightest incoming edge
from set S, whereas in Dijkstra’s it is the length of an entire path to that node from the
starting point. Nonetheless, the two algorithms are similar enough that they have same
the running, whictime h depends on particularthe priority queue implementation.
Figure 5.9 shows Prim’s algorithm at work, on a small six-node graph. Notice how the
final MST is completely specified by the prev array.
Ví dụ: Thuật toán Prim
 1
 7
 8
 5 2 3
 7
 9 5
 15
 4 5
 6 9
 8
 11
 6 7
 Hình: Nguồn: tikz examples
 31 / 64
S. Dasgupta, C.H. Papadimitriou, and U.V. Vazirani 151
FigureThuật5.8 Prim’ toáns algorithm: Prim vstheDijkstraedges X form a tree, and S consists of its vertices.
 S V − S
 X e
 I Mỗi bước lặp, cây con X sẽ được thêm một cạnh.
growing to include the vertex v S of smallest cost:
 I Đây là cạnh có̸∈ trọng số nhỏ nhất nối giữa một đỉnh trong S
 và một đỉnh ngoàicostS. (v) = min w(u, v).
 u S
 ∈
 I Có nghĩa rằng, thêm vào S đỉnh v ∈/ S có cost nhỏ nhất:
This isreminiscentstrongly s ofalgorithm,Dijkstra’and in fact the pseudocode (F igure 5.9)
is almost identical. The only difference is in the key values by which the priority queue is
 cost(v) = min w(u, v)
ordered. In Prim’s algorithm, the value of a nodeu∈isS the weight of the lightest incoming edge
from set S, whereas in Dijkstra’s it is the length of an entire path to that node from the
starting point. Nonetheless, the two algorithms are similar enough that they have same
the running, whictime h depends on particularthe priority32 / 64 queue implementation.
 Figure 5.9 shows Prim’s algorithm at work, on a small six-node graph. Notice how the
final MST is completely specified by the prev array.
 152 Algorithms
 Figure 5.9 Top: Prim’s minimum spanning tree algorithm. Below: An illustration of Prim’s
 algorithm, starting at node A. Also shown are a table of cost/prev values, and the final MST.
 procedure prim(G, w)
 Input: A connected undirected graph G = (V, E) with edge weights we
 Output: A minimum spanning tree defined by the array prev
 for all u V :
 ∈
 cost(u) =
 ∞
 prev(u) = nil
 Pick any initial node u0
 cost(u0) = 0
 H = makequeue(V ) (priority queue, using cost-values as keys)
 while H is not empty:
 v = deletemin(H)
 for each v, z E:
 { } ∈
 if cost(z) > w(v, z):
 cost(z) = w(v, z)
 prev(z) = v
 decreasekey(H, z)
Ví dụ
 6 5
 A C E A C E
 4 1
 5 2 3 4
 B 2 D 4 F B D F
 Tập S A B Set SC AD B E C F D E F
 {} ∞ ∞ ∞ ∞ ∞
 0/nil /nil /nil 0/nil/nil /nil/nil /nil/nil /nil /nil /nil
 {} ∞ ∞ ∞ ∞ ∞
 A 5/A A 6/A 4/A 5/∞A/nil 6/∞A /nil4/A /nil /nil
 ∞ ∞
 A, D 2/D A, D2/D 2/D∞/nil 2/D4/D /nil 4/D
 ∞
 A, D, B A, D,1/B B ∞/nil 1/B4/D /nil 4/D
 ∞
 A, D, B, C A, D, B, C 5/C 3/C 5/C 3/C
 A, D, B, C, F A, D, B, C, F 4/F 4/F
 33 / 64
procedure prim(G, w)
Input: đồ thị vô hướng G = (V, E) với cạnh có trọng số
we.
Output: MST định nghĩa bởi mảng prev.
for all u ∈ V:
 cost(u) = ∞
 prev(u) = nil (đỉnh trước u khi xây dựng cây)
Chọn tùy ý một đỉnh ban đầu u0
cost(u0) = 0
H = makequeue(V) (dùng các giá trị cost làm khóa)
while H khác rỗng:
 v = deletemin(H)
 for all edges {v, z} ∈ E:
 if cost(z) > w(v, z):
 cost(z) = w(v, z)
 prev(z) = v (đỉnh trước z là v)
decreasekey(H, z)
 34 / 64
Nội dung
 Cây bao trùm nhỏ nhất
 Mã hóa Huffman
 Công thức Horn
 Phủ các tập
Sơ đồ nén MP3
 1. Số hóa bằng cách lấy mẫu theo khoảng. Tạo ra một dãy
 số thực
 s1, s2,..., sT
 Ví dụ, với tốc độ 44, 100 mẫu trên giây, bản giao hưởng 50
 phút có
 T = 50×60×44, 100 ≈ 130 triệu.
 2. Lượng hóa. Xấp xỉ si bởi giá trị gần nhất thuộc tập hữu hạn
 Γ.
 3. Mã hóa. Xâu s1s2 ... sT trên bảng chữ Γ được mã hóa ở
 dạng nhị phân. (Dùng mã Huffman)
 36 / 64
Mã hóa
 Ký hiệu Số lần xuất hiện
 A 70 triệu
 B 3 triệu
 C 20 triệu
 D 37 triệu
 I Bảng chữ Γ = {A, B, C, D} và T = 130 triệu.
 I Nếu mã hóa dùng 2 bit cho mỗi ký hiệu, ví dụ
 A → 00, B → 01, C → 10, D → 11
 ta cần 260 megabits.
 I Liệu ta có thể dùng mã độ dài thay đổi để giảm kích thước
 bản mã?
 37 / 64
Mã độ dài thay đổi
 I Dùng các dãy bit độ dài khác nhau để mã hóa các chữ cái.
 I Chữ cái xuất hiện thường xuyên hơn sẽ được mã bằng dãy bit
 ngắn hơn.
 I Vấn đề: Làm thế nào xác định được mỗi chữ bắt đầu và kết
 thúc ở đâu trong dãy bit.?
 Ví dụ
 Cách mã hóa
 A → 0, C → 01, D → 11, B → 001
 gây ra nhập nhằng khi giải mã
 001 → AC
 001 → B
 38 / 64
Mã tiền tố
 Định nghĩa
 Mã tiền tố là tập xâu thỏa mãn không có xâu nào là khúc đầu của
 xâu khác.
 Hãy giải mã dãy bit 10100100?
 39 / 64
Kích thước bản mã
 Ký hiệu Số lần xuất hiện Từ mã
 A 70 triệu 0
 B 3 triệu 100
 C 20 triệu 101
 D 37 triệu 11
 I Kích thước bản mã
 = (1 × 70 + 3 × 3 + 3 × 20 + 2 × 37) megabits
 = 213 megabits
 I Cải thiện 17% so với 260 megabits khi dùng mã độ dài cố
 định.
 40 / 64
Bài toán
 I Cho n ký hiệu có tần suất
 f1, f2,..., fn.
 I Hãy tìm cây ở đó mỗi lá ứng với
 một ký hiệu và có chi phí cực tiểu.
 ∑n
 Chi phí của cây = fi · (độ sâu ký hiệu thứ i trong cây)
 i=1
 41 / 64
Hãy tính chi phí của cây sau.
 ∑n
 Chi phí của cây = fi · (độ sâu ký hiệu thứ i trong cây)
 i=1
 42 / 64
 I
 Tần suất nút lá là fi.
 I Tần suất nút trong là tổng
 tần suất của các lá con cháu của nó.
Mệnh đề
Chi phí của cây là tổng tần suất của mọi nút ngoại trừ nút gốc.
 43 / 64
Tối ưu hàm chi phí
 ∑n
 Chi phí của cây = fi · (độ sâu của ký hiệu thứ i trong cây)
 i=1
 Nhận xét
 Hai ký hiệu với tần suất nhỏ nhất sẽ phải ở đáy của cây tối ưu.
 44 / 64
Xây dựng cây một cách tham lam
 I Tìm hai ký hiệu có tần suất nhỏ nhất, gọi là i và j, và tạo nút
 cha của chúng với tần suất fi + fj.
 Để đơn giản ký hiệu, ta giả sử chúng là f1 và f2.
 I
 Mọi cây trong đó f1 và f2 là nút lá anh em có chi phí f1 + f2
 cộng với chi phí cho cây gồm n − 1 nút lá của các tần suất:
 (f1 + f2), f3, f4,..., fn.
 I
 Ta đưa về bài toán kích thước nhỏ hơn. Ta loại bỏ f1 và f2
 khỏi dãy tần suất và thêm (f1 + f2) vào, và lặp lại.
 45 / 64
 Xây dựng cây một cách tham lam
S. Dasgupta, C.H. Papadimitriou, and U.V. Vazirani 155
 f1 + f2
 f5 f4 f3
 f1 f2
 Hình: Loại f , f và thêm f + f vào dãy tần suất.
The latter problem is just a smaller version1 2 of the1 one2 we started with. So we pull f1 and f2
off the list of frequencies, insert (f1 + f2), and loop. The resulting algorithm can be described
in terms of priority queue operations (as defined on page 120) and takes O(n log n) time if a
 46 / 64
binary heap4.5.2)(Sectionis used.
procedure Huffman(f)
Input: An array f[1 n] of frequencies
 · · ·
Output: An encoding tree with n leaves
let H be a priority queue of integers, ordered by f
for i = 1 to n: insert(H, i)
for k = n + 1 to 2n 1:
 −
i = deletemin(H), j = deletemin(H)
create a node numbered k with children i, j
f[k] = f[i] + f[j]
insert(H, k)
Returning to our toy example: can you tell if the tree of Figure 5.10 is optimal?
procedure Huffman(f)
Input: mảng f[1 ··· n] của các tần suất
Output: Một cây mã hóa với n lá
Xét H là hàng đợi ưu tiên của các số nguyên, thứ tự
bởi f
for i = 1 to n: insert(H, i)
for k = n + 1 to 2n − 1:
 i = deletemin(H), j = deletemin(H)
 Tạo một nút đánh số k với các con là i, j
 f[k] = f[i] + f[j]
 insert(H, k)
 47 / 64
Nội dung
 Cây bao trùm nhỏ nhất
 Mã hóa Huffman
 Công thức Horn
 Phủ các tập
Biến Boolean
 I Đối tượng cơ sở trong công thức Horn là biến Boolean, nhận
 giá trị true hoặc false.
 I Một literal là một biến x hoặc nghịch đảo của nó x (“NOT
 x”).
 Ví dụ
 Biến x, y và z ký hiệu các khả năng sau đây:
 x ≡ vụ giết người xảy ra trong bếp
 y ≡ người quản gia vô tội
 z ≡ ngài đại tá đã ngủ lúc 8 giờ tối
 49 / 64
Công thức Horn
 Trong công thức Horn, tri thức về các biến được biển diễn bởi hai
 loại mệnh đề:
 1. Kéo theo, vế trái là một AND của một số các literal dương
 và vế phải là một literal dương.
 Các khẳng định này có dạng “nếu mệnh đề vế trái mà đúng,
 thì vế phải cũng phải đúng”. Ví dụ,
 (x ∧ w) ⇒ u
 Một trường hợp riêng là dạng đơn ⇒ x với ý nghĩa rằng “x là
 true”.
 2. Toàn phủ định, bao gồm một OR của một số literal âm.
 Ví dụ
 (u ∨ v ∨ y)
 (“không thể tất cả cùng vô tội”).
 50 / 64
Bài toán nhất quán
 I Cho một tập các mệnh đề kéo theo hoặc toàn phủ định;
 I Hãy xác định liệu chúng có nhất quán. Tức là, có cách gán
 true/false cho các biến để thỏa mãn mọi mệnh đề. Đây
 cũng gọi là phép gán thỏa được.
Câu hỏi
Hãy xác định liệu các mệnh đề sau có nhất quán:
 (w ∧ y ∧ z) ⇒ x, (x ∧ z) ⇒ w, x ⇒ y,
 ⇒ x, (x ∧ y) ⇒ w, (w ∨ x ∨ y), (z).
 51 / 64
Thuật toán tham lam
 Input: Một công thức Horn
 Output: Một phép gán thỏa được, nếu tồn tại
 Đặt mọi biến bằng false
 while còn phép kéo theo chưa thỏa mãn:
 Đặt biến ở vế phải của phép kéo theo này bằng
 true
 if mọi mệnh đề toàn phủ định được thỏa mãn:
 return phép gán
 else:
 return ``công thức không thỏa mãn''
 52 / 64
Bài tập
Hãy chạy thuật toán với công thức Horn gồm các mệnh đề sau:
 (w ∧ y ∧ z) ⇒ x,
 (x ∧ z) ⇒ w,
 x ⇒ y,
 ⇒ x,
 (x ∧ y) ⇒ w,
 (w ∨ x ∨ y),
 (z).
 53 / 64
Tính đúng đắn của thuật toán
 I Nếu return một phép gán, thì phép gán này phải thỏa mãn
 cả các mệnh đề kéo theo và các mệnh đề toàn phủ định.
 I Ngược lại, ta có bất biến trong vòng lặp while:
 Nếu một biến được đặt bằng true, vậy thì nó phải
 bằng true trong mọi phép gán thỏa được.
 Nếu có một phép gán được tìm thấy sau vòng lặp while mà
 không thỏa mãn mệnh đề toàn phủ định, vậy không có phép
 gán nào thỏa được.
 54 / 64
Nội dung
 Cây bao trùm nhỏ nhất
 Mã hóa Huffman
 Công thức Horn
 Phủ các tập
Xây trường học trong các thị trấn
 I Mỗi trường phải ở trong một thị trấn và không ai phải đi hơn
 30 dặm để tới trường.
 I Số trường tối thiểu cần xây là bao nhiêu?
 56 / 64
Xây trường học trong các thị trấn
 I
 Mỗi thị trấn x, đặt Sx là tập thị trấn cách x trong vòng 30
 dặm. Một trường tại x sẽ “phủ” các thị trấn này.
 I
 Cần lấy bao nhiêu tập Sx để phủ mọi thị trấn?
 57 / 64
Bài toán phủ tập
 I
 Input: Một tập B; và các tập S1, S2,..., Sm ⊆ B
 I
 Output: Một cách chọn các Si sao cho hợp của chúng là B
 I Chi phí: Số tập được chọn
 58 / 64
Thuật toán tham lam
 Lặp lại cho đến khi mọi phần tử của B được phủ:
 Chọn tập Si với nhiều phần tử chưa được phủ nhất.
 59 / 64
Bài tập
Hãy tìm phủ tối ưu cho tập thị trấn như sau:
 60 / 64
Khẳng định
Giả sử B chứa n phần tử và phủ tối ưu gồm k tập. Thuật toán
tham lam sẽ dùng nhiều nhất k ln n tập.
 61 / 64
Chứng minh
 I
 Xét nt là số phần tử vẫn chưa được phủ sau t lần lặp của
 thuật toán tham lam. Ta có n0 = n.
 I Vì các phần tử này bị phủ bởi k tập tối ưu, nên phải có một
 tập với ít nhất nt/k phần tử trong số k tập này.
 I Vậy chiến lược tham lam đảm bảo
 ( ) ( ) ( )
 2 t+1
 nt 1 1 1
 n ≤ n − = n 1 − < n − 1 − < n 1 −
 t+1 t k t k t 1 k 0 k
 I Do 1 − x ≤ e−x, ta được
 ( )
 1 t
 n ≤ n 1 − < n (e−1/k)t = ne−t/k
 t 0 k 0
 I − ln n
 Khi t = k ln n, thì nt < ne = 1, tức là không còn phần tử
 nào cần phủ.
 62 / 64
160 Algorithms
which is most easily proved by a picture:
 x
 e−
 1 x
 − 1
 x
 0
Thus −x
 Hình: Chỉ ra rằng 1 − x ≤ e vớit mọi x, đẳng thức nếu và chỉ nếu x = 0.
 1 1/k t t/k
 n n 1 < n (e− ) = ne− .
 t ≤ 0 − k 0
 ! " 63 / 64
 ln n
At t = k ln n, therefore, nt is strictly less than ne− = 1, which means no elements remain to
be covered.
The ratio between the greedy algorithm’s solution and the optimal solution varies from
input to input but is always less than ln n. And there are certain inputs for which the ratio is
very close to ln n (Exercise 5.33). We call this maximum ratio the approximation factor of the
greedy algorithm. There seems to be a lot of room for improvement, but in fact such hopes are
unjustified: it turns out that under certain widely-held complexity assumptions (which will
be clearer when we reach Chapter 8), there is provably no polynomial-time algorithm with a
smaller approximation factor.
Tỉ suất của thuật toán tham lam
 I Tỉ lệ giữa nghiệm của thuật toán tham lam và nghiệm tối ưu
 thay đổi theo dữ liệu vào nhưng luôn nhỏ hơn ln n.
 I Có một số input tỉ lệ rất gần với ln n.
 I Ta gọi tỉ lệ lớn nhất là tỉ suất của thuật toán tham lam.
 Nhận xét
 Dưới một số giả sử được thừa nhận rộng rãi, ta có thể chứng minh
 được rằng: không có thuật toán thời gian đa thức với tỉ suất xấp xỉ
 nhỏ hơn.
 64 / 64

File đính kèm:

  • pdfbai_giang_toan_roi_rac_chuong_thuat_toan_tham_lam_tran_vinh.pdf