#484669 (C++17) No.1051 PQ Permutation

提出ソース

結果

問題	No.1051 PQ Permutation
ユーザー	tac
提出日時	2020-05-22 12:58:30
言語	C++17 (gcc 13.2.0 + boost 1.83.0)
結果	WA
実行時間	-
コード長	3,595 bytes
コンパイル時間	2,641 ms
コンパイル使用メモリ	207,524 KB
実行使用メモリ	12,728 KB
最終ジャッジ日時	2024-04-15 02:21:39
合計ジャッジ時間	9,775 ms
ジャッジサーバーID （参考情報）	judge1 / judge3

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 11,028 KB
testcase_01	AC	2 ms 5,376 KB
testcase_02	AC	2 ms 5,376 KB
testcase_03	AC	2 ms 5,376 KB
testcase_04	AC	2 ms 5,376 KB
testcase_05	AC	2 ms 5,376 KB
testcase_06	AC	2 ms 5,376 KB
testcase_07	AC	2 ms 5,376 KB
testcase_08	AC	2 ms 5,376 KB
testcase_09	AC	2 ms 5,376 KB
testcase_10	AC	2 ms 5,376 KB
testcase_11	AC	2 ms 5,376 KB
testcase_12	AC	2 ms 5,376 KB
testcase_13	AC	2 ms 5,376 KB
testcase_14	AC	2 ms 5,376 KB
testcase_15	AC	58 ms 7,060 KB
testcase_16	AC	55 ms 6,848 KB
testcase_17	AC	38 ms 5,376 KB
testcase_18	AC	38 ms 5,376 KB
testcase_19	AC	38 ms 5,376 KB
testcase_20	AC	51 ms 6,072 KB
testcase_21	AC	51 ms 6,036 KB
testcase_22	AC	38 ms 5,376 KB
testcase_23	AC	49 ms 6,064 KB
testcase_24	AC	49 ms 5,956 KB
testcase_25	AC	5 ms 5,376 KB
testcase_26	AC	3 ms 5,376 KB
testcase_27	AC	3 ms 5,376 KB
testcase_28	AC	7 ms 5,376 KB
testcase_29	AC	4 ms 5,376 KB
testcase_30	AC	5 ms 5,376 KB
testcase_31	AC	2 ms 5,376 KB
testcase_32	AC	5 ms 5,376 KB
testcase_33	AC	2 ms 5,376 KB
testcase_34	AC	2 ms 5,376 KB
testcase_35	AC	21 ms 5,376 KB
testcase_36	AC	22 ms 5,376 KB
testcase_37	AC	22 ms 5,376 KB
testcase_38	AC	42 ms 7,032 KB
testcase_39	AC	26 ms 6,012 KB
testcase_40	AC	36 ms 5,376 KB
testcase_41	AC	40 ms 6,016 KB
testcase_42	WA	-
testcase_43	AC	2 ms 5,376 KB
testcase_44	AC	2 ms 5,376 KB
testcase_45	AC	2 ms 5,376 KB
testcase_46	AC	2 ms 5,376 KB
testcase_47	WA	-
testcase_48	TLE	-

権限があれば一括ダウンロードができます

ソースコード

raw source code

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define F first
#define S second
#define pii pair<int, int>
#define pli pair<ll, int>
#define pil pair<int, ll>
#define pll pair<ll, ll>
#define eb emplace_back
#define all(v) v.begin(), v.end()
#define rep(i, n) for (int i = 0; i < (n); ++i)
#define rep3(i, l, n) for (int i = l; i < (n); ++i)
#define sz(v) (int)v.size()
#define endl '\n'
const int inf = 1000000007;
const ll INF = 1e18;
// int mod = 998244353;
int mod = 1000000007;
#define abs(x) (x >= 0 ? x : -(x))
#define lb(v, x) (int)(lower_bound(all(v), x) - v.begin())
#define ub(v, x) (int)(upper_bound(all(v), x) - v.begin())
template<typename T1, typename T2> inline bool chmin(T1 &a, T2 b) { if (a > b) { a = b; return 1; } return 0; }
template<typename T1, typename T2> inline bool chmax(T1 &a, T2 b) { if (a < b) { a = b; return 1; } return 0; }
ll gcd(ll a, ll b) { if (b == 0) return a; return gcd(b, a % b); }
ll lcm(ll a, ll b) { return a / gcd(a, b) * b; }
template<typename T, typename U> T pow_(T a, U b) { return b ? pow_(a * a, b / 2) * (b % 2 ? a : 1) : 1; }
ll modpow(ll a, ll b, ll _mod) { return b ? modpow(a * a % _mod, b / 2, _mod) * (b % 2 ? a : 1) % _mod : 1; }
template<class T, class U> ostream& operator << (ostream& os, const pair<T, U>& p) { os << p.F << " " << p.S; return os; }
template<class T> ostream& operator << (ostream& os, const vector<T>& vec) { rep(i, sz(vec)) { if (i) os << " "; os << vec[i]; } return os; }
template<typename T> inline istream& operator >> (istream& is, vector<T>& v) { rep(j, sz(v)) is >> v[j]; return is; }
template<class T, class T2> inline void add(T &a, T2 b) { a += b; if (a >= mod) a -= mod; }
template<class T> void operator += (vector<T>& v, vector<T> v2) { rep(i, sz(v2)) v.eb(v2[i]); }

void solve();

int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  cout << fixed << setprecision(11);
  int T;
  T = 1;
  while (T--) solve();
}

// https://betrue12.hateblo.jp/entry/2020/05/09/001843
void solve() {
  int n;
  cin >> n;
  int p, q;
  cin >> p >> q;
  vector<int> a(n);
  cin >> a;

  // 降順
  // next_permutaion したら小さくなる
  auto check = [&]() {
    rep(i, n) {
      if (a[i] != n - i) return;
    }
    rep(i, n) {
      if (a[i] == q) { cout << -1 << endl; exit(0); }
      if (a[i] == p) { cout << a << endl; exit(0); }
    }
    return;
  };
  auto manu = [&]() {
    // 1 つ大きくする
    int c = 0;
    do {
      if (c++ == 1) break;
    } while (next_permutation(all(a)));
    // cerr << l << "  " << a << endl;

    // p が q の手前か
    rep(i, n) {
      if (a[i] == q) return;
      if (a[i] == p) { cout << a << endl; exit(0); }
    }
  };
  rep(l, n) {
    check();
    manu();

    // 少なくとも先頭から q までの並びが崩れないと
    // q の後ろを降順にして 1 つ進める
    vector<int> v, v2;
    int flg = 0;
    rep(i, n) {
      if (flg == 0) v.eb(a[i]);
      else v2.eb(a[i]);

      if (a[i] == q) flg = 1;
    }
    sort(all(v2), greater<int>());
    v += v2;
    a = v;
    check();
    manu();

    // p が q の後ろ, p の方が大きい
    // p の直後に q を持ってくる
    if (p > q) {
      v.clear();
      rep(i, n) {
        if (a[i] == q) continue;
        v.eb(a[i]);
        if (a[i] == p) v.eb(q);
      }
      cout << v << endl;
      return;
    }

    int id = -1, id2 = -1;
    rep(i, n) if (a[i] == q) id = i;
    for (int i = id - 1; i >= 0; --i) {
      if (a[i] < a[i + 1]) {
        id2 = i;
        break;
      }
    }
    swap(a[id], a[id2]);
  }
}

yukicoder

結果

テストケース

ソースコード