//
// explores colour classes in decreasing order of size, newest first
// within colour class, newest vertex first
//
import java.util.*;

class MCWrev extends MCV {

    MCWrev (int n,int[][]A,int[] degree,int style) {
	super(n,A,degree,style);
    }

    void expand(ArrayList<Integer> C,ArrayList<Integer> P){
	if (timeLimit > 0 && System.currentTimeMillis() - cpuTime >= timeLimit) return;
	nodes++;	
	nodesAtDepth[C.size()]++;
	ArrayList<ArrayList<Integer>> colourClasses = colourSort(P);
	int m = colourClasses.size();
	for (int i=0;m + C.size() > maxSize;i++){
	    ArrayList<Integer> colourClass = colourClasses.get(m-1);
	    for (int j=0;j<colourClass.size();j++) P.remove((Integer)colourClass.get(j));
	    for (int j=colourClass.size();j>0 && m + C.size() > maxSize;j--){
		int v = colourClass.get(j-1);
		C.add(v);
		ArrayList<Integer> newP = new ArrayList<Integer>();
		for (int k=0;k<P.size();k++){
		    int w = P.get(k);
		    if (adjacent(v,w)) newP.add(w);
		}
		if (C.size() > maxSize) saveSolution(C);
		if (!newP.isEmpty()) expand(C,newP);
		C.remove((Integer) v);
	    }
	    m--;
	}
    }
}