对于monge阵列证明A[i,j]+A[i+1,j+1]<=A[i,j+1]+A[i+1,j] 等价于 A[i,j]+A[k,l]<=A[i,l]+A[k,j]
此时变量涉及到二元变量,一元的归纳法已经无法证明,那么如何将一元数学归纳法扩至二元
数学归纳法成立的条件(实际上是结构归纳法/诺特归纳法)点击打开链
集合上的一组数值上的关系是良定义的假如不存在无穷递归链(经过有限不能达到集合的最小值)
常见良定义集合自然数关于小于
在此我们定义A=(x,y) A<B iif A[0]<=B[0] and A[1]<=B[1] and A!=B
则在此集合上可以用数学归纳法证明原命题