离散数学知识学习.pptVIP

2021/3/13 * 推论:无向图G是欧拉图当且仅当G是连通的、且没有度数为奇数的结点。 一笔画问题: 对于有向图,有类似的概念 定义:对有向图D,经过每条边一次且仅一次的一条单向路(回路),称为欧拉路(回路) 具有欧拉回路的有向图称为欧拉图 定理3:有向图G具有单向欧拉路当且仅当D是连通的、且每个结点的入度等于出度。 推论:有向图G是欧拉图当且仅当D是连通的、且每个结点的入度等于出度 2021/3/13 * ２、有单位元环 ３、无零因子环 ４、整环 ５、除环与域 第七节　格与布尔代数 引入 偏序格的定义:设L,≤是一个偏序集,如果L中任意两个元素都有上、下确界,则称偏序集L,≤是格。 例:略 2021/3/13 * 在格L,≤中,我们可以规定: a∨b=sup{a,b} a∧b=inf{a,b} 则∨,∧是格L,≤的两个二元运算,即:L,∨,∧ 是一个代数系统。该代数系统满足 定理１:在格L,≤所诱导的代数系统L,∨,∧ 中,结合律、交换律、幂等律、吸收律成立。 证明:略 命题:设L,∨,∧ 是一个代数系统,其中 2021/3/13 * ∨,∧ 都是二元运算且满足吸收律,则∨,∧都满足幂等律。 证明:略 定理2:设L,∨,∧ 是一个代数系统,其中∨,∧ 都是二元运算且满足结合律、交换律、和吸收律, 则L上存在偏序关系“≤”,使得L,≤是一个格。 证明:略 定义:设L,∨,