使用限界函数作优先级，第一个加入队列的叶子就是最优解