【Atcoder】AGC 020 D - Min Max Repetition 二分+构造

【题意】定义f(A,B)为一个字符串，满足：

1.长度为A+B，含有A个‘A'，B个'B'。

2.最长的相同字符子串最短。

3.在满足以上2条的情况下，字典序最小。

例如， f(2,3) = BABAB, and f(6,4) = AABAABAABB.

Q次询问f(Ai,Bi)的子串[Ci,Di]。

Q<=10^3，A,B<=5*10^8，D-C+1<=100，time=2s。

【算法】二分+构造

【题解】参考：Editorial

令k为最短的最长相同字符子串，显然k=max(A,B)/(min(A,B)+1)（上取整）。

考虑某个位置填入’A‘后合法，应满足：

1.当前连续A不超过k。

2.剩余的A’和B'构成的k(A',B')<=k(A,B)。

顺序扫描即可得到全串——部分分。

分析答案串的构造，前面应为A...ABA...ABA...A，直到某个位置p不满足B<=A*k为止。

此时位置p一定是‘A'，且B-A*k<=k，后面就不得不排列成B...BAB...BAB...B。

二分位置p，输出c~d即可。

#include<cstdio>
#include<algorithm>
using namespace std;
int T,k,n,a,b,c,d;
int main(){
    scanf("%d",&T);
    while(T--){
        scanf("%d%d%d%d",&a,&b,&c,&d);n=a+b;
        int l=,r=n+,mid,A,B;k=(max(a,b)-)/(min(a,b)+)+;;
        while(l<r){
            mid=(l+r)>>;
            A=a-mid/(k+)*k-mid%(k+);B=b-mid/(k+);
            if(B<=1ll*A*k)l=mid+;else r=mid;
        }
        A=a-l/(k+)*k-l%(k+);B=b-l/(k+);r=l+B-A*k+;
        for(int i=c;i<=min(d,l);i++)putchar(i%(k+)?'A':'B');
        for(int i=max(c,l+);i<=d;i++)putchar((i-r)%(k+)?'B':'A');
        puts("");
    }
    return ;
}//ONION_CYC QwQ