一行格子,其中小于\(0\)的格子为白色,大于\(n\)的格子为黑色,中间的格子颜色由题目给出。

有一些格子需要被标记。标记按照以下规则进行:选择一个颜色\(c\),找到一个未标记的 旁边有标记点的 颜色为\(c\)的 格子,在这个格子上标记;如果找不到这样的格子,就找任意一个颜色为\(c\)的格子。

问标记完所有需要被标记的点,最少要操作多少次。

\(n\le 10^5\)


%%%gmh,dyp早就切了

想题的时候先想出假做法,写个\(O(n^2)\)的暴力交上去发现WA了,后来另外想到了正解的结论。当时不会证充分性就瞄了瞄题解,确认后自己证了下才开打。当然做法是自己的,所以可以很高兴地认为自己做出了一半。

很奇怪别人的做法都要设那么多状态显得特别阴间。

可以考虑:对于一个终止状态,如何判定它是可以得到的。

对于一个连续段,显然只要一个点被标记整个连续段都可以被标记;那问题转化成了:是否可以在每个连续段都至少标记一个点。

先特殊计算只有一个连续段的情况。

为了方便表示将题目中的两种情况称为操作一和操作二。显然一个连续段从被标记必须通过一次操作二。

第一次操作后,连续段相邻的两个位置的颜色都不能使用操作二;因为后面还有连续段所以必须要只有一种颜色的操作二被禁止了。类似地考虑,除了最后一个连续段,其它连续段操作之后都要保证存在一种颜色没有被禁止,而且后面的连续段都要包含这种颜色。

称这个没有被禁止操作二的颜色为\(c\)(记被禁止的颜色为\(\overline c\))。将以上的分析整理一下得:

  1. 中间的连续段算上相邻两格一定包含子序列\(\overline c c\overline c\)。
  2. 第一个连续段算上相邻两格一定包含子序列\(\overline c \overline c\)。
  3. 最后一个连续段一定包含子序列\(c\)。

于是就可以DP了。

DP方式多样,这里是阳间的:先题目的序列前后各自加两位。设\(f_{i,0/1,0/1}\)表示\(i\)不选,是否出现第一个连续段,是否出现最后一个连续段。转移分三种情况从\(f_j\)转移到\(f_i\)。可以维护每种情况的合法的最优\(f_j\),记多几个变量辅助转移。对于每种转移,显然能转移到\(i\)的是一段前缀,并且\(i\)增加时前缀伸长,于是可以预处理能转移到\(i\)的前缀的位置(子序列自动机即可)。时间就是\(O(n)\)的。


using namespace std;
#include <cstdio>
#include <cstring>
#include <algorithm>
#define N 100007
#define INF 0x7f7f7f7f
int n;
int s[N],t[N];
int ps[N][2];
int _pre[N][2];
int pre(int x,int c){return x<0?-1:_pre[x][c];}
void init(){
static char str[N];
scanf("%d%s",&n,str+1);
for (int i=1;i<=n;++i) s[i+1]=(str[i]=='b'?1:0);
scanf("%s",str+1);
for (int i=1;i<=n;++i) t[i+1]=(str[i]=='o'?1:0);
n+=3;
s[1]=0,s[n-1]=s[n]=1;
t[1]=t[n-1]=t[n]=0;
_pre[0][0]=_pre[0][1]=-1;
for (int i=1;i<=n+1;++i){
_pre[i][0]=(s[i-1]==0?i-1:_pre[i-1][0]);
_pre[i][1]=(s[i-1]==1?i-1:_pre[i-1][1]);
}
}
int ans;
int dp[N][2][2];
int rf[N],rl[N],rn[N];
int fir[2],lst[2],nor[2][2];
void upd(int &x,int y){x>y?x=y:0;}
int work(int c){
int _c=c^1;
for (int i=1;i<=n;++i){
rf[i]=pre(pre(i+1,_c)-1,_c);
rl[i]=pre(i,c)-1;
rn[i]=pre(pre(pre(i+1,_c),c),_c);
}
memset(dp,127,sizeof dp);
memset(fir,127,sizeof fir);
memset(lst,127,sizeof lst);
memset(nor,127,sizeof nor);
dp[0][0][0]=0;
int pf=0,pl=0,pn=0;
for (int i=1;i<=n;++i){
if (t[i])
continue;
for (;pf<=rf[i];++pf){
upd(fir[0],dp[pf][0][0]-pf);
upd(fir[1],dp[pf][0][1]-pf);
}
for (;pl<=rl[i];++pl){
upd(lst[0],dp[pl][0][0]-pl);
upd(lst[1],dp[pl][1][0]-pl);
}
for (;pn<=rn[i];++pn){
upd(nor[0][0],dp[pn][0][0]-pn);
upd(nor[1][0],dp[pn][1][0]-pn);
upd(nor[0][1],dp[pn][0][1]-pn);
upd(nor[1][1],dp[pn][1][1]-pn);
}
memcpy(dp[i],dp[i-1],sizeof dp[i]);
upd(dp[i][0][0],nor[0][0]+i-1);
upd(dp[i][1][0],min(nor[1][0],fir[0])+i-1);
upd(dp[i][0][1],min(nor[0][1],lst[0])+i-1);
upd(dp[i][1][1],min(nor[1][1],min(fir[1],lst[1]))+i-1);
}
return dp[n][1][1];
}
int main(){
init();
int mn=n,mx=1;
for (int i=1;i<=n;++i)
if (t[i]==1){
mn=min(mn,i);
mx=max(mx,i);
}
ans=mx-mn+1;
ans=min(ans,work(0));
ans=min(ans,work(1));
printf("%d\n",ans);
return 0;
}

