这是一个高效的用于任务在多处理器上的资源调度问题。