Level-order traversal (BFS) in Data Structures Theory - Step-by-Step Execution

Concept Flow - Level-order traversal (BFS)

Start at root node

↓

Add root to queue

↓

While queue not empty

↓

Remove front node from queue

↓

Visit node (process value)

↓

Add left child to queue if exists

↓

Add right child to queue if exists

↓

Repeat loop until queue empty

↓

Traversal complete

Start from the root, use a queue to visit nodes level by level, adding children to the queue as you go until all nodes are visited.

Execution Sample

Data Structures Theory

queue = [root]
while queue:
  node = queue.pop(0)
  visit(node)
  if node.left: queue.append(node.left)
  if node.right: queue.append(node.right)

This code visits nodes in a tree level by level using a queue.

Analysis Table

Step	Operation	Queue Before	Node Visited	Queue After	Visual State
1	Start	[]	None	[A]	Queue initialized with root A
2	Dequeue	[A]	A	[]	Visit A, queue empty after dequeue
3	Enqueue children	[]	A	[B, C]	Add B and C to queue
4	Dequeue	[B, C]	B	[C]	Visit B, queue has C
5	Enqueue children	[C]	B	[C, D, E]	Add D and E to queue
6	Dequeue	[C, D, E]	C	[D, E]	Visit C, queue has D and E
7	Enqueue children	[D, E]	C	[D, E, F]	Add F to queue
8	Dequeue	[D, E, F]	D	[E, F]	Visit D, queue has E and F
9	Enqueue children	[E, F]	D	[E, F]	D has no children
10	Dequeue	[E, F]	E	[F]	Visit E, queue has F
11	Enqueue children	[F]	E	[F]	E has no children
12	Dequeue	[F]	F	[]	Visit F, queue empty
13	Enqueue children	[]	F	[]	F has no children
14	End	[]	None	[]	Queue empty, traversal complete

💡 Queue becomes empty after visiting all nodes, traversal ends.

State Tracker

Variable	Start	After Step 1	After Step 3	After Step 5	After Step 7	After Step 9	After Step 12	Final
queue	[]	[A]	[B, C]	[C, D, E]	[D, E, F]	[E, F]	[]	[]
node_visited	None	A	B	C	D	E	F	None

Key Insights - 3 Insights

Why do we use a queue instead of a stack for level-order traversal?

Because a queue processes nodes in the order they are added (FIFO), ensuring nodes are visited level by level. Using a stack (LIFO) would visit nodes depth-first, not level-order. See execution_table steps 2-3 and 4-5 where children are enqueued and visited in order.

What happens if a node has no children?

No new nodes are added to the queue for that node. The queue size decreases by one after visiting that node. See steps 9 and 11 where nodes D and E have no children, so the queue remains unchanged except for the removal of the visited node.

How do we know when the traversal is complete?

When the queue becomes empty, meaning there are no more nodes to visit. This is shown in step 14 where the queue is empty and traversal ends.

Visual Quiz - 3 Questions

Look at the execution_table at step 5, what nodes are in the queue after enqueuing children of B?

A [D, E, C]

B [C, D, E]

C [B, C, D, E]

D [C, B, D, E]

💡 Hint

Check the 'Queue After' column in row for step 5.

At which step does the queue become empty, signaling traversal completion?

A Step 12

B Step 10

C Step 14

D Step 9

💡 Hint

Look at the 'Queue After' column and the exit_note.

If node C had no children, how would the queue change after step 7?

A Queue would be [D, E]

B Queue would be [D, E, F]

C Queue would be [E, F]

D Queue would be [C, D, E]

💡 Hint

Refer to step 7 where children of C are enqueued; if none, no new nodes added.

Concept Snapshot

Level-order traversal visits tree nodes level by level.
Use a queue to hold nodes to visit.
Start by enqueueing root.
While queue not empty: dequeue node, visit it, enqueue its children.
Traversal ends when queue is empty.

Full Transcript

Level-order traversal, also called Breadth-First Search (BFS), visits nodes in a tree one level at a time from top to bottom. It uses a queue to keep track of nodes to visit next. Starting with the root node, it adds children of each visited node to the queue. This process continues until the queue is empty, meaning all nodes have been visited. The execution table shows each step: nodes are dequeued, visited, and their children enqueued. Key points include why a queue is used (to maintain order), what happens when nodes have no children (no additions to queue), and how traversal ends (empty queue). This method ensures nodes are visited in order of their distance from the root.