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

{
int i;
for(i=0;i<m;i++)
if(m%(i+1)==0)
{
A[N]=i+1;
N++;
}
printf("%d的因子为:",m);
for(i=0;i<N;i++)
printf("%d ",A[i]);
putchar('\n');
}
void gaizhu()
{
int i=0,j=0,k=0,count=0;
实验报告
（2015/ 2016学年第一学期）
课程名称
离散数学
实验名称
偏序关系中盖住关系的求取以及格论中有补格的判定
实验时间
2015
年
12
月
1
日
指导单位
计算机科学与技术系
指导教师
罗卫兰
学生姓名
张清浩
班级学号
学院(系)
计算机学院软
件学院
专业
软件工程
实验报告
实验名称
偏序关系中盖住关系的求取以及格论中有补格的判定
printf("盖住关系为:");
for(i=0;i<N;i++)
for(j=i+1;j<N;j++)
{
if(A[j]%A[i]==0)
{
for(k=i+1;k<j;k++)
if(A[k]%A[i]==0&&A[j]%A[k]==0)
count++;
if(!count)
printf("<%d,%d>,",A[i],A[j]);
五、指导教师评语
成绩
批阅人
日期
{
printf("%d的补元是%d\n",A[i],A[j]);
order[i]=1;
}
count=0;
}
}
}
for(i=0;i<N;i++)
if(order[i]==0)
{
printf("%d没有补元\n",A[i]);
count1=1;
}
if(!count1)
printf("是有补格\n");
else
printf("不是有补格\n");
free(order);
}
void main()
{
int m;
printf("请输入一个整数:");
scanf("%d",&m);
yinzi(m);
gaizhu();
youbuge();
}
实验报告
四、实验小结（包括问题和解决方法、心得体会、意见与建议等）
通过本次实验掌握了使用程序进行偏序关系中盖住关系的求取以及格论中有补格的判定，也使得我们更好的掌握了使用编程思想处理数学问题。
}
count=0;
}
putchar('\n');
}
void youbuge()
{
int *order;//标记每个因子是否有补元，无0，有1
int i=0,j=0,k=0,count=0,count1=0;
order=(int*)malloc(N*sizeof(int));
for(i=0;i<N;i++)
指导教师
罗卫兰
实验类型
实验学时
4
实验时间
12月1日
一、实验目的和要求
输入一整数，根据它所有的因子，在偏序关系为整除关系的前提下，求出盖住关系，以及有补格的判断。
二、实验环境(实验设备)
三、实验原理及内容
#include<stdio.h>
int A[20]={0};
int N=0;
void yinzi(int m)
order[i]=0;
for(i=0;i<N;i++)
{
for(j=0;j<N;j++)
{
if(i!=j)
{
for(k=1;k<N-1;k++)
if((A[i]%A[k]==0&&A[j]%A[k]==0)||(A[k]%A[i]==0&&A[k]%A[j]==0))
count++;
if(!count)