Monge矩阵

 

4-7 Monge矩阵

   一个m x n的实数矩阵A，如果对所有i，j，k和l，1≤ i<k ≤ m和1≤ j<l ≤ n，有

             A[i,j]+A[k,l] ≤ A[i,l]+A[k,j]

   那么，此矩阵A为Monge矩阵。换句话说，每当我们从Monge矩阵中挑出两行与两列，并且考虑行列交叉处的4个元素，左上角与右下角的和小于或等于左下角与右上角元素的和。

a）证明一个矩阵为Monge阵，当且仅当对所有i=1,2,...,m-1和j=1,2,...,n-1，有

             A[i,j]+A[i+1,j+1] ≤ A[i,j+1]+A[i+1,j]

(提示:在当部分，对行、列分别使用归纳法。)

b）下面的矩阵不是Monge阵。改变一个元素，把它变成Monge阵（提示：利用a）的结论）

             37       23       22      32

             21        6       27      10

             53       34       30      31

             32       13        9       6

             43       21       15       8

c）假设f(i)是第i行包含最左端最小值的列的索引值。证明对任何的m x n Monge矩阵，有f(1) ≤ f(2) ≤...≤ f(m)。

d）以下是一段