高中OJ3735. 【Usaco2014Open银组】里程计

#题目大意
求从x~y范围内有多少个数，满足至少有一种数字在里面出现次数不低于总长度的一半。

官方题解

都明白 X..Y 中有趣的数字个数实际上等于 1..Y 中有趣数字的个数减去 1..X-1 中的数字个数吧？我们只要考虑如何求 1..a 中的个数 f(a) 即可。要求 f(a) ，我们可以通过自己构造数字的方法统计个数。因为要求数字中有一半以上的数位上的数字相同，我们只需枚举这个重复的数字是 0..9 的哪一个就是了，设为targ。定义 F[i][und][k][is0]，i 表示已经枚举了前 i 位数字，und 作为布尔值判断当前枚举的这个数字是否能保证小于a（Pascal的话und可以用0或1来表示），k 表示目前数字targ出现的次数与其他数字出现的次数之差，is0 作为布尔值表示当前是否在枚举数字的前导0。F中计算的就是满足上述条件的数的个数。自然，可以枚举添加第i+1位数字，设为next。如果und = false且next > a[i+1]（a中第i+1位数），枚举得到的这个i+1位的数（下文称为now）就不合法了，因为在无法保证当前数字小于a（也就是说 1..i 个数位都和a对应的数位上数字相同）的情况下，不能添加一个比a对应数位上的数字还大的数（否则就可以肯定now >= a）。如果und = true 或者next < a[i+1] 那么now就可以保证小于a，定义x = true，否则x = false。如果next = 0且is0 = true 就表示现在仍然在枚举前导0，定义y = true否则y = false。最后如果next = targ，就说明targ出现的次数与其他数字出现的次数差增大了1，nk = k +1 否则 nk = k -1。最后F[i+1][x][nk][y] += F[i][und][k][is0]。初值F[0][false][0][true] = 1，答案很容易想到是Sum(F[n][x][k][false])，n表示a的位数，x既可以是true也可以是false，k >= 0 保证targ出现次数大于n的一半。实际上，有一种情况我们计数重复，就是当位数为偶数时数字刚好由两个数字组成（如3322，144141等），这些数计了2次。怎么计算这些数字的个数呢？因为位数最大只有18，我们完全可以考虑通过枚举targ1和targ2的方法枚举这些数字，应该不会超时。或者可以重复使用相同的动态规划方程F[i][und][k][is0]，只不过next的取值只有2个，且答案只能是Sum(F[n][x][0][false])。减掉就是 f(a) 的数值了。

其实题解中还有一种方案没考虑到，就是有前导0的情况。
这种情况不能算入次数差中。

20%

暴力枚举判断(据说可以拿30分)

100%

根据题解所说，设F[i,j,k,l]表示当前枚举到第i位，j表示是否保证能大于要求的数(0/1)，k表示枚举数字与其他数字之差，l表示现在是否在枚举前导0的条件下满足要求的数的个数。

初值为F[0,0,0,1]=1，结果为sigma(F[n,0~1,0~n,0])。
最后长度为n，不一定大于要求的数(有可能会等于)，差不小于0(不小于一半)，未枚举前导0(不成立)。

设当前枚举到F[i,j,k,l] (>0)，下一位数为s，枚举的关键字为nb，要求的数第i位为st[i]
根据推断，可以知道将要转移的地方为F[i+1,s1,s2,s3]。

s1
① j=0 s>st[i] 因为无法保证大于原数，而且下一位比原数要大，所以不成立。
② j=1或s< st[i]因为能保证大于原数，所以s1=1，否则s1=0

s3
l=1 s=0仍在枚举前导0，所以s3=1，否则s3=0

s2
s3=0或s≠0不在枚举前导0，所以要改变差值。
s=nb 枚举的数为关键字，把s2+1，否则s2-1。

因为会有重复的情况，像1122，4774等，所以要减去这些重复的数字的个数。
方法基本相同，只不过要枚举两重关键字。
有一点需要注意的是，前导0不算入两种关键字中。
所以直接推到F[i+1,1,k,1] (因为是0，所以一定保证大于原数，差值不变，保持枚举前导0)