北京邮电大学计算机学院 离散数学 数学结构 群论 chap9-2

合集下载

北京邮电大学 计算机学院 离散数学 第十章补充 传输+网络流

北京邮电大学  计算机学院  离散数学   第十章补充  传输+网络流

2015-2-5
College of Computer Science & Technology, BUPT
12
A Maximum Flow Algorithm



The algorithm we present is due to Ford and Fulkerson and is often called the labeling algorithm(标记算法). The labeling referred to is an additional labeling of nodes. We have used integer capacities for simplicity, but Ford and Fulkerson show that this algorithm will stop in a finite number of steps if the capacities are rational numbers.
2015-2-5
College of Computer Science & Technology, BUPT
10
Virtual Flow
2015-2-5
College of Computer Science & Technology, BUPT
11

Let N be a network and let G be the symmetric closure of N.
Content

Application of digraph Concept




Capacity (容量) Transport network (传输网) Flow (流量) Virtual flow (虚流量) Maximal flow (最大流量)

(精华版)国家开放大学电大本科《离散数学》网络课形考网考作业及答案

(精华版)国家开放大学电大本科《离散数学》网络课形考网考作业及答案

(精华版)国家开放大学电大本科《离散数学》网络课形考网考作业及答案(精华版)国家开放大学电大本科《离散数学》网络课形考网考作业及答案 100%通过考试说明:2020年秋期电大把该网络课纳入到“国开平台”进行考核,该课程共有5个形考任务,针对该门课程,本人汇总了该科所有的题,形成一个完整的标准题库,并且以后会不断更新,对考生的复习、作业和考试起着非常重要的作用,会给您节省大量的时间。

做考题时,利用本文档中的查找工具,把考题中的关键字输到查找工具的查找内容框内,就可迅速查找到该题答案。

本文库还有其他网核及教学考一体化答案,敬请查看。

