abc233_f Swap and Sort 题解

合集 - 题解(48)

1.CSES 1667 Message Route 题解2023-02-132.P3956 棋盘 题解2023-02-22

3.abc233_f Swap and Sort 题解2023-03-03

4.abc233_e Σ[k=0..10^100]floor(X／10^k) 题解2023-03-035.abc233_d Interval 题解2023-03-036.abc233_c Product 题解2023-03-017.abc249_f Ignore Operations 题解2023-04-168.abc249_d Index Trio 题解2023-04-169.abc248_e K-colinear Line 题解2023-04-1310.abc247_f Cards 题解2023-04-1211.CF1066C Books Queries 题解2023-03-1412.P1038 神经网络 题解2023-03-1413.SeekLuna P1362 拓扑排序 3 题解2023-03-1414.abc232_e Rook Path 题解2023-03-0315.abc235_e MST + 1 题解2023-05-1716.abc234_e Arithmetic Number 题解2023-05-1717.P8786 李白打酒加强版 题解2023-05-1718.abc235_d Multiply and Rotate 题解2023-05-1719.CF1095D Circular Dance 题解2023-05-1720.P6201 & P1985 Fliptile S 题解2023-05-1721.CF1183C Computer Game 题解2023-05-1722.CF1095E Almost Regular Bracket Sequence 题解2023-05-1723.abc256_e Takahashi's Anguish 题解2023-05-1724.abc260_g Scalene Triangle Area 题解2023-05-1625.P8714 填空问题 题解2023-05-0926.abc252_d Distinct Trio 题解2023-04-2927.abc252_f Bread 题解2023-04-2328.abc253_e Distance Sequence 题解2023-04-2329.abc250_e Prefix Equality 题解2023-04-1630.abc250_d 250-like Number 题解2023-04-1631.arc164_a Ternary Decomposition 题解2023-07-1232.abc275_f Erase Subarrays 题解2023-06-0233.abc275_e Sugoroku 4 题解2023-05-3134.abc274_d Robot Arms 2 题解2023-05-3135.abc260_f Find 4-cycle 题解2023-05-2436.abc260_e At Least One 题解2023-05-2437.abc273_e Notebook 题解2023-05-2438.abc271_f XOR on Grid Path 题解2023-05-2439.abc271_e Subsequence Path 题解2023-05-2240.abc271_c Manga 题解2023-05-2241.abc269_f Numbered Checker 题解2023-05-1842.abc270_f Transportation 题解2023-05-1743.CF1077E Thematic Contests 题解2023-05-1744.CF1935D Exam in MAC 题解2024-04-0145.CF1144G Two Merged Sequences 题解2024-06-1546.joi2022_yo2_c 国土分割 (Land Division) 题解2024-07-0947.P3588 PUS 题解2024-07-2048.CF1946F Nobody is needed 题解2024-08-03

收起

Swap and Sort

题意

有一个 $1\dots n$ 的全排列 $p_1\dots p_n$。

有 $m$ 种操作，第 $i$ 种操作可以交换 $p_{a_i}$ 和 $p_{b_i}$

请问最多执行 $5\times {10}^5$ 次操作能否使得 $p$ 升序排列。

• 如果可能，第一行输出操作次数，第二行输出操作序列
• 否则，输出-1

数据范围

• $2⩽n⩽1000$
• $1⩽m⩽min(2\times {10}^5,\frac{n(n-1)}{2})$
• $1⩽a_i<b_i⩽n$ 且当 $i\ne j$ 时 $(a_i,b_i)\ne (a_j,b_j)$

思路

建图

详见代码注释。

次数限制分析

首先来分析一下：

• 同一个操作执行了偶数次，就相当于没有执行
• 同一个操作执行了奇数次，就相当于执行$1$次

所以在操作次数尽量小的情况下，最多执行 $\frac{n^2}{2}$ 次。

然后就会惊喜地发现：$\frac{{1000}^2}{2}$ 就是 $5\times {10}^5$，也就是说，只要每个操作都是有意义的且在不限定次数的情况下是可以完成的，就是可以完成的。

图->树

接下来就需要把有环图转成树了。

由于我们分析了次数限制不是很重要，所以是可以断掉环上的任意的边的，因为不需要操作数量最小。

求答案

找答案其实很简单，只要注意细节，为了防止在交换之后原本处理好的节点重新被交换到了一个错误的地方，我们只能去求每棵树的叶子节点。

复杂度

• 时间：$O(n+m)$
• 空间：$O(n+m)$

Code

点击查看代码

#include <iostream>
#include <vector>
#include <queue>
 
using namespace std;
 
const int M = 2e5 + 10;
 
struct node {
  int x, id;
};
 
int n, m, a[1010], f[1010], l, r, num, b[1010], fa[1010];
vector<node> nv[1010], v[1010];
vector<int> ans;
queue<int> q;
 
void stree (int x) {
  f[x] = 1; // 标记这个节点在图中
  for (auto i : nv[x]) {
    if (!f[i.x]) {
      v[x].push_back({i.x, i.id}), v[i.x].push_back({x, i.id}), b[x]++, fa[i.x] = x, stree(i.x); // 记录这个节点的儿子
    }
  }
}
void dfs (int x, int y, int sum) {
  if (a[x] == l) { // 终于交换到了目的地
    num = sum; // 记录答案
    return ;
  }
  for (auto i : v[x]) {
    if (i.x != y) { // 不是上一个节点
      dfs(i.x, x, sum + 1); // 进行dfs
    }
    if (num != -1) { // 已经交换到了目的地
      ans.push_back(i.id);
      swap(a[x], a[i.x]); // 记得真正地交换一下
      return ;
    }
  }
}
void Ans () { // 求答案
  for (int i = 1; i <= n; i++) {
    if (!b[i]) { // 是叶子节点
      q.push(i);
    }
  }
  while (!q.empty()) {
    l = q.front(), num = -1, q.pop();
    dfs(l, 0, 0);
    if (num == -1) { // 到不了目标点
      cout << -1;
      exit(0);
    }
    b[fa[l]]--; // 当前点没了，它的父亲的儿子数量要减1
    if (!b[fa[l]]) { // 它的父亲成了叶子节点
      q.push(fa[l]); // 加入答案处理队伍
    }
  }
}
 
int main(){
  ios::sync_with_stdio(0), cin.tie(0);
  cin >> n;
  for (int i = 1; i <= n; i++) {
    cin >> a[i];
  }
  cin >> m;
  for (int i = 1; i <= m; i++) {
    cin >> l >> r, nv[r].push_back({l, i}), nv[l].push_back({r, i}); // 记录交换
  }
  for (int i = 1; i <= n; i++) {
    if (!f[i]) {
      stree(i); // 生成树
    }
  }
  Ans();
  cout << ans.size() << '\n';
  for (auto i : ans) {
    cout << i << ' '; // 处理操作序列
  }
  return 0;
}