結果

問題 No.1888 Odd Insertion
ユーザー miscalcmiscalc
提出日時 2021-11-12 20:42:27
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 491 ms / 2,000 ms
コード長 1,878 bytes
コンパイル時間 2,362 ms
コンパイル使用メモリ 208,340 KB
実行使用メモリ 11,600 KB
最終ジャッジ日時 2023-09-11 15:57:33
合計ジャッジ時間 19,424 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 2 ms
4,376 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 1 ms
4,376 KB
testcase_06 AC 58 ms
7,236 KB
testcase_07 AC 57 ms
7,056 KB
testcase_08 AC 489 ms
11,600 KB
testcase_09 AC 481 ms
11,532 KB
testcase_10 AC 468 ms
11,484 KB
testcase_11 AC 481 ms
11,528 KB
testcase_12 AC 489 ms
11,532 KB
testcase_13 AC 486 ms
11,528 KB
testcase_14 AC 491 ms
11,556 KB
testcase_15 AC 487 ms
11,548 KB
testcase_16 AC 68 ms
6,996 KB
testcase_17 AC 490 ms
11,492 KB
testcase_18 AC 68 ms
6,992 KB
testcase_19 AC 70 ms
7,124 KB
testcase_20 AC 69 ms
7,040 KB
testcase_21 AC 70 ms
6,988 KB
testcase_22 AC 68 ms
7,032 KB
testcase_23 AC 70 ms
6,960 KB
testcase_24 AC 69 ms
6,996 KB
testcase_25 AC 71 ms
7,256 KB
testcase_26 AC 451 ms
11,528 KB
testcase_27 AC 451 ms
11,524 KB
testcase_28 AC 451 ms
11,548 KB
testcase_29 AC 62 ms
7,044 KB
testcase_30 AC 64 ms
7,124 KB
testcase_31 AC 65 ms
7,004 KB
testcase_32 AC 453 ms
11,600 KB
testcase_33 AC 456 ms
11,484 KB
testcase_34 AC 477 ms
11,484 KB
testcase_35 AC 452 ms
11,532 KB
testcase_36 AC 453 ms
11,528 KB
testcase_37 AC 464 ms
11,428 KB
testcase_38 AC 452 ms
11,488 KB
権限があれば一括ダウンロードができます

ソースコード

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