#CF 1705d.Mark and Lightbulbs题解(思维、构造)

原题链接

1.题意：

给一个01串s，问你能否通过某种操作把它变为另一个等长01串t，若能给出最小操作数。这种操作是：如果i+1和i-1位置的元素不同，则可以将第i个元素反相（1变0，0变1）.

2.思路：

这题没想出来。我试错了许多错误思路，如关注奇数位偶数位、分类讨论等，但始终没有朝正确的方向发展，可能是题感不够敏锐吧。
官方思路如下：
设s为起始串，t为目标串。对长度为n的串s,t，统计其中长度为2的n-1个子串；对于某子串，用前1元素异或后1元素的结果作为其特征值，得到s，t的特征值数组:s’[n-1],t’[n-1]。
自此，我们把串转换成特征数组。
构造了特征数组后，发现：
1）操作只对特征数组中01或10对应的子串有效，且不会改变特征值1的个数，如011–>001 对应特征值10–>01，相当于特征值1向右一格
2）2个特征值顺序不能互换
3) 本题有解等价于s’和t’中1的个数相同，且s[0]==t[0]（结合长度为2子串的意义进行简单证明，子串特征值为0，代表元素不变；反之，代表元素取反）
因此在s[0]==t[0]的基础上，我们只需统计s’,t’中的特征值1的个数，若相等，则有解，并且解为$({\sum }_{k=1}^m|s_k^{\prime }-t_k^{\prime }|)$ ,其中s’k，t’k代表第k个1特征值的下标。

3.代码

//#include <bits/stdc++.h>
#include <iostream>
#include <algorithm>
#include <queue>
#include <vector>
#include <stack>
 
#define pb push_back
#define fi first
#define se second
#define makp make_pair
 
using namespace std;
 
typedef pair<int, int> PII;
typedef long long LL;
const int Mod=1e9+7,N=2e5+10;

 
template <typename T> bool chkMax(T &x, T y) { return (y > x) ? x = y, 1 : 0; }
template <typename T> bool chkMin(T &x, T y) { return (y < x) ? x = y, 1 : 0; }
 
template <typename T> void inline read(T &x) {
    int f = 1; x = 0; char s = getchar();
    while (s < '0' || s > '9') { if (s == '-') f = -1; s = getchar(); }
    while (s <= '9' && s >= '0') x = x * 10 + (s ^ 48), s = getchar();
    x *= f;
}

string a,b;
int n,t;

LL sol()
{
    if(a[0]!=b[0])return -1;
    vector<int>va,vb;
    LL res=0;
    for(int i=1;i<n;i++)
    {
        if(a[i]!=a[i-1])va.pb(i);
        if(b[i]!=b[i-1])vb.pb(i);
    }
    if(va.size()!=vb.size())return -1;
    int na=va.size();
    for(int i=0;i<na;i++)res+=abs(va[i]-vb[i]);
    return res;
}

int main()
{
   ios::sync_with_stdio(false);
   cin.tie(0);
   cin>>t;
   while(t--)
   {
       cin>>n;
       cin>>a;
       cin>>b;
       cout<<sol()<<endl;
   }
   
   
   
}

4.收获

构造题练的少，做起来挺难受的，可以多刷