Normal direction elimination and strong polynomial algorithm for linear programming

• 法向消元和线性规划强多项式算法