计算机应用数学电子教案教学课件作者徐民鹰第四章离散ok课件.pptVIP

对G的每个产生式 ， P’中有产生式 ;对G的每个产生式 ,P’中有产生式 。除此之外，P’中还包括 。即 ，其中 往证：L(G)=L(G’) 设ω∈L(G),有两种可能： 1． 是P的产生式，则G’有产生式 。另外， 也是G’的一个产生式。于是在G’中就有 2．对于某个 在G中有派生： 第四章 离散数学 第十节 形式语言与自动机 §10.1 形式语言与形式文法 四．线性文法的等价性 例4.9.6：工人甲，乙，丙去完成任务a，b，c。已知甲能胜任a，b，c；乙能胜任a，b；丙能胜任b，c；试给出三种不同的任务分配方案。 解：将工人与工作做为图的顶点，如果某工人能胜任该工作，则在两个顶点之间连一条线，这样，我们得到一个二部图。（图4－146）不同完美匹配就是不同的任务分配方案。 第一种：甲：a，乙：b，丙：c； 第二种：甲：b，乙：a，丙，c；第三种：甲：c，乙：a，丙：b； 第四章 离散数学 第九节几类特殊的图 §9.2 二部图 三．匹配 定义4.9.7：若能将一个无向图G在平面上，使得G的边除顶点处外设有任何交叉，则称G为平面图，否则称在为非平面图。 应注意，有些图从表面看，有边相交，但换个画法则无边相交, 如图4 -148，这3个图，都是 ，若画成(1 )的 形式有边交叉，若画成(2)，(3)的形式则无边交叉，z则称 是平面图，即与平面图同构的图称为平面图。 第四章 离散数学 第九节几类特殊的图 §9.3　平面图 一．基本概念 定义4.9.8：设G是一个平面图，如果在G中任意不邻接的两个顶点之间加一条边，所得到的图为非平面图，则称G为极大平面图。 定义4.9.9：设G为非平面图，如果G中删除一条边后所得的图为平面图，则称G为极小非平面图。 是极小非平面图，从 中删除和一条边 则图为极大平面图。显然，平面图的子图，均为平面图；非平面图的母图均为非平面图。当n≤4 时 及其子图都是平面图；当n≥5 时 都是非平面图。在G中添加或减少环和平行边，则G原来是平面图仍为平面图，G原来是非平面图仍为非平面图。 第四章 离散数学 第九节几类特殊的图 §9.3　平面图 一．基本概念 定义4.9.8：设G是一个平面图，如果在G中任意不邻接的两个顶点之间加一条边，所得到的图为非平面图，则称G为极大平面图。 定义4.9.9：设G为非平面图，如果G中删除一条边后所得的图为平面图，则称G为极小非平面图。 是极小非平面图，从 中删除和一条边 则图为极大平面图。显然，平面图的子图，均为平面图；非平面图的母图均为非平面图。当n≤4 时 及其子图都是平面图；当n≥5 时 都是非平面图。在G中添加或减少环和平行边，则G原来是平面图仍为平面图，G原来是非平面图仍为非平面图。 第四章 离散数学 第九节几类特殊的图 §9.3　平面图 一．基本概念 因为在平面图中除顶点外没有边交叉出现，所以平面图的边把平面分成若干个区域，每个区域称为平面图的一个面，其中面积有限的区域称为有限面或内部面，面积无限的面称为无限面或外部面，任何一个平面图都有且仅有一个外部面，外部面常用 表示，内部面常用 表示 包围面 的所有边形成的回路的长度称为 的次数，记为 。例4.9.7平面图G=V，E如图4 - 149所示。 是外部面， 的边界为abcda ，deg =4； 是内部面， 的边界为abca ，deg =3； 第四章 离散数学 第九节几类特殊的图 §9.3　平面图 一．基本概念 在一个平面图上如果有割边出现，我们约定割边在包围它的那个面的边界上出现两次。 是内部面， 的边界为acda ，deg =3。 第