ai giải thích giúp mình đoạn code quay lui voi

program Combination; 
const 
InputFile = 'SUBSET.INP'; OutputFile = 'SUBSET.OUT'; 
max = 30; 
var 
x: array[0..max] of Integer; 
n, k: Integer; 
f: Text; 
 
procedure PrintResult; (*In ra tập con {x[1], x[2], ¼, x[k]}*) 
var 
i: Integer; 
begin 
Write(f, '{'); 
for i := 1 to k - 1 do Write(f, x[i], ', '); 
WriteLn(f, x[k], '}'); 
end; 
 
procedure Try(i: Integer); {Thử các cách chọn giá trị cho x[i]} 
var 
j: Integer; 
begin 
for j := x[i - 1] + 1 to n - k + i do 
begin 
x[i] := j; 
if i = k then PrintResult 
else Try(i + 1); 
end; 
end; 
 
begin 
Assign(f, InputFile); Reset(F); 
ReadLn(f, n, k); 
Close(f); 
Assign(f, OutputFile); Rewrite(f); 
x[0] := 0; 
Try(1); 
Close(f); 
end.

[U][B]i = 1:
[/B][/U]- x = {_ , _}
- j từ 1 tới 3: Lúc này j = 1.
x = {1 , _}
Sau đó ct gọi Try(i + 1) tức là nhảy sang i = 2.

[U][B]i = 2:[/B][/U]
- x = {1 , _}
- j từ 2 tới 4.
x = {1 , 2}
Sau đó ct in ra cấu hình {1 , 2}. Rồi j nhảy sang 3 (lưu ý là i vẫn là 2 nhé).
x = {1 , 3}
Sau đó ct in ra cấu hình {1 , 3}. Rồi j nhảy sang 4 (lưu ý là i vẫn là 2 nhé).
x = {1 , 4}
Sau đó ct in ra cấu hình {1 , 4}. Tới đây thì j ko chạy đc nữa. Ct sẽ "quay lui" về [U]giá trị i[/U] trước đó, tức là về i = 1.

[U][B]i = 1:[/B][/U]
Bạn xem lại sẽ thấy lúc trc j chỉ chạy tới 1 thôi, sau đó i nhảy sang vị trí khác. Cho nên, bây giờ khi quay lui thì j phải chạy tiếp tới 2. Bởi vậy,
x = {2 , _}
Sau đó ct lại gọi Try(i + 1), tức là i nhảy sang 2.