* Xác định bài toán :

- Input : số nguyên h, k và dãy d1, d2, ... , dh

- Output : tổng và số lượng các số không chia hết cho k

* Ý tưởng :

- Khởi tạo giá trị i từ 1 đến h

- Kiểm tra tuần tự các phần tử trong dãy, nếu d[i] mod k <> 0 thì s ← s + d[i] và dem ← dem + 1

* Mô tả thuật toán :

- Bước 1 : nhập h, k và dãy d1, d2, ... , ah

- Bước 2 : i ← 1; s ← 0; dem ← 0

- Bước 3 : nếu i > h thì đưa ra giá trị s và dem rồi kết thúc

- Bước 4 : nếu d[i] mod k <> 0 thì s ← s + d[i] và dem ← dem + 1

- Bước 5 : i ← i + 1 quay lại bước 3

* Tính chất :

- Tính dừng : Vì giá trị i mỗi lần tăng lên 1 đơn vị nến sau h lần thì i > h, khi đó kết quả so sánh ở bước 3 được xác định việc đưa ra giá trị s và dem rồi kết thúc

- Tính xác định : Thứ tự thực hiện các bước của thuật toán được mặc định là tuần tự nên sau bước 1 là bước 2, sau bước 2 là bước 3. Kết quả các phép so sánh trong bước 3 và bước 4 đều xác định duy nhất bược tiếp theo cần thực hiện

- Tính đúng đắn : Vì thuật toán so sánh a[i] mod k với 0 với từng số hạng của dãy số thực hiện s ← s + d[i] và dem ← dem + 1 nếu d[i] mod k <> 0 nên sau khi so sánh hết h số hạng thì s là tổng các số không chia hết cho k, và dem là số lượng các số hạng không chia hết cho k

* Mô phỏng :

- h = 4; k = 2

- Dãy : 2,  4,  5,  1

=> d[1] = 2 chia hết cho k

=> d[2] = 4 chia hết cho k

=> d[3] = 5 không chia hết cho k ⇒ s = 5 và dem = 1

=> d[4] = 1 không chia hết cho k ⇒ s = 6 và dem = 2

=> s = 5, dem = 2