内容:
求取集合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(