ARC109F - 1D Kingdom Builder的更多相关文章

  1. [atARC109F]1D Kingdom Builder

    考虑最终有石子的位置的状态,判断一种状态是否可行 反过来,依次删除石子,删除条件是:当删除的石子是该段最后一个(即其两边都没有石子了),要求除其以外,每个连续段旁边的两个点都与其颜色不同 构造一种删除 ...

  2. [atARC109E]1D Reversi Builder

    归纳每一次操作后必然是两个颜色相同的连续段(即ww...bb...或bb...ww...),对操作的位置分类讨论不难证明正确性 当$c_{1}=c_{n}$,由于端点颜色不会修改,再根据该结论,可以得 ...

  3. AtCoder Regular Contest 109

    Contest Link 为什么还没有 Official Editorial 啊--哦,原来是日文题解,那没事了. A - Hands 有两幢 100 层的楼房 \(A,B\) ,将地面所在的楼层称为 ...

  4. TDictionary 是delphi用的,c++builder用起来太吃力。

    TDictionary 是delphi用的,c++builder用起来太吃力.c++还是用std::map代替.c++d map很好用啊.https://blog.csdn.net/ddkxddkx/ ...

  5. 23种设计模式--建造者模式-Builder Pattern

    一.建造模式的介绍       建造者模式就是将零件组装成一个整体,用官方一点的话来讲就是将一个复杂的构建与其表示相分离,使得同样的构建过程可以创建不同的表示.生活中比如说组装电脑,汽车等等这些都是建 ...

  6. PHP设计模式(五)建造者模式(Builder For PHP)

    建造者模式:将一个复杂对象的构造与它的表示分离,使同样的构建过程可以创建不同的表示的设计模式. 设计场景: 有一个用户的UserInfo类,创建这个类,需要创建用户的姓名,年龄,爱好等信息,才能获得用 ...

  7. 每天一个设计模式-7 生成器模式(Builder)

    每天一个设计模式-7 生成器模式(Builder) 一.实际问题 在讨论工厂方法模式的时候,提到了一个导出数据的应用框架,但是并没有涉及到导出数据的具体实现,这次通过生成器模式来简单实现导出成文本,X ...

  8. Stack Overflow 排错翻译 - Closing AlertDialog.Builder in Android -Android环境中关闭AlertDialog.Builder

    Stack Overflow 排错翻译  - Closing AlertDialog.Builder in Android -Android环境中关闭AlertDialog.Builder 转自:ht ...

  9. Joshua Bloch错了? ——适当改变你的Builder模式实现

    注:这一系列都是小品文.它们偏重的并不是如何实现模式,而是一系列在模式实现,使用等众多方面绝对值得思考的问题.如果您仅仅希望知道一个模式该如何实现,那么整个系列都会让您失望.如果您希望更深入地了解各个 ...

随机推荐

  1. Innodb之全局共享内存

    参考链接: https://blog.csdn.net/miyatang/article/details/54881547 https://blog.csdn.net/wyzxg/article/de ...

  2. linux中/etc/passwd和/etc/shadow文件说明

    /etc/passwd是用来存储登陆用户信息: [root@localhost test]# cat /etc/passwd root:x:0:0:root:/root:/bin/bash bin:x ...

  3. 科普干货|漫谈鸿蒙LiteOS-M与HUAWEI LiteOS内核的几大不同

    摘要:鸿蒙和LiteOS的内核都是一样的名字,可它们究竟有什么不同呢?一起来对比一下文件吧! HarmonyOS系统 HarmonyOS是一款"面向未来".面向全场景(移动办公.运 ...

  4. 常用linux源列表

    本篇记录一些常用的源文件,后面需要用到的时候,直接进行复制粘贴即可 centos 相关 base源 [base] name=CentOS-$releasever - Base - mirrors.al ...

  5. 2020年SpringCloud 必知的18道面试题

    今天跟大家分享下SpringCloud常见面试题的知识. 1.什么是Spring Cloud? Spring cloud流应用程序启动器是基于Spring Boot的Spring集成应用程序,提供与外 ...

  6. FL studio系列教程(十三):如何在FL Studio步进音序器中制作节奏

    了解了FL Studio一些操作功能后,我们就要去用这些操作功能完成我们想要的作品.所以今天小编就来带领大家在FL Studio的步进音序器中制作出简单的节奏,与此同时大家也会了解到通道的几个基础功能 ...

  7. Netty源码分析之ByteBuf(二)—内存分配器ByteBufAllocator

    Netty中的内存分配是基于ByteBufAllocator这个接口实现的,通过对它的具体实现,可以用来分配我们之前描述过的任意类型的BytebBuf实例:我们先看一下ByteBufAllocator ...

  8. 这份SpringMVC执行原理笔记,建议做java开发的好好看看,总结的很详细!

    什么是SpringMVC? Spring MVC属于SpringFrameWork的后续产品,已经融合在Spring Web Flow里面.Spring 框架提供的web模块,包含了开发Web 应用程 ...

  9. 【CF983C】elevator——记忆化搜索

    (题面来自luogu) 题意翻译 题意 一个9层的楼有一个可以容纳4个人的电梯,你要管理这个电梯. 现在各层楼上有一些在排队的人,你知道他们在哪层要到哪层去.你也知道到电梯门口的顺序.根据公司的规定, ...

  10. 精尽MyBatis源码分析 - 文章导读

    该系列文档是本人在学习 Mybatis 的源码过程中总结下来的,可能对读者不太友好,请结合我的源码注释(Mybatis源码分析 GitHub 地址.Mybatis-Spring 源码分析 GitHub ...