Package it.unimi.dsi.law.fibrations
Class PreProcessedMinimumBase
java.lang.Object
it.unimi.dsi.law.fibrations.PreProcessedMinimumBase
public class PreProcessedMinimumBase extends Object
Static methods to compute the minimum opfibration base of a given graph.
-
Constructor Summary
Constructors Constructor Description PreProcessedMinimumBase()
-
Method Summary
Modifier and Type Method Description static void
main(String[] arg)
static int[]
universalFibrationLabelling(ImmutableGraph g, NodeColouringStrategy nodeColouring, ArcColouringStrategy arcColouring)
Returns a labelling of an immutable graph such that two nodes have the same label iff they have the same universal opfibration.
-
Constructor Details
-
PreProcessedMinimumBase
public PreProcessedMinimumBase()
-
-
Method Details
-
universalFibrationLabelling
public static int[] universalFibrationLabelling(ImmutableGraph g, NodeColouringStrategy nodeColouring, ArcColouringStrategy arcColouring)Returns a labelling of an immutable graph such that two nodes have the same label iff they have the same universal opfibration. Note that the labelling is surjective—if a node has label k, there are nodes with label j, for every 0≤j≤k.- Parameters:
g
- an immutable graph.nodeColouring
- a colouring for the nodes, ornull
.arcColouring
- a colouring for the arcs, ornull
.- Returns:
- an array of integers labelling the graph so that two nodes have the same label iff they have the same universal opfibration.
-
main
- Throws:
IOException
-