Visit a start vertex, then recurse into its first unvisited neighbour all the way down before backtracking. A visited set prevents revisiting, and neighbour insertion order fixes the visit sequence.

Algorithm

Basic Implementation

basic.sh
#!/usr/bin/env bash
set -euo pipefail
declare -A adj
adj[1]="2 3"
adj[2]="1 4"
adj[3]="1 4"
adj[4]="2 3 5"
adj[5]="4 6"
adj[6]="5"
declare -A visited
order=()
dfs() {
	local v=$1
	visited[$v]=1
	order+=("$v")
	local -a nbrs
	read -ra nbrs <<< "${adj[$v]}"
	local nb
	for nb in "${nbrs[@]}"; do
		if [ -z "${visited[$nb]+_}" ]; then
			dfs "$nb"
		fi
	done
}
dfs 1
printf '['
sep=''
for v in "${order[@]}"; do
	printf '%s%d' "$sep" "$v"
	sep=', '
done
printf ']\n'

DFS follows the first unvisited neighbour as far as it can, then unwinds and tries the next branch.

Step 1 - First branch

Starting from 1, insertion order sends DFS to 2, then 4, then 3.

Early DFS descent: 1 -> 2 -> 4 -> 3.1#12#23#44#356

Step 2 - Full DFS order

The final order is [1, 2, 4, 3, 5, 6], then calls unwind 6 -> 5 -> 4 -> 3 -> 2 -> 1.

DFS order and final recursive tail.1#12#23#44#35#56#6

Complexity

  • Time: O(V + E)
  • Space: O(V) recursion depth

Implementation notes

  • Bash: a recursive dfs function shares the global visited and order arrays; neighbours are split with read -ra.
  • The replay shows the current vertex, the visited set, the running visit order, and the call stack after each entry, matching the lesson spec.
recursive descent Follow one branch to its end, then unwind and try the next neighbour.