Ca biên — rỗng, một phần tử, số 0, số âm, trùng

TL;DR: Lời giải tìm điểm cao nhất chạy đúng với [7, 9, 5] không nói gì về việc nó có chạy đúng với mọi danh sách hay không. Bài này soi một đoạn code qua năm ca: danh sách rỗng làm nó gãy ngay dòng thứ hai, một phần tử và hai điểm trùng thì chạy đúng, có số 0 cũng đúng nhưng chỉ vì code tránh được một bẫy khởi tạo, còn số âm thì đề cấm mà code chẳng chặn. Cả năm ca đều đọc ra được từ ô Vào, trước khi chạy dòng nào.

Đoạn code tìm điểm cao nhất trong [7, 9, 5] chạy ra đúng một con số: 9. Bạn thử lại với [3, 8, 1], vẫn đúng. Bạn tin nó đã xong việc.

Nó chưa xong. Bạn mới thử những con số bình thường — không rỗng, không âm, không trùng nhau. Đề bài không hứa điều đó với mọi lần chạy sau; chỉ bạn tự hứa với chính mình khi chọn số để thử tay.

Bài này lo đúng một việc: soi năm ca dữ liệu mà người mới hầu như không tự nghĩ ra để thử, trên đúng đoạn code bạn đã tin là đúng.

1. Analogy — biển tải trọng ở đầu cầu

Bạn không cần lái xe tải qua cầu để biết cầu có sập hay không. Đầu cầu có sẵn tấm biển ghi giới hạn — "tối đa 8 tấn" — kỹ sư đã tính con số đó từ lúc thiết kế, không đợi cầu sập thật mới biết.

Ràng buộc trong ô Vào đóng đúng vai tấm biển đó — nói trước, ngay khi bạn đọc đề, dữ liệu nào an toàn và dữ liệu nào không, không đợi bạn chạy thử rồi mới báo lỗi.

2. Lời giải cũ, năm câu hỏi mới

Đây là lời giải cho chính cái đề bạn đã bóc thành ba ô ở bài 1 — tìm điểm cao nhất — và nó chạy đúng với [7, 9, 5]:

diem = [7, 9, 5]
cao_nhat = diem[0]

for d in diem:
    if d > cao_nhat:
        cao_nhat = d

print(cao_nhat)

Output thật:

9

Đúng đoạn code này, không đổi một dòng nào, năm câu hỏi khác nhau đặt ra khi diem là:

• danh sách rỗng
• đúng một phần tử
• danh sách có số 0
• danh sách có số âm
• hai bạn trùng điểm cao nhất

3. Ca biên đọc ra được từ đâu, nếu không phải chạy thử?

Từ chính ô Vào. Đề của lời giải trên chỉ nói "cho một danh sách điểm, tìm điểm cao nhất" — và câu đó im lặng về ba thứ:

• Danh sách có bắt buộc khác rỗng không? Đề không nói.
• Điểm số có bắt buộc lớn hơn 0 không? Đề không nói (hoặc nói mà code không kiểm tra).
• Nếu hai người cùng đạt điểm cao nhất thì kết quả tính sao? Đề không nói.

Mỗi chỗ đề "không nói" chính là một ca biên. Không cần chạy máy để phát hiện ra chúng — chỉ cần đọc lại ô Vào và tự hỏi: giá trị nhỏ nhất mà ô này còn chấp nhận là gì, và giá trị ngay sát bên ngoài giới hạn đó thì sao?

4. Thử đoán — năm ca, một đoạn code

Traceback (most recent call last):
  File "tim_diem_cao_nhat.py", line 2, in <module>
    cao_nhat = diem[0]
               ~~~~^^^
IndexError: list index out of range

diem = [-8, -3, -5]
cao_nhat = 0

for d in diem:
    if d > cao_nhat:
        cao_nhat = d

print(cao_nhat)

0

5. Tới lượt bạn

Cùng kỹ năng đọc ô Vào trước khi chạy, áp cho một hàm khác: tính điểm trung bình của một lớp.

diem = []
tong = 0

for d in diem:
  tong = tong + d

trung_binh = tong / len(diem)
print(trung_binh)

6. Bẫy thường gặp

❌ Nhầm 1 — thử vài ca "bình thường" rồi coi như đã kiểm tra đủ. [7, 9, 5] và [3, 8, 1] đều là dữ liệu tự nghĩ ra, và dữ liệu tự nghĩ ra gần như luôn "đẹp": không rỗng, không âm, không trùng.

✅ Quay lại ô Vào và hỏi riêng cho từng ràng buộc: giá trị nhỏ nhất hợp lệ là gì, và giá trị ngay sát bên ngoài đó thì sao.

❌ Nhầm 2 — khởi tạo biến lớn nhất bằng 0 cho "chắc ăn". Nhìn có vẻ an toàn vì 0 là số nhỏ, nhưng nó âm thầm giả định điểm cao nhất luôn lớn hơn 0.

✅ Khởi tạo mốc bằng chính một phần tử thật của dữ liệu — diem[0] — không phải một hằng số nghĩ sẵn.

❌ Nhầm 3 — tin rằng đề bài cấm là code cũng cấm. Đề nói "điểm không âm" không có nghĩa dòng code nào đó tự động từ chối số âm.

✅ Ràng buộc trên giấy chỉ có hiệu lực khi có một dòng if thật sự kiểm tra nó.

7. 📚 Đào sâu — vì sao ca biên hay bị bỏ sót

8. Liên hệ các bài khác

• Bài 1 — Đọc đề — ô Vào là nơi mọi ca biên trong bài này bắt nguồn.
• Bài 4 — Phân rã — mỗi bước phân rã cũng cần soi ca biên riêng, không chỉ ở bước cuối.
• Bài 3 module 2 — Vòng lặp while — cơ chế "0 vòng chạy" là nền cho việc hiểu ca danh sách rỗng.
• Bài 5 module 2 — Lặp lồng và lệch một đơn vị — ca biên đầu tiên bạn từng gặp, chỉ chưa được gọi tên.
• Bài 7 — Mini challenge — tự soi ca biên cho một đề hoàn toàn mới, không có bảng dựng sẵn.

9. Tóm tắt

• Trước khi tin một lời giải đã "chạy đúng", tự hỏi mình đã thử ca nào ngoài dữ liệu đẹp chưa — nếu chưa, bạn mới chỉ chạy một nửa phép thử.
• Danh sách rỗng làm lời giải ở mục 2 gãy ngay dòng khởi tạo cao_nhat = diem[0]; cùng ca đó làm hàm trung bình ở mục 5 gãy ở phép chia, vì rỗng lộ ra khác nhau tuỳ thuật toán dùng danh sách vào việc gì.
• Mốc so sánh phải lấy từ chính dữ liệu, không phải từ một hằng số nghĩ sẵn — cao_nhat = diem[0] sống sót với điểm âm, cao_nhat = 0 thì không.
• Ràng buộc chỉ tồn tại trên giấy cho tới khi có một dòng if kiểm tra nó; đọc lại ô VÀO rồi tìm xem dòng đó nằm ở đâu trong code.
• Một phần tử và điểm trùng chạy đúng với lời giải này, nhưng "đúng" chỉ biết được sau khi soi, không phải mặc định.

10. Tự kiểm tra

Bài tiếp theo: Mini challenge — từ đề tới lưu đồ hoàn chỉnh