DigitalCounter

日常发题：

我们有一个N位数字的电子表，当时间到达10^N-1时，下一秒就归0。下面我们给出数字0 到 9的模拟图。

　对于每个数字，相邻两个+之间会有一根电子管，当显示该数字时，这些电子管就会发亮。如上图所示：数字0到9，它们的电子管数量分别是：6、2、 5、 5、 4、 5、 6、 3、 7、 5。
　　设现在的时刻是X, 那么可以算出该时有多少根电子管是亮的。比如：现在时刻是：99，那么共有5 + 5= 10根电子管是亮的。假如从现在时刻开始，再过Y秒后，时刻显示为Z, 我们的问题是：求最小的Y，使得时刻Z发亮的电子管数量与时刻X发亮的电子管数量相等。如：现在X = 99 ，那么再过Y = 5 秒后, 时刻变成了Z = 04, 而时刻Z发亮的电子管数量 = 6 + 4 = 10。于是Y = 5就是你要求的数。

输入：
第一行：一个整数N，表示电子表是10^N进制的。1 <= N <= 15。
第二行：一个整数X, 表示现在的时刻，可能有前导0。X有N位数字。

输出：
一行：最小的整数Y, 表示从现在X时刻开始，再过Y秒，得到的时刻Z发亮的电子管数量与时刻X发亮的电子管数量相等。

分析：

这道题题目大意就是说：有一个电子表，有n位，每秒加1，当达到999…(n个9)时，电子表归零（即000…（n个0））。每个数字都有一个电子管数（数字0到9，它们的电子管数量分别是：6、2、5、5、4、5、6、3、7、5）。问过了多少秒后用的电子管数一样？

30~60分：暴力。
从当前时间+1开始枚举，每次判断是否等于原来的电子管数，爆表就归零，找到就输出。如果Pascal就30，C++就60。（嗯？有点不符合逻辑？也许是个人问题吧！）

70分：剪枝（方法多种多样，我不太了解）。

正解来了：

我们首先枚举$i=n...1$（其实就是从个位开始枚举），接着枚举$j=a[i]+1...9$（$a[i]$就是当前的那一位）
这里的意思就是说我们枚举应从低位开始，枚举修改哪一位。
那怎么判断这一位是否合法呢？先给大家看两个命题：

$①sum[i-1]+num[j]+(n-i)\ast 7>=sum[n]$
$②sum[i-1]+num[j]+(n-i)\ast 2<=sum[n]$

这里的$sum[i]$代表读入的前i个数字所用的电子管数之和（即前缀和），$num[i]$代表数字i所用的电子管数。
那么很显然，$sum[n]$代表的就是所用电子管总和，最后剩下$(n-i)\ast 7$和$(n-i)\ast 2$，代表后i位全都取最大（$8$，要7个电子管）或取最小（$1$，要2个电子管）。

分析①，如果说后$i$位数字全部取最大都达不到（小于）所用电子管总和（即$sum[n]$），必然不可能和为所用电子管总和。所以一定要>=$sum[n]$。
由上面的解释，②也同理,如果说后i位数字全部取最小都达不到（大于）所用电子管总和（即$sum[n]$），必然不可能和为所用电子管总和。所以一定要<=$sum[n]$。
回到枚举，只要符合这两个命题，就保存下$i$和$j$。
第二步，分两种情况：

1. 找到了$i$和$j$：
   只要从$i+1$枚举到$n$（即剩下需要找的位）
   再枚举$0...9$（这里之所以可以直接$0$到$9$，是因为第i位必然会变大，之后的位就可以随便选了）
   这里加入两个个新变量：
   $SUM$，先保存第一步确定的前i位的电子管数之和。
   ￥S$，保存第一步确定的前i位的数字（这是个字符串）。
   每次判断的和上面很类似：
   $SUM+num[j]+(n-i)\ast 7>=sum[n]$
   $SUM+num[j]+(n-i)\ast 2<=sum[n]$（SUM就是变化的地方）
   同理。
   每次第二重循环找到了一位，就退出（第二重），找下一位。
   答案就是S转成的数字减原来的时间差。
2. 第二种。i和j找不到了。
   从$1...n$枚举，再枚举$0...9$，这次的$SUM,S$都是空的。
   同上，判断即可。
   答案就是电子表最大值加1（即$10^n$）-原来的时间+S转成的数字。（即算出爆表的时间+归零后重新算的时间）

如有不妥，请留言改正。