1.实验目的
编程实现整除关系这一偏序关系上所有盖住关系的求取,并判定对应的偏序集是否为格。
2.实验要求
对任意给定的正整数,利用整除关系求所有由其因子构成的集合所构成的格,判断其是否为有补格。
3.编码思路
将该正整数的因子保存在数组中,利用盖住关系的性质,两个数a、b之间不存在第三者c,使得a整除c,c整除b,即可求取所有盖住关系。
整除关系对应的偏序集都是格,所以不用判断,接下来是判断有补格。利用性质,首先,格的全上界一定是输入,的正整数,全下界一定是1,所以就根据这个来判断补元。两重循环,如果每个因子都能找到另一个因子,使它们的最小公倍数为输入的正整数,最大公约数为1,那么就是有补格。
代码如下,只用了一个gcd函数:
/*
*实验目的:编程实现整除关系这一偏序关系上所有盖住关系的求取,并判定对应的偏序集是否