結果

問題 No.1888 Odd Insertion
ユーザー miscalcmiscalc
提出日時 2021-11-12 20:42:27
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 472 ms / 2,000 ms
コード長 1,878 bytes
コンパイル時間 2,045 ms
コンパイル使用メモリ 211,356 KB
実行使用メモリ 11,776 KB
最終ジャッジ日時 2024-06-29 06:04:03
合計ジャッジ時間 17,854 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 1 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 1 ms
5,376 KB
testcase_05 AC 1 ms
5,376 KB
testcase_06 AC 56 ms
7,168 KB
testcase_07 AC 58 ms
7,168 KB
testcase_08 AC 448 ms
11,776 KB
testcase_09 AC 472 ms
11,648 KB
testcase_10 AC 455 ms
11,776 KB
testcase_11 AC 448 ms
11,776 KB
testcase_12 AC 444 ms
11,776 KB
testcase_13 AC 466 ms
11,776 KB
testcase_14 AC 444 ms
11,776 KB
testcase_15 AC 457 ms
11,648 KB
testcase_16 AC 68 ms
7,040 KB
testcase_17 AC 451 ms
11,776 KB
testcase_18 AC 69 ms
7,040 KB
testcase_19 AC 66 ms
7,040 KB
testcase_20 AC 67 ms
7,168 KB
testcase_21 AC 72 ms
7,040 KB
testcase_22 AC 70 ms
7,168 KB
testcase_23 AC 66 ms
7,296 KB
testcase_24 AC 67 ms
7,168 KB
testcase_25 AC 66 ms
7,168 KB
testcase_26 AC 418 ms
11,776 KB
testcase_27 AC 418 ms
11,776 KB
testcase_28 AC 421 ms
11,776 KB
testcase_29 AC 62 ms
7,168 KB
testcase_30 AC 61 ms
7,296 KB
testcase_31 AC 62 ms
7,168 KB
testcase_32 AC 414 ms
11,776 KB
testcase_33 AC 417 ms
11,776 KB
testcase_34 AC 423 ms
11,776 KB
testcase_35 AC 432 ms
11,776 KB
testcase_36 AC 430 ms
11,648 KB
testcase_37 AC 429 ms
11,776 KB
testcase_38 AC 432 ms
11,776 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