算法导论 3.1-8

问题

可以将我们的表示法扩展到有两个参数n和m的情况，其中n和m的值可以以不同的速率，互相独立地趋近与无穷。对于给定的函数g(n,m),O(g(n,m))为函数集O(g(n,m))={f(n,m):存在正整数c, n0和m0，使对所有n>=n0及m>=m0,有0<=f(n,m)<=cg(n,m)}。
给出对应的和的定义。

分析

={f(n,m):存在正整数c,n0和m0,使对所有n>=n0及m>=m0,有0<=cg(n,m)<=f(n,m)}。
={f(n,m):存在正整数c1,c2,n0和m0,使对所有n>=n0及m>=m0,有0<=c1g(n,m)<=f(n,m)<=c2g(n,m)}。