#include "bits/stdc++.h" using namespace std; using LL = long long; #define FOR(i, l, r) for(int i = (l); i <= (r); ++i) #define REP(i, n) FOR(i, 0, (n) - 1) template<class T> int size(T &&x) { return int(x.size()); } template<class A, class B> ostream& operator<<(ostream &out, const pair<A, B> &p) { return out << '(' << p.first << ", " << p.second << ')'; } ostream& operator<<(ostream &out, string &str) { for(char c: str) out << c; return out; } template<class T> auto operator<<(ostream &out, T &&x) -> decltype(x.begin(), out) { out << '{'; for(auto it = x.begin(); it != x.end(); ++it) out << *it << (it == prev(x.end()) ? "" : ", "); return out << '}'; } void dump() {} template<class T, class... Args> void dump(T &&x, Args... args) { cerr << x << "; "; dump(args...); } #ifdef DEBUG struct Nl{~Nl(){cerr << '\n';}}; # define debug(x...) cerr << (strcmp(#x, "") ? #x ": " : ""), dump(x), Nl(), cerr << "" #else # define debug(...) 0 && cerr #endif mt19937_64 rng(0); int rd(int l, int r) { return uniform_int_distribution<int>(l, r)(rng); } // end of templates int main() { cin.tie(nullptr)->sync_with_stdio(false); int n; cin >> n; vector<pair<int, int>> vec(n); REP(i, n) { cin >> vec[i].first; vec[i].second = i; } sort(vec.rbegin(), vec.rend()); debug(vec); set<int> pos; LL ans = 0; for(auto [x, y]: vec) { int l, r; pos.insert(y); l = *pos.begin(), r = *--pos.end(); debug(l, r, x, y); int a = l, b = n - r - 1, c = n - x - (r - l + 1 - (n - x + 1)); debug(a, b, c); if(0 <= c and a + b >= c) { int p = min(a, c); int q = min(b, c); debug(p, q); ans += p + q - c + 1; } --c; if(0 <= c and a + b >= c and x != n) { int p = min(a, c); int q = min(b, c); debug(p, q); ans += p + q - c + 1; } } cout << 2 * n + 1 << ' ' << ans << '\n'; }
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 | #include "bits/stdc++.h" using namespace std; using LL = long long; #define FOR(i, l, r) for(int i = (l); i <= (r); ++i) #define REP(i, n) FOR(i, 0, (n) - 1) template<class T> int size(T &&x) { return int(x.size()); } template<class A, class B> ostream& operator<<(ostream &out, const pair<A, B> &p) { return out << '(' << p.first << ", " << p.second << ')'; } ostream& operator<<(ostream &out, string &str) { for(char c: str) out << c; return out; } template<class T> auto operator<<(ostream &out, T &&x) -> decltype(x.begin(), out) { out << '{'; for(auto it = x.begin(); it != x.end(); ++it) out << *it << (it == prev(x.end()) ? "" : ", "); return out << '}'; } void dump() {} template<class T, class... Args> void dump(T &&x, Args... args) { cerr << x << "; "; dump(args...); } #ifdef DEBUG struct Nl{~Nl(){cerr << '\n';}}; # define debug(x...) cerr << (strcmp(#x, "") ? #x ": " : ""), dump(x), Nl(), cerr << "" #else # define debug(...) 0 && cerr #endif mt19937_64 rng(0); int rd(int l, int r) { return uniform_int_distribution<int>(l, r)(rng); } // end of templates int main() { cin.tie(nullptr)->sync_with_stdio(false); int n; cin >> n; vector<pair<int, int>> vec(n); REP(i, n) { cin >> vec[i].first; vec[i].second = i; } sort(vec.rbegin(), vec.rend()); debug(vec); set<int> pos; LL ans = 0; for(auto [x, y]: vec) { int l, r; pos.insert(y); l = *pos.begin(), r = *--pos.end(); debug(l, r, x, y); int a = l, b = n - r - 1, c = n - x - (r - l + 1 - (n - x + 1)); debug(a, b, c); if(0 <= c and a + b >= c) { int p = min(a, c); int q = min(b, c); debug(p, q); ans += p + q - c + 1; } --c; if(0 <= c and a + b >= c and x != n) { int p = min(a, c); int q = min(b, c); debug(p, q); ans += p + q - c + 1; } } cout << 2 * n + 1 << ' ' << ans << '\n'; } |