結果
| 問題 | No.1687 What the Heck? | 
| コンテスト | |
| ユーザー |  batsumaru | 
| 提出日時 | 2021-09-24 21:40:23 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 240 ms / 2,000 ms | 
| コード長 | 1,053 bytes | 
| コンパイル時間 | 1,795 ms | 
| コンパイル使用メモリ | 173,772 KB | 
| 実行使用メモリ | 14,208 KB | 
| 最終ジャッジ日時 | 2024-07-05 10:15:47 | 
| 合計ジャッジ時間 | 4,167 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 | 
| other | AC * 18 | 
ソースコード
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<ll, ll> P;
#define DUMP(x) cout << #x << " = " << (x) << endl;
#define FOR(i, m, n) for (ll i = m; i < n; i++)
#define IFOR(i, m, n) for (ll i = n - 1; i >= m; i--)
#define REP(i, n) FOR(i, 0, n)
#define IREP(i, n) IFOR(i, 0, n)
#define ALL(v) (v).begin(), (v).end()
#define SZ(x) ll(x.size())
int main() {
  ll n;
  cin >> n;
  vector<ll> a(n);
  set<ll> st;
  FOR(i, 1, n + 1) { st.insert(i); }
  REP(i, n) { cin >> a[i]; }
  if (n == 1) {
    cout << 0 << endl;
    return 0;
  }
  ll ans = 0;
  IREP(i, n) {
    auto it = st.lower_bound(a[i] + 1);
    auto it2 = st.lower_bound(a[i]);
    if (it == st.end()) {
      if (it2 == st.end()) {
        ans -= i + 1;
        st.erase(st.begin());
      } else {
        st.erase(it2);
      }
    } else {
      ans += i + 1;
      st.erase(it);
    }
  }
  ll c = n * (n + 1) / 2;
  REP(i, n) {
    if (a[i] == n) {
      c -= 2 * (i + 1);
    }
  }
  ans = max(ans, c);
  ans = max(ans, 0LL);
  cout << ans << endl;
}
            
            
            
        