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

更新时间：2023-10-03 08:41:02 阅读量：综合文库文档下载

说明：文章内容仅供预览，部分内容可能不全。下载后的文档，内容与下面显示的完全一致。下载之前请确认下面内容是否您想要的，是否完整无缺。

《离散数学》实验报告

（2015/ 2016 学年第一学期）

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

专业学生姓名班级学号指导教师指导单位计算机学院计算机科学与技术系日期 2015年12月15日

评分项遵守机房规章制度优秀良好中等差评上机时的表现学习态度算法思想准备情况程序设计能力解决问题能力课题功能实现情况算法设计合理性算法效能评价报告书写认真程度内容详实程度文字表达熟练程度回答问题准确度分细则简短评语评分等级备注教师签名：年月日评分等级有五种：优秀、良好、中等、及格、不及格

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

一、实验内容和要求

内容：

编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。

要求：

对任意给定正整数，利用整除关系求所有由其因子构成的集合所构成的格，判断其是否为有补格。

二、实验目的

编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。

三、实验任务

1、求出输入数的所有因子。 2、求出整除关系“≤”的偏序集。 3、求出盖住关系 COV A。 4、判断是否有补格。 5、判断是否为布尔格。

四、实验内容

#include using namespace std;

bool Find(int a, int b,int n) //判断两个元素是否互补 { int temp; if (a < b) { temp = a; a = b; b = temp; } int dividend=a, divider=b, remainder=0,min,max; remainder = dividend%divider; while (remainder) { dividend = divider; divider = remainder;

}

remainder = dividend%divider;

min = a*b / divider; //求得最小公倍数 max = divider; //求得最大公约数 if (min == n&&max == 1) return true; else return false; }

void main() { int n,i,k,t,count=0,j=0;

cout << \输入正整数：\ //输入任意整数 cin >> n;

int a[100]; //存储带输入整数的所有因子 bool b[100]; //存储对应因子是否有补元 for (i = 0; i < 100; i++)

b[i] = false; //初始化 for (i = 1; i <=n;i++) if (n%i == 0) { a[j++] = i; }

count = j; //将所有因子个数赋给count cout <

for (i = 0; i < count; i++) //输出所有因子 { if(i

for(i=0;i

} }

cout<<\ cout<<\ }