
_START_ARTICLE_
主定理
_START_PARAGRAPH_
在算法分析中，支配理论（英语：master theorem）提供了用渐近符号（大O符号）表示许多由分治法得到的递回关系式的方法。这种方法最初由Jon Bentlery，Dorothea Haken和James B. Saxe在1980年提出，在那里被描述为解决这种递回的“天下无敌法”(master method)。此方法经由经典算法教科书Cormen，Leiserson，Rivest和Stein的《算法导论》 (introduction to algorithm) 推广而为人熟知。_NEWLINE_不过，并非所有递回关系式都可应用支配理论。该定理的推广形式包括Akra-Bazzi定理。