import java.util.*;

public class Nogood {
    int[] vertex;
    int dob; // date of birth


    Nogood (int[] vertex){
	this.vertex = vertex;
    }

    public String toString(){
	String s = "<dob: "+ dob;
	for (int v : vertex) s = s +" "+ v;
	return s +">";
    }

    void swap(int i, int j){
	int temp = vertex[i];
	vertex[i] = vertex[j];
	vertex[j] = temp;
    }

    boolean update(int v,boolean[] inClique,ArrayList<Integer> P, ArrayList<Nogood>[] watchList,long node){
	if (v != vertex[0]) swap(0,1);
	int support = findSupport(inClique);
	if (support == -1){
	    P.remove((Integer) vertex[1]);
	    //System.out.println("fired: "+ this +" at node "+ node);
	    return false;
	}
	int w = vertex[support];
	swap(0,support);
	//watchList[v].remove(this);
	watchList[w].add(this);
	return true;
    }
    
    int findSupport(boolean[] inClique){
	for (int i=2;i<vertex.length;i++)
	    if (!inClique[vertex[i]]) return i;
	return -1;
    }
    //
    // in the set of vertices in this nogood, where
    // vertex[0] and vertex[1] are being watched, return
    // the location of another vertex that can become a new watch
    //
}