离散数学实验三偏序关系中盖住关系的求取及格论中有补格的判定

最新推荐文章于 2024-05-14 17:59:16 发布

1号寝林某人

最新推荐文章于 2024-05-14 17:59:16 发布

阅读量5.8k

点赞数

分类专栏：离散实验文章标签：南京邮电大学离散数学实验有补格

本文链接：https://blog.csdn.net/qq_34432960/article/details/53442450

版权

该实验旨在通过编程实现整除关系的偏序集，寻找盖住关系，并判断是否为有补格。算法涉及对任意正整数的因子寻找，利用辗转相除法计算最大公约数，以确定有补格条件。实验代码原创，禁止抄袭。

摘要由CSDN通过智能技术生成

一、实验目的和要求
内容：
编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应偏序集是否为格。
要求：
对任意给定正整数，利用整除关系求所有由其因子构成的集合所构成的格，判断其是否为有补格。
二、算法概要：输入n，遍历1到n所有数寻求因子；
整除关系判断有补格，条件即所有的因子都能找到与其最大公约数为1最小公倍数为n的另外一个因子；
求最大公约数用辗转相除法；
下面直接贴代码：
#编程是自己的事，禁止复制粘贴交作业#

#include<iostream>
using namespace std;
int a[100];
int num;
void factor(int n)//显示各因子；
{

	int i,j=0,k,t;
	int judge =0;
	cout<<"能整除的因子有：";
	for(i=1;i<=n;i++)
	{
		if(n%i==0)
		{
			cout<<i<<" ";
			a[j]=i;
			j++;
		}
	}
	cout<<endl;
	num=j-1;
	cout<<"cov "<<n<<"={";
	for(k=0;k<=num;k++)
	{
		for(i=k+1;i<=num;i++)
		{
			if(a[i]%a[k]==0)
			{
			    judge=2;
				if(i-k>1)
				{
					for(t