离散 关系复合.docVIP

软 件 学 院 综合训练项目报告书 课程名称 离散数学及应用 项目名称 关系的复合和逆运算 专业班级 组 别 成 员 任课教师 目录 关系的复合和逆运算·······················1 1.设计时间··························1 2.设计任务··························1 3.设计内容··························1 3.1问题分析·························1 3.2程序设计·························1 3.3测试与分析························2 3.3.1测试··························2 3.3.2分析··························3 3.4代码···························4 4.总结与展望·························5 参考文献···························6 成员分工···························7 1 设计时间：2015.5.10 2 设计任务：关系的复合和逆关系运算 3 设计内容：设R是一个从集合A到集合B的二元关系，S是从集合B到集合C的二元关系（也可以简单的描述为R:AB,S:BC),则R与S的复合关系R。S是从A到B的关系，并且：R。S={x,z|(xA)(zC)( y)((yB)（xRy)(ySz)）} 设R是一个从集合A到集合B的二元关系，则从B到A的关系R-1={b,a|a,bR}称为R的逆关系。 3.1问题分析： 对与关系的复合：设A,B，C是三个集合，R是集合A到集合B的二元关系，S是集合B到集合C的二元关系，则R与S相同部分得整合即为R与S的复合。换句话说，关系的复合是集合与集合间相同部分的统一化整合，它的定义为R。S={x,z|(xA)(zC)( y)((yB)（xRy)(ySz)）}。所以，欲求关系的复合。只需前一个集合后域是后一个集合的前域。 对于关系的逆：关系是一种集合，逆关笛卡尔乘积系也是一种集合。换句话说，逆关系的求法可以想为先求两个集合的笛卡尔乘积，后把笛卡尔乘积中的偶序对前后调换位置。 3.2程序设计 已知所给集求A与B的设集合 流程图： 1 3.3测试与分析： 3.3.1测试 2 3.3.2分析：用数组存储关系元素 通过for语句实现循环判断和运算 用if判断复合的条件 通过scanf语句进行输入，输入时偶序左右元素分别输入。 用printf最后实现结果的输出 关系的逆：用数组存储元素 通过for语句实现循环的判断 用scanf语句输入元素 最后通过for语句实现元素的调换 用printf输出结果 3 。 3.4 代码：/* Note:Your choice is C IDE */ #include stdio.h void main() { int a[50],b[50],c[50],d[50],i,j,k,l,p,q; printf(欢迎使用关系复合运算程序\n); printf(请输入第一个关系的组数(=50)\n); scanf(%d,p); printf(请输入第一组关系左侧全部的数\n); for(i=0;ip;i++) scanf(%d,a[i]); printf(请输入第一组关系右侧的数，与关系左侧的数一一对应\n); for(j=0;jp;j++) scanf(%d,b[j]); printf(请输入第二个关系的组数\n); scanf(%d,q); printf(请输入第二组关系左侧全部的数\n); for(k=0;kq;k++) scanf(%d,c[k]); printf(请输入第一组关系右侧的数，与关系左侧的数一一对应\n); for(l=0;lq;l++) sca