题意: 询问长度为[l,r]的所有优秀字符串的个数.
优秀字符串: 首先是一个01字符串,可以将任意k个连续的1变成0,如果它最后可以变成全0,就是优秀字符串。
思路: 显然,全0串可以,恰好有k个、2*k个连续的1的串也可以。
考虑dp。(我还以为是计数题,推了半天公式过了样例,然后wa了。。。)
定义f[i]为长度为i的合法方案数。
f[i] = f[i-1] + f[i-k]. (分别对应最后一位为0,最后一位为1的状态转移)
前缀和维护f[i]即可,答案为s[r] - s[l-1].
tips: 由于要取模,二者作差后还要注意加上mod.
代码:
// Problem: 01串
// Contest: AcWing
// URL: https://www.acwing.com/problem/content/4081/
// Memory Limit: 256 MB
// Time Limit: 1000 ms
//
// Powered by CP Editor (https://cpeditor.org)
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<complex>
#include<cstring>
#include<cmath>
#include<vector>
#include<map>
#include<unordered_map>
#include<list>
#include<set>
#include<queue>
#include<stack>
#define OldTomato ios::sync_with_stdio(false),cin.tie(nullptr),cout.tie(nullptr)
#define fir(i,a,b) for(int i=a;i<=b;++i)
#define mem(a,x) memset(a,x,sizeof(a))
#define p_ priority_queue
// round() 四舍五入 ceil() 向上取整 floor() 向下取整
// lower_bound(a.begin(),a.end(),tmp,greater<ll>()) 第一个小于等于的
// #define int long long //QAQ
using namespace std;
typedef complex<double> CP;
typedef pair<int,int> PII;
typedef long long ll;
// typedef __int128 it;
const double pi = acos(-1.0);
const int INF = 0x3f3f3f3f;
const ll inf = 1e18;
const int N = 2e5+10;
const int M = 1e6+10;
const int mod = 1e9+7;
const double eps = 1e-6;
inline int lowbit(int x){ return x&(-x);}
template<typename T>void write(T x)
{
if(x<0)
{
putchar('-');
x=-x;
}
if(x>9)
{
write(x/10);
}
putchar(x%10+'0');
}
template<typename T> void read(T &x)
{
x = 0;char ch = getchar();ll f = 1;
while(!isdigit(ch)){if(ch == '-')f*=-1;ch=getchar();}
while(isdigit(ch)){x = x*10+ch-48;ch=getchar();}x*=f;
}
#define int long long
int n,m,k,T;
int s[N];
int f[N];
void solve()
{
read(n); read(k);
f[0] = 1;
for(int i=1;i<=(int)1e5;++i)
{
f[i] = f[i-1];
if(i>=k) f[i] = (f[i] + f[i-k]) % mod;
s[i] = (s[i-1] + f[i]) % mod;
}
while(n--)
{
int l,r; read(l),read(r);
int ans = s[r] - s[l-1];
ans = (ans + mod) % mod;
write(ans); puts("");
}
}
signed main(void)
{
T = 1;
// OldTomato; cin>>T;
// read(T);
while(T--)
{
solve();
}
return 0;
}