假设我有一个像T（n）= 2T（n / 4）+1的情况。 f（n）= 1a = 2且b = 4。因此n ^（1/2）> 1。那应该是情况1.然而，在情况1中也存在lambda，因此对于一些λ> 0，f（n）= O（n ^（（1/2）-lambda））。在这种情况下，lambda将是1/2？
答案 0 :(得分：2)
是的，这是正确的。注意，在这种情况下，我们得到a = 2和b = 4.在这种情况下函数f（n）是1，我们确实有1 =Θ（n 1/2 - ε）对于某些ε＆gt; 0，其中在这种情况下ε= 1/2。因此，通过主定理，你会得到T（n）=Θ（n 1/2 ）。
这个ε的要点是，如果每个级别完成的工作量足够小（低于log b a），那么工作主要主要是分裂而不是每个级别的工作。您可以减去ε＆gt;的事实指数中的0表示每个级别的工作必须严格渐近地慢于分裂率，并且必须以某个多项式量来这样做。
希望这有帮助！