Codeforces 1231E Middle-Out 题解

本文探讨了一种将字符串sss通过有限步骤转换成目标字符串ttt的方法,关键在于找到两者间最长的连续公共子串作为核心,围绕此子串进行操作,以实现最小化步骤的目标。文章详细解析了解题思路与算法实现,包括如何确定操作次数、验证可行性和具体实施步骤。

博客观赏效果更佳:
github
cnblogs

题意简述

q q q 组数据)你有两个串, s s s t t t,长度都是 n n n。现在你可以对 s s s 做若干次操作:选择某一个字符,把它移到最前面或者最后面(二选一)。

你现在要把 s s s 变成 t t t,请问最少需要多少步操作。不行输出 − 1 -1 1

1 ≤ q , n ≤ 100 1\le q,n\le100 1q,n100

思路

先放结论:求出最长的串 a a a 使得 a a a s s s 的子序列(不一定连续),并且是 t t t 的子串(必须连续),答案是 n − ∣ a ∣ n-|a| na ∣ a ∣ |a| a 表示 a a a 的长度

怎么想到的

首先我们发现能任意从中间取字符放到首尾,根据某些直觉,我们发现:把不同的往两边放,把相同的留在中间对齐。

那么留在中间的“相同的”部分,想一想,应该是某一段公共子序列。

这一段公共子序列一定是最长公共子序列吗?不一定,发现我们 只能 s s s 操作,不能动 t t t,所以这段公共子序列在 t t t 中必须是连续的,不能有断开的。

就比如说样例第一个里面的第三组数据, s = "tste" s=\texttt{"tste"} s="tste" t = "test" t=\texttt{"test"} t="test",最长公共子序列应该是 "tst" \texttt{"tst"} "tst",长度为 3 3 3。可是剩下的那一个字符 e \texttt{e} e 并不能直接归位,因为要让它归位必须去动 t t t,但是我们只能动 s s s。最优策略应该是把 "st" \texttt{"st"} "st" 放在中间,然后把 t \texttt{t} t e \texttt{e} e 动两次归位。

然后现在还有一个问题:移动次数一定是 n − ∣ a ∣ n-|a| na 吗?也就是说,剩下的 n − ∣ a ∣ n-|a| na 个不同的恰好一定能在 n − ∣ a ∣ n-|a| na 步之内归位?

分两步证,先证一定不小于这个数,然后证可以做到 n − ∣ a ∣ n-|a| na 步,又因为我们要步数最小,就只能恰好是这个答案了。

一定不小于:如果能小于,那么我们的最长公共子序列 a a a 就能变的更长了。所以一定不会小于这个数。

一定能取到:在 t t t 中,由于 a a a 是一个子串,于是 t t t 中和 s s s 不匹配的地方,就是 t t t 中抠掉 a a a 剩下的部分,一定是一段前缀加一点后缀。先从右到左遍历剩下的前缀,在 s s s 中找一个相等的,放到最前面来。再从左到右遍历剩下的后缀,在 s s s 中找一个相等的,放到最后面来。然后这个步数显然可以做到 n − ∣ a ∣ n-|a| na 步。(附:关于这个从左到右还是从右到左,可以简单的概括为:从里到外)(为啥是从里到外,可以自己手玩一下)

怎么求

枚举这一段公共子序列在 t t t 中的起点,然后写两个指针,匹配一下即可。

代码

