(b)令c为这个分划映射中的所有未知量.把因为分划映射而产生的线性不等式约束可写成
cTDx≥0
其中D为一个矩阵.
(c)把循环下标变量的先后关系约束和循环边界表示为
Ax≥0
其中A为一个矩阵.
(d)应用Farkas引理.找到满足上面两个约束的x的任务等价于寻找满足下列条件的y:
ATy=DTc且y≥0
请注意,这里的cTD就是Farkas引理中的cT,而且我们使用的是这个引理的否定形式.
(e)在这个形式中,应用Fourier-Motzkin消除法把y的变量通过投影消除,并把关于系数c的约束表示为Ec≥0.
(f)令E′c′≥0为不包含常量项的约束.
3)使用附录B中的算法B.1,找出E′c′≥0的线性独立解