Before the theory of computational

Before the theory of computational complexity was developed, it was
widely thought that "scaling up" to larger problems was simply a matter of faster hardware
and larger memories.The optimism that accompanied the development of resolution theorem
proving, for example, was soon dampened when researchers failed to prove theorems involving more than a few dozen facts.

Kết quả (Việt) 2:

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