离散数学实验三柏超宇.doc

实 验 报 告（2015 / 2016 学年 第 二 学期）课程名称离散数学实验名称偏序关系中盖住关系的求取及格论中有补格的判定实验时间2016年5月31日指导单位计算机科学与技术系指导教师罗卫兰学生姓名柏超宇班级学号Q15010125学院(系)贝尔英才学院专 业信息科技英才班实 验 报 告实验名称偏序关系中盖住关系的求取及格论中有补格的判定指导教师罗卫兰实验类型实验学时4实验时间5.31一、 实验目的和要求目的：编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。要求：对任意给定正整数，利用整除关系求所有由其因子构成的集合所构成的格，判断其是否为有补格。二、实验环境(实验设备)操作系统：Windows 7编程软件：Dev C+三、实验原理及内容 首先输入一个数，再根据整除关系写出偏序集同时求出盖住关系，最后根据最小公倍数和最大公因数的算法依次检查每个元素，假如每个元素都有补元，那么这个偏序集就是一个有补格，因为整除运算符合分配律，所以也是一个布尔格。 具体代码：#include#includeconst int N=100;int AN;int integer;int number;void Input()doprintf(请输入一个正整数:);scanf(%d,&integer);if(integer=1)printf(1是一个有补格);exit(0);while(integer=0);void do1()int i=0;int j=0;for(int n=1;n=integer;n+)if(integer%n=0)Ai+=n;number=i;printf(A=);for( j=0;jnumber;j+)if(j=number-1)printf(%d,Aj); elseprintf(%d,Aj);printf(n); void do2()printf(Cover A=);for(int i=0;inumber;i+)for(int j=i+1;jnumber;j+)int flag=1;if(Aj%Ai=0)for(int k=i+1;kj;k+) if(Ak%Ai=0&Aj%Ak=0) flag=0;if(flag=1) printf( ,Ai,Aj); printf(n);void JudgeComplementedlattice()int gcd,lcm;int dividend,divisor,remainder;int flag1=1;for(int i=0;inumber;i+)int flag2=0;for(int j=i+1;j0);gcd=dividend;lcm=Ai*Aj/gcd;if(gcd=A0&lcm=Anumber-1)flag2=1;for(int k=0;k0);gcd=dividend;lcm=Ak*Ai/gcd; if(gcd=A0&lcm=Anumber-1)flag2=1;if(flag2=0)flag1=0;break;if(flag1=1)printf(是有补格.n);elseprintf(不是有补格.n);int main() printf(设由正整数因子所构成的集合A和整除关系这二者构成的偏序集合为n);Input();do1();do2();JudgeComplementedlattice();return 0;运行结果：（例如输入99） 四、实验小结（包括问题和解决方法、心得体会、意见与建议等） 通过这次实验让我对格有了更加深入的认识。同时也通过对代码的编写巩固