Cấu trúc dữ liệu và giải thuật: gói ôn nước rút

Bảng công thức, các bước phương pháp chính cho từng chủ đề và 6 bài tập, kèm lời giải đầy đủ ở cuối.

Bài mớiQuay lại môn học

Trong cửa sổ in, hãy chọn “Lưu dưới dạng PDF” để giữ một bản trên thiết bị của bạn.

1Công thức và phương pháp

Lý thuyết đồ thị

Bổ đề bắt tay
Σ deg(v) = 2|E|
Đồ thị đầy đủ
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Đồ thị đều
|E| = n·k/2
Cây và rừng
|E| = n − 1, |E| = n − c
Lá của cây
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Euler
chu trình: mọi bậc đều chẵn; đường đi: đúng 2 bậc lẻ
Chu trình Hamilton trong Kn
(n − 1)!/2
Cập nhật Dijkstra
d(v) = min(d(v), d(u) + w(u, v))
Đường đi độ dài L
(Mᴸ)ij

Phương pháp

  1. Hãy ghi bậc của mỗi đỉnh; tổng các bậc bằng hai lần số cạnh.
  2. Với bài Euler, hãy kiểm tra đồ thị liên thông và đếm số đỉnh có bậc lẻ.
  3. Với cây, hãy dùng n − 1 cạnh và bổ đề bắt tay.
  4. Với Dijkstra, hãy lập bảng khoảng cách tạm thời và mỗi vòng chốt đỉnh chưa chốt có giá trị nhỏ nhất.
  5. Với cây khung nhỏ nhất, hãy sắp xếp các cạnh theo trọng số và bỏ qua mọi cạnh tạo thành chu trình (Kruskal), hoặc mở rộng một cây từ một đỉnh xuất phát (Prim).

2Bài tập

1.Thuật toán và độ phức tạpTrung bình

Một thuật toán tham lam:

  1. AĐưa ra lựa chọn tốt nhất cục bộ ở mỗi bước
  2. BChỉ dùng đệ quy
  3. CThử mọi lời giải có thể
  4. DLuôn cho lời giải tối ưu
2.Thuật toán và độ phức tạpKhó

Sự khác biệt giữa một bài toán bất khả quyết định và một bài toán không khả thi (intractable) là gì?

  1. ABài toán không khả thi không thể giải bằng bất kỳ thuật toán nào, còn bài toán bất khả quyết định chỉ cần thời gian hàm mũ
  2. BBài toán bất khả quyết định thuộc NP, còn bài toán không khả thi thuộc P
  3. CCả hai đều có nghĩa là bài toán hoàn toàn không có thuật toán
  4. DBài toán bất khả quyết định không có thuật toán nào cho mọi đầu vào; bài toán không khả thi có thuật toán, nhưng quá chậm
3.Cấu trúc dữ liệuTrung bình

Cấu trúc dữ liệu nào được tìm kiếm theo chiều sâu (phiên bản lặp) sử dụng?

  1. AChỉ bảng băm
  2. BNgăn xếp
  3. CHàng đợi
  4. DĐống
4.Cấu trúc dữ liệuKhó

Cấu trúc union-find (tập rời nhau) với hợp theo hạng và nén đường đi có chi phí khấu hao mỗi thao tác là:

  1. AChính xác O(log n)
  2. BO(n²)
  3. CO(α(n)), hàm Ackermann ngược, thực tế gần như hằng số
  4. DO(n)
5.Lý thuyết đồ thịTrung bình
ABCDEFChu trình EulerĐường đi Euler, không có chu trìnhkhông phải cả hai

Đồ thị liên thông có chu trình Euler, đường đi Euler không phải chu trình, hay không có cái nào? Hãy nhấp vào đáp án của bạn.

|V| = 6|E| = 6
  1. 1Chu trình Euler
  2. 2Đường đi Euler, không có chu trình
  3. 3không phải cả hai
6.Lý thuyết đồ thịKhó
491436610572ABCDEFG

Hãy dùng thuật toán Dijkstra để tìm độ dài d(F) của đường đi ngắn nhất từ A đến F trong đồ thị có trọng số.

bắt đầu: Akết thúc: F
d(F) =

3Dung dịch

1.Thuật toán và độ phức tạp

Đáp số: A · Đưa ra lựa chọn tốt nhất cục bộ ở mỗi bước

Vì sao đây là đáp án

Thuật toán tham lam nhanh và tối ưu cho một số bài toán (ví dụ Dijkstra, mã hóa Huffman) nhưng không phải nói chung (ví dụ đổi tiền với một số hệ thống đồng xu).

Đáp số

A · Đưa ra lựa chọn tốt nhất cục bộ ở mỗi bước
2.Thuật toán và độ phức tạp

Đáp số: D · Bài toán bất khả quyết định không có thuật toán nào cho mọi đầu vào; bài toán không khả thi có thuật toán, nhưng quá chậm

Vì sao đây là đáp án

Bài toán dừng hoàn toàn không có thuật toán; một bài toán NP-khó như TSP có thể giải bằng vét cạn, chỉ là không trong thời gian đa thức đã biết.

Đáp số

D · Bài toán bất khả quyết định không có thuật toán nào cho mọi đầu vào; bài toán không khả thi có thuật toán, nhưng quá chậm
3.Cấu trúc dữ liệu

Đáp số: B · Ngăn xếp

Vì sao đây là đáp án

DFS khám phá sâu nhất có thể, tự nhiên dùng ngăn xếp (hoặc ngăn xếp lời gọi của đệ quy); BFS dùng hàng đợi.

Đáp số

B · Ngăn xếp
4.Cấu trúc dữ liệu

Đáp số: C · O(α(n)), hàm Ackermann ngược, thực tế gần như hằng số

Vì sao đây là đáp án

Với cả hai tối ưu hóa, các thao tác tốn thời gian khấu hao O(α(n)); α(n) ≤ 4 với mọi n thực tế.

Đáp số

C · O(α(n)), hàm Ackermann ngược, thực tế gần như hằng số
5.Lý thuyết đồ thị

Đáp số: Đường đi Euler, không có chu trình

Euler, Hamilton và cây: một đồ thị liên thông có chu trình Euler (đi qua mỗi cạnh một lần, trở về điểm đầu) khi mọi đỉnh có bậc chẵn, và có đường đi Euler không phải chu trình khi có đúng hai đỉnh bậc lẻ; khi đó đường đi chạy từ một đỉnh lẻ đến đỉnh lẻ kia. Một chu trình Hamilton thăm mỗi đỉnh một lần; Kn có (n − 1)!/2 chu trình như vậy. Một cây trên n đỉnh có n − 1 cạnh, và một đồ thị liên thông có m cạnh còn lại một cây khung sau khi bỏ m − n + 1 cạnh.

Các bậc

deg(A) = 1, deg(B) = 3, deg(C) = 2, deg(D) = 2, deg(E) = 2, deg(F) = 2

Các đỉnh lẻ

A, B → 2
Đường đi Euler, không có chu trình

Đáp số

Đường đi Euler, không có chu trình

Đường đi Euler bắt đầu ở một đỉnh lẻ và kết thúc ở đỉnh lẻ kia.

6.Lý thuyết đồ thị

Đáp số: d(F) = 17

Đường đi ngắn nhất và cây khung: thuật toán Dijkstra chốt một đỉnh mỗi vòng: đỉnh chưa chốt có khoảng cách tạm thời nhỏ nhất. Khoảng cách của nó khi đó là cuối cùng, và mỗi đỉnh kề v được d(v) = min(d(v), d(u) + w(u, v)). Thuật toán Kruskal xây dựng cây khung nhỏ nhất bằng cách lấy các cạnh từ nhẹ đến nặng và bỏ qua mọi cạnh tạo thành chu trình; thuật toán Prim mở rộng một cây từ một đỉnh xuất phát bằng cách luôn thêm cạnh nhẹ nhất đi ra khỏi cây. Một cây khung của n đỉnh có n − 1 cạnh.

Dijkstra từng vòng

Mỗi dòng: đỉnh được chốt, khoảng cách cuối cùng của nó, và các đỉnh kề có khoảng cách được cải thiện.

A (0): C: 4
C (4): B: 13, E: 7, G: 11
E (7): D: 13, F: 17
G (11)
B (13)
D (13)
F (17)

Đường đi ngắn nhất

A → C → E → F
d(F) = 17

Đáp số

d(F) = 17

ExamProblems · examproblems.com/courses/data-structures-and-algorithms