复习 一阶谓词演算的符号化: 个体变元:x,Y,z,… 个体常元:a,b,c ·谓词:Fn,Gn,Hn, 函数:fn,gn,hn, 量词:全称量词V,存在量词3

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

1. Peano系统 2.后继,归纳集,自然数,自然数集 3.数学归纳法原理 4.传递集 5.自然数的运算 6.自然数上的序关系

1.关联矩阵M(D),M(G) 2.用基本联矩阵M(G)求所有生成树 3.邻接矩阵A(D),相邻矩阵A(G) 4.用A的幂求不同长度通路(回路)总数 米 5.可达矩阵P(D),连通矩阵P(G) 6.单源最短路径问题, Dijkstra算法

1.k-(点,面,边)着色,k-(点,面,边)色图,点色数x(G),面色数x*(G),边色数x(G) 2.x(G)上界, Brooks定理 3.五色定理 4. Vizing定理 5.色多项式f(G,k)

一、支配集,独立集,点覆盖团 二、边覆盖,边独立集(匹配) 三、最大匹配, Berge定理 四、完备匹配,Hall条件,t条件 五、完美匹配, Tutte定理

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

一、良序,序数, 二、序数与基数 三、ZFC+CH系统 四、Collatz猜想

1.周游世界,哈密顿通(回)路,哈密顿图 2.判定哈密顿图的必要条件 3.判定哈密顿图的充分条件 4.边不重的哈密顿回路 5.货郎问题,计算复杂性

1.七桥问题,一笔画,欧拉通(回)路,欧拉图 2.判定欧拉图的充分必要条件 3.求欧拉回路的算法 4.中国邮递员问题