結果

問題 No.1888 Odd Insertion
コンテスト
ユーザー miscalc
提出日時 2021-11-12 20:42:27
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 528 ms / 2,000 ms
コード長 1,878 bytes
コンパイル時間 2,439 ms
コンパイル使用メモリ 203,800 KB
最終ジャッジ日時 2025-01-25 15:28:57
ジャッジサーバーID
（参考情報） 		judge2 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 37
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

#include <atcoder/fenwicktree>
#include <atcoder/lazysegtree>
using namespace atcoder;

int op(int a, int b) { return max(a, b); }
int e() { return -1e9; }
int mapping(int f, int x) { return f + x; }
int composition(int f, int g) { return f + g; }
int id() { return 0; }

int target;
bool g(int x) { return x < target; }

vector<int> insertedA(vector<int> &X, vector<int> &Y)
{
  int N = X.size();
  vector<int> P(N);
  for (int i = 0; i < N; i++)
  {
    P.at(i) = i;
  }
  lazy_segtree<int, op, e, int, mapping, composition, id> seg(P);
  vector<int> A(N);
  for (int i = N - 1; i >= 0; i--)
  {
    target = Y.at(i);
    int r = seg.max_right<g>(0);
    A.at(r) = X.at(i);
    seg.apply(r, N, -1);
  }
  return A;
}

int main()
{
  int N;
  cin >> N;
  vector<int> P(N);
  for (int i = 0; i < N; i++)
  {
    cin >> P.at(i);
    P.at(i)--;
  }

  vector<int> Q(N);
  for (int i = 0; i < N; i++)
  {
    Q.at(P.at(i)) = i;
  }

  fenwick_tree<int> fw(N);

  vector<int> X(N), Y(N);
  int cnt = 0;
  for (int i = 0; i < N - 1; i++)
  {
    int y1 = fw.sum(0, Q.at(i));
    int y2 = fw.sum(0, Q.at(i + 1));

    if (y1 % 2 != 0 && y2 % 2 != 0)
    {
      cout << "No" << endl;
      cerr << i << endl;
      return 0;
    }

    if (y2 % 2 == 0)
    {
      if (y1 % 2 != 0 || Q.at(i) < Q.at(i + 1))
      {
        swap(Q.at(i), Q.at(i + 1));
        swap(y1, y2);

        if (y1 % 2 == 0)
        {
          cnt++;
        }
      }
    }

    X.at(i) = P.at(Q.at(i));
    Y.at(i) = y1;

    fw.add(Q.at(i), 1);
  }
  X.back() = P.at(Q.back());
  Y.back() = fw.sum(0, Q.back());
  if (Y.back() % 2 != 0)
  {
    cout << "No" << endl;
    return 0;
  }

  cout << "Yes" << endl;
  for (int i = 0; i < N; i++)
  {
    cout << X.at(i) + 1 << " " << Y.at(i) + 1 << endl;
  }

  vector<int> A = insertedA(X, Y);
  assert(P == A);
}
0