《南京邮电大学离散数学-实验三求主析取及主合取范式》由会员分享，可在线阅读，更多相关《南京邮电大学离散数学-实验三求主析取及主合取范式（8页珍藏版）》请在金锄头文库上搜索。
1、实 验 报 告（2015 / 2016 学年 第 一 学期）课程名称 离散数学实验名称 偏序关系中盖住关系的求取以及格论中有补格的判定实验时间 2015 年 12 月 1 日指导单位 计算机科学与技术系指导教师 罗卫兰学生姓名 张清浩 班级学号 B14040922学院(系) 计算机学院软件学院 专 业 软件工程实 验 报 告实验名称 偏序关系中盖住关系的求取以及格论中有补格的判定指导教师 罗卫兰实验类型 实验学时 4 实验时间 12 月 1 日一、 实验目的和要求输入一整数，根据它所有的因子，在偏序关系为整除关系的前提下，求出盖住关系，以及有补格的判断。二、实验环境(实验设备)1三、实验原理及
2、内容#includeint A20=0;int N=0;void yinzi(int m)int i;for(i=0;i,Ai,Aj);count=0;putchar(n);void youbuge()int *order;/标记每个因子是否有补元，无 0，有 1int i=0,j=0,k=0,count=0,count1=0;order=(int*)malloc(N*sizeof(int);for(i=0;iN;i+)orderi=0;3for(i=0;iN;i+)for(j=0;jN;j+)if(i!=j)for(k=1;kN-1;k+)if(Ai%Ak=0&Aj%Ak=0)|(Ak%Ai
3、=0&Ak%Aj=0)count+;if(!count)printf(%d 的补元是%dn,Ai,Aj);orderi=1;count=0;for(i=0;iN;i+)if(orderi=0)4printf(%d 没有补元n,Ai);count1=1;if(!count1)printf(是有补格 n);elseprintf(不是有补格 n);free(order);void main()int m;printf(请输入一个整数:);scanf(%d,&m);yinzi(m);gaizhu();youbuge(); 5实 验 报 告6四、实验小结（包括问题和解决方法、心得体会、意见与建议等）通过本次实验掌握了使用程序进行 偏序关系中盖住关系的求取以及格论中有补格的判定，也使得我们更好的掌握了使用编程思想处理数学问题。 五、指导教师评语成 绩 批阅人 日 期
