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

《离散数学》实验报告 （20/ 2016 学年 第 学期） 指 导 教 师指 导 单 位 计算机学院计算机科学与技术系 日期2015年12月15日评分细则 评分项 优秀 良好 中等 差 遵守机房规章制度上机时的表现学习态度算法思想准备情况程序设计能力解决问题能力课题功能实现情况算法设计合理性算法效能评价报告书写认真程度内容详实程度文字表达熟练程度回答问题准确度简 短 评 语 教师签名：年月日 评分等级 备注 评分等级有五种：优秀、良好、中等、及格、不及格 偏序关系中盖住关系的求取及格论中有补格的判定 实验内容和要求 二、 编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。 三、 1、求出输入数的所有因子。 2、求出整除关系“≤”的偏序集。 3、求出盖住关系 COV A。 4、判断是否有补格。 5、判断是否为布尔格。 四、 #includeiostream using namespace std; bool Findint a, int b,int n//判断两个元素是否互补int temp; if a btemp a; a b; b temp;int dividenda, dividerb, remainder0,min,max; remainder dividend%divider; while remainderdividend divider; divider remainder; remainder dividend%divider;min a*b / divider;//求得最小公倍数 max divider;//求得最大公约数 if min nmax 1 return true; else return false;void mainint n,i,k,t,count0,j0; 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 0a[j++] i;count j;//将所有因子个数赋给count cout n 共有 count 个因子 endl; coutA; for i 0; i count; i++//输出所有因子ificount-1cout a[i], ; ificount-1cout a[i];cout endl;cout偏序关系集合“≤”; fori0;icount;i++//判断是否为偏序关系forji;jcount;j++ifa[j]%a[i]0couta[i],a[j];coutendl; coutCOV A; fori0;icount;i++//判断是否为盖住关系forji;jcount;j++ifa[j]%a[i]0ifj-i1couta[i],a[j];ifj-i1t0;forki+1;kj;k++ifa[k]%a[i]0a[j]%a[k]0t++;ift0couta[i],a[j],;coutendl;for i 0; i count; i++//判断两个元素是否互补 for j i; j count; j++if Finda[i], a[j], nb[i] true;b[j] true;break;//如果a[i]找到第一个与之互补的元素就跳出循环int flag 1;//标记所有由其因子构成的集合所构成的格是否是有补格 for i 0; i count; i++ if !b[i]flag 0; if flagcout 是有补格 endl;cout 是布尔格 endl;elsecout 不是有补格 endl; cout 不是布尔格 endl;五、测试数据及其结果分析 输入数字为12时： 输入数字为15时： 六、调试过程中的问题 调试后发现时一句代码的执行顺序错误（加黑下划线为错误处）： fori0;icount;i++//判断是否为盖住关系forji;jcount;j++ifa[j]%a[i]0ifj-i1couta[i],a[j];ifj-i1t0;forki+1;kj;k++ifa[k]%a[i]0a[j]%a[k]0t++;ift0couta[i],a[j],;coutendl;修改之后： fori0;icount;i++//判断是否为盖住关系forji;jcount;j++ifa[j