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;
     }
 }