维基百科，自由的百科全书
在算法分析中，支配理论（英语：master theorem）提供了用渐近符号（大O符号）表示许多由分治法得到的递推关系式的方法。这种方法最初由Jon Bentlery，Dorothea Haken和James B. Saxe在1980年提出，在那里被描述为解决这种递推的“天下无敌法”(master method)。此方法经由经典算法教科书Cormen，Leiserson，Rivest和Stein的《算法导论》 (introduction to algorithm) 推广而为人熟知。
不过，并非所有递推关系式都可应用支配理论。该定理的推广形式包括Akra-Bazzi定理。
https://zh.wikipedia.org/wiki/%E4%B8%BB%E5%AE%9A%E7%90%86
其实这篇文章主要是为了我记忆上述算法的时间复杂度