《离散数学-耿素云(第版)-》-(精选)课件.ppt

资源共享协议描述 * S={i1,r1,w1}×{i2,r2,w2}?{w1,w2}={s0,s1,…,s7} 闲置状态 i 请求状态 r 访问状态 w 安全性：?(w1∧w2)，任何时刻至多一个进程访问资源. 活性：r1→◇w1 ，任何进程对资源的需求总会满足 s0=i1,i2， s1=r1,i2， s2=w1,i2， s3=r1,r2， s4=w1,r2， s5=i1,r2， s6=i1,w2， s7=r1,w2， 投诉处理流程描述 * T1：登记； T2寄出调查表； T3：调查表处理； T4：过期处理； T5：投诉评估； T6处理投诉； T7检查处理结果； T8：归档保存. 形式化描述 * WF_net是三元组(P,T,F)，其中P是库所集合，T是变迁集合，F 称为流关系. 满足以下条件： (1) P∩T=?； (2) P∪T≠?； (3) F?P×T∪T×P； (4) domF∪ranF=P∪T，其中 domF={x |?y(x,y?F)}，ranF={y |?x(x,y?F)}； (5) 存在起始库所i?P，?i=?，?i ={ j |j,i?F}称为 i 的前集； (6) 存在终止库所o?P，o?=?，o?={ j |o,j?F}称为o的后集； (7) 每个结点x?P∪T，都处在从 i 到 o 的一条路径上. * 4.6 函数的定义与性质 函数的定义 函数定义 从A到B的函数 函数的像 函数的性质 函数的单射、满射、双射性 构造双射函数 应用实例：问题描述 * 函数定义 定义 设 F 为二元关系, 若 ?x∈domF 都存在唯一的y∈ranF 使 xFy 成立, 则称 F 为函数. 对于函数F, 如果有 xFy, 则记作 y=F(x), 并称 y 为 F 在 x 的值. 例1 F1={x1,y1,x2,y2,x3,y2}  F2={x1,y1,x1,y2} F1是函数, F2不是函数  * 函数相等 定义 设F, G为函数, 则  F = G ? F?G∧G?F 如果两个函数 F 和 G 相等, 一定满足下面两个条件： (1) domF = domG  (2) ?x∈domF = domG 都有 F(x) = G(x)  实例 函数 F(x)=(x2?1)/(x+1), G(x)=x?1 不相等, 因为 domF?domG. * 从 A 到 B 的函数 定义 设A, B为集合, 如果 f 为函数 domf = A ranf ? B, 则称 f 为从A到B的函数, 记作 f：A→B. 实例 f：N→N, f(x)=2x 是从 N 到 N 的函数 g：N→N, g(x)=2也是从 N 到 N 的函数 * B上A 定义 所有从 A 到 B 的函数的集合记作 BA, 读作“B上A”，符号化表示为  BA ={ f | f：A→B } 计数： |A|=m, |B|=n, 且m, n0, |BA|=nm. A=?, 则 BA=B?={?}. A≠?且B=?, 则 BA=?A= ?. * 实例 例2 设 A = {1, 2, 3}, B = {a, b}, 求BA.  解 BA = {f0, f1, … , f7}, 其中  f0={1,a,2,a,3,a}, f1={1,a,2,a,3,b}  f2={1,a,2,b,3,a}，f3={1,a,2,b,3,b}  f4={1,b,2,a,3,a}，f5={1,b,2,a,3,b}  f6={1,b,2,b,3,a}, f7={1,b,2,b,3,b}  * 函数的像 定义 设函数 f：A→B, A1?A. A1 在 f 下的像： f(A1) = { f(x) | x∈A1 } 函数的像 f(A) 注意：函数值 f(x)∈B, 而像 f(A1)?B. 例3 设 f：N→N, 且 令A={0,1}, B={2}, 那么有 f(A) = f({0,1}) = { f(0), f(1) } = {0, 2} * 函数的性质 定义 设 f：A→B,（1）若ranf = B, 则称 f：A→B是满射的.（2）若 ?y∈