递推不等式只给单边界
这类递推只压得出下界、压不出上界(函数可以任意大);拿它去证上界型结论,方向就错了。
形如 的递推不等式,沿链只能得到一列下界:
它对上界只字未提——在条件允许的区间上, 想多大就能造多大(自由段乘一个任意大的常数即得合法反例)。
常见的错法与具体数字无关:推出 的下界超过某数之后,顺手以为「 不会太大」, 去选「」型的选项。方向感只有一句话:递推式是大于号,就永远证不出小于号; 要否「」,构造一个 比 大的合法函数即可。
出现在以下题目中
共 3 道题考到本条。
这类递推只压得出下界、压不出上界(函数可以任意大);拿它去证上界型结论,方向就错了。
形如 的递推不等式,沿链只能得到一列下界:
它对上界只字未提——在条件允许的区间上, 想多大就能造多大(自由段乘一个任意大的常数即得合法反例)。
常见的错法与具体数字无关:推出 的下界超过某数之后,顺手以为「 不会太大」, 去选「」型的选项。方向感只有一句话:递推式是大于号,就永远证不出小于号; 要否「」,构造一个 比 大的合法函数即可。
共 3 道题考到本条。