约翰逊算法的极大极小代数证明

通过极大极小代数的方法对串行生产线进行建模, 并给出了Johnson 算法的严格证明.