Trước khi lý thuyết độ phức tạp tính toán được phát triển, nó đã rộng rãi nghĩ rằng "mở rộng" cho các vấn đề lớn hơn là chỉ đơn giản là một vấn đề phần cứng nhanh hơn và những kỷ niệm lớn hơn. Lạc quan rằng đi kèm với sự phát triển của định lý độ phân giải chứng minh, ví dụ, sớm dampened khi các nhà nghiên cứu không thể chứng minh định lý liên quan đến nhiều hơn là một vài chục thật.
đang được dịch, vui lòng đợi..
