[BZOJ3033]太鼓达人|欧拉图

　　

　　首先这道题如果在知道第一问答案的基础上做第二问有个显然的做法就是DFS

　　但是时间复杂度..?第一问的答案<=2^k，每一位回溯也就是2^（2^k）//想都不要想啦...>_<

　　我们来想象这个回溯有没有什么特别的性质

　　我们把每连着的k个数字当成一个点，每个点的出边有两条，因为下一个数字可能是0可能是1

　　入边同理也是两条，因为上一个数字可能是0可能是1

　　然后我们发现每个点的出度=入度，而这恰好是欧拉图的判定条件

　　所以原图是欧拉图，必然存在一条欧拉回路

　　那么随意第一问必然可以取到最大的2^k

　　对于第二问，还是原来的DFS，但是仔细想想会发现时间复杂度实际上是O（n）的

　　因为除了遇到自环之外是没有往回的机会的

　　可能会说：走到一个地方前面没路可走了？

　　显然这不符合欧拉图的性质

　　所以几乎一条线拉到底答案就出来啦

{
　　Euler Diagram
}
program bzoj3033;
const maxn=2050;
var ans,k,i:longint;
b:array[-1..maxn]of longint;
used:array[-1..maxn]of boolean;

function dfs(p,step:longint):boolean;
begin
if not used[p] then exit(false);
used[p]:=false;
b[step]:=p >> (k-1);
if step=ans then exit(true);
if dfs(p << 1 and (ans-1),step+1) then exit(true);
if dfs(p << 1 and (ans-1)+1,step+1) then exit(true);
used[p]:=true;
exit(false);
end;

begin
readln(k);
ans:=1;
fillchar(used,sizeof(used),true);
for i:=1 to k do ans:=ans*2;
write(ans,' ');
dfs(0,1);
for i:=1 to ans do write(b[i]);
end.

　　另外补一点欧拉图的定理：

　　欧拉回路：经过图中每条边一次、行遍所有顶点的回路

　　欧拉通路：经过图中每条边一次、行遍所有顶点的路径

　　欧拉图：图中存在欧拉回路的图（可以脑补成在欧拉回路的边集基础上乱加几条边）

　　半欧拉图：包含欧拉通路的图

　　无向图欧拉图的判定：为连通图且图中的点度数均为偶数

　　无向图欧拉通路的判定：为连通图且图中奇度点的个数只有0或2个

　　有向图欧拉图的判定：为连通图且图中每个点的入度=出度

　　有向图欧拉通路的判定：为连通图除了两个点外其他点的入度=出度，一个点的入度=出度+1，一个点的出度=入度+1，或者两个点的出度都=出度