复杂性函数的渐进下界怎么算