离散数学复习总结整理.docxVIP

离散数学复习整理 函数 ***重点掌握：单射、满射、双射函数的概念 函数的概念（和数学里面函数的概念差不多） A为函数f的定义域，记为domf=A； f(A)为函数f的值域，记为ranf。 |f|=|A| f(x)表示一个变值，f代表一个集合，因此f≠f(x)。 从A到B的不同的关系有2|A|?|B|个；但从A到B的不同的函数却仅有|B||A|个。 (个数差别) 每一个函数的基数都为|A|个(|f|=|A|)，但关系的基数却为从零一直到|A|×|B|。 特殊函数 单射：对任意x1,x2∈A，如果x1≠x2，有f(x1)≠f(x2)，则称f为从A到B的单射（不同的x对应不同的y)； 满射：如果ranf＝B，则称f为从A到B的满射；（B的定义域都能通过函数f(x)求到） 双射：若f是满射且是单射，则称f为从A到B的双射。 若A＝B，则称f为A上的函数；当A上的函数f是双射时，称f为一个变换。 定理： 8.2.1 设A，B是有限集合，且|A|=|B|，f是A到B的函数，则f是单射当且仅当f是满射。 典型(自然)映射：设R是集合A上的一个等价关系，g：A→A/R称为A对商集A/R的典型(自然)映射，其定义为g(a)＝[a]R，a∈A. 恒等函数：如果A=B，且对任意x∈A，都有f(x)=x，则称f为A上的恒等函数，记为IA。 常值函数：如果?b∈B，且对任意x∈A，都有f(x)=b，则称f为常值函数。 上取整函数：对有理数x，f(x)为大于等于x的最小的整数，则称f(x)为上取整函数(强取整函数)，记为f(x)= ； 下取整函数：对有理数x，f(x)为小于等于x的最大的整数，则称f(x)为下取整函数(弱取整函数)，记为f(x)= ； 函数的复合运算 不满足交换律，但满足结合律 函数f和g可以复合 ? ranf?domg； dom(fog)=domf，ran(fog)?rang； 对任意x∈A，有fog(x)=g(f(x))。 设f和g分别是A到B和从B到C的函数，则： 如f,g是满射，则f?g也是从A到C满射； 如f,g是单射，则f?g也是从A到C单射； 如f,g是双射，则f?g也是从A到C双射。 如fog是A到C的满射，则g是B到C 的满射； 如fog是A到C的单射，则f是A到B的单射； 如fog是A到C的双射，则f是A到B的单射，g是B到C的满射。 函数的逆运算 定义8.3.2 设f:A→B的函数。如果 f-1＝{y,x|x∈A∧y∈B∧x,y∈f} 是从B到A的函数，则称f-1：B→A的逆函数。 若f是A到B的双射，则f的逆函数f-1也是B到A的双射。 图 图的基本分类 （1）.图的定义： 一个图(Graph)是一个序偶V, E，记为G = V, E，（可以是有序的也可以是无序的）其中： （1）V = {v1, v2, …, vn}是有限非空集合，vi称为结点(Nodal Point)，简称点(Point)，V称为结点集(Nodal Set)。 （2）E是有限集合，称为边集(Frontier Set)。E中的每个元素都有V中的结点对与之对应，称之为边(Edge)。 图的表示、分类 （1）用集合表示 （2）用图形表示 （3）邻接矩阵 图的操作： 1.删除边： G = V,E G-e/G-E’ 2.删除结点（删除结点以及和它相关联的边） G-v 3.边的收缩（将e的两个端点u, v用一个新的结点w代替，使w关联除e外的u和v关联的一切边，称为边e的收缩。）G\e(e表示连接收缩两点的边) 4.增加新边 GU(u,v) 定义： 邻接点：若两个结点vi和vj是边e的端点，则称vi与vj互为邻接点（连在同一边上） 邻接边：具有公共结点 自回路（环）：两个端点相同的边 孤立点：不与任何结点相邻接 零图：由孤立结点组成的图 平凡图：仅含一个结点的零图（含有n个结点，m条边的图，称为(n, m)图。） 注：只要当一个结点处有环时，它才是自己的邻接点； 分类： 按边方向： 无向图：每条边都无向 有向图：每条边都有向 混合图：一些无向、一些有向 平行边：两结点间(包括结点自身间)若有同始点和同终点的几条边，则这几条边称为平行边(Parallel Edge) 重数：两结点间(包括结点自身间)若有同始点和同终点的几条边，则这几条边称为平行边(Parallel Edge) 多重图：含有平行边的图 线图：非多重图 简单图：无环的线图 权 赋权图： 无权图： 关系 子图： 真子图： 生成子图： 导出子图： 无向完全图（完全图）：G中任意两个结点间都有边相连 有向完全图：任意两个结点间都有两条方向相反的有向边相连 注：对于完全图来说，其邻接矩阵除主对角元为0外，其它元素均为1。 补图：即G与其补图 的结点集是相同的，边集