UVA 1392 DNA Regions(单调队列+二分)

(i-j)*p>=(f[i]-f[j])*100==>i*p-f[i]*100>=j*p-f[j]*100，所以只要维护一个单调递减队列，找出最近的j就可以了。

第一个元素是0，因为第0个的时候0*p-f[0]*100=0，所以只要i*p-f[i]*100大于0，那么肯定是可行的。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
using namespace std;
#define rep(i,a,b) for(int i=(a);i<=(b);i++)
#define ss(x) scanf("%d",&x)
const int maxn=150000+10;
char s1[maxn],s2[maxn];
int f[maxn],idx[maxn];
int n,p;
vector<int> q;
int main()
{
    while(true)
    {
        f[0]=0;
        ss(n);ss(p);if(n+p==0) break;
        scanf("%s%s",s1+1,s2+1);
        int ans=0;
        q.clear();
        q.push_back(0);//因为当i*p-f[i]*100大于0时，那么他是大于0*p-f[0]*100，所以是肯定成立的
        rep(i,1,n)
        {
            f[i]=f[i-1]+(s1[i]!=s2[i]);
            int temp=i*p-f[i]*100;
            int t=(int)q.size()-1;
            if(temp<q[t]){
                q.push_back(temp);
                idx[t+1]=i;
            }
            int l=0,r=t+1,mid;
            while(l<r)
            {
                mid=(l+r)/2;
                if(temp>=q[mid]) r=mid;
                else l=mid+1;
            }
            ans=max(ans,i-idx[l]);
        }
        if(ans) printf("%d\n",ans);
        else printf("No solution.\n");
    }
    return 0;
}