对角线论证由康托尔于 1891 年提出，通过构造一个能逃脱任何「完备列表或映射」的对象，证明某些无穷严格大于另一些无穷。这一自指技巧同样蕴含于康托尔定理、图灵停机问题与哥德尔不完备定理之中——一个统一了集合论、可计算性与逻辑学的思想。
本文用数学方法对分治算法的时间复杂度建模，分析其渐近性质，并给出三种计算方法。