离散数学111

合取：两个条件都必须为1

析取：或的意思，一个满足

优先级：（），否定，合取，析取，蕴含，等价

每一个良序集合，一定是全序集合

是其运算结果都是在原来的集合R 中，我们称那些具有这种特 征的运算是封闭的，简称闭运算。 相反地，没有这种特征的运算就 是不封闭的

左幺元行，右幺元列

左幺元看行，右幺元看列

二元运算o 单位元a，零元b，逆元a^-1=a

含有么元的半群称为独异点。

设<S，※ >是一个独异点，则在关于运算※的运 算表中任何两行或两列都是不相同的。

群中不可能有零元。

、

一个循环群的生成元可以不是唯一的

在任何图中，度数为奇数的结点必定是偶数个。

若图G 只有一个连通分支，则称G是连通图。

设图G有r个结点，w个最大连通子图，则图G完全 关联矩阵的秩为r-w

定义 7-6.2 如果图 G 的对偶图 C赞同构于C，则称G是自 对偶图。

对于n 个结点的完全图 K"，有 x(K")=n。

设 C为一个至少具有三个结点的连通平面图， 则 G 中必有一个结点u，使得deg(u)~5。

任意平面图 C最多是 5-色的。

一条回路和任何一棵生成树的补至少有一条 公共边

一个边割集和任何生成树至少有一条公共边。

如果一个有向图在不考虑边的方向时是一棵 树，那么，这个有向图称为有向树。