Example #1
0
  @Test
  public void testTransitiveClosure() {
    Graph<String, String> graph = new AdjacencyList<String, String>();
    graph.addEdge("A", "B");
    graph.addEdge("B", "C");
    graph.addEdge("D", "C");

    // A -> B
    //      |
    //      v
    //      C <- D

    Graph<String, String> closure = GraphHelper.transitiveClosure(graph);
    // A ->B
    //  \  |
    //   \ v
    //   _|C <- D

    assertEquals(4, closure.getEdgeSet().size());
    assertTrue(closure.hasEdge("A", "B"));
    assertTrue(closure.hasEdge("B", "C"));
    assertTrue(closure.hasEdge("A", "C"));
    assertTrue(closure.hasEdge("D", "C"));
    assertTrue(!closure.hasEdge("A", "D"));
    assertTrue(!closure.hasEdge("B", "D"));
    assertTrue(!closure.hasEdge("C", "D"));

    assertEquals(3, graph.getEdgeSet().size());
    assertTrue(graph.hasEdge("A", "B"));
    assertTrue(graph.hasEdge("B", "C"));
    assertTrue(!graph.hasEdge("A", "C"));
    assertTrue(graph.hasEdge("D", "C"));
  }
Example #2
0
  @Test
  public void testTransitiveClosure2() {
    Graph<String, String> graph = new AdjacencyList<String, String>();
    graph.addEdge("A", "B");
    graph.addEdge("B", "C");
    graph.addEdge("C", "D");
    graph.addEdge("D", "E");

    // A       D -> E
    //  \     /
    //   B-->C

    Graph<String, String> closure = GraphHelper.transitiveClosure(graph);

    assertEquals(10, closure.getEdgeSet().size());
    assertTrue(closure.hasEdge("A", "B"));
    assertTrue(closure.hasEdge("A", "C"));
    assertTrue(closure.hasEdge("A", "D"));
    assertTrue(closure.hasEdge("A", "E"));
    assertTrue(closure.hasEdge("B", "C"));
    assertTrue(closure.hasEdge("B", "D"));
    assertTrue(closure.hasEdge("B", "E"));
    assertTrue(closure.hasEdge("C", "D"));
    assertTrue(closure.hasEdge("C", "E"));
    assertTrue(closure.hasEdge("D", "E"));

    assertTrue(!closure.hasEdge("E", "A"));
    assertTrue(!closure.hasEdge("E", "B"));
    assertTrue(!closure.hasEdge("E", "C"));
    assertTrue(!closure.hasEdge("E", "D"));
    assertTrue(!closure.hasEdge("D", "A"));
    assertTrue(!closure.hasEdge("D", "B"));
    assertTrue(!closure.hasEdge("D", "C"));
    assertTrue(!closure.hasEdge("C", "B"));
    assertTrue(!closure.hasEdge("C", "A"));
    assertTrue(!closure.hasEdge("B", "A"));
  }