在双向bfs时在下面的加注释的地方很是疑惑； //~~~~没错，我抄的第二篇题解，~~~ 他是如何取到前一个按钮的编号de？ 蒟蒻在此处真的ort了~ 求大犇们救救孩子

else{
			si = (state >> (i << 1)) & 3; 
			nx = nxt[i][(si+3)&3];//???
			si2 = (state >> (nx << 1)) & 3;
			Nextstate = state ^ (si << (i << 1)) ^ (((si + 3) & 3) << (i << 1));
			Nextstate ^= (si2 << (nx << 1)) ^ (((si2 + 3) & 3) << (nx<<1));	
		}