难不等于不可能

要分清两件事：一件是"很难但总能算出来"，另一件是"根本没有任何办法算出来"。前者只是慢，后者是真无解。计算理论最深刻的发现，就是后一种问题确实存在。