NJUPT南邮 | 离散数学_实验三

内容：
求取集合A上的整除关系R对应的盖住关系，并判定偏序集<A，R>是否为格，若是格，判断其是否为有补格。
要求：
集合A可以是用户任意给定的正整数集合。

package exp03;

import java.util.*;
import java.util.stream.Collectors;

class Poset {
   
    int A[];    // 集合
    int R[][];  // 关系矩阵

    public Poset(int[] a) {
   
        A = a;
        // 初始化关系矩阵
        R=new int[A.length][A.length];
        for(int i = 0; i < A.length; i++){
   
            for(int j = 0; j < A.length; j++){
   
                if(A[j] % A[i] == 0){
     //如果满足整除关系，就设为 1
                    R[i][j] = 1;
                }
            }
        }

    }

    // 求取盖住关系
    public void displayCOVER() {
   

        int matrixs[][]=R;  // 用于判断盖住关系的二元数组
        for(int i = 0; i < A.length; i++){
   
            for(int j = 0; j <A.length; j++){
   
                for(