Phương pháp nào sau đây thường được sử dụng để chứng minh tính đúng của thuật toán một cách chắc chắn?
A. Kiểm thử bằng cách chạy nhiều lần
Quảng cáo
Trả lời:
Giải bởi Vietjack
Đáp án: C
Giải thích: Để chứng minh tính đúng của một thuật toán, lôgic toán học là phương pháp tin cậy và chuẩn xác nhất, vì nó đảm bảo tính đúng cho mọi trường hợp.
Đăng nhập để xem lời giải
Lưu tiến độ và luyện tập hiệu quả hơn. Hoàn toàn miễn phí!
Đang tải chế độ Học...
Hot: 1000+ đề thi giữa kì 1 lớp 1-12 đầy đủ các môn (Update 2026) (chỉ từ 60k). Tải ngay
Đăng ký VIP để học và luyện thi không giới hạn
Trọn bộ quyền lợi trên Vietjack, trong một tài khoản.
- Phòng luyện thi cấp tốc: ĐGNL - ĐGTD, Tốt nghiệp THPT, Ôn vào 10, Ôn vào 6, Ôn Giữa kì/Cuối kì
- Hơn 200K đề thi thử, đề minh hoạ, chính thức các năm
- Với 3tr+ câu hỏi theo các mức độ Nhận biết, Thông hiểu, Vận dụng
- Tải xuống đề thi [DOCX] với đầy đủ đáp án
- Xem hàng ngàn bài giảng đính kèm củng cố thêm kiến thức
- Bao gồm tất cả các bậc từ Tiểu học đến Đại học
- Chặn hiển thị quảng cáo tăng khả năng tập trung ôn luyện
- Đăng ký ngay
CÂU HỎI HOT CÙNG CHỦ ĐỀ
Đăng nhập để xem lời giải
Lưu tiến độ và luyện tập hiệu quả hơn. Hoàn toàn miễn phí!
Lời giải
a) Đúng. Thời gian chạy của thuật toán là một tiêu chí quan trọng để đánh giá hiệu quả của nó, đặc biệt là khi xét đến độ phức tạp thời gian.
b) Sai. Bộ nhớ ít cũng quan trọng, nhưng không phải là yếu tố quan trọng nhất trong mọi trường hợp.
c) Sai. Rõ ràng và dễ hiểu giúp lập trình dễ bảo trì, nhưng không phải là tiêu chí chính để đánh giá hiệu quả.
d) Sai. Tính đúng đắn là yêu cầu cần có, nhưng tính hiệu quả còn đòi hỏi thuật toán phải chạy nhanh và sử dụng bộ nhớ hợp lý.
Đăng nhập để xem lời giải
Lưu tiến độ và luyện tập hiệu quả hơn. Hoàn toàn miễn phí!
Lời giải
Đáp án: Kiểm thử chương trình giúp tăng độ tin cậy của chương trình bằng cách phát hiện và sửa các lỗi thông qua việc sử dụng các bộ dữ liệu đầu vào khác nhau. Tuy nhiên, kiểm thử không thể chứng minh tính đúng đắn hoàn toàn của một thuật toán.
Giải thích: Kiểm thử có thể phát hiện lỗi khi chương trình không cho ra kết quả đúng với các bộ dữ liệu đầu vào cụ thể. Tuy nhiên, vì số lượng trường hợp đầu vào là vô hạn, nên kiểm thử không đảm bảo rằng chương trình luôn đúng với mọi trường hợp. Để chứng minh tính đúng của một thuật toán, ta cần sử dụng các phương pháp chứng minh logic hoặc toán học.
Câu 3
A. Đảm bảo chương trình chạy nhanh nhất có thể
Đăng nhập để xem lời giải
Lưu tiến độ và luyện tập hiệu quả hơn. Hoàn toàn miễn phí!
Lời giải
Bạn cần đăng ký gói VIP ( giá chỉ từ 250K ) để làm bài, xem đáp án và lời giải chi tiết không giới hạn.
Đăng nhập để xem lời giải
Lưu tiến độ và luyện tập hiệu quả hơn. Hoàn toàn miễn phí!
Lời giải
Bạn cần đăng ký gói VIP ( giá chỉ từ 250K ) để làm bài, xem đáp án và lời giải chi tiết không giới hạn.
Câu 5
A. Kiểm thử bằng chứng minh lôgic toán học
Đăng nhập để xem lời giải
Lưu tiến độ và luyện tập hiệu quả hơn. Hoàn toàn miễn phí!
Lời giải
Bạn cần đăng ký gói VIP ( giá chỉ từ 250K ) để làm bài, xem đáp án và lời giải chi tiết không giới hạn.
Câu 6
A. Tính đơn giản và dễ hiểu
Đăng nhập để xem lời giải
Lưu tiến độ và luyện tập hiệu quả hơn. Hoàn toàn miễn phí!
Lời giải
Bạn cần đăng ký gói VIP ( giá chỉ từ 250K ) để làm bài, xem đáp án và lời giải chi tiết không giới hạn.
Đăng nhập để xem lời giải
Lưu tiến độ và luyện tập hiệu quả hơn. Hoàn toàn miễn phí!
Lời giải
Bạn cần đăng ký gói VIP ( giá chỉ từ 250K ) để làm bài, xem đáp án và lời giải chi tiết không giới hạn.
Đăng ký để học cùng Vietjack. Hoàn toàn miễn phí!
Bằng việc đăng ký, bạn đồng ý với Điều khoản sử dụng và Chính sách bảo mật của Vietjack.
Nhắn tin Zalo
Hỏi bài tập