Site Search:

Graph.java with dfs circle detection


import java.util.HashMap;
import java.util.HashSet;
import java.util.Map;
import java.util.Set;
import java.util.Stack;
import java.util.stream.Collectors;
import java.util.stream.Stream;

public class Graph {
    private Set<Integer> marked = new HashSet<>();
    private Map<Integer, Set<Integer>> neighbors = new HashMap<>();
    private boolean hasCircle = false;
    private Map<Integer, Boolean> onStack = new HashMap<>();
    private Map<Integer, Integer> path = new HashMap<>();
    private Stack<Integer> circle = new Stack<>(); 

    public Set<Integer> getPoints() {
        return neighbors.keySet();
    }

    public int size() {
        return getPoints().size();
    }

    public long edgeSize() {
        return neighbors.values().stream()
                .collect(Collectors.summingLong(Set::size)) / 2;
    }

    public void addEdge(int a, int b) {
        neighbors.computeIfAbsent(a, k -> new HashSet<Integer>()).add(b);
        neighbors.computeIfAbsent(b, k -> new HashSet<Integer>()).add(a);
    }
    
    public void detectCircle() {
        for(Integer s : neighbors.keySet()) {
            if(!marked.contains(s)) {
                path.put(s, s);
                dfs(s, s);
            }
        }
    }
    
    private void dfs(Integer v, Integer s) {
        if(this.hasCircle) return;
        onStack.put(v, true);
        marked.add(v);
        for(Integer w : neighbors.get(v)) {
            if(!marked.contains(w)) {
                path.put(w, v);
                dfs(w, v);
            } else if(onStack.get(w) && !w.equals(s)) {
                path.put(w, v);
                this.hasCircle = true;
                for(Integer u = v; !u.equals(w); u=path.get(u)) {
                    circle.push(u);
                }
                circle.push(w);
            }
        }
        onStack.put(v, false);
    }
    
    public static void main(String... args) {
        Graph g = new Graph();
        // change the number of points and edges here.
        for (int i = 0; i < 7; i++) {
            g.addEdge(i, i + 1);
            g.addEdge(i, i + 2);
        }
        for (int i = 15; i < 17; i++) {
            g.addEdge(i, i + 1);
        }
        g.addEdge(19, 19);
        g.detectCircle();
        System.out.println("strict graph {");
        while(!g.circle.isEmpty()) {
            System.out.println(g.circle.pop() + "[color=red];");
        }
        g.neighbors
                .keySet()
                .stream()
                .forEach(
                        i -> {
                            Stream.of(g.neighbors.get(i))
                                    .flatMap(j -> j.stream())
                                    .forEach(
                                            k -> System.out.println(i + "--" + k + ";"));
                        });
        System.out.println("}");
        System.out.println("number of points: " + g.size());
        System.out.println("number of edges: " + g.edgeSize());
        System.out.println("hasCircle: " + g.hasCircle);
    }
}