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

《离散数学》实验报告 （2015/ 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