Có một thuật toán để tối ưu hóa độ phức tạp thời gian / không gian thuật toán không?

Vào những năm 1950, một số phương pháp tối thiểu hóa mạch cho các hàm Boolean đã được phát minh. Có một phần mở rộng của các phương thức đó hoặc bất cứ điều gì tương tự để tối ưu hóa thời gian hoặc độ phức tạp không gian của các thuật toán không?

Ví dụ, việc triển khai sắp xếp bong bóng làm đầu vào cho thuật toán như vậy sẽ tạo ra việc thực hiện thuật toán sắp xếp với độ phức tạp thời gian gần hơn với .$O(n\log n)$

Tra cứu định lý tăng tốc của Blum (vâng, bài viết này ít thông tin hơn, hãy xem một cuốn sách về lý thuyết phức tạp). Về cơ bản nó nói rằng có những chương trình có một chương trình thực hiện cùng một công việc nhanh hơn bởi bất kỳ lề nào được chỉ định cho hầu hết tất cả dữ liệu đầu vào.

Theo định lý của Rice , không thể biết liệu hai chương trình đã cho có làm cùng một công việc hay không.

Có, đối với một số khái niệm rất hạn chế về "chương trình", đưa ra một ví dụ người ta có thể xây dựng chương trình "tốt nhất có thể" cho công việc. Các lớp quan trọng, thậm chí. Nhưng khác xa với bất cứ thứ gì có thể thể hiện bong bóng.