优先级队列式分支限界法