课程总成绩 = 形成性考核×30% + 终结性考试×70% 形考任务1 单项选择题题目1 若集合A={ a,{a},{1,2}},则下列表述正确的是().选择一项:题目2 若集合A={2,a,{ a },4},则下列表述正确的是( ).选择一项:题目3 设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>,<2, 2>,<2, 3>,<4, 4>},S={<1, 1>,<2, 2>,<2, 3>,<3, 2>,<4, 4>},则S是R的()闭包.选择一项:B. 对称题目4 设集合A={1, 2, 3},B={3, 4, 5},C={5, 6, 7},则A∪B–C=( ).选择一项:D. {1, 2, 3, 4} 题目5 如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有()个.选择一项:C. 2 题目6 集合A={1, 2, 3, 4}上的关系R={<x,y>|x=y且x, y∈A},则R的性质为().选择一项:D. 传递的题目7 若集合A={1,2},B={1,2,{1,2}},则下列表述正确的是( ).选择一项:题目8 设A={a,b,c},B={1,2},作f:A→B,则不同的函数个数为().选择一项:C. 8 题目9 设A={1, 2, 3, 4, 5, 6, 7, 8},R是A上的整除关系,B={2, 4, 6},则集合B的最大元、最小元、上界、下界依次为 ( ).选择一项:B. 无、2、无、2 题目10 设集合A ={1 , 2, 3}上的函数分别为:f = {<1, 2>,<2, 1>,<3, 3>},g = {<1, 3>,<2, 2>,<3, 2>},h = {<1, 3>,<2,1>,<3, 1>},则h =().选择一项:D. f◦g 判断题题目11 设A={1, 2}上的二元关系为R={<x, y>|xA,yA, x+y =10},则R的自反闭包为{<1, 1>, <2, 2>}.()选择一项:对题目12 空集的幂集是空集.()选择一项:错题目13 设A={a, b},B={1, 2},C={a, b},从A到B的函数f={<a, 1>, <b, 2>},从B到C的函数g={<1, b>, <2, a >},则g° f ={<1,2 >, <2,1 >}.()选择一项:错题目14 设集合A={1, 2, 3, 4},B={2, 4, 6, 8},下列关系f = {<1, 8>, <2, 6>,<3, 4>, <4, 2,>}可以构成函数f:.()选择一项:对题目15 设集合A={1, 2, 3},B={2, 3, 4},C={3, 4, 5},则A∩(C-B )= {1, 2, 3, 5}.()选择一项:错题目16 如果R1和R2是A上的自反关系,则、R1∪R2、R1∩R2是自反的.()选择一项:对题目17 设集合A={a, b, c, d},A上的二元关系R={<a, b>, <b, a>, <b, c>, <c, d>},则R具有反自反性质.()选择一项:对题目18 设集合A={1, 2, 3},B={1, 2},则P(A)-P(B )={{3},{1,3},{2,3},{1,2,3}}.()选择一项:对题目19 若集合A = {1,2,3}上的二元关系R={<1, 1>,<1, 2>,<3, 3>},则R是对称的关系.()选择一项:错题目20 设集合A={1, 2, 3, 4 },B={6, 8, 12}, A到B的二元关系R=那么R-1={<6, 3>,<8,4>}.()选择一项:对形考任务2 单项选择题题目1 无向完全图K4是().选择一项:C. 汉密尔顿图题目2 已知一棵无向树T中有8个顶点,4度、3度、2度的分支点各一个,T的树叶数为( ).选择一项:D. 5 题目3 设无向图G的邻接矩阵为则G的边数为( ).选择一项:A. 7 题目4 如图一所示,以下说法正确的是 ( ) .选择一项:C. {(d, e)}是边割集题目5 以下结论正确的是( ).选择一项:C. 树的每条边都是割边题目6 若G是一个欧拉图,则G一定是( ).选择一项:B. 连通图题目7 设图G=<V, E>,v∈V,则下列结论成立的是 ( ) .选择一项:题目8 图G如图三所示,以下说法正确的是 ( ).选择一项:C. {b, c}是点割集题目9 设有向图(a)、(b)、(c)与(d)如图五所示,则下列结论成立的是( ).选择一项:A. (a)是强连通的题目10 设有向图(a)、(b)、(c)与(d)如图六所示,则下列结论成立的是( ).选择一项:D. (d)只是弱连通的判断题题目11 设图G是有6个结点的连通图,结点的总度数为18,则可从G中删去4条边后使之变成树.( ) 选择一项:对题目12 汉密尔顿图一定是欧拉图.( ) 选择一项:错题目13 设连通平面图G的结点数为5,边数为6,则面数为4.( ) 选择一项:错题目14 设G是一个有7个结点16条边的连通图,则G为平面图.( ) 选择一项:错题目15 如图八所示的图G存在一条欧拉回路.( ) 选择一项:错题目16 设图G如图七所示,则图G的点割集是{f}.( ) 选择一项:错题目17 设G是一个图,结点集合为V,边集合为E,则( ) 选择一项:对题目18 设图G是有5个结点的连通图,结点度数总和为10,则可从G中删去6条边后使之变成树.( ) 选择一项:错题目19 如图九所示的图G不是欧拉图而是汉密尔顿图.( ) 选择一项:对题目20 若图G=<V, E>,其中V={ a, b, c, d },E={ (a, b), (a, d),(b, c), (b, d)},则该图中的割边为(b, c).( ) 选择一项:对形考任务3 单项选择题题目1 命题公式的主合取范式是( ).选择一项:题目2 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ).选择一项:题目3 命题公式的主析取范式是( ).选择一项:题目4 下列公式成立的为( ).选择一项:题目5 设A(x):x是书,B(x):x是数学书,则命题“不是所有书都是数学书”可符号化为().选择一项:题目6 前提条件的有效结论是( ).选择一项:B. ┐Q 题目7 命题公式(P∨Q)→R的析取范式是 ( ).选择一项:D. (┐P∧┐Q)∨R 题目8 下列等价公式成立的为( ).选择一项:题目9 下列等价公式成立的为( ).选择一项:题目10 下列公式中 ( )为永真式.选择一项:C. ┐A∧┐B ↔ ┐(A∨B) 判断题题目11 设个体域D={1, 2, 3},A(x)为“x小于3”,则谓词公式(∃x)A(x) 的真值为T.( ) 选择一项:对题目12 设P:小王来学校, Q:他会参加比赛.那么命题“如果小王来学校,则他会参加比赛”符号化的结果为P→Q.( ) 选择一项:对题目13 下面的推理是否正确.( ) (1) (∀x)A(x)→B(x) 前提引入(2) A(y)→B(y) US (1) 选择一项:错题目14 含有三个命题变项P,Q,R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R).( ) 选择一项:对题目15 命题公式P→(Q∨P)的真值是T.( ) 选择一项:对题目16 命题公式┐P∧P的真值是T.( ) 选择一项:错题目17 谓词公式┐(∀x)P(x)(∃x)┐P(x)成立.( ) 选择一项:对题目18 命题公式┐(P→Q)的主析取范式是P∨┐Q.( ) 选择一项:错题目19 设个体域D={a, b},则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b)).( ) 选择一项:对题目20 设个体域D={a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b).( ) 选择一项:错形考任务4 要求:学生提交作业有以下三种方式可供选择:1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档. 3. 自备答题纸张,将答题过程手工书写,并拍照上传形考任务 5 网上学习行为(学生无需提交作业,占形考总分的10%)附:元宇宙(新兴概念、新型虚实相融的互联网应用和社会形态)元宇宙(Metaverse)是整合了多种新技术而产生的新型虚实相融的互联网应用和社会形态,通过利用科技手段进行链接与创造的,与现实世界映射与交互的虚拟世界,具备新型社会体系的数字生活空间。

