题目大意

给出一个长度为\(n\)的排列\(P\)与一个正整数\(k\).

你需要进行如下操作任意次, 使得排列\(P\)的字典序尽量小.

对于两个满足\(|i-j|>=k\) 且\(|P_i-P_j| = 1\) 的下标\(i\)与\(j\),交换\(P_i\) 与\(P_j\).

解题思路

若构造\(Q_{p_i}=i\), 即\(Q_i\)表示\(i\)在\(P\)序列中的位置, 则容易发现, 当\(Q\)的字典序最小的时候, \(P\)的字典序就达到了最小.

于是可以把原问题转换成求最小的\(Q\)的字典序. 根据题目中的条件, 稍加思考把原来的交换操作定义到序列\(Q\)上: 对于两个满足\(|i-j|=1\)且\(|Q_i-Q_j|>=k\)的下标\(i\)与\(j\), 交换\(Q_i\)与\(Q_j\).

那么我们考虑, 对于怎样的\(i\)和\(j\), 它们经过任意次操作之后的字典序的相对位置都不变.

对于每一个\(L\), 它最右能够交换到的位置就是最大的\(R\)满足对于\(\forall j \in [i,R]\)都有\(|Q_L-Q_j|>=k\). 于是\(R+1\),也就是最小的\(R'\)满足\(|Q_L-Q_{R'}|<k\),它们\((L\text{与}R')\)的相对顺序是不会变的. 显然这个东西可以通过线段树做到\(O(n\log{n})\).

于是对于每一个\(L\), 找到对应的\(R'\), 连一条边\((R',L)\), 表示\(R'\)一定在\(L\)之后. 对这个图拓扑排序, 就得到了字典序相对顺序的倒序. 倒着做一遍, 在过程中使用大根堆维护即可就出最小的字典序. 最后还原即可.

时间复杂度\(O(n\log{n})\).

后记

有一说一, 自己对这种题还是缺乏基本的经验. 对于拓扑排序确定大小顺序的题也缺乏一定的转化能力和理解能力. 这种题之后遇到了如果没做出来也要整理.

#include <queue>
#include <cstdio>
#include <cstring>
#define N 500010
#define INF 0x3f3f3f3f
#define init(a, b) memset(a, b, sizeof(a))
#define fo(i, a, b) for(int i = (a); i <= (b); ++i)
#define fd(i, a, b) for(int i = (a); i >= (b); --i)
using namespace std;
inline int read()
{
int x = 0; char ch = getchar();
while(ch < '0' || ch > '9') ch = getchar();
while(ch >= '0' && ch <= '9') x = (x << 3) + (x << 1) + (ch ^ 48), ch = getchar();
return x;
}
inline int min(int a, int b){return a < b ? a : b;}
int n, k, p[N], q[N]; priority_queue<int> h; int in[N], last[N], pre[N << 1], to[N << 1];
inline void add(int u, int v){static int tot = 0; ++tot, ++in[v], to[tot] = v, pre[tot] = last[u], last[u] = tot;} namespace SGT
{
#define ls t << 1
#define rs ls | 1
#define mid ((l + r) >> 1)
int tr[N << 4];
inline void pushup(int t){tr[t] = min(tr[ls], tr[rs]);}
void build(int t, int l, int r)
{
if(l == r) return (void)(tr[t] = INF, 0);
build(ls, l, mid); build(rs, mid + 1, r);
pushup(t);
}
void update(int t, int l, int r, int w, int v)
{
if(l == r) return (void)(tr[t] = v, 0);
w <= mid ? update(ls, l, mid, w, v) : update(rs, mid + 1, r, w, v);
pushup(t);
}
inline void update(int w, int v){update(1, 1, n, w, v);}
int query(int t, int l, int r, int fl, int fr)
{
if(fl <= l && r <= fr) return tr[t];
int ret = INF;
fl <= mid && (ret = min(ret, query(ls, l, mid, fl, fr)));
fr > mid && (ret = min(ret, query(rs, mid + 1, r, fl, fr)));
return ret;
}
inline int query(int fl, int fr){return query(1, 1, n, fl, fr);}
#undef ls
#undef rs
#undef mid
}
int main()
{
freopen("permutation.in", "r", stdin);
freopen("permutation.out", "w", stdout);
scanf("%d %d", &n, &k);
fo(i, 1, n) scanf("%d", &p[i]), q[p[i]] = i;
SGT::build(1, 1, n);
fd(i, n, 1)
{
int pos = SGT::query(q[i], min(q[i] + k - 1, n));
pos < INF && (add(q[pos], q[i]), 0);
pos = SGT::query(max(1, q[i] - k + 1), q[i]);
pos < INF && (add(q[pos], q[i]), 0);
SGT::update(q[i], i);
}
fo(i, 1, n)
if(!in[i])
h.push(i);
fd(w, n, 1)
{
int u = h.top(); h.pop(); p[w] = u;
for(int i = last[u]; i; i = pre[i])
if(!(--in[to[i]])) h.push(to[i]);
}
fo(i, 1, n) q[p[i]] = i;
fo(i, 1, n) printf("%d\n", q[i]);
return 0;
}

JZOJ5405 & AtCoder Grand Contest 001 F. Permutation的更多相关文章

  1. Atcoder Grand Contest 001 F - Wide Swap(拓扑排序)

    Atcoder 题面传送门 & 洛谷题面传送门 咦?鸽子 tzc 来补题解了?奇迹奇迹( 首先考虑什么样的排列可以得到.我们考虑 \(p\) 的逆排列 \(q\),那么每次操作的过程从逆排列的 ...

  2. Atcoder Grand Contest 030 F - Permutation and Minimum(DP)

    洛谷题面传送门 & Atcoder 题面传送门 12 天以前做的题了,到现在才补/yun 做了一晚上+一早上终于 AC 了,写篇题解纪念一下 首先考虑如果全是 \(-1\)​ 怎么处理.由于我 ...

  3. AtCoder Grand Contest 001 C Shorten Diameter 树的直径知识

    链接:http://agc001.contest.atcoder.jp/tasks/agc001_c 题解(官方): We use the following well-known fact abou ...

  4. AtCoder Grand Contest 002 F:Leftmost Ball

    题目传送门:https://agc002.contest.atcoder.jp/tasks/agc002_f 题目翻译 你有\(n*k\)个球,这些球一共有\(n\)种颜色,每种颜色有\(k\)个,然 ...

  5. AtCoder Grand Contest 001 D - Arrays and Palindrome

    题目传送门:https://agc001.contest.atcoder.jp/tasks/agc001_d 题目大意: 现要求你构造两个序列\(a,b\),满足: \(a\)序列中数字总和为\(N\ ...

  6. AtCoder Grand Contest 017 F - Zigzag

    题目传送门:https://agc017.contest.atcoder.jp/tasks/agc017_f 题目大意: 找出\(m\)个长度为\(n\)的二进制数,定义两个二进制数的大小关系如下:若 ...

  7. AtCoder Grand Contest 003 F - Fraction of Fractal

    题目传送门:https://agc003.contest.atcoder.jp/tasks/agc003_f 题目大意: 给定一个\(H×W\)的黑白网格,保证黑格四连通且至少有一个黑格 定义分形如下 ...

  8. AtCoder Grand Contest 011 F - Train Service Planning

    题目传送门:https://agc011.contest.atcoder.jp/tasks/agc011_f 题目大意: 现有一条铁路,铁路分为\(1\sim n\)个区间和\(0\sim n\)个站 ...

  9. AtCoder Grand Contest 010 F - Tree Game

    题目传送门:https://agc010.contest.atcoder.jp/tasks/agc010_f 题目大意: 给定一棵树,每个节点上有\(a_i\)个石子,某个节点上有一个棋子,两人轮流操 ...

随机推荐

  1. Can static functions be virtual in C++?

    In C++, a static member function of a class cannot be virtual. For example, below program gives comp ...

  2. IDE搬进浏览器里——JetBrains Projector

    发展 提起 JetBrains,你会想到什么?各路强大的 IDE,比如 Android Studio.IDEA.WebStorm--这些对于开发者来说耳熟能详的产品都出自这家公司,这些 IDE 的功能 ...

  3. 【Linux】【Basis】磁盘分区

    1. Linux磁盘及文件系统管理 1.1. 基本概念: 1.1.1. 磁盘接口类型: IDE(ata):并口,133MB/s,设备/dev/hd[a-z] SCSI:并口,Ultrascsi320, ...

  4. 【Java 与数据库】JDBC中日期时间的处理技巧

    JDBC中日期时间的处理技巧 详谈Java.util.Date和Java.sql.Date 基础知识 Java中用类java.util.Date对日期/时间做了封装,此类提供了对年.月.日.时.分.秒 ...

  5. 【C/C++】习题3-7 DNA/算法竞赛入门经典/数组与字符串

    [题目] 输入m组n长的DNA序列,要求找出和其他Hamming距离最小的那个序列,求其与其他的Hamming距离总和. 如果有多个序列,求字典序最小的. [注]这道题是我理解错误,不是找出输入的序列 ...

  6. Three.js 实现3D全景侦探小游戏🕵️

    背景 你是嘿嘿嘿侦探社实习侦探️,接到上级指派任务,到甄开心小镇调查市民甄不戳宝石失窃案,根据线人流浪汉老石‍提供的线索,小偷就躲在小镇,快把他找出来,帮甄不戳寻回失窃的宝石吧! 本文使用 Three ...

  7. [BUUCTF]PWN——bbys_tu_2016

    bbys_tu_2016 附件 步骤: 例行检查,32位程序,开启了nx保护 本地试运行一下程序,看看大概的情况,测试时候发现输入长度过长程序会崩溃,猜测输入点存在问题 32位ida载入,检索程序里的 ...

  8. 预算(Project)

    <Project2016 企业项目管理实践>张会斌 董方好 编著 预算是件重要的事,不然银几一花没边了,那结果可是要牺牺的(以下省略具体描述9^323字) 在Project里做预算,步骤不 ...

  9. springboot项目WEB-INF 目录 jsp页面报404

    我是跟着<深入浅出 Spring Boot 2.x>这本书学习的,在"初识Spring MVC"章节中,搭建项目,然后访问jsp页面时报错:Path with &quo ...

  10. Blazor中的无状态组件

    声明:本文将RenderFragment称之为组件DOM树或者是组件DOM节点,将*.razor称之为组件. 1. 什么是无状态组件 如果了解React,那就应该清楚,React中存在着一种组件,它只 ...