#include <bits/stdc++.h>
using namespace std;
#define N 122
#define F(i,l,r) for(int i=l;i<=r;++i)
#define D(i,r,l) for(int i=r;i>=l;--i)
#define Fs(i,l,r,c) for(int i=l;i<=r;c)
#define Ds(i,r,l,c) for(int i=r;i>=l;c)
#define MEM(x,a) memset(x,a,sizeof(x))
#define FK(x) MEM(x,0)
#define Tra(i,u) for(int i=G.Start(u),v=G.To(i);~i;i=G.Next(i),v=G.To(i))
#define p_b push_back
#define sz(a) ((int)a.size())
#define all(a) a.begin(),a.end()
#define iter(a,p) (a.begin()+p)
#define Flandre_Scarlet int
#define IsMyWife main
char _c;
int I()
{
    int x=0; int f=1;
    while(_c<'0' or _c>'9') f=(_c=='-')?-1:1,_c=getchar();
    while(_c>='0' and _c<='9') x=(x<<1)+(x<<3)+(_c^48),_c=getchar();
    return (x=(f==1)?x:-x);
}
void Rd(int cnt,...)
{
    va_list args; va_start(args,cnt);
    F(i,1,cnt) {int* x=va_arg(args,int*);(*x)=I();}
    va_end(args);
}

