hdu6062RXD and logic gates多校题 构造

听说标算的点数是2^(n+1)级别的，也不知道我是不是比标算优一点？

（话说这种题一眼看过去怎么跟题答一样）

然而并不是题答，没法手玩，来考虑一下一般解法：

考虑一个规模较小的问题：最后一位一定是0

不难发现变成了条件完全相同的一个子问题

再把最后一位加上

那么总共2^(n-1)个答案中的一部分会翻车，

若把会翻车的部分标记为1，不会翻车的标记为0，又得到一个完全相同的子问题（规模与上一个子问题一样）

那么原问题就可以表示为

（这一位的输入，两个子问题）进行一次操作

没了

考虑复杂度f(x)=2f(x-1)+O(2^x)，f(x)=2^x，轻松过

点数应该也差不多是2^n？

 #include <bits/stdc++.h>
 #define I n+2
 #define O n+3
 using namespace std;
 int n,N,E,sum;
 int a[],b[],c[];
 bool rule[],fir[];
 void addedge(int x,int y,int z)
 {
     a[++E]=x;b[E]=y;c[E]=z;
 }
 void work(int st,int en,int len,int pos)
 {
     if(len==)
     {
         if((rule[st]&)&&(rule[en]&)) addedge(O,n,pos),fir[pos]=;
         else
         if(rule[st]&) addedge(I,n,pos),fir[pos]=;
         else
         if(rule[en]&) addedge(I,n,pos),fir[pos]=;
         else
         addedge(O,n,pos),fir[pos]=;
         return;
     }
     int mid=st+en>>;
     work(st,mid,len-,pos);
     for(int i=;i<=mid-st;i++)
         rule[mid++i]^=rule[st+i];
     int POS=++N;
     work(mid+,en,len-,POS);
     addedge(POS,n-len+,pos);
     for(int i=;i<=mid-st;i++)
         rule[mid++i]^=rule[st+i];
 }
 int main()
 {
     while(~scanf("%d",&n))
     {
         N=n+;E=;
         fir[I]=;fir[O]=;
         for(int i=;i<=<<n;i++)
         {
             char ch;
             for(ch=getchar();!isdigit(ch);ch=getchar());
             for(sum=;isdigit(ch);ch=getchar())
                 sum=sum*+ch-'';
             scanf("%d",&rule[sum]);
         }
         work(,(<<n)-,n,n+);
         printf("%d\n",fir[n+]);
         printf("%d\n",N-n-);
         for(int i=n+;i<=N;i++)
             printf("%d\n",fir[i]);
         printf("%d\n",E);
         for(int i=;i<=E;i++)
             printf("%d %d %d\n",a[i],b[i],c[i]);
     }
     return ;
 }