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.
đang được dịch, vui lòng đợi..
