CF58E Expression 搜索

题目传送门：http://codeforces.com/problemset/problem/58/E

题意：给出一个形如$x+y=z$（不一定正确）的式子，试输出一个$a+b=c$的式子，满足：$1.$等式成立；$2.$等式由给出的$x+y=z$等式加入若干数字得到；$3.$在满足前两个要求的前提下式子最短。若有多组输出任意一组均可。给出的等式中所有的数大小均不超过$10^6$

---

与虫食算一题很相似。

考虑从最后一位开始进行搜索。对于其中某一位，至多只有两种情况：加入一个数使这一位上运算成立，或者这一位上本就运算成立，无需加入数。

所以答案范围在$10^{14}$之内，搜索可以完成

注意本题的细节：在运算某一位时，如果某一个数结果为$0$，而更高位上还需要补数字，这是不可行的。

因为各种魔改所以代码极其难看

 #include<bits/stdc++.h>
 using namespace std;
 ][] , ans[][] , nA , nB , nC , minN =  , cnt , t[];
 //now是当前加了哪些数
 //ans是最终答案加了哪些数
 void dfs(int a , int b , int c , int num , int jw , int cou , bool ifA , bool ifB){
 //abc记录当前三个数还有多少没有算
 //num记录加了几个数
 //cou表示加法共有几位
 //ifA与ifB表示是否还能够再a或b上加数
     if(!a && !b && !c && !jw){
         minN = num;
         cnt = cou;
         memcpy(ans , now , sizeof(now));
         return;
     }
     //注意：下面的四个dfs前的if中的条件都有c!=0！！！
      + b %  - c %  + jw ==  && c)
         dfs(a /  , b /  , c /  , num ,  , cou +  , a ?  :  , b ?  : );
      + b %  - c %  + jw ==  && c)
         dfs(a /  , b /  , c /  , num ,  , cou +  , a ?  :  , b ?  : );
     else{
         )    return;
         now[num][] = ++cou;
         if(!ifA && c){
             now[num][] = ;
             now[num][] = (c %  - b %  - jw + ) % ;
             bool f = ifB;
             ;
             dfs(a , b /  , c /  , num , (now[num][] + b %  + jw - c % ) /  , cou , ifA , ifB);
             ifB = f;
         }
         if(!ifB && c){
             now[num][] = ;
             now[num][] = (c %  - a %  +  - jw) % ;
             bool f = ifA;
             )    ifA = ;
             dfs(a /  , b , c /  , num , (now[num][] + a %  + jw - c % ) /  , cou , ifA , ifB);
             ifA = f;
         }
         now[num][] = ;
         now[num][] = (a %  + b %  + jw) % ;
         ;
         ;
         dfs(a /  , b /  , c , num , (a %  + b %  + jw - now[num][]) /  , cou , ifA , ifB);
     }
 }
 int main(){
     int a , b , c;
     bool f;
     scanf("%d+%d=%d" , &a , &b , &c);
     dfs(a , b , c ,  ,  ,  ,  , );
     //一个很迷的输出
     ;
     ] - )    p++;
      ; i <= cnt ; i++)
         ] == i){
             t[i] = ans[p++][];
             ] - )    p++;
         }
         else{
             t[i] = a % ;
             a /= ;
         }
     f = ;
     for(int i = cnt ; i ; i--)
         if(f || t[i]){
             putchar(t[i] + ');
             f = ;
         }
     putchar('+');
     p = ;
     ] - )    p++;
      ; i <= cnt ; i++)
         ] == i){
             t[i] = ans[p++][];
             ] - )    p++;
         }
         else{
             t[i] = b % ;
             b /= ;
         }
     f = ;
     for(int i = cnt ; i ; i--)
         if(f || t[i]){
             putchar(t[i] + ');
             f = ;
         }
     putchar('=');
     p = ;
     ] - )    p++;
      ; i <= cnt ; i++)
         ] == i){
             t[i] = ans[p][];
             p++;
             ] - )    p++;
         }
         else{
             t[i] = c % ;
             c /= ;
         }
     f = ;
     for(int i = cnt ; i ; i--)
         if(f || t[i]){
             putchar(t[i] + ');
             f = ;
         }
     ;
 }