provably optimal
Một giải pháp được chứng minh là tối ưu là một giải pháp đã được chứng minh một cách cẩn thận là tốt nhất theo một số tiêu chí hoặc ràng buộc nhất định. Điều này thường bao gồm các bằng chứng toán học hoặc phân tích thuật toán để chỉ ra rằng không có giải pháp nào khác có thể hoạt động tốt hơn dưới điều kiện cụ thể đó.
