如何设计合适的剪枝函数;如何组织活结点表;如何确定最优解的解向量