12-1-aolm-离散数学.ppt

第1篇 数理逻辑 第2篇 集合论 第3篇 代数结构 第4篇 图论 第4篇 图论 模型化是数学中的一个基本概念，它处于所有的数学应用之心脏，也处于某些最抽象的纯数学核心之中。 R. C. Buck 第4篇 图论 第10章 图 第11章 特殊图 第12章 树 第4篇 图论 第12章 树 几何、理论算术和代数，这些学科除了定义和公理之外，没有其它原则，除了演绎以外，没有其它证明过程。但就在这一过程中，却已综合了简单性、复杂性、严密性和一般性，这一特性是不为其它学科所具有的。 Whewell W. 树是一类特殊的二分图（偶图）。作为计算机科学中常用的一种数据结构，树有许多非常好的性质，因此树被广泛地应用于算法设计、数据结构、网络、人工智能、软件工程、知识工程以及其他领域。 12.1 树的概念 定理12.1 “给定图为树”与下列任一命题等价： （1）无回路的连通图； （2）无回路且 e=v-1，其中 e 是边数，v 是结点数； （3）连通且 e=v-1； （4）无回路，但增加一条新边，得到一个且仅有一个回路； （5）连通，但删去一边后就不再连通； （6）每一对结点之间有且仅有一条路。 （3）归纳法证明 ⑶?⑷ 若 T 连通且有 v