1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
use super::Graph;
use crate::graph::AdjListIterator;
use bit_vec::BitVec;
impl Graph {
pub fn dfs(&self, v: usize) -> DfsIterator {
let mut stack: Vec<usize> = Vec::new();
let adj_iters = (0..self.num_v())
.map(|u| self.adj_list(u))
.collect::<Vec<_>>();
stack.push(v);
DfsIterator {
visited: BitVec::from_elem(self.num_v(), false),
stack,
adj_iters,
}
}
}
pub struct DfsIterator<'a> {
visited: BitVec,
stack: Vec<usize>,
adj_iters: Vec<AdjListIterator<'a>>,
}
impl<'a> Iterator for DfsIterator<'a> {
type Item = usize;
fn next(&mut self) -> Option<Self::Item> {
while let Some(&s) = self.stack.last() {
if let Some((_, s_nbr)) = self.adj_iters[s].next() {
if !self.visited[s_nbr] {
self.stack.push(s_nbr);
}
} else {
self.stack.pop();
}
if !self.visited[s] {
self.visited.set(s, true);
return Some(s);
}
}
None
}
}
#[cfg(test)]
mod test {
use super::*;
#[test]
fn test_dfs() {
let mut graph = Graph::new(4, 8);
graph.add_edge(0, 2);
graph.add_edge(2, 0);
graph.add_edge(1, 2);
graph.add_edge(0, 1);
graph.add_edge(3, 3);
graph.add_edge(2, 3);
let dfs_search = graph.dfs(2).collect::<Vec<_>>();
assert_eq!(dfs_search, vec![2, 3, 0, 1]);
}
#[test]
fn test_dfs2() {
let mut graph = Graph::new(5, 8);
graph.add_edge(0, 2);
graph.add_edge(2, 1);
graph.add_edge(1, 0);
graph.add_edge(0, 3);
graph.add_edge(3, 4);
graph.add_edge(4, 0);
let dfs_search = graph.dfs(0).collect::<Vec<_>>();
assert_eq!(dfs_search, vec![0, 3, 4, 2, 1]);
}
#[test]
fn test_dfs_space_complexity() {
let num_v = 20;
let mut graph = Graph::new(num_v, 0);
for i in 0..num_v {
for j in 0..num_v {
graph.add_undirected_edge(i, j);
}
}
let mut dfs_search = graph.dfs(7);
let mut dfs_check = vec![];
for _ in 0..num_v {
dfs_check.push(dfs_search.next().unwrap());
assert!(dfs_search.stack.len() <= num_v + 1);
}
dfs_check.sort();
dfs_check.dedup();
assert_eq!(0, dfs_check[0]);
assert_eq!(num_v, dfs_check.len());
assert_eq!(num_v - 1, dfs_check[num_v - 1]);
}
}