Ex 5_26 变量约束是否能同时满足(并查集)_第九次作业

利用并查集进行处理，定义一个维护数组components，components[i]表示变量序号为i的变量所处的集合，首先处理相等的变量，把它们放入同一个集合中，最后再处理不相等变量，若两个不相等的变量处于同一个集合中，则不满足约束条件。

package org.xiu68.ch05.ex9;

public class Ex5_26 {

    public static void main(String[] args) {
        // TODO Auto-generated method stub
        //变量约束集合，先给出相等约束，再给出不相等约束
        Constraint[] constraint=new Constraint[]{
            new Constraint(0,1,true),    
            new Constraint(1,2,true),    
            new Constraint(3,4,true),    
            new Constraint(4,5,true),
            new Constraint(2,3,true),
            new Constraint(0,5,false)
        };
        checkConstraint(6, constraint);   //约束不能同时满足
    }
    
    //varNum:变量的个数
    //constraint：变量约束集合
    public static void checkConstraint(int varNum,Constraint[] constraint){
        
        int[] components=new int[varNum];    //并查集
        for(int i=0;i<varNum;i++)
            components[i]=i;
        
        boolean isConstraint=true;
        for(int i=0;i<constraint.length;i++){
            int v1=constraint[i].value1;
            int v2=constraint[i].value2;
            //变量相等，放入同一个并查集中
            if(constraint[i].isEqual==true){
                for(int j=0;j<components.length;j++){
                    if(components[j]==v2)
                        components[j]=components[v1];
                }
            }else{
                //变量不相等且位于同一个并查集中，则不满足约束条件
                if(components[v1]==components[v2]){
                    System.out.println("约束不能同时满足");
                    isConstraint=false;
                    break;
                }
            }
        }
        if(isConstraint==true)
            System.out.println("约束能同时满足");
    }
}

class Constraint{
    public int    value1;        //第value1个变量
    public int  value2;        //第value2个变量
    public boolean isEqual;    //是否相等
    
    public Constraint(int value1, int value2, boolean isEqual) {
        super();
        this.value1 = value1;
        this.value2 = value2;
        this.isEqual = isEqual;
    }
}