All Downloads are FREE. Search and download functionalities are using the official Maven repository.

signature.AbstractGraphSignature Maven / Gradle / Ivy

package signature;

import java.util.ArrayList;
import java.util.Collections;
import java.util.HashMap;
import java.util.List;
import java.util.Map;

/**
 * A signature for an entire graph.
 * 
 * @author maclean
 *
 */
public abstract class AbstractGraphSignature {
    
    /**
     * The separator is printed between vertex signature strings
     */
    private final String separator;
    
    /**
     * This is the height the signature is created with, which cannot be 
     * exceeded.
     */
    private int height;
    
    private String graphSignature; // XXX
    
    /**
     * Create a graph signature with a default separator.
     */
    public AbstractGraphSignature() {
        this(" + ", -1);
    }
    
    /**
     * Create a graph signature with the given separator.
     * 
     * @param separator the separator to use
     */
    public AbstractGraphSignature(String separator) {
        this(separator, -1);
    }
    
    /**
     * Create a graph signature with a default separator and the given height.
     * 
     * @param height the height of the vertex signatures made from this graph.
     */
    public AbstractGraphSignature(int height) {
        this(" + ", height);
    }
    
    /**
     * Create a graph signature with the given separator and height.
     * 
     * @param separator the separator to use
     * @param height the height of the vertex signatures made from this graph.
     */
    public AbstractGraphSignature(String separator, int height) {
        this.separator = separator;
        this.height = height;
    }
    
    /**
     * Get the height that the graph signature was created with.
     *  
     * @return the height
     */
    public int getHeight() {
        return this.height;
    }
    
    /**
     * Get the vertex count of the graph that this is the signature of.
     * 
     * @return the vertex count
     */
    protected abstract int getVertexCount();
    
    /**
     * Return the canonical signature string for the vertex at index 
     * vertexIndex in the graph.
     * 
     * @param vertexIndex the vertex index
     * @return the canonical signature string for this vertex
     */
    public abstract String signatureStringForVertex(int vertexIndex);
    
    /**
     * Return the canonical signature string for the vertex at index 
     * vertexIndex in the graph with a height of 
     * height.
     * 
     * @param vertexIndex the vertex index
     * @param height the maximum height of the signature
     * @return the signature at the given height for a vertex 
     */
    public abstract String signatureStringForVertex(int vertexIndex, int height);
    

    /**
     * Generate and return an AbstractVertexSignature rooted at the vertex with
     * index vertexIndex.
     * 
     * @param vertexIndex the vertex to use
     * @return an AbstractSignature object
     */
    public abstract AbstractVertexSignature signatureForVertex(int vertexIndex);
    
    /**
     * Run through the vertices of the graph, generating a signature string for
     * each vertex, and return the one that is lexicographically minimal.
     * 
     * @return the lexicographically minimal vertex string
     */
    public String toCanonicalString() {
        String canonicalString = null;
        for (int i = 0; i < this.getVertexCount(); i++) {
            String signatureString = this.signatureStringForVertex(i);
            if (canonicalString == null ||
                    canonicalString.compareTo(signatureString) > 0) {
                canonicalString = signatureString; 
            }
        }
        if (canonicalString == null) {
            return "";
        } else {
            return canonicalString;
        }
    }
    
    /**
     * For all the vertices in the graph, get the signature string and group the
     * resulting list of strings into symmetry classes. All vertices in one
     * symmetry class will have the same signature string, and therefore the
     * same environment.
     *  
     * @return a list of symmetry classes
     */
    public List getSymmetryClasses() {
        return getSymmetryClasses(-1);
    }
        
    public List getSymmetryClasses(int height) {
        List symmetryClasses = new ArrayList();
        for (int i = 0; i < this.getVertexCount(); i++) {
            String signatureString = this.signatureStringForVertex(i, height);
            SymmetryClass foundClass = null;
            for (SymmetryClass symmetryClass : symmetryClasses) {
                if (symmetryClass.hasSignature(signatureString)) {
                    foundClass = symmetryClass;
                    break;
                }
            }
            if (foundClass == null) {
                foundClass = new SymmetryClass(signatureString);
                symmetryClasses.add(foundClass);
            } 
            foundClass.addIndex(i);
        }
        return symmetryClasses;
    }

