Description

给你一个长度为$n$的排列,每次可以交换$|i-j|\geq K$并且$|a_i-a_j|=1$的数对,问你经过若干次变换后最小字典序的排列是啥


Solution

对$a$做一个变换,令$b_{a_i}=i$,$b$数组的意思就是$i$在哪个位置

那么问题就转化成

你可以交换相邻的$|b_i-b_{i+1}|\geq K$的数对

这个时候很多人都说只要令$b$的字典序最小就可以了,但我感觉不是很对..

毕竟$b$字典序小和$a$字典序小没有什么关系啊..

再想一想上面条件的意义

如果$|b_i-b_j|<K$,那么这两个数的相对顺序是不会变的

转化到$a$上就是

对于$i$位置,$(i-K,i+K)$的数和$a_i$的相对大小是不会变的

现在我们考虑从大到小填数(从小到大也是同样的道理,没有什么区别)

那么它会有若干个位置可以填数,这些位置$i$肯定都满足 $(i-K,i+K)$中的位置已经被填了或者数比它要小

那么每$K$个位置肯定最多只有一个位置是可以填数的

我们把这$n$个位置分成每$K$个一段

每次填数之后也只会影响到 上一段、这一段、后一段 产生新的填数位置

然后这个问题就迎刃而解了..


Code

#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <algorithm>
#include <vector>
#include <queue>
using namespace std;
const int Maxn = 500010;
int n, K;
int a[Maxn], ans[Maxn];
vector <int> vec[Maxn]; int no[Maxn]; bool v[Maxn];
int mx[Maxn<<2];
bool cmp(int x, int y) { return a[x] > a[y]; }
int _max(int x, int y) { return x > y ? x : y; }
int _min(int x, int y) { return x < y ? x : y; }
priority_queue <int> q;
void build_tree(int now, int L, int R) {
if(L < R){
int mid = L+R>>1, lc = now<<1, rc = now<<1|1;
build_tree(lc, L, mid);
build_tree(rc, mid+1, R);
mx[now] = _max(mx[lc], mx[rc]);
} else mx[now] = a[L];
}
void chg(int now, int L, int R, int x) {
if(L == R){ mx[now] = 0; return; }
int mid = L+R>>1, lc = now<<1, rc = now<<1|1;
if(x <= mid) chg(lc, L, mid, x);
else chg(rc, mid+1, R, x);
mx[now] = _max(mx[lc], mx[rc]);
}
int qry(int now, int L, int R, int l, int r) {
if(L == l && R == r) return mx[now];
int mid = L+R>>1, lc = now<<1, rc = now<<1|1;
if(r <= mid) return qry(lc, L, mid, l, r);
else if(l > mid) return qry(rc, mid+1, R, l, r);
else return _max(qry(lc, L, mid, l, mid), qry(rc, mid+1, R, mid+1, r));
}
void ins(int x) {
if(x < 0 || x > n/K || no[x] == vec[x].size() || v[x] == true) return;
int p = vec[x][no[x]];
if(qry(1, 1, n, _max(1,p-K+1), _min(n,p+K-1)) == a[p]){
no[x]++; v[x] = true;
q.push(p);
}
}
int main() {
int i, j, k;
scanf("%d%d", &n, &K);
for(i = 1; i <= n; i++) scanf("%d", &a[i]);
build_tree(1, 1, n);
for(i = 1; i <= n; i++) vec[i/K].push_back(i);
for(i = 0; i <= n/K; i++) sort(vec[i].begin(), vec[i].end(), cmp);
for(i = 0; i <= n/K; i++) ins(i);
for(i = n; i >= 1; i--){
int x = q.top(); q.pop();
ans[x] = i; chg(1, 1, n, x);
v[x/K] = false;
ins(x/K-1); ins(x/K); ins(x/K+1);
}
for(i = 1; i <= n; i++) printf("%d\n", ans[i]);
return 0;
}

Something More

转换很妙

分段很妙

需要学的东西还有很多

AGC001F - Wide Swap的更多相关文章

  1. AtCoder AGC001F Wide Swap (线段树、拓扑排序)

    题目链接: https://atcoder.jp/contests/agc001/tasks/agc001_f 题解: 先变成排列的逆,要求\(1\)的位置最小,其次\(2\)的位置最小,依次排下去( ...

  2. 【AtCoder Grand Contest 001F】Wide Swap [线段树][拓扑]

    Wide Swap Time Limit: 50 Sec  Memory Limit: 512 MB Description Input Output Sample Input 8 3 4 5 7 8 ...

  3. AT1984 Wide Swap

    AT1984 Wide Swap 题意翻译 给出一个元素集合为\(\{1,2,\dots,N\}(1\leq N\leq 500,000)\)的排列\(P\),当有\(i,j(1\leq i<j ...

  4. AGC001 F - Wide Swap【线段树+堆+拓扑排序】

    给出的模型很难搞,所以转换一下,记p[i]为i这个数的位置,然后相邻两个p值差>k的能交换,发现使原问题字典序最小也需要使这里的字典序最小 注意到p值差<=k的前后顺序一定不変,那么可以n ...

  5. AtCoder Grand Contest 001F Wide Swap

    解法参考这位大佬的:https://www.cnblogs.com/BearChild/p/7895719.html 因为原来的数组不好做于是我们想反过来数组,根据交换条件:值相邻且位置差大于等于k, ...

  6. 题解 Wide Swap

    题目传送门 题目大意 给出一个长度为 \(n\) 的排列 \(a_{1,2,...,n}\) 以及常数 \(k\),每次可以交换两个数 \(a_i,a_j\) 当且仅当 \(j-i\ge k \tex ...

  7. [atAGC001F]Wide Swap

    结论:排列$p'_{i}$可以通过排列$p_{i}$得到当且仅当$\forall 1\le i<j<i+k,(p_{i}-p_{j})(p'_{i}-p'_{j})>0$ 证明:构造 ...

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

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

  9. AtCoder刷题记录

    构造题都是神仙题 /kk ARC066C Addition and Subtraction Hard 首先要发现两个性质: 加号右边不会有括号:显然,有括号也可以被删去,答案不变. \(op_i\)和 ...

随机推荐

  1. important的妙用解决firefox和ie的css兼容问题

    设置css的min-height属性.min-height在Firefox里有效,但IE无法识别.下面有个不错的解决方案,大家可以参考下 对于某些内容可变的层(比如用户评论),我们希望它有个最小的高度 ...

  2. Kafka(二)设计原理

    1.持久性 kafka使用文件存储消息,这就直接决定kafka在性能上严重依赖文件系统的本身特性.且无论任何OS下,对文件系统本身的优化几乎没有可能.因为kafka是对日志进行append操作,因此磁 ...

  3. C# 用Serializer.ToXml()方法转换成两种格式的XML

    常见XML格式两种: 这种是属性的格式,实体的Model属性上面加上这个特性 [XmlAttribute] <AAA aa="/> 这种是标签的格式,实体的Model属性上面加上 ...

  4. Python学习笔记-Django连接SQLSERVER

    Django连接SQLSERVER使用的是odbc驱动. CentOS下安装django-obdc-azure时需安装依懒 yum install gcc yum install gcc-c++ yu ...

  5. HDU - 1050

    wa了5遍?!! (1)前4遍,思路没简化,企图模拟整个过程,但是调用sort函数时由于没有把奇数的屋子和偶数的屋子统一,排序出了问题. 思路:遍历n段,每次只扫未被标记过的一段,ans++并且从该段 ...

  6. Leetcode-35.搜索插入位置

    题目描述: 给定一个排序数组和一个目标值,在数组中找到目标值,并返回其索引.如果目标值不存在于数组中,返回它将会被按顺序插入的位置. 你可以假设数组中无重复元素. 示例 1: 输入: [1,3,5,6 ...

  7. java学习笔记08-switch case语句

    switch是一种选择语句,可以通过匹配某个条件,来执行某块代码 switch(expression){ case value: break;//可选 default://可选 //语句 } swit ...

  8. Pompholyx - Causes, Symptoms and Treatment

    Pompholyx is a common type of eczema. It is also known as dyshidrotic eczema or vesicular eczema of ...

  9. Centos系统FastDFS搭建与排错

    FastDFS中Tracker server主要是负载均衡和调度,Storage server主要是文件存储. 1.1 系统环境 [root@ centos fastdfs]# cat /etc/re ...

  10. neo4j-cypher

    cypher查询务必在需要查询的节点上加上标签,否则数据量一大查询就会非常慢(在查询时必须设置实体标签,否则不走索引),另外Neo4j索引做好了查询的优化基本上就完成了80%.需要注意index是建立 ...