偏序关系中盖住关系的求取及格论中有补格的判定

1、离散数学实验报告（2015/ 2016 学年 第 一 学期）题 目：偏序关系中盖住关系的求取及格论中有补格的判定 专 业 学 生 姓 名 班 级 学 号 指 导 教 师 指 导 单 位 计算机学院计算机科学与技术系 日 期 2015年12月15日 评 分 细 则评分项优秀良好中等差遵守机房规章制度上机时的表现学习态度算法思想准备情况程序设计能力解决问题能力课题功能实现情况算法设计合理性算法效能评价报告书写认真程度内容详实程度文字表达熟练程度回答问题准确度简 短 评 语教师签名： 年 月 日评分等级备注评分等级有五种：优秀、良好、中等、及格、不及格偏序关系中盖住关系的求取及格论中有补格的判定一、

2、 实验内容和要求内容：编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。要求：对任意给定正整数，利用整除关系求所有由其因子构成的集合所构成的格，判断其是否为有补格。二、实验目的编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。三、实验任务 1、求出输入数的所有因子。2、求出整除关系“”的偏序集。3、求出盖住关系 COV A。4、判断是否有补格。5、判断是否为布尔格。四、实验内容 #includeusing namespace std;bool Find(int a, int b,int n) /判断两个元素是否互补int temp;if (a

3、 b)temp = a;a = b;b = temp;int dividend=a, divider=b, remainder=0,min,max;remainder = dividend%divider;while (remainder)dividend = divider;divider = remainder;remainder = dividend%divider;min = a*b / divider; /求得最小公倍数max = divider; /求得最大公约数if (min = n&max = 1)return true;elsereturn false;void main()

4、int n,i,k,t,count=0,j=0;cout n;int a100; /存储带输入整数的所有因子bool b100; /存储对应因子是否有补元for (i = 0; i 100; i+)bi = false; /初始化for (i = 1; i =n;i+)if (n%i = 0)aj+ = i;count = j; /将所有因子个数赋给countcout n 共有 count 个因子 endl;coutA=;for (i = 0; i count; i+) /输出所有因子if(icount-1)cout ai, ;if(i=count-1) cout ai;cout endl;c

5、out偏序关系集合“”=;for(i=0;icount;i+) /判断是否为偏序关系for(j=i;jcount;j+)if(aj%ai=0)coutai,aj; coutendl;coutCOV A=;for(i=0;icount;i+) /判断是否为盖住关系for(j=i;jcount;j+)if(aj%ai=0)if(j-i)=1)coutai,aj;if(j-i)1)t=0; /标记是否符合盖住关系for(k=i+1;kj;k+)if(ak%ai=0)&(aj%ak=0)t+;if(t=0)coutai,aj,;coutendl;for (i = 0; i count; i+) /判断

6、两个元素是否互补for (j = i; j count; j+)if (Find(ai, aj, n)bi = true;bj = true;break; /如果ai找到第一个与之互补的元素就跳出循环int flag = 1; /标记所有由其因子构成的集合所构成的格是否是有补格for (i = 0; i count; i+)if (!bi)flag = 0;if (flag)cout 是有补格 endl; cout 是布尔格 endl;elsecout 不是有补格 endl;cout 不是布尔格 endl;五、测试数据及其结果分析输入数字为36时：输入数字为12时：输入数字为15时：六、调试过

7、程中的问题判断盖住关系时出现如图错误：调试后发现时一句代码的执行顺序错误（加黑下划线为错误处）：for(i=0;icount;i+)/判断是否为盖住关系for(j=i;jcount;j+)if(aj%ai=0)if(j-i)=1)coutai,aj;if(j-i)1)t=0;for(k=i+1;kj;k+)if(ak%ai=0)&(aj%ak=0)t+;if(t=0)coutai,aj,;coutendl;修改之后：for(i=0;icount;i+)/判断是否为盖住关系for(j=i;jcount;j+)if(aj%ai=0)if(j-i)=1)coutai,aj;if(j-i)1)t=0;for(k=i+1;kj;k+)if(ak%ai=0)&(aj%ak=0)t+;if(t=0)coutai,aj,;coutendl;正确执行之后为：七、程序设计总结1.掌握了与离散数学理论相关的编程实现思想和方法，重点掌握了偏序关系中盖住关系的求取及格论中有补格的判定。2.通过