传送门

文章目录

  • 题意:
  • 思路:

题意:

给你nnn张卡片,每张卡片正面写有数字aaa,反面写有数字bbb,[1,2∗n][1,2*n][1,2∗n]之间的整数在这些数字中都恰好出现一次,我们认为这nnn张牌是排好序的当且仅当ai<ai+1,bi>bi+1a_i<a_{i+1},b_i>b_{i+1}ai​<ai+1​,bi​>bi+1​,你现在有两种操作:
(1)(1)(1)将第iii张牌翻过来。
(2)(2)(2)重新排序nnn张牌,顺序任意。
问最少需要翻几次牌,或者无解。

思路:

首先如果存在一个位置的ai<n,bi<na_i<n,b_i<nai​<n,bi​<n,那么由鹊巢原理可知,一定存在某一位置ai>n,bi>na_i>n,b_i>nai​>n,bi​>n,这两个牌的位置不管怎么牌都不符合要求,这种情况无解。
之后我们考虑将[1,n][1,n][1,n]都翻到正面,之后设f(i)f(i)f(i)表示与iii卡片对应的数。之后我们就将卡牌转换成了(i,f(i))(i,f(i))(i,f(i))这样的形式。目前我们保证了正面的iii是递增的,反面是不确定的,答案一定是将某些牌翻面,让后放在最后面,因为反面之后[1,n][1,n][1,n]的数到反面,一定小于[n+1,n∗2][n+1,n*2][n+1,n∗2],且反面之后还需要将其reversereversereverse一下,因为在正面是升序,反面应该降序。这样就需要对我们的f(i)f(i)f(i)有要求了,先给出结论:能将f(i)f(i)f(i)分成至多两个单调下降子序列的时候才有解。 我们观察一下上面说的情况,在翻面之后,翻面之后还反面的肯定是需要单调递减的,而翻到正面的由于我们需要reversereversereverse一下, 在reversereversereverse之后需要递增,那么原来也需要递减,所以结论成立。
现在问题就变成将f(i)f(i)f(i)分成至多两个单调递减的子序列,这个是个经典贪心问题,直接用两个栈,当小于某个栈的时候直接放进去就好了。但是这个题需要翻最少的次数,我们怎么才能保证是最优解呢?题解有一个很妙的方法,就按照minj<=if(j)>maxj>if(j)min_{j<=i} f(j) > max_{j>i} f(j)minj<=i​f(j)>maxj>i​f(j)分成若干段,即在i,i+1i,i+1i,i+1之间加一块隔板,就可以将这几段分成若干个子问题,这几段满足如下两个性质:
(1)(1)(1)每段都相互独立
(2)(2)(2)每段内的划分方案是唯一的。
独立是比较容易想到的,因为保证了minj<=if(j)>maxj>if(j)min_{j<=i} f(j) > max_{j>i} f(j)minj<=i​f(j)>maxj>i​f(j),所以每两段答案一定是可以接在一起的。
方案唯一性的证明想了好长时间也没想明白,就不说了。
这样的话对于每一段,维护两个栈,贪心的选就好了。

//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid (tr[u].l+tr[u].r>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;const int N=1000010,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;int n;
int f[N],c[N];
int pre[N],suf[N];
PII p[N];int get(int l,int r)
{int len1,len2,top1,top2,c1,c2;len1=len2=c1=c2=0;top1=top2=INF;int flag=0;for(int i=l;i<=r;i++){if(top1>f[i]) top1=f[i],c1+=c[i],len1++;else if(top2>f[i]) top2=f[i],c2+=c[i],len2++,flag=1;else return -1;}return min(c1+len2-c2,c2+len1-c1);
}int main()
{//  ios::sync_with_stdio(false);
//  cin.tie(0);int flag=1;scanf("%d",&n);for(int i=1;i<=n;i++){int a,b; scanf("%d%d",&a,&b);if(a>b) swap(a,b),c[a]=1;if(a>n&&b>n) flag=0;p[i]={a,b}; f[a]=b;}if(!flag) { puts("-1"); return 0; }pre[1]=f[1]; suf[n]=f[n];for(int i=2;i<=n;i++) pre[i]=min(pre[i-1],f[i]);for(int i=n-1;i>=1;i--) suf[i]=max(suf[i+1],f[i]);pre[0]=INF;LL ans=0;int cnt=0;for(int i=1;i<=n;i++){int st=i;cnt++;while(pre[i]<=suf[i+1]) i++;int now=get(st,i);if(now==-1) { puts("-1"); return 0; }ans+=now;}printf("%lld\n",ans);return 0;
}
/*
5 3 2 1 4
*/

