Tôi thường tương tác với những người muốn yêu cầu một thuật toán cho một vấn đề tính toán (hoặc độ phức tạp của nó), nhưng họ không diễn đạt nó theo cách nghiêm ngặt để chúng tôi (các nhà khoa học máy tính) hiểu.
Việc giới thiệu chúng đến những cuốn sách như CLRS không hữu ích bởi vì các ví dụ thường có cách nói khá đơn giản, ví dụ như đưa ra danh sách kề của một đồ thị và hai đỉnh trong đó tính đường đi ngắn nhất giữa các đỉnh đó.
Có cuốn sách hay nào (hoặc một số tài nguyên khác) mà một người có kiến thức tối thiểu về CS có thể học cách người ta nên hình thành và nêu các vấn đề tính toán theo cách nghiêm ngặt dễ hiểu đối với các nhà khoa học máy tính không?
Tốt nhất là cuốn sách nên có nhiều ví dụ về cách xây dựng các vấn đề tính toán một cách chặt chẽ từ các ví dụ khác nhau trong miền và thế giới thực.
Làm rõ
Để làm cho câu hỏi cụ thể hơn, hãy giả sử rằng họ biết các thuật ngữ toán học / CS cơ bản như bộ, hàm, biểu đồ, danh sách, v.v ... ở cấp độ của sinh viên CS năm thứ 1/2 lí trí). Ví dụ, họ đã đọc một số sách giáo khoa giới thiệu như Aho và Ullman (mặc dù họ có thể không hiểu nó hoàn toàn).
- Al Aho và Jeff Ullman, Tổ chức Khoa học Máy tính , 1992.