南京邮电大学离散数学-实验三求主析取及主合取范式

《南京邮电大学离散数学-实验三求主析取及主合取范式》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、占U瑯遂实验报告（2015/2016学年第一学期）课程名称离散数学实验名称偏序关系中盖住关系的求取以及格论中有补格的判定实验时间2015年12月1日指导单位计算机科学与技术系指导教师罗卫兰学院係）聘鑒学院软专业软件工程实验报告实验名称偏序关系中盖住关系的求取以及格论中有补格的判定指导教师罗卫兰实验类型实验学时4实验时间12月1日一、实验目的和要求输入一整数，根据它所有的因子，在偏序关系为整除关系的前提下，求出盖住关系，以及有补格的判断。二、实验环境（实验设备）三、实验原理及内容#includeintA[20]=

2、{0};intN=0;voidyinzi(intm){inti;for(i二0;ivm;i++)if(m%(i+l)=0){A[N]二i+1;N++;}printf(n%d的因子为:”,m);for(i=0;i

3、if(A[k]%A[i]==O&&A[j]%A[k]==O)count++;if(!count)printf(n<%d,%d>；A[i],A[j]);}count=0;}putchaT('‘)；}voidyoubuge(){int*order;//标记每个因子是否有补元，无0,有1inti=0,j=0,k=0,count=0,count1=0;order=(int*)malloc(N*sizeof(int));for(i=0;i

4、+){if(i!=j){for(k=l;kvN・l;k++)if((A[i]%A[k]==O&&A[j]%A[k]==O)

5、

6、(A[k]%A[i]==O&&A[k]%A[j]==O))count++;if(!count){printf(n%d的补元是%dn,A[i],A[j])；order[i]=l;}count=0;}}}for(i=0;i

7、”不是有补格W);free(order);}voidmain(){intm;printf(n请输入一个整数:”);scanf(n%d",&m);yinzi(m);gaizhu();youbuge();}实验报告四、实验小结（包括问题和解决方法、心得体会、意见与建议等）通过本次实验掌握了使用程序进行偏序关系中盖住关系的求取以及格论中有补格的判定，也使得我们更好的掌握了使用编程思想处理数学问题。五、指导教师评语成绩批阅人日期