Contest Round #451 (Div. 2)F/Problemset 898F Restoring the Expression

题意:

有一个a+b=c的等式，去掉两个符号，把三个数连在一起得到一个数

给出这个数，要求还原等式，length <= 1e6

三个数不能含有前导0，保证有解

解法:

铁头过题法，分类然后各种判断

我分了5种情况

0.开头字符为0, 那么结果一定是0+a=a的形式

然后4种情况

1.len(a) >= len(b) 且 len(c) == len(a)

2.len(a) <= len(b) 且 len(c) == len(b)

3.len(a) >= len(b) 且 len(c) == len(a) + 1

4.len(a) <= len(b) 且 len(c) == len(b) + 1

前两种(没有进位)判断的情况:

(1)三个数如果长度不为1，那么最高位不能为0

(2)len(a) != len(b) 时， 若max(a, b)的最高位为x，

　则c的最高位，应该为x或者x+1

(3)满足上面两种情况，开始检验a+b的每一位与c的每一位是否相等

后两种(有进位)判断的情况:

(1)三个数如果长度不为1，那么最高位不能为0

(2)c的最高位必须是1

(3)满足上面两种情况，开始检验a+b的每一位与c的每一位是否相等

时间复杂度未知，但是实际运行效果，时空复杂度都是超赞的!

(整理了一下代码似乎精简过度影响了可读性了...)

 #include <stdio.h>
 #include <string.h>

 int n;

 char s[];

 int i, j, k, p, l, r;

 int print() {
     int i = ;
     for (; i <= l; i ++)
         putchar(s[i]);
     putchar('+');
     for (; i <= r; i ++)
         putchar(s[i]);
     putchar('=');
     for (; i <= n; i ++)
         putchar(s[i]);
     return ;
 }

 int check(int s1, int s2) {
     for (int i = s1, j = s2, k = n, t = ; k > s2; k --) {
         if ((s[i] + s[j] + t - ) %  != s[k] - )
             return ;
         t = (s[i] + s[j] + t - ) / ;
         i --, j --;
         if (i <= ) i = ;
         if (j <= s1) j = ;
     }
     return ;
 }

 int judge() {
     if (l +  != r && s[l + ] == '') return ;
     if (p) {if (s[r + ] != k) return ;}
     else if (i != j && (k != s[r + ] && k +  != s[r + ])) return ;
     if (!check(l, r)) return ;
     return print();
 }

 int main() {
     gets(s + );
     n = strlen(s + );
     s[] = '';

     l = , r = n - n / ;
     if (s[] == '') {
         print();
         return ;
     }

     for (i =  + (n &  ?  : ), j = (n - i) / , r = n - j; i <= n / ; i += , j --, r ++) {
         l = j, k = s[];
         if (judge()) return ;
         l = i, k = s[l + ];
         if (judge()) return ;
     }

     p = , k = ;
     for (i =  + (n &  ?  : ), j = (n - i) / , r = n - j - ; i <= n /  - (n %  == ); i += , j --, r ++) {
         l = j;
         if (judge()) return ;
         l = i;
         if (judge()) return ;
     }
 }