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) 1:

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.

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.