一、四色问题 二、平面图,面,极大平面图 三、欧拉公式 四、Kuratowski定理 五、对偶图,自对偶图 六、外平面图 七、平面哈密顿图

一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值

 内容1：生成树及其构造方法  内容2：最小生成树算法

 内容1：表达式的（逆）波兰记法  内容2：二叉搜索树  内容3：前缀码与Huffman编码

 内容1：树的定义及其性质  内容2：根树以及有序根树的遍历

 问题1：什么是二部图及其匹配？  问题2：二部图中的有哪些匹配？

 内容1：Dijkstra算法  内容2：Floyd-Warshall算法  内容3：旅行商问题（TSP）  内容4：最大流问题*

 内容1：通路与回路  内容2：无向图的连通性  内容3：有向图的连通性

 内容1：图的定义  内容2：图的应用  内容3：图的表示  内容4：图的同构