(Tôi đang ở giữa khóa học lý thuyết cs đầu tiên của mình, vì vậy tôi xin lỗi trước vì đây có thể là một câu hỏi ngu ngốc.)
Vì vậy, chúng tôi nói rằng một số ngôn ngữ L nằm trong P, có nghĩa là máy Turing có thể được xây dựng để tạo ra 1 nếu x nằm trong L và 0 nếu không; Ngoài ra, máy chạy trong thời gian đa thức. Tôi hiểu điều này.
Nhưng nhiều người nói rằng có một số vấn đề nhất định trong P mà dường như không phải là vấn đề quyết định; ví dụ, tối đa hóa một chức năng theo các ràng buộc tuyến tính. Điều đó có nghĩa là "lập trình tuyến tính" trong P là gì? Chắc chắn "tìm giá trị tối đa" không phải là một vấn đề quyết định?