HDU 4507 吉哥系列故事——恨7不成妻 (数位DP+数学技巧)

题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=4507

题目大意

给定一个区间要求这个区间内满足要求的数
的平方和，要求是：数位中不含7，数字和不是7的整数倍，
数值本身不能被7整除。

题目分析 

数位DP，对于三个条件的限制其实很好规定，
在选数字时候去掉7的选择，然后开三位DP数组维护数字和和数值余数。
关键是如何求出其平方和。我们可以无脑的维护当前数值来记忆化但是肯定空间不够，
我们考虑对于扫描到当前pos并且前面的特征已经确定了的情况下，如何把关于当前位置
的答案贡献出来，这时候我们肯定是要从0位置看到pos位置，在这个位置限制下满足条件
的答案通过搜索树对当前位答案的贡献。
单值可能应付不过来，我们假设在当前pos下，扫描到i数字时候，
其dfs贡献出来的答案是Y，那么我们想要的贡献值是：
sigma (Y+i*pow[pos])^2,把这个式子展开后我们就可以观察到我们想
要维护出来的特征，一个是符合要求的数量，因为有sigma的存在，
一个是答案的和，一个是答案的平方和，至于贡献关系其实很简单，
主要是贡献的特征的寻找。

#include<bits/stdc++.h>
using namespace std;

#define debug puts("YES");
#define rep(x,y,z) for(int (x)=(y);(x)<(z);(x)++)
#define ll __int64

#define lrt int l,int r,int rt
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
#define root l,r,rt
#define mst(a,b) memset((a),(b),sizeof(a))
#define pii pair<int,int>
#define fi first
#define se second
#define mk(x,y) make_pair(x,y)
#define mod 1000000007
const int maxn=2e3;
const int ub=1e6;
ll powmod(ll x,ll y){ll t; for(t=1;y;y>>=1,x=x*x%mod) if(y&1) t=t*x%mod; return t;}
ll gcd(ll x,ll y){return y?gcd(y,x%y):x;}
/*
题目大意：
给定一个区间要求这个区间内满足要求的数
的平方和，要求是：数位中不含7，数字和不是7的整数倍，
数值本身不能被7整除。

题目分析：
数位DP，对于三个条件的限制其实很好规定，
在选数字时候去掉7的选择，然后开三位DP数组维护数字和和数值余数。
关键是如何求出其平方和。我们可以无脑的维护当前数值来记忆化但是肯定空间不够，
我们考虑对于扫描到当前pos并且前面的特征已经确定了的情况下，如何把关于当前位置
的答案贡献出来，这时候我们肯定是要从0位置看到pos位置，在这个位置限制下满足条件
的答案通过搜索树对当前位答案的贡献。
单值可能应付不过来，我们假设在当前pos下，扫描到i数字时候，
其dfs贡献出来的答案是Y，那么我们想要的贡献值是：
sigma (Y+i*pow[pos])^2,把这个式子展开后我们就可以观察到我们想
要维护出来的特征，一个是符合要求的数量，因为有sigma的存在，
一个是答案的和，一个是答案的平方和，至于贡献关系其实很简单，
主要是贡献的特征的寻找。
*/
ll l,r,Pow[20];
struct node{
    ll cnt,sum1,sum2;
}dp[20][10][10],tp;
int dig[20],cnt=0;
node dfs(int pos,int last,int s1,int s2){
    if(pos<0){
        if(!s1||!s2)    return node{0,0,0};
        else return node{1,0,0};
    }
    if(!last&&dp[pos][s1][s2].cnt!=-1) return dp[pos][s1][s2];
    int ub=last?dig[pos]:9;
    node ret=node{0,0,0};
    rep(i,0,ub+1)if(i!=7){
        ll ti=1LL*i*Pow[pos]%mod;
        node tmp=dfs(pos-1,last&&i==ub,(s1+i)%7,(s2*10+i)%7);
        ret.cnt=(tmp.cnt+ret.cnt)%mod;
        ret.sum2=(ret.sum2%mod+tmp.sum2+tmp.cnt*ti%mod)%mod;
        ret.sum1=(ret.sum1+tmp.cnt*ti%mod*ti%mod)%mod;
        ret.sum1=(ret.sum1+tmp.sum1%mod)%mod;
        ret.sum1=(ret.sum1+2LL*ti%mod*tmp.sum2%mod)%mod;
    }
    if(!last) dp[pos][s1][s2]=ret;
    return ret;
}
ll solve(ll x){
    cnt=0;  while(x) dig[cnt++]=x%10,x/=10;
    return dfs(cnt-1,1,0,0).sum1;
}

int main(){
    rep(i,0,20) rep(j,0,10) rep(k,0,10) dp[i][j][k].cnt=-1;///node{-1,-,1,-1};
    tp=node{0,0,0};
    Pow[0]=1;rep(i,1,20) Pow[i]=Pow[i-1]*10%mod;
    int t;scanf("%d",&t);
    while(t--){
        scanf("%I64d%I64d",&l,&r);
        printf("%I64d\n",(solve(r)-solve(l-1)+mod)%mod);
    }
    return 0;
}