Tôi đã đọc về Định lý bữa trưa miễn phí, nhưng tôi hoàn toàn không thể hiểu nó là gì. Tôi đã nghe định lý này được mô tả ở nơi khác như tuyên bố rằng "không có trình tối ưu hóa phổ quát cho mục đích chung". Mặt khác, bài viết trên Wikipedia nói về "các giải pháp ứng cử viên" được "đánh giá từng cái một" - nếu chúng ta chỉ xem xét các thuật toán của một hình thức cụ thể, thì đó là một yêu cầu hạn chế hơn nhiều.
Bất cứ ai có thể giải thích những gì định lý này thực sự tuyên bố?