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

  1.实验目的

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

  2.实验要求

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

  3.编码思路

     将该正整数的因子保存在数组中，利用盖住关系的性质，两个数a、b之间不存在第三者c，使得a整除c，c整除b，即可求取所有盖住关系。

     整除关系对应的偏序集都是格，所以不用判断，接下来是判断有补格。利用性质，首先，格的全上界一定是输入,的正整数，全下界一定是1，所以就根据这个来判断补元。两重循环，如果每个因子都能找到另一个因子，使它们的最小公倍数为输入的正整数，最大公约数为1，那么就是有补格。

代码如下，只用了一个gcd函数：

/*
 *实验目的:编程实现整除关系这一偏序关系上所有盖住关系的求取，并判定对应的偏序集是否