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

《离散数学》实验报告 （20/ 2016 学年 第 学期） 指 导 教 师 指 导 单 位 计算机学院计算机科学与技术系 日 期 2015年12月15日 评 分 细 则 评分项 优秀 良好 中等 差 遵守机房规章制度 上机时的表现 学习态度 算法思想准备情况 程序设计能力 解决问题能力 课题功能实现情况 算法设计合理性 算法效能评价 报告书写认真程度 内容详实程度 文字表达熟练程度 回答问题准确度 简 短 评 语 教师签名： 年 月 日 评分等级 备注 评分等级有五种：优秀、良好、中等、及格、不及格 偏序关系中盖住关系的求取及格论中有补格的判定 实验内容和要求 二、 编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。 三、 1、求出输入数的所有因子。 2、求出整除关系“≤”的偏序集。 3、求出盖住关系 COV A。 4、判断是否有补格。 5、判断是否为布尔格。 四、 #includeiostream using namespace std; bool Find(int a, int b,int n) //判断两个元素是否互补 { int temp; if (a 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 == nmax == 1) return true; else return false; } void main() { int n,i,k,t,count=0,j=0; cout 输入正整数：;//输入任意整数 cin n; int a[100];//存储带输入整数的所有因子 bool b[100];//存储对应因子是否有补元 for (i = 0; i 100; i++) b[i] = false;//初始化 for (i = 1; i =n;i++) if (n%i == 0) { a[j++] = i; } count = j;//将所有因子个数赋给count cout n 共有 count 个因子 endl; coutA={; for (i = 0; i count; i++)//输出所有因子 { if(icount-1) { cout a[i], ;} if(i==count-1) { cout a[i];} } cout }endl; { cout偏序关系集合“≤”={; for(i=0;icount;i++)//判断是否为偏序关系 { for(j=i;jcount;j++) { if(a[j]%a[i]==0) { couta[i],a[j]; } } } cout}endl; coutCOV A={; for(i=0;icount;i++)//判断是否为盖住关系 { for(j=i;jcount;j++) { if(a[j]%a[i]==0) { if((j-i)==1) { couta[i],a[j]; } if((j-i)1) { t=0; for(k=i+1;kj;k++) { i