結果

問題 No.742 にゃんにゃんにゃん　猫の挨拶
コンテスト
ユーザー first_vil
提出日時 2020-07-21 22:36:11
言語 C++17
(gcc 13.3.0 + boost 1.89.0)
結果
AC  
実行時間 13 ms / 2,500 ms
コード長 5,569 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 2,245 ms
コンパイル使用メモリ 206,364 KB
最終ジャッジ日時 2025-01-12 01:41:59
ジャッジサーバーID
（参考情報） 		judge5 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 16
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ld = long double;
using VI = vector<int>;
using VL = vector<ll>;
using VS = vector<string>;
template<class T> using PQ = priority_queue<T, vector<T>, greater<T>>;
#define FOR(i,a,n) for(int i=(a);i<(n);++i)
#define eFOR(i,a,n) for(int i=(a);i<=(n);++i)
#define rFOR(i,a,n) for(int i=(n)-1;i>=(a);--i)
#define erFOR(i,a,n) for(int i=(n);i>=(a);--i)
#define each(i, a) for(auto &i : a)
#define SORT(a) sort(a.begin(),a.end())
#define rSORT(a) sort(a.rbegin(),a.rend())
#define fSORT(a,f) sort(a.begin(),a.end(),f)
#define all(a) a.begin(),a.end()
#define out(y,x) ((y)<0||h<=(y)||(x)<0||w<=(x))
#define tp(a,i) get<i>(a)
#define line cout << "-----------------------------\n" 
#define ENDL(i,n) ((i) == (n) - 1 ? "\n" : " ")
#define stop system("pause")
constexpr ll INF = 1000000000;
constexpr ll LLINF = 1LL << 60;
constexpr ll mod = 1000000007;
constexpr ll MOD = 998244353;
constexpr ld eps = 1e-10;
constexpr ld pi = 3.1415926535897932;
template<class T>inline bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; }return false; }
template<class T>inline bool chmin(T& a, const T& b) { if (a > b) { a = b; return true; }return false; }
inline void init() { cin.tie(nullptr); cout.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(15); }
template<class T>inline istream& operator>>(istream& is, vector<T>& v) { for (auto& a : v)is >> a; return is; }
template<class T>inline istream& operator>>(istream& is, deque<T>& v) { for (auto& a : v)is >> a; return is; }
template<class T, class U>inline istream& operator>>(istream& is, pair<T, U>& p) { is >> p.first >> p.second; return is; }
template<class T>inline vector<T> vec(size_t a) { return vector<T>(a); }
template<class T>inline vector<T> defvec(T def, size_t a) { return vector<T>(a, def); }
template<class T, class... Ts>inline auto vec(size_t a, Ts... ts) { return vector<decltype(vec<T>(ts...))>(a, vec<T>(ts...)); }
template<class T, class... Ts>inline auto defvec(T def, size_t a, Ts... ts) { return vector<decltype(defvec<T>(def, ts...))>(a, defvec<T>(def, ts...)); }
template<class T>inline void print(const T& a) { cout << a << "\n"; }
template<class T, class... Ts>inline void print(const T& a, const Ts&... ts) { cout << a << " "; print(ts...); }
template<class T>inline void print(const vector<T>& v) { for (int i = 0; i < v.size(); ++i)cout << v[i] << (i == v.size() - 1 ? "\n" : " "); }
template<class T>inline void print(const vector<vector<T>>& v) { for (auto& a : v)print(a); }
inline string reversed(const string& s) { string t = s; reverse(all(t)); return t; }

template<class T> class segtree {
	using F1 = function<T(T, T)>;
	using F2 = function<void(T&, T)>;
	using F3 = function<bool(T, T)>;
	T unit;
	F1 f1;
	F2 f2;
	F3 f3; bool s3 = false;

	int n, real_n;
	vector<T> dat;
	vector<pair<int, int>> range;
public:
	segtree() {}
	segtree(const int& _n, const F1& _f1, const F2& _f2, const T _unit)
		: real_n(_n), f1(_f1), f2(_f2), unit(_unit) {
		init1();
	}
	segtree(const int& _n, const F1& _f1, const F2& _f2, const F3& _f3, const T _unit)
		: real_n(_n), f1(_f1), f2(_f2), f3(_f3), unit(_unit), s3(true) {
		init1(), init2();
	}
	segtree(const vector<T>& _dat, const F1& _f1, const F2& _f2, const T _unit)
		: real_n(_dat.size()), f1(_f1), f2(_f2), unit(_unit) {
		init1();
		FOR(i, 0, real_n)dat[i + n] = _dat[i];
		init2(true);
	}
	segtree(const vector<T>& _dat, const F1& _f1, const F2& _f2, const F3& _f3, const T _unit)
		: real_n(_dat.size()), f1(_f1), f2(_f2), f3(_f3), unit(_unit), s3(true) {
		init1();
		FOR(i, 0, real_n)dat[i + n] = _dat[i];
		init2(true);
	}
	inline void init1() {
		n = 1;
		while (n < real_n)n <<= 1;
		dat.assign(n << 1, unit);
		if (s3)range.assign(n << 1, { 0,0 });
	}
	inline void init2(bool with_array = false) {
		if (s3)FOR(i, 0, n)range[n + i] = make_pair(i, i + 1);
		rFOR(i, 1, n) {
			if (with_array)dat[i] = f1(dat[i << 1], dat[i << 1 | 1]);
			if (s3)range[i] = make_pair(range[i << 1].first, range[i << 1 | 1].second);
		}
	}
	inline void update(int i, T a) {
		i += n;
		f2(dat[i], a);
		while (1 < i) {
			i >>= 1;
			dat[i] = f1(dat[i << 1], dat[i << 1 | 1]);
		}
	}
	inline T value(int l, int r) {
		T ret = unit;
		for (l += n, r += n; l < r; l >>= 1, r >>= 1) {
			if (l & 1)ret = f1(ret, dat[l++]);
			if (r & 1)ret = f1(ret, dat[--r]);
		}
		return ret;
	}
	inline int binary_search(T a) {
		assert(s3);
		if (!f3(dat[1], a))return real_n;
		int idx = 2;
		T cur = unit;
		for (; idx < n << 1; idx <<= 1) {
			if (!f3(f1(cur, dat[idx]), a)) {
				cur = f1(cur, dat[idx++]);
			}
		}
		return min((idx >> 1) - n, real_n);
	}
	inline int binary_search(int l, int r, T a) {
		assert(s3);
		T cur = unit;
		int ret = l;
		for (int idx = n + l; idx < n << 1 && ret < r;) {
			if (range[idx].second <= r && !f3(f1(cur, dat[idx]), a)) {
				cur = f1(cur, dat[idx]);
				ret = range[idx++].second;
				if (!(idx & 1))idx >>= 1;
			}
			else idx <<= 1;
		}
		return ret;
	}
	inline T operator[](int i) { return dat[i + n]; }
};

int main() {
    init();

	int n; cin >> n;
	VI m(n);
	FOR(i, 0, n) {
		cin >> m[i];
		--m[i];
	}

	int ans = 0;
	{
		segtree<int> seg(VI(n),
			[](int x, int y) {return x + y; },
			[](int& x, int y) {x += y; }, 0);
		FOR(i, 0, n) {
			ans += seg.value(m[i], i);
			seg.update(m[i], 1);
		}
	}
	{
		segtree<int> seg(VI(n),
			[](int x, int y) {return x + y; },
			[](int& x, int y) {x += y; }, 0);
		rFOR(i, 0, n) {
			ans += seg.value(i, m[i]);
			seg.update(m[i], 1);
		}
	}
	print(ans);

    return 0;
}
0