北京邮电大学计算机学院 离散数学 9.1~9.3-relations

北京邮电大学计算机学院  离散数学  9.1~9.3-relations

A B = {(a, b) | a A and b B}
2015-2-5
College of Computer Science & Technology, BUPT
5
A1 A2 Am


The Cartesian product A1 A2 Am of the nonempty sets A1, A2, , Am is the set of all ordered m-tuples (m元组) (al, a2, ... , am), where ai Ai, i = 1, 2, . . . , m Thus
9.1 Relations and Their Properties 关系及关系性质 9.2 n-ary Relations and Their Applications n元关系及应用 9.3 Representing Relations 关系的表示 9.4 Closures of Relations 关系闭包 9.5 Equivalence Relations 等价关系 9.6 Partial Orderings 偏序关系

R(A1) = {y B | x R y for some x in A1}
2015-2-5
College of Computer Science & Technology, BUPT
15
Theorem

Let R be a relation from A to B, and let A1 and A2 be subsets of A. Then
College of Computer Science & Technology, BUPT

北京邮电大学计算机学院 离散数学 10.1~10.2 graphs

北京邮电大学计算机学院  离散数学 10.1~10.2 graphs

Leonard Euler 1736 (father of graph theory)
College of Computer Science & Technology, BUPT -- © Copyright Yang Juan
Kö nigsberg Bridge problem

Picture only what is essential to the problem.
College of Computer Science & Technology, BUPT -- © Copyright Yang Juan
p643
College of Computer Science & Technology, BUPT -- © Copyright Yang Juan
Directed Multigraphs
College of Computer Science & Technology, BUPT -- © Copyright Yang Juan
P642
College of Computer Science & Technology, BUPT -- © Copyright Yang Juan
Pseudographs
A particular class of discrete structures (to be defined) that is useful for representing relations and has a convenient webby-looking graphical representation.


Correspond to symmetric, irreflexive binary relations R. A simple graph G=(V,E) Visual Representation of a Simple Graph consists of:

北京邮电大学计算机学院 离散数学 数学结构 群论 chap9-3

北京邮电大学计算机学院  离散数学  数学结构 群论 chap9-3

16
Example 5

Let B = {0, l }, and let + be the operation defined on B as follows:

Then B is a group.
2015-2-5
College of Computer Science & Technology, BUPT

a*a' = a*4/a = a(4/a)/2 = 2 = (4/a)(a)/2 = (4/a)*a = a' *a. a*b = ab/2 = ba/2 = b*a

Abelian


So, G is an Abelian group.
College of Computer Science & Technology, BUPT
6
2015-2-5
Theorem 1


