本文总结了基础数论的核心概念：1）整除的定义与传递性、线性组合性等性质；2）辗转相除法求最大公约数的原理与扩展应用；3）埃氏筛和欧拉筛两种素数筛选算法及其复杂度差异；4）组合数的定义、性质及帕斯卡恒等式的组合意义；5）二项式系数求和公式。这些内容构成了数论基础体系，各概念间存在递进关联：整除理论为gcd和素数判定奠基，筛法优化依赖整除性质，组合数学则通过递推关系与数论工具形成交叉。全文以算法思想与

本文总结了以边为研究对象的树形动态规划方法，主要介绍了三种经典模型：最小点覆盖、最大匹配和树的直径。通过状态定义和转移方程，将边约束转化为节点决策问题。文章还阐述了Kőnig定理、Gallai恒等式等图论理论，并对比了四大经典树上问题。最后列举了典型例题和应用场景，强调掌握这些模型和相关技巧对解决树形DP问题的重要性。该方法通过动态规划在树上进行状态转移，能有效处理与边相关的约束问题。