int n;
string a,b;
void Input()
{
	n=I();
	cin>>a>>b;
}
void Soviet()
{
	int ans=1e9;
	F(i,0,n-1)
	{
		int pos=i;
		F(j,0,n-1) if (pos<n and b[pos]==a[j]) ++pos;
        // pos 表示在 t 中的位置,j 表示在 s 中的位置
        // pos-i 就是求出来的长度
		ans=min(ans,n-(pos-i));
	}

	sort(all(a)); sort(all(b)); if (a!=b){puts("-1");return;} // 判一下无解
	printf("%d\n",ans);
}
Flandre_Scarlet IsMyWife()
{
	int t=I();
	F(i,1,t)
	{
		Input();
		Soviet();
	}
	getchar();
	return 0;
}
请使用c++解决以下问题: ## 题目描述 给定长度为 $n$ 的正整数序列 $a$,求 $g(a)$ 的值: $$ g(a)=\max_{a'}\{f(a')\}\\ f(a)=\sum_{i=2}^{n} |a_{i}-a_{i-1}| $$ 其中,$a'$ 是序列 $a$ 经过任意重排后得到的任意一个序列。 但是这实在是一个三岁小宝宝都会的简单题,因此你想对 $m$ 个序列都求出上述式子的最大值,这 $m$ 个序列满足以下条件。 - 第 $i$ 个序列 $p_i$ 长度为 $i$。 - 第一个序列 $p_1$ 为 $[b'_1=b_1]$。 - 第 $i$($2\leq i\leq m$)个序列 $p_i$ 满足:对于任意满足 $1\leq j<i$ 的正整数 $j$ 满足 $p_{i,j}=p_{i-1,j}$,且 $p_{i,i} = b'_i=b_i\oplus (T\cdot f(p_{i-1}))$。 其中,$\oplus$ 表示二进制按位异或。 ## 输入格式 第一行两个非负整数 $m$ 和 $T$,分别表示你需要求出重排后 $f$ 最大值的序列个数以及生成序列参数。 第二行 $n$ 个非负整数表示 $b_1,\dots,b_m$。 **注意:【数据范围】一节仅对 $b'_i$ 的范围做出了保证,没有对 $b_i$ 的范围做出保证。** ## 输出格式 共一行一个非负整数,为 $\oplus_{i=1}^{m} g(p_i)$。 ## 输入输出样例 #1 ### 输入 #1 ``` 5 0 1 2 3 4 5 ``` ### 输出 #1 ``` 14 ``` ## 输入输出样例 #2 ### 输入 #2 ``` 8 0 5 2 7 1 4 3 8 6 ``` ### 输出 #2 ``` 2 ``` ## 说明/提示 **【样例解释 #1】** $g(p_1),g(p_2),\dots,g(p_m)$ 分别为 $0,1,3,7,11$。 令 $p'_i$ 为 $p_i$ 重排后**任意**满足 $f(p'_i)$ 最大的序列。 $p_1=[1]$,$p'_1=[1]$,$f(p'_1)=0$。 $p_2=[1,2]$,$p'_2=[1,2]$,$f(p'_2)=|1-2|=1$。 $p_3=[1,2,3]$,$p'_3=[1,3,2]$,$f(p'_3)=|1-3|+|3-2|=3$。 $p_4=[1,2,3,4]$,$p'_4=[3,1,4,2]$,$f(p'_4)=|3-1|+|1-4|+|4-2|=7$。 $p_5=[1,2,3,4,5]$,$p'_5=[4,2,5,1,3]$,$f(p'_5)=|4-2|+|2-5|+|5-1|+|1-3|=11$。 该样例满足测试点 $1$ 的限制。 **【样例解释 #2】** $g(p_1),g(p_2),\dots,g(p_m)$ 分别为 $0,3,8,15,17,19,27,31$。 该样例满足测试点 $3$ 的限制。 **【数据范围】** 对于全部测试点:$1\leq m\leq 3\times 10^6$,$1\leq b'_i\leq 10^9$,$T\in \{0,1\}$。 | 测试点编号 | $m\leq$ | $T=$ | 特殊性质 | | :---------: | :------------: | :--: | :------: | | $1$ | $8$ | $0$ | AB | | $2$ | $100$ | $0$ | AB | | $3$ | $10^3$ | $0$ | AB | | $4$ | $2\times 10^5$ | $0$ | AB | | $5$ | $2\times 10^5$ | $0$ | A | | $6$ | $2\times 10^5$ | $1$ | AB | | $7$ | $2\times 10^5$ | $1$ | A | | $8$ | $2\times 10^5$ | $1$ | 无 | | $9$ | $10^6$ | $1$ | 无 | | $10$ | $3\times 10^6$ | $1$ | 无 | 特殊性质 A:$b'_i\leq m$($1\leq i\leq m$)。 特殊性质 B:$b'_i\neq b'_j$($1\leq i<j\leq m$)。
10-30
c++14 # T710502 [COCI 2025/2026 #3] 尺子 / Ravnalo ## 题目背景 本题满分 $110$。 ## 题目描述 建筑师 Hrvoje 需要画出一堵由竖直柱子组成的不规则墙。 墙由 $n$ 根紧挨着摆放的柱子组成,第 $i$ 根柱子的高度为 $a_i$,宽度为 $1$。为了让图更复杂,第 $i$ 根柱子会被水平等分为 $b_i$ 段(每段高度相等)。 Hrvoje 只有直尺和铅笔。他一次落笔可以画出**一条线段**(两个点间的直线),且画线段过程中不能抬笔。目标是用尽可能少的线段画出整堵墙,包括: - 所有柱子的外边界; - 每根柱子内部的所有分割边界(等分线)。 请输出画完整堵墙所需的最少线段数。 ## 输入格式 第一行包含一个整数 $n$($1 \le n \le 10^5$)。 第二行包含 $n$ 个整数 $a_i$($1 \le a_i \le 10^9$)。 第三行包含 $n$ 个整数 $b_i$($1 \le b_i \le 10^9$)。 ## 输出格式 输出一行,包含一个整数,表示最少需要的线段数。 ## 输入输出样例 #1 ### 输入 #1 ``` 3 4 6 4 2 3 4 ``` ### 输出 #1 ``` 10 ``` ## 输入输出样例 #2 ### 输入 #2 ``` 3 4 6 3 3 3 2 ``` ### 输出 #2 ``` 12 ``` ## 说明/提示 #### 【样例解释】 样例 #2 解释:如图,Hrvoje 会把第 $1$ 根柱子最上方的一条线段延伸到第 $2$ 根柱子,从而把两条线段“合并”为一条;他也会对墙底部的 $3$ 条线段做同样处理。最终总共画 $12$ 条线段,并且可以证明这是最小值。 ![](https://cdn.luogu.com.cn/upload/image_hosting/d4ahctka.png) #### 【子任务】 | 子任务 | 分值 | 限制 | |:---:|:---:|:---:| | $1$ | $11$ | $n = 1$ | | $2$ | $13$ | $n = 2$,且 $1 \le a_i, b_i \le 10$ | | $3$ | $29$ | $1 \le a_i \le 10^6$,且对每个 $i$,$b_i$ 整除 $a_i$ | | $4$ | $57$ | 无额外限制 |
12-18
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值