由于 许多 现实 问题 都 是 NP完全 的 ， 设计 高效 算法 成为 计算机 科学 的 重要 挑战 。