codeforces1469 E. A Bit Similar

最新推荐文章于 2021-02-13 17:35:51 发布

秋天俯身采种子

最新推荐文章于 2021-02-13 17:35:51 发布

阅读量293

点赞数 1

CC 4.0 BY-SA版权

分类专栏： Codeforces 文章标签：容斥

本文链接：https://blog.csdn.net/Fighting_Peter/article/details/113099794

Codeforces 专栏收录该内容

64 篇文章

订阅专栏

这篇博客探讨了一个关于二进制字符串的算法问题，寻找一个特定长度的子串，使得它在原字符串的所有长度相等的子串中至少有一位不同。通过利用位操作和哈希技巧，博主提出了一种巧妙的解决方法，通过枚举和记录前缀信息避免了与已有的子串匹配。此外，还讨论了如何通过暴力枚举和哈希映射来找到满足条件的字典序最小的子串。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

E. A Bit Similar

代码抄的这份题解

找到一个长度为k的串使得在s长度为k的子串中，对于所有子串答案串都至少有一位相同。也就是如果将s长度为k的子串全部按位取反，那么答案串不能与这些反串匹配。

现在问题转化成，找到一个答案串（字典序最小），不能和 $n - k + 1$ 个串匹配。

对于二进制位来说，由于 $n-k+1<2^{20}$ ，也就是我们只需要20位就一定能过找到一个和那些串都不同的串，因此可以直接暴力枚举后面20位（k-20位都填0）

对于找到一个不与 $n - k + 1$ 匹配的串，也可以把他们哈希，然后用map记录下来，答案还是枚举，~~但是感觉写起来有点麻烦，就没写（不太会写）~~

下面有个很巧妙的做法，如果 $n - k + 1$ 个串中前面 $k - 20$ 位存在1就不用管，因为我们枚举的答案串前面 $k - 20$ 位都是0，于是一个数组就可以记录那些东西出现过（转化为二进制）

#define IO ios::sync_with_stdio(false);cin.tie();cout.tie(0)
#pragma GCC optimize(2)
#include<set>
#include<map>
#include<cmath>
#include<stack>
#include<queue>
#include<bitset>
#include<random>
#include<bitset>
#include<string>
#include<vector>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<unordered_map>
#include<unordered_set>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<ll,int> pli;
typedef pair<int,int> pii;
const ll mod=1e9+7;
const int N=1000010;
bool ban[N];
int pre[N];
int main()
{
    IO;
    int T=1;
    cin>>T;
    while(T--)
    {
        int n,k;string s;
        cin>>n>>k>>s;
        int m=0;
        while(m<k&&(1<<m)<=n) m++;
        for(int i=0;i<=n&&i<(1<<m);i++) ban[i]=0;
        
        for(int i=0;i<n;i++) pre[i+1]=pre[i]+(int)(s[i]=='0');
        for(int i=0;i+k-1<n;i++)
        {
            if(pre[i]!=pre[i+k-m]) continue;
            int mask=0;
            for(int j=0;j<m;j++)
                if(s[i+k-1-j]=='0')
                    mask^=1<<j;
            if(mask<=n) ban[mask]=1;
        }
        int ans=0;
        while(ans<(1<<m)&&ban[ans]) ans++;
        if(ans==(1<<m)) cout<<"NO\n";
        else
        {
            cout<<"YES\n";
            for(int i=0;i<k-m;i++) cout<<0;
            for(int i=m-1;i>=0;i--) cout<<(int)((ans>>i)&1);
            cout<<'\n';
        }
    }
    return 0;
}