Codeforces Round #712 (Div. 2) F. Flip the Cards 思维 + 贪心相关推荐

  1. Codeforces Round #726 (Div. 2) F. Figure Fixing 二分图 + 思维

    传送门 文章目录 题意: 思路 题意: 给你一张nnn个点mmm条边的图,每个点都有一个当前值aia_iai​,目标值bib_ibi​,每次可以选择一条边(i,j)(i,j)(i,j),将ai,aja ...

  2. Codeforces Round #598 (Div. 3) F. Equalizing Two Strings 思维 + 逆序对

    传送门 文章目录 题意: 思路: 题意: 给你两个长度为nnn的串a,ba,ba,b,每次可以同时翻转a,ba,ba,b中任意一段长度为L(1≤L≤n)L(1\le L\le n)L(1≤L≤n)的子 ...

  3. Codeforces Round #632 (Div. 2) F. Kate and imperfection 数论 + 贪心

    传送门 文章目录 题意: 思路: 题意: n≤5e5n\le5e5n≤5e5 思路: 首先有个显然的结论:当往集合中加入一个数xxx的时候,如果存在d∣xd|xd∣x且ddd不在集合中,那么加入ddd ...

  4. Codeforces Round #506 (Div. 3) - F. Multicolored Markers (思维)

    题意 给两种颜色的数量 a 和 b,这两种颜色恰好组成一个长方形,而且至少有一种颜色在整个长方形里面也是个长方形,求满足条件中周长最小的情况 AC 当a是里面的小长方形,把a能组成的长方形的宽记录一下 ...

  5. Codeforces Round #712 (Div. 2) E. Travelling Salesman Problem 思维转换

    传送门 文章目录 题意: 思路: 题意: 给你nnn个点,从iii到jjj的花费是max(ci,aj−ai)max(c_i,a_j-a_i)max(ci​,aj​−ai​),求从111开始经过每个点再 ...

  6. Codeforces Round #712 Div.2(A ~ F) 超高质量题解(每日训练 Day.15 )

    整理的算法模板合集: ACM模板 点我看算法全家桶系列!!! 实际上是一个全新的精炼模板整合计划 Codeforces Round #712 Div.2(A ~ F) 题解 比赛链接:https:// ...

  7. Codeforces Round #699 (Div. 2) F - AB Tree(贪心、树上DP)超级清晰,良心题解,看不懂来打我 ~

    整理的算法模板合集: ACM模板 点我看算法全家桶系列!!! 实际上是一个全新的精炼模板整合计划 Codeforces Round #699 (Div. 2) F - AB Tree Problem ...

  8. Codeforces Round #644 (Div. 3) F.Spy-string

    Codeforces Round #644 (Div. 3) F.Spy-string 题目链接 You are given n strings a1,a2,-,an: all of them hav ...

  9. Codeforces Round #849 (Div. 4) F. Range Update Point Query

    Codeforces Round #849 (Div. 4) F. Range Update Point Query 题目大意: 给一串数字,有两个操作: 操作1:将 l − r l-r l−r 的数 ...

最新文章

  1. 使用apidoc文档神器,快速生成api文档
  2. fs:[124]对应CurrentThread
  3. 华为成为全球领先的移动设备供应商
  4. 聚类分析与相关算法(Kmeans等)详解
  5. android国籍组件,android组件化之路
  6. Spring Boot配置MinIO(实现文件上传、下载、删除)
  7. 屏幕取色工具ColorCat
  8. 配置豪华的 Windows 开发环境
  9. 查看linux有多少线程总数,linux线程总数
  10. linux shell脚本教程
  11. Selenium 爬取微信公众号文章并保存为pdf与长图片(2022-06-09更新版)
  12. 大数据开发工程师岗位分析
  13. KPPW系统—开源免费的威客建站系统
  14. nginx简单配置多个域名转向多个tomcat
  15. javaEE 深入理解 Session 与 Cookie
  16. Excel表格如何快速将表格打印在一页纸上
  17. 程序员需知的 58 个网站,墙裂推荐!
  18. 2021_01_25
  19. 基于python3在windows下安装gmpy2
  20. Python文件类型识别——python-magic

热门文章

  1. 【COMA】一种将团队回报拆分为独立回报的多智能体算法
  2. python开机号_感知机(python实现)
  3. 第6章 C控制语句:循环
  4. 中国9大民居建筑,你都认识吗?
  5. 20以内究竟包不包括20?
  6. 那些不回微信的人,都在看什么?
  7. 你们要的印度布线,这是一种极端的牛X
  8. 三个字帮大家总结一下刘强东事件
  9. 深入探讨编程到底需要知道多少数学知识
  10. 通过R,让你的数据分析更简便!