0
1
0
3
12
[0][1][2][3][4]
aux (not yet allocated)
0
0
0
0
0
[0][1][2][3][4]
Brute force · extra array
▸1given arr (n elements)2aux ← new array of size n filled with 03write ← 04for i ← 0 to n − 1:5 if arr[i] ≠ 0:6 aux[write++] = arr[i]7copy aux back into arr
state
- n5
- goal[1, 3, 12, 0, 0]