Topological Sort Using DFS in DSA C - Cheat Sheet & Quick Revision

Recall & Review

beginner

What is the main idea behind Topological Sort using DFS?

It visits each node and explores all its descendants before adding the node to the order. This ensures that all dependencies come before the node itself.

beginner

In Topological Sort using DFS, when do we add a node to the result list?

We add the node after visiting all its neighbors (children), meaning after the recursive DFS calls for its neighbors finish.

intermediate

Why can Topological Sort only be applied to Directed Acyclic Graphs (DAGs)?

Because cycles create circular dependencies, making it impossible to order nodes linearly without conflicts.

beginner

What data structure is commonly used to store the final topological order in DFS approach?

A stack or a list where nodes are pushed after visiting all their descendants, then reversed to get the correct order.

intermediate

How does DFS help detect cycles during Topological Sort?

By keeping track of nodes currently in the recursion stack; if we revisit a node in this stack, a cycle exists.

What type of graph is required for Topological Sort to work?

A Any Graph

B Undirected Graph

C Directed Acyclic Graph (DAG)

D Cyclic Graph

Topological Sort requires a Directed Acyclic Graph to ensure a valid linear ordering.

In DFS-based Topological Sort, when is a node added to the output list?

A After visiting all its neighbors

B Before visiting its neighbors

C When first discovered

D Randomly

Nodes are added after all their neighbors are visited to respect dependencies.

What does a cycle in the graph indicate during Topological Sort?

A Graph is disconnected

B Ordering is possible

C Graph is undirected

D Ordering is impossible

Cycles mean circular dependencies, so no valid topological order exists.

Which data structure is typically used to store nodes during DFS Topological Sort?

A Stack

B Hash Map

C Queue

D Linked List

A stack stores nodes after visiting descendants, helping reverse the order for final output.

How can DFS detect a cycle in the graph during Topological Sort?

A By checking if a node is visited twice in total

B By checking if a node is in the current recursion stack

C By counting edges

D By sorting nodes alphabetically

If a node is found again in the current recursion path, it means a cycle exists.

Explain step-by-step how DFS is used to perform Topological Sort on a graph.

Think about visiting nodes and when to add them to the result.

Describe why Topological Sort cannot be done on graphs with cycles and how DFS helps identify such cycles.

Focus on the role of recursion stack in DFS.

Practice

1. What is the main purpose of using DFS in Topological Sort on a Directed Acyclic Graph (DAG)?

easy

A. To visit nodes in a way that all dependencies come before the node

B. To find the shortest path between two nodes

C. To detect cycles in an undirected graph

D. To count the number of connected components

Solution

1. Step 1: Understand DFS role in Topological Sort

   DFS visits nodes deeply, ensuring all nodes reachable from a node are visited before the node itself.

2. Step 2: Relate DFS to dependency order

   This ensures nodes appear after all their dependencies, which is the goal of topological sorting.

3. Final Answer:

   To visit nodes in a way that all dependencies come before the node -> Option A

4. Quick Check:

   DFS orders nodes respecting dependencies [OK]

Hint: DFS ensures dependencies come before nodes in topological order [OK]

Common Mistakes:

• Confusing topological sort with shortest path
• Thinking DFS detects cycles in undirected graphs here
• Mixing connected components with topological order

2. Which of the following is the correct way to mark a node as visited in a DFS-based topological sort in C?

easy

A. visited(node) = true;

B. visited[node] = 1;

C. visited[node] == true;

D. visited[node] = false;

Solution

1. Step 1: Understand C syntax for arrays

   In C, arrays use square brackets to access elements, so visited[node] is correct.

2. Step 2: Assigning visited status

   Assigning 1 marks the node as visited; '==' is comparison, not assignment; 'false' would mark unvisited.

3. Final Answer:

   visited[node] = 1; -> Option B

4. Quick Check:

   Use visited[node] = 1 to mark visited [OK]

Hint: Use visited[node] = 1 to mark visited in C arrays [OK]

Common Mistakes:

• Using parentheses instead of brackets for arrays
• Using '==' instead of '=' for assignment
• Assigning false instead of true/1 to mark visited

3. What is the output order of nodes after performing DFS-based topological sort on this graph?

Edges:
0 -> 1
0 -> 2
1 -> 3
2 -> 3

Assume nodes are pushed to stack after visiting all neighbors and stack is printed top to bottom.

medium

A. [0, 2, 1, 3]

B. [3, 2, 1, 0]

C. [0, 1, 2, 3]

D. [3, 1, 2, 0]

Solution

1. Step 1: Perform DFS starting from node 0

   Visit 0, then neighbors 1 then 2 (edge order). From 1 to 3, from 2 to 3 (visited).

2. Step 2: Push nodes to stack after visiting neighbors

   Push 3, then 1, then 3 already visited, then 2, then 0. Stack top to bottom: [3, 1, 2, 0].

3. Final Answer:

   [3, 1, 2, 0] -> Option D

4. Quick Check:

   Stack top to bottom after DFS = [3, 1, 2, 0] [OK]

Hint: Push nodes after neighbors; output is stack top to bottom [OK]

Common Mistakes:

• Pushing nodes before visiting neighbors
• Confusing order of neighbors visited
• Printing stack bottom to top instead of top to bottom

4. Identify the error in this DFS-based topological sort code snippet in C:

void dfs(int node) {
  visited[node] = 1;
  for (int i = 0; i < adj[node].size(); i++) {
    int nbr = adj[node][i];
    if (!visited[nbr])
      dfs(nbr);
  }
  stack.push(node);
}

medium

A. Stack push should be before recursive calls

B. Missing base case for cycle detection

C. Using adj[node].size() is invalid in C

D. visited array should be initialized to 2 instead of 1

Solution

1. Step 1: Check syntax for adjacency list size in C

   adj[node].size() is C++ syntax; C does not support .size() method on arrays.

2. Step 2: Identify correct way to get adjacency list size in C

   In C, adjacency lists are usually arrays with separate size variables; .size() causes compile error.

3. Final Answer:

   Using adj[node].size() is invalid in C -> Option C

4. Quick Check:

   adj[node].size() is C++ only, not C [OK]

Hint: Use array length variables in C, not .size() method [OK]

Common Mistakes:

• Confusing C and C++ syntax for containers
• Ignoring cycle detection in topological sort
• Pushing nodes before recursive calls

5. Given a graph with edges:

5 -> 2
5 -> 0
4 -> 0
4 -> 1
2 -> 3
3 -> 1

Which of the following is a valid topological order using DFS-based topological sort?

hard

A. [4, 5, 2, 3, 1, 0]

B. [4, 0, 5, 2, 3, 1]

C. [5, 0, 4, 2, 3, 1]

D. [5, 4, 3, 2, 1, 0]

Solution

1. Step 1: Analyze prerequisites from edges

   (u -> v means u before v): 5 before 2 and 0; 4 before 0 and 1; 2 before 3; 3 before 1.

2. Step 2: Check each option for prerequisite order

   [4, 5, 2, 3, 1, 0]: 4 before 0 and 1, 5 before 2 and 0, 2 before 3, 3 before 1, all correct.

3. Final Answer:

   [4, 5, 2, 3, 1, 0] -> Option A

4. Quick Check:

   All edges respected in order D [OK]

Hint: Check each edge u->v: u appears before v in order [OK]

Common Mistakes:

• Ignoring edge directions in order
• Placing dependent nodes before their prerequisites
• Assuming any order with all nodes is valid