    /**
     * Generate signature strings for each vertex of the graph, and count up
     * how many of each there are, printing out a final string concatenated
     * together with the separator.
     * 
     * @return a full signature string for this graph
     */
    public String toFullString() {
        Map sigmap = new HashMap(); 
        for (int i = 0; i < this.getVertexCount(); i++) {
            String signatureString = this.signatureStringForVertex(i);
            if (sigmap.containsKey(signatureString)) {
                int count = sigmap.get(signatureString);
                sigmap.put(signatureString, count + 1);
            } else {
                sigmap.put(signatureString, 1);
            }
        }
        List keyList = new ArrayList();
        keyList.addAll(sigmap.keySet());
        Collections.sort(keyList);
        StringBuffer buffer = new StringBuffer();
        for (int i = 0; i < keyList.size() - 1; i++) {
            String signature = keyList.get(i);
            int count = sigmap.get(signature);
            buffer.append(count).append(signature).append(this.separator);
        }
        String finalSignature = keyList.get(keyList.size() - 1);
        int count = sigmap.get(finalSignature);
        buffer.append(count).append(finalSignature);
        return buffer.toString();
    }
    
    /**
     * Use the lexicographically largest (or smallest) as the graph signature
     */
    public String getGraphSignature(){
        // Generates and returns a graph signature
        this.graphSignature = getMaximalSignature();
        return this.graphSignature;
    }
    
    public List getSortedSignatures() {
        List vertexSignatures = this.getVertexSignatureStrings();
        Collections.sort(vertexSignatures);
        return vertexSignatures;
    }
    
    public String getMinimalSignature() {
        List sortedSignatures = getSortedSignatures();
        return sortedSignatures.get(sortedSignatures.size() - 1);
    }
    
    public String getMaximalSignature() {
        List sortedSignatures = getSortedSignatures();
        return sortedSignatures.get(0);
    }

    /**
     * Create the canonical signature strings for each vertex. They are 
     * unsorted, so will be in the same order as the vertices.
     * 
     * @return a list of canonical signature strings
     */
    public List getVertexSignatureStrings() {
        List vertexSignatures = new ArrayList();
        for (int i = 0; i < this.getVertexCount(); i++) {
            vertexSignatures.add(this.signatureStringForVertex(i));
        }
        return vertexSignatures;
    }
    
    /**
     * Create a list of vertex signatures, one for each vertex.They are 
     * unsorted, so will be in the same order as the vertices.
     * 
     * @return a list of vertex signatures
     */
    public List getVertexSignatures() {
        List signatures = 
            new ArrayList();
        for (int i = 0; i < this.getVertexCount(); i++) {
            signatures.add(this.signatureForVertex(i));
        }
        return signatures;
    }
    
    /**
     * Test the the vertices in the graph, to see if the order they are in
     * (confusingly called the 'labelling' of the graph) is canonical. The 
     * order that is canonical according to this method may not be the same as
     * the canonical order from another method.
     * 
     * @return true if the vertices are in a canonical order
     */
    public boolean isCanonicallyLabelled() {
        int[] labels = getCanonicalLabels();
        int previousLabel = -1;
        for (int i = 0; i < labels.length; i++) {
            if (previousLabel == -1 || labels[i] > previousLabel) {
                previousLabel = labels[i];
            } else {
                return false;
            }
        }
        return true;
    }
    
    public void reconstructCanonicalGraph(
            AbstractVertexSignature signature, AbstractGraphBuilder builder) {
        String canonicalString = this.toCanonicalString();
        ColoredTree tree = AbstractVertexSignature.parse(canonicalString);
        builder.makeFromColoredTree(tree);
    }
    
    public int[] getCanonicalLabels() {
        int n = getVertexCount();
        AbstractVertexSignature canonicalSignature = null;
        String canonicalSignatureString = null;
        for (int i = 0; i < n; i++) {
            AbstractVertexSignature signatureForVertexI = signatureForVertex(i);
            String signatureString = signatureForVertexI.toCanonicalString();
            if (canonicalSignature == null ||
                    signatureString.compareTo(canonicalSignatureString) < 0) {
                canonicalSignature = signatureForVertexI;
                canonicalSignatureString = signatureString;
            }
        }
        return canonicalSignature.getCanonicalLabelling(n);
    }
    
    public String reconstructCanonicalEdgeString() {
        String canonicalString = this.toCanonicalString();
        VirtualGraphBuilder builder = new VirtualGraphBuilder();
        
        builder.makeFromColoredTree(
                AbstractVertexSignature.parse(canonicalString));
        return builder.toEdgeString();
    }
 
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy