POJ 1392 Ouroboros Snake

AC得很诡异，表示其实自己都没有看懂。难道这就是Fleury算法？

有没有路过的大神帮忙解释下。

#include <string.h>#include <stdio.h>#include <algorithm>using namespace std;#define FOR(i,a,b) for(int i=(a); i<=(b); i++)#define REP(i,a,b) for(int i=(a); i<(b); i++)#define clr(a,b) memset(a,b,sizeof(a))const int MAXN = 50010;int g[MAXN][2];int n,k,m;int st[MAXN],tot;void dfs(int u) {    REP(i,0,2) {        if(g[u][i] == 0) {            g[u][i] = 1;            dfs(((u<<1)|i)&m);            st[++tot] = (u<<1)|i;        }    }}int main() {    while(~scanf("%d%d", &n, &k),n||k) {        clr(g,0);        tot = 0;        m = (1<<(n-1))-1;        dfs(0);        printf("%d\n", st[tot-k]);    }    return 0;}