1=a-湖南大学.pptVIP

5.5 平面图与染色问题 Powell着色算法： (1) 结点按度数的递减顺序排阶列； (2)用第1种颜色对第1个结点着色，并且按排列次序，对与前面已着色点不相邻的每个点着相同的颜色。 (3)用第二种颜色对尚未着色的点重复(2)步，用第三种颜色对尚未着色的点继续这种过程，直到所有点着色。 3.11、偏序关系 哈斯图-偏序关系图的简化 因箭头都朝上方，故箭头不画。 因每个结点都有自旋箭头，故不画自旋。 因可传递即复合边均在其中，故将传递可达的二点间的直达边去掉。 这样得到的图为哈斯图。 {1,2} ? {1} {2} {1,2} ? {1} {2} {1,2} ? {1} {2} 3.11、偏序关系-极大元/极小元 9)子集最大元:y0?B, 若?x?B,均有x,y0?R，则y0是B的最大元. y0与B各元素x可比且比其大。 10)子集极大元:不存在x使y0,x?R. 哈图无元居其上 极小元:不存在x使x,y0?R.哈图无元居其下 a b c g d f e h 1 2 3 5 7 4 8 6 9 极大元 {a,f,h} 极小 元 {a,b,c,g} 极大元 {8,6,9,7} 极小元 {1} 二运算的定义 x?P(A), y?P(A) x+y =x?y, x?y=x?y x?Boolean, y?Boolean x+y =x?y, x?y=x?y x+y =(x(i,j)+y(i,j)), x-y =(x(i,j)-y(i,j)), x?y=(x(i,j) ? y(i,j)), 很幸运！这些运算都可利用，它们所在领域的运算符来定义，还有很多运算，只能给出其运算的结果，如x?y=(xy) mod 5 x,y?{0,1,2,3,4} 0 1 2 3 4 0 0 0 0 0 0 1 0 1 2 3 4 2 0 2 4 2 3 3 0 3 1 4 2 4 0 4 3 2 1 四、集合S中满足某运算的特殊元素 1、单位元 设?是集合S上的二元运算，如果集合S中的某元素eL，对?x?S都有 eL?x=x 则称之为左单位元。 设?是集合S上的二元运算，如果集合S中的某元素eR，对?x?S都有 x?eR=x 则称之为右单位元。 如果S中某个元素既是左单位元，又是右单位元，则为单位元。 如：??A= A??=A 0+x=x+0=x 1*x=x*1=x 四、集合S中满足某运算的特殊元素 1、单位元 对?x?S都有 eL?x=x 则称之为左单位元。 对?x?S都有 x?eR=x 则称之为右单位元。 定理:设?是S上的二元运算,若存在左单位元eL与右单位元eR,则eL=eR=e且唯一 如： ??A= A??=A 0+x=x+0=x 1*x=x*1=x 四、集合S中满足某运算的特殊元素 1、单位元 对?x?S都有 eL?x=x 则称之为左单位元。 对?x?S都有 x?eR=x 则称之为右单位元。 2、零元 对?x?S都有 ?L?x= ?L 则称之为左零元。 对?x?S都有 x? ?R = ?R 则称之为右零元。 定理：设?是S上的二元运算,若存在零元?与单位元e,且集合S中至少有2个元素，则??e 。 四、集合S中满足某运算的特殊元素 3、逆元 并不是所有元素有逆元！ 某x?S若有yL?S,使得yL?x=e，左逆元。 某x?S若有yR?S,使得x?yR=e，右逆元。 则y既是x的左逆元又是右逆元，则为x的逆元。 定理：设运算?满足结合律且存在单位元，某元素x，若存在左逆元yL与右逆元yR,则yL=yR并且唯一。 一、群的定义 (0)设V=S,?是封闭代数系统，称为广群。 (1)设V=S,?是封闭、可结合,则为半群。 (2)设V=S,?是封闭、可结合、有单位元e，则V为幺群，也叫独异点。 (3)V=S,?是封闭、可结合、有单位元e、每a?S，有逆元a-1?S则称为群G。Group 例题1：Z,+ 正整数集上的加法 x+y+z=(x+y)+z=x+(y+z) 可结合 x+0=x+0=x 单位元为0 x+(-x)=0 x的逆元为相反数。 故Z,+是群。 二、群的性质 n次幂： 理解:an表示a进行n次?运算,G, ?是群,a?G 如：在Z,+中13表示1进行3次+运算=1+1+1=3 如: 在R-{0},?中13表示1进行3次?运算=1?1 ? 1=1 如：Z3, ?,其中Z3={[0],[1],[2]}, [0]n=[0]n个3k型数加仍是3k型(3k1+3k2.