多面体锥 线性规划 有限算法 最短距离的充要条件 直接证明 基本性质 凸多面体