Note sur les $Q$-matrices d'Edmonds
暂无分享,去创建一个
When we want to solve Linear Programming Problems with integer or rationnal entries, and, in each case, to certify the result, classical floating point calculations are not allowed. We should work with Long Integers. Recently, Jack Edmonds [3] introduced a new tableau called Q-matrix which update is easy. We revisit these in term of the inverse of the basis. These calculations can be also used to give a rational representation of the inverse of a given integer matrix.
[1] J. Edmonds. Systems of distinct representatives and linear algebra , 1967 .
[2] Alain Colmerauer,et al. An introduction to Prolog III , 1989, CACM.