大O符号
在演算法分析中，支配理论（）提供了用渐近符号（大O符号）表示许多由分治法得到的递推关系式的方法。这种方法最初由，和在1980年提出，在那里被描述为解决这种递推的“天下無敵法”(master method)。此方法经由经典演算法教科书，，和的《算法导论》 (introduction to algorithm) 推广而为人熟知。