Let G be a group. Each element a in G has only one inverse in G. Proof

Let

a' and a" be inverses of a. a' = a'e = a'(aa") = (a'a)a" = ea" = a".

Then

2015-2-5
College of Computer Science & Technology, BUPT
7
Theorem 2

Let

G be a group and a, b, and c be elements of G. left cancellation – 左消去律

北京邮电大学 计算机学院 离散数学 3.2-Growth of Functions

北京邮电大学  计算机学院  离散数学 3.2-Growth of Functions
However, you should prove that the values you choose do work.
College of Computer Science & Technology, BUPT
8
2015-2-6
little-o of g

In calculus

If

Then

Theorem 1

Let f(x) = anxn + an-1xn-1 +…+ a1x+a0 ,where a0 , a1 , … an-1, an are real numbers. Then f(x) is O(xn) .



n! is O(nn) log n! is O(nlogn) log n is O(n) 1, log n, n, nlogn, n2, 2n, n!
The Growth of Functions


We quantify the concept that g grows at least as fast as f. What really matters in comparing the complexity of algorithms?

College of Computer Science & Technology, BUPT
4
2015-2-6
Visualizing Orders of Growth

On a graph, as you go to the right, the fastergrowing function always eventually becomes the larger one...

离散数学高等里离散数学课件-CHAP

离散数学高等里离散数学课件-CHAP
图论
图的基本概念

连接两个节点的线段称为边。
简单图与多重图
只含一条边的图称为简单图, 含有相同端点的多条边称为多 重边。
节点
图中的顶点称为节点。
定向图与无向图
如果边有方向,则称为定向图; 如果边无方向,则称为无向图。
有限图与无限图
节点和边都有限的图称为有限 图,节点或边至少有一个为无 限的图称为无限图。
发展
随着计算机科学的快速发展,离散数学也得到了迅速的发展 。许多新的分支如组合数学、离散概率论等不断涌现,并广 泛应用于计算机科学、工程学、物理学等领域。
离散数学的应用领域
计算机科学
离散数学在计算机科学中有着广泛的 应用,如算法设计、数据结构、计算 机图形学、数据库系统等。
工程学
离散数学在工程学中也有着广泛的应 用,如电子工程、通信工程、机械工 程等。
要点二
详细描述
集合可以用列举法、描述法、图示法等多种方法来表示。 列举法是将集合中的所有元素一一列举出来,适用于元素 数量较少的集合。描述法是用数学符号和逻辑表达式来描 述集合中的元素,适用于元素数量较多且具有共同特征的 集合。图示法则是用图形来表示集合,直观易懂,适用于 具有明显包含关系的集合。
03
如果图中任意两个节点之间都存在一 条路径,则称该图为连通图。
路径与回路
欧拉回路与哈密顿回路
如果一条回路恰好经过图中的每条边 一次,则称为欧拉回路;如果一条回 路恰好经过图中的每个节点一次,则 称为哈密顿回路。
连接两个节点的序列称为路径,如果 路径的起点和终点是同一点,则称为 回路。
04
离散概率论
离散概率的基本概念
图的表示方法
邻接矩阵
用矩阵表示图中节点之 间的关系,如果节点i与 节点j之间存在一条边, 则矩阵中第i行第j列的 元素为1,否则为0。

离散数学北京邮电大学

离散数学北京邮电大学
– Analysis using order-ofgrowth notation.
• §3.5: Primes and Greatest Common Divisors • §3.6: Integers & Algorithms
– Alternate bases, algorithms for basic arithmetic
Algorithm Characteristics
Some important general features of algorithms: • Input. Information or data that comes in. • Output. Information or data that goes out. • Definiteness. Algorithm is precisely defined. • Correctness. Outputs correctly relate to inputs. • Finiteness. Won‟t take forever to describe or run. • Effectiveness. Individual steps are all do-able. • Generality. Works for many possible inputs. • Efficiency. Takes little time & memory to run.
– Example assignment statement: v := 3x+7 (If x is 2, changes v to 13.)
• In pseudocode (but not real code), the expression might be informally stated:
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

* is a binary operation on Ss * is associative. (Ss, *) is a semigroup. The semigroup Ss is not commutative.
College of Computer Science & Technology, BUPT
2015-2-5
College of Computer Science & Technology, BUPT
5
Example 4

Let S be a fixed nonempty set, and let Ss be the set of al1 functions f : SS. If f and g are elements of Ss, we define f *g as fg, the composite function.


The associative property holds in any subset of a semigroup so that a subsemigroup (T, *) of a semigroup (S, *) is itself a semigroup. Similarly, a submonoid of a monoid is itself a monoid.
11
Identity – 单位元、幺元

An element e in a semigroup (S, *) is called an identity element if e*a = a*e = a for all a S.

an identity element must be unique.
13
Example 11,12,13

The semigroup Ss defined in Example 4

It has the identity ls, since ls*f = lsf = fls = f * ls for any element f Ss , we see that Ss is a monoid. It has the identity , the empty sequence, since = = for all A* .
2015-2-5
College of Computer Science & Technology, BUPT
17
Examples



If (S, *) is a semigroup, then (S, *) is a subsemigroup of (S, *). Let (S,*) be a monoid, then (S, *) is a submonoid of (S, *). If T= {e}, then (T, *) is a submonoid of (S, *)


Denote the semigroup by (S, *) or S. a*b is referred as the product of a and b. The semigroup (S, *) is said to be commutative if * is a commutative operation.
Example 16Fra bibliotek2015-2-5
College of Computer Science & Technology, BUPT
9
Theorem 1

If a1, a2,..., an, n 3, are arbitrary elements of a semigroup, then all products of the elements al, a2,..., an that can be formed by inserting meaningful parentheses arbitrarily are equal.

if T is closed under the operation *, then

2015-2-5
College of Computer Science & Technology, BUPT
15
Submonoid – 子独异点

Let

(S, *) be a monoid with identity e, and T be a nonempty subset of S.
6
2015-2-5
Example 5

Let (L, ) be a lattice. Define a binary operation on L by

a* b = ab.

Then L is a semigroup.
2015-2-5
College of Computer Science & Technology, BUPT


The catenation is a binary operation on A*.

= a1a2...anb1b2…bk
( ) = ( ) .

if , , and are any elements of A*,

2015-2-5
College of Computer Science & Technology, BUPT

If al, a2,..., an are elements in a semigroup (S, *), then the product can be written as

al*a2*... *an
2015-2-5
College of Computer Science & Technology, BUPT

2015-2-5
College of Computer Science & Technology, BUPT
2
Content

Binary operations

Binary operation on a set A Properties of binary operations Semigroup Free semigroup generated by A Monoid(独异点) Subsemigroup(子半群)and submonoid(子独异点) Isomorphism (同构)

The semigroup A* defined in Example 6


The set of all relations on set A with the operation of composition

It is a monoid . The identity element is the equality relation .
7
Example 6

Let

A = {al, a2,..., an} be a nonempty set. A* is the set of all finite sequences of elements of A. and be elements of A*. if = a1a2...an and = b1b2…bk
8
Example 6


is an associative binary operation, and (A*, ) is a semigroup. The semigroup (A*, ) is called the free semigroup generated by A(由A生成的自由 半群).

If T is closed under the operation * and eT,then

(T, *) is called a submonoid of (S, *).
2015-2-5
College of Computer Science & Technology, BUPT
16
Note
College of Computer Science & Technology, BUPT
14
2015-2-5
Subsemigroup – 子半群

Let

(S, *) be a semigroup and T be a subset of S. (T, *) is called a subsemigroup of (S, *).
Semigroups and Groups (半群与群)
Yang Juan
yangjuan@
College of Computer Science & Technology
Beijing University of Posts & Telecommunications
Content

Example 8,9


(Z, +) (Z+, +)
2015-2-5
College of Computer Science & Technology, BUPT
12
Monoid – 独异点、含幺半群


A monoid is a semigroup (S, *) that has an identity. Example 10

Define the powers of an recursively as follows:


if m and n are nonnegative integers, then
相关文档
最新文档