在 理论计算机科学 中 ， 这个 调度 问题 被 证明 是 NP 困難 ， 因此 求解 它 十分 棘手 。