林诒

排序与时序最优化引论.pdf

线性模型的一阶可解性从可分离系数的排序规则开始,发展为梯度递增的凸性规则,再到拟阵与独立系统,从而概括一大类经典问题。二阶可解性是借助限位结构,将求解途径纳入基于交错链变换的匹配型算法。可解性的另一线索是从局部的偏序关系扩张为整体的全序关系,即偏序集的线性扩张方法。进而,一旦遇到