上下文无关文法与下推自动机.ppt

* By construction（构造法） By contradiction（反证法） By induction（归纳法） Proof techniques（证明技术） * 许多定理声明存在一种特定类型的对象。通过说明如何构造这样的对象是证明这种定理的一种方法，这种方法就是构造性证明方法 proof by construction Proof By Construction * Let us define a graph to be k-regular （k-正则的）if every vertex of the graph has degree k E.g., By Construction [Example 1] 2-regular 3-regular * Theorem: For each even number n ? 4, there exists a 3-regular graph with n vertices. How to prove it? By Construction [Example 1] * Proof Idea: 构造出一个n个顶点的3正则图。将n个点均匀排列在一个圆上，对每一个顶点，连接其左右邻点各为一条边，第三条边与其相对点相连。 证明: Label the vertices by 1,2,…, n