Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
@@ -0,0 +1,86 @@
import java.util.List;
import java.util.Stack;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashMap;

/**
* Finds the strongly connected components in a directed graph.
*
* @param adjList The adjacency list representation of the graph.
* @param n The number of nodes in the graph.
* @return The number of strongly connected components.
*/
public class StronglyConnectedComponentOptimized {

public void btrack(HashMap<Integer, List<Integer>> adjList, int[] visited, Stack<Integer> dfsCallsNodes, int currentNode) {
visited[currentNode] = 1;
List<Integer> neighbors = adjList.get(currentNode);

// Check for null before iterating
if (neighbors != null) {
for (int neighbor : neighbors) {
if (visited[neighbor] == -1) {
btrack(adjList, visited, dfsCallsNodes, neighbor);
}
}
}
dfsCallsNodes.add(currentNode);
}

public void btrack2(HashMap<Integer, List<Integer>> adjRevList, int[] visited, int currentNode, List<Integer> newScc) {
visited[currentNode] = 1;
newScc.add(currentNode);
List<Integer> neighbors = adjRevList.get(currentNode);

// Check for null before iterating
if (neighbors != null) {
for (int neighbor : neighbors) {
if (visited[neighbor] == -1) {
btrack2(adjRevList, visited, neighbor, newScc);
}
}
}
}

public int getOutput(HashMap<Integer, List<Integer>> adjList, int n) {
int[] visited = new int[n];
Arrays.fill(visited, -1);
Stack<Integer> dfsCallsNodes = new Stack<>();

for (int i = 0; i < n; i++) {
if (visited[i] == -1) {
btrack(adjList, visited, dfsCallsNodes, i);
}
}

HashMap<Integer, List<Integer>> adjRevList = new HashMap<>();
for (int i = 0; i < n; i++) {
adjRevList.put(i, new ArrayList<>());
}

for (int i = 0; i < n; i++) {
List<Integer> neighbors = adjList.get(i);
// Check for null before iterating
if (neighbors != null) {
for (int neighbor : neighbors) {
adjRevList.get(neighbor).add(i);
}
}
}

Arrays.fill(visited, -1);
int stronglyConnectedComponents = 0;

while (!dfsCallsNodes.isEmpty()) {
int node = dfsCallsNodes.pop();
if (visited[node] == -1) {
List<Integer> newScc = new ArrayList<>();
btrack2(adjRevList, visited, node, newScc);
stronglyConnectedComponents++;
}
}

return stronglyConnectedComponents;
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,79 @@
import java.util.ArrayList;
import java.util.HashMap;
import java.util.List;

import org.junit.jupiter.api.BeforeEach;
import org.junit.jupiter.api.Test;

import static org.junit.jupiter.api.Assertions.assertEquals;

public class StronglyConnectedComponentOptimizedTest {

private StronglyConnectedComponentOptimized sccOptimized;

@BeforeEach
public void setUp() {
sccOptimized = new StronglyConnectedComponentOptimized();
}

@Test
public void testSingleComponent() {
// Create a simple graph with 3 nodes, all forming one SCC
HashMap<Integer, List<Integer>> adjList = new HashMap<>();
adjList.put(0, new ArrayList<>(List.of(1)));
adjList.put(1, new ArrayList<>(List.of(2)));
adjList.put(2, new ArrayList<>(List.of(0)));

int result = sccOptimized.getOutput(adjList, 3);

// The entire graph is one strongly connected component
assertEquals(1, result, "There should be 1 strongly connected component.");
}

@Test
public void testTwoComponents() {
// Create a graph with 4 nodes and two SCCs: {0, 1, 2} and {3}
HashMap<Integer, List<Integer>> adjList = new HashMap<>();
adjList.put(0, new ArrayList<>(List.of(1)));
adjList.put(1, new ArrayList<>(List.of(2)));
adjList.put(2, new ArrayList<>(List.of(0)));
adjList.put(3, new ArrayList<>());

int result = sccOptimized.getOutput(adjList, 4);

// There are 2 SCCs: {0, 1, 2} and {3}
assertEquals(2, result, "There should be 2 strongly connected components.");
}

@Test
public void testDisconnectedGraph() {
// Create a graph with 4 nodes that are all disconnected
HashMap<Integer, List<Integer>> adjList = new HashMap<>();
adjList.put(0, new ArrayList<>());
adjList.put(1, new ArrayList<>());
adjList.put(2, new ArrayList<>());
adjList.put(3, new ArrayList<>());

int result = sccOptimized.getOutput(adjList, 4);

// Each node is its own strongly connected component
assertEquals(4, result, "There should be 4 strongly connected components.");
}

@Test
public void testComplexGraph() {
// Create a more complex graph with multiple SCCs
HashMap<Integer, List<Integer>> adjList = new HashMap<>();
adjList.put(0, new ArrayList<>(List.of(1)));
adjList.put(1, new ArrayList<>(List.of(2)));
adjList.put(2, new ArrayList<>(List.of(0, 3)));
adjList.put(3, new ArrayList<>(List.of(4)));
adjList.put(4, new ArrayList<>(List.of(5)));
adjList.put(5, new ArrayList<>(List.of(3)));

int result = sccOptimized.getOutput(adjList, 6);

// There are 2 SCCs: {0, 1, 2} and {3, 4, 5}
assertEquals(2, result, "There should be 2 strongly connected components.");
}
}
Loading