AGC001F - Wide Swap
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的更多相关文章
- AtCoder AGC001F Wide Swap (线段树、拓扑排序)
题目链接: https://atcoder.jp/contests/agc001/tasks/agc001_f 题解: 先变成排列的逆,要求\(1\)的位置最小,其次\(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 ...
- AT1984 Wide Swap
AT1984 Wide Swap 题意翻译 给出一个元素集合为\(\{1,2,\dots,N\}(1\leq N\leq 500,000)\)的排列\(P\),当有\(i,j(1\leq i<j ...
- AGC001 F - Wide Swap【线段树+堆+拓扑排序】
给出的模型很难搞,所以转换一下,记p[i]为i这个数的位置,然后相邻两个p值差>k的能交换,发现使原问题字典序最小也需要使这里的字典序最小 注意到p值差<=k的前后顺序一定不変,那么可以n ...
- AtCoder Grand Contest 001F Wide Swap
解法参考这位大佬的:https://www.cnblogs.com/BearChild/p/7895719.html 因为原来的数组不好做于是我们想反过来数组,根据交换条件:值相邻且位置差大于等于k, ...
- 题解 Wide Swap
题目传送门 题目大意 给出一个长度为 \(n\) 的排列 \(a_{1,2,...,n}\) 以及常数 \(k\),每次可以交换两个数 \(a_i,a_j\) 当且仅当 \(j-i\ge k \tex ...
- [atAGC001F]Wide Swap
结论:排列$p'_{i}$可以通过排列$p_{i}$得到当且仅当$\forall 1\le i<j<i+k,(p_{i}-p_{j})(p'_{i}-p'_{j})>0$ 证明:构造 ...
- Atcoder Grand Contest 001 F - Wide Swap(拓扑排序)
Atcoder 题面传送门 & 洛谷题面传送门 咦?鸽子 tzc 来补题解了?奇迹奇迹( 首先考虑什么样的排列可以得到.我们考虑 \(p\) 的逆排列 \(q\),那么每次操作的过程从逆排列的 ...
- AtCoder刷题记录
构造题都是神仙题 /kk ARC066C Addition and Subtraction Hard 首先要发现两个性质: 加号右边不会有括号:显然,有括号也可以被删去,答案不变. \(op_i\)和 ...
随机推荐
- 将驱动编译进Linux内核
*:first-child { margin-top: 0 !important; } body>*:last-child { margin-bottom: 0 !important; } /* ...
- SAVEPOINT 标记
create table duo( --创建表格 v_xuhao number(3), v_name varch ...
- rootkit后门检测工具
1. 关于rootkit rootkit是Linux平台下最常见的一种木马后门工具,它主要通过替换系统文件来达到入侵和和隐蔽的目的,这种木马比普通木马后门更加危险和隐蔽,普通的检测工具和检查手段很难发 ...
- sql的四种匹配模式
1. % 表示任意0个或多个字符.如下语句:Select * FROM user Where name LIKE '%三%'; 将会把name为“张三”,“三脚猫”,“唐三藏”等等有“三”的全找出来. ...
- sql报错注入:extractvalue、updatexml报错原理
报错注入:extractvalue.updatexml报错原理 MySQL 5.1.5版本中添加了对XML文档进行查询和修改的两个函数:extractvalue.updatexml 名称 描述 Ext ...
- anylogic 使用
1.智能体群的用法有人会问:请问怎么给生成的两个对象赋予属性,比如在分叉的时候一个进入sink1,另一个进入sink2?我想source生成不同的实体,而且各个实体都有不同的属性,请问应该怎么设置呢? ...
- Marshal.PtrToStringAnsi中文乱码
出错代码: string dec = Marshal.PtrToStringAnsi(audioOutput.psz_description);//输出 鎵0鍣?(Realtek High Defi ...
- C# emgu 多模板匹配
public MatchInfo GetMatchPos(string Src, string Template) { MatchInfo myMatchInfo = new MatchInfo(); ...
- Java_File类
File类以抽象的方式代表文件名和目录路径.该类主要用于文件和目录的创建.查找.删除等.先来看一下File的构造方法: // 通过将给定的路径名字符串转换为抽象路径名来创建新的 File实例 File ...
- VMware虚拟机扩充硬盘容量