Professional Documents
Culture Documents
02. C1T2. Khởi động kỹ thuật đếm sơ cấp t.t 17.09.2021 M11
02. C1T2. Khởi động kỹ thuật đếm sơ cấp t.t 17.09.2021 M11
L/O/G/O
www.themegallery.com
Bài tập trên lớp (lấy điểm quá trình)
Bài 3
{2 g}
{n+1 ss} While ngoài lặp n lần
{n g}
{𝛼𝑖 +1 𝑠𝑠}
{2𝛼𝑖 𝑔} While trong lặp bao nhiều lần?
Pi
{n g}
Gọi 𝛼𝑖 số lần lặp của vòng while trong – đoạn Pi (xét độc lập với while ngoài)
𝑛
𝑛
0 𝑘ℎ𝑖 𝑖 <
𝛼𝑖 = 2
𝑛
Pi 𝑖 − 𝑛 − 𝑖 + 1 = 2𝑖 − 𝑛 + 1 𝑘ℎ𝑖 𝑖 ≥
2
Kết luận:
𝑛 𝑛
= 2 + 2𝑛 + 4 𝑖 + 2 (1 − 𝑛)
𝑛 𝑛
𝑖= 2 𝑖= 2
𝑛 𝑛 𝑛
= 2 + 2𝑛 + 4 + 𝑛 (𝑛 − + 1)/2 + 2(1 − 𝑛) (𝑛 − + 1)
2 2 2
24/02/2021 5 GV: Huỳnh Thị Thanh Thương
Sửa bài tập trên lớp Bài 3
𝑛
Vòng lặp Pi chỉ thực hiện khi 𝑛 − 𝑖 ≤ 𝑖 ⟺ 𝑖 ≥
2
Suy ra:
𝑛
0 𝑘ℎ𝑖 𝑖 <
𝛼𝑖 = 2
𝑛
Pi 𝑖 − 𝑛 − 𝑖 + 1 = 2𝑖 − 𝑛 + 1 𝑘ℎ𝑖 𝑖 ≥
2
Kết luận:
𝑛 𝑛 𝑛
𝑆ố 𝑝ℎé𝑝 𝑠𝑜 𝑠á𝑛ℎ 𝑛 = 𝑛 + 1 + (𝛼𝑖 + 1) = 𝑛 + 1 + 𝛼𝑖 + 1
𝑖=1 𝑖=1 𝑖=1
𝑛 𝑛 𝑛
= 𝑛 + 1 + 2𝑖 − 𝑛 + 1 + 𝑛 = 2𝑛 + 1 + 2 𝑖 + (1 − 𝑛)
𝑛 𝑛 𝑛
𝑖= 2 𝑖= 2 𝑖= 2
𝑛 𝑛 𝑛
= 2𝑛 + 1 + 2 + 𝑛 (𝑛 − + 1)/2 + (1 − 𝑛) (𝑛 − + 1)
2 2 2
Bài 4
𝑖 𝑖 𝑖
𝑗: {𝑖, , , , … , > 0}
2 4 8
𝑖 𝑖 𝑖 𝑖 𝑖
𝛼𝑖 = số con k, 𝑘 ∈ ℕ| 𝑘 ≥ 1 𝑗: { 0 , 1 , 2 , 3 , … , 1}
2 2 2 2 2
𝑖 𝑘 ⇔ log 𝑖 ≥ 𝑘
≥ 1 ⟺ 𝑖 ≥ 2 2
2𝑘
Bài 5
{3*3n g}
{3n ss}
{3n g}
i 1 n 2n 3n
x - - 0 +
y + 0 - -
i 1 n 2n 3n
x - - 0 +
y + 0 - -
3𝑛 3𝑛 3𝑛
Thực hiện CT
Chạy thử, kiểm tra:
Lỗi và cách sửa: Lỗi cú pháp, Lỗi ngữ nghĩa
Xây dựng bộ dữ liệu test
Hiệu chỉnh CT
Niklaus Wirth:
⚫ Cấu trúc dữ liệu: (có thể hiểu là) cách tổ chức dữ liệu,
mô hình dữ liệu, cách mô tả bài toán dưới dạng NNLT
⚫ Giải thuật: hướng giải quyết bài toán, một quy trình để
thực hiện một công việc xác định.
Nội dung Tổng quan
4. Độ phức tạp
17/09/2021
GV: Huỳnh Thị Thanh Thương 21
Thuật toán là gì?
Nhắc lại: Khái niệm
▪ Giải pháp viết dưới dạng thủ tục (các bước giải
quyết vấn đề được diễn đạt một cách cụ thể) và
thỏa 3 tiêu chuẩn:
17/09/2021
GV: Huỳnh Thị Thanh Thương 22
Câu hỏi thảo luận trên lớp