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

《偏序关系中盖住关系的求取及格论中有补格的判定》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、实验报告（2014/2015学年第一学期）课程名称离散数学实验名称偏序关系中盖住关系的求取及格论中有补格的判定实验时间2014年10月24日指导单位计算机科学与技术系指导教师学生姓名班级学号学院(系)计软院专业实验报告实验名称偏序关系中盖住关系的求取及格论中有补格的判定指导教师实验类型上机实验学时4实验时间2014.10.24一、实验目的和要求目的：编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。要求：对任意给定正整数，利用整除关系求所有由其因子构成的集合所构成的格，判断其是否为有补格。二、实验环境(实验

2、设备)VC++6.0三、实验原理及内容#includeusingnamespacestd;boolFind(inta,intb,intn)//判断两个元素是否互补{inttemp;if(a

3、%divider;}min=a*b/divider;//求得最小公倍数max=divider;//求得最大公约数if(min==n&&max==1)returntrue;elsereturnfalse;}voidmain(){intn,i,count=0,j=0;cout<<"输入正整数：";//输入任意整数cin>>n;inta[100];//存储带输入整数的所有因子boolb[100];//存储对应因子是否有补元for(i=0;i<100;i++)b[i]=false;//初始化for(i=1;i<=n;i++)if(n%i==

4、0){a[j++]=i;}count=j;//将所有因子个数赋给countcout<

5、就跳出循环}}6intflag=1;//标记所有由其因子构成的集合所构成的格是否是有补格for(i=0;i

6、点掌握了偏序关系中盖住关系的求取及格论中有补格的判定。2.通过求任意两个元素的最大公约数和最小公倍数与1和输入的正整数比较，简化是否是有补格的判断。3.因为整除关系求所有由其因子构成的集合所构成的格满足分配性，所以如果是分配格那么它就是布尔格。4.通过实验，我再次明确了有补格和布尔格的定义，以及两者之间的关系。五、指导教师评语6成绩批阅人日期6