理论部分全靠数学功底。理论应该完备符号要保持同一风格重要结论称为定理 theorem, 定理前面打辅助的叫作引理 lemma, 定理后面的尾巴叫推论 corollary, 附属于算法的叫 property. 定义书写例子,其中Definition 2 为修改后的版本。