Package org.graph4j.util

Class StableSet

java.lang.Object

org.graph4j.util.VertexCollection

org.graph4j.util.VertexSet

org.graph4j.util.StableSet

All Implemented Interfaces:

Iterable<Integer>

public class StableSet
extends VertexSet

A stable set is a set of vertices of a graph, no two of which are adjacent. It is also called an independent set of vertices.

Author:

Cristian Frăsinaru

Field Summary

Fields inherited from class org.graph4j.util.VertexSet

posMap

Fields inherited from class org.graph4j.util.VertexCollection

bitset, DEFAULT_CAPACITY, first, graph, numVertices, vertices

Constructor Summary

Constructors

Constructor	Description
StableSet(Graph graph)
StableSet(Graph graph, int initialCapacity)
StableSet(Graph graph, int[] vertices)

Method Summary

Modifier and Type	Method	Description
protected void	checkEdge(int v, int u)
protected final void	checkEdges()
boolean	isMaximal()	Checks if the stable set is maximal.
boolean	isValid()	Checks if the vertices in this set actually represent a stable set.

Methods inherited from class org.graph4j.util.VertexSet

add, addAll, addDirectly, clear, contains, equals, hashCode, indexOf, intersection, intersection, peek, pop, remove, removeFromPos, union, union

Methods inherited from class org.graph4j.util.VertexCollection

computeVerticesWeight, getGraph, grow, indexOf, isClique, isEmpty, isStableSet, iterator, numVertices, removeAll, removeLast, retainAll, size, toString, union, vertexToString, vertices

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

StableSet

public StableSet(Graph graph)

StableSet

public StableSet(Graph graph,
 int initialCapacity)

StableSet

public StableSet(Graph graph,
 int[] vertices)

Method Details

checkEdge

protected void checkEdge(int v,
 int u)

checkEdges

protected final void checkEdges()

isValid

public boolean isValid()

Checks if the vertices in this set actually represent a stable set.

Returns:

true if the stable set is valid, false otherwise.

isMaximal

public boolean isMaximal()

Checks if the stable set is maximal.

Returns:

true if the stable set is maximal, false otherwise.