算法导论,4-6 monge 阵列

对于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

则在此集合上可以用数学归纳法证明原命题


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值