题目描述
在寂寞的夜里，星象仪是非常浪漫的东西。但是，你作为一个精神稍微有点不太正常的Geek，把原本正常的星象仪改造得像电报发送器一样。当然，你这个的构造还要更加奇葩一点。具体来说，你的星象仪是一棵满二叉树，二叉树的节点都是有两个输入端和一个输出端的AND 门或者OR 门。它们输入和输出的信号都是只是0 或者1。它们会接受子节点的输出信号，然后将这两个信号进行AND 运算或者OR 运算作为自己的输出。然后，根节点的输出信号就是整个星象仪的输出信号。叶节点的输入信号是由你来调整的，如果二叉树有K 层，那么你显然有2K 个输入信号可以调整。调整一次当然只能改变一个输入信号。根据你的设定，在一开始所有的输入端的输入信号都是0。现在你希望用星象仪得到一串信号，为此，你需要不停地调整输入。假定你想要用图中的星象仪得到输出信号000111，一种可行的方案是0001→0011→1100→1111→1010→0101，但是这样你要调整14 次输入信号。更加方便的方式是0000→
0000→0000→0101→0101→0101，这样你总计只需要调整2次输入信号。在一开始所有的输入端的输入信号都是0。现在你希望用星象仪得到一串信号，为此，你需要不停地调整输入。由于调整输入信号是一件非常麻烦的事情，现在你希望知道对于一台给定的星象仪，如果想要得到一串给定的信号，至少需要调整多少次输入。
输入格式
输入文件包含多组测试数据。第一行有一个整数T，表示测试数据的组数。
测试数据的第一行是一个正整数 N，表示输入信号的数目。保证N 是2 的整数次幂。
第二行含有一个由 0 和1 组成的字符串S，表示你想要得到的信号。
第三行包含 N – 1 个整数，按照层次遍历顺序给出满二叉树的每个节点。整数只会是0
或者1。0 表示二叉树的这个位置是一个OR 门，1 表示是一个AND 门。
输出格式
对于每组测试数据，在单独的一行内输出结果。
样例输入
2
4
010101
0 0 0
4
111111
1 1 1
样例输出
5
4
数据范围与约定
对于30% 的数据，N≤16，S 的长度在100 之内。
对于 100% 的数据，T≤100，N≤8192，S 的长度在10000 之内。
分析
如果输入都是0，不用管，因为无论是与门还是或门出来都是0，所以找第一个1。
对于1，如果它本身是与门，他的左右儿子一定都是1，如果是或门，左右儿子有一个1就可以了。
所以这样递归下去即可。
对于每个节点，如果是0，直接返回。如果是1：
1、此节点是与门：取左右子树的和。
2、此节点是或门：取左右子树中花费最小的一个。
出来第一个1后，以后每次改变状态，一步即可完成。
（因为我们第一次寻找的是变成1的最少步骤，所以退回一步就会出来0，再进一步出来1，以此类推）
代码
#include<iostream>
#include<cstdio>
#include<cstring>
#include<string>
using namespace std;
int a[8200],n,T;
string s;
int ff(int ch,int rt)
{
if (rt*2>=n)
{
if (ch==1)
{
if (a[rt]==1) return 2;
return 1;
}
else return 0;
}
if (ch==0) return 0;
if (a[rt]==1)
return ff(1,rt<<1)+ff(1,rt<<1|1);
if (a[rt]==0)
return min(ff(1,rt<<1),ff(1,rt<<1|1));
}
int main()
{
freopen("pla.in","r",stdin);
freopen("pla.out","w",stdout);
scanf("%d",&T);
while (T--)
{
cin>>n>>s;
int le=s.length(),q=0;
for (int i=1;i<n;i++) scanf("%d",&a[i]);
while (s[q]=='0') q++;
int bs=ff(s[q],1);
for (int i=q+1;i<le;i++) if (s[i]!=s[i-1]) bs++;
printf("%d
",bs);
}
return 0;
}