結果

問題 No.121 傾向と対策：門松列（その２）
ユーザー t98slidert98slider
提出日時 2022-05-26 00:30:48
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 794 ms / 5,000 ms
コード長 6,512 bytes
コンパイル時間 1,749 ms
コンパイル使用メモリ 178,096 KB
実行使用メモリ 34,584 KB
最終ジャッジ日時 2023-10-20 19:17:42
合計ジャッジ時間 6,112 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 21 ms
4,640 KB
testcase_01 AC 29 ms
5,168 KB
testcase_02 AC 4 ms
4,348 KB
testcase_03 AC 233 ms
11,664 KB
testcase_04 AC 794 ms
34,584 KB
testcase_05 AC 229 ms
11,664 KB
testcase_06 AC 183 ms
11,104 KB
testcase_07 AC 239 ms
11,104 KB
testcase_08 AC 274 ms
11,664 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#define all(v) v.begin(), v.end()
#define rall(v) v.rbegin(), v.rend()
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define drep(i,j,n) for(int i=0;i<(int)(n-1);i++)for(int j=i+1;j<(int)(n);j++)
#define trep(i,j,k,n) for(int i=0;i<(int)(n-2);i++)for(int j=i+1;j<(int)(n-1);j++)for(int k=j+1;k<(int)(n);k++)
#define codefor int test;scanf("%d",&test);while(test--)
#define INT(...) int __VA_ARGS__;in(__VA_ARGS__)
#define LL(...) ll __VA_ARGS__;in(__VA_ARGS__)
#define yes(ans) if(ans)printf("yes\n");else printf("no\n")
#define Yes(ans) if(ans)printf("Yes\n");else printf("No\n")
#define YES(ans) if(ans)printf("YES\n");else printf("NO\n")
#define popcount(v) __builtin_popcountll(v)
#define vector2d(type,name,h,...) vector<vector<type>>name(h,vector<type>(__VA_ARGS__))
#define vector3d(type,name,h,w,...) vector<vector<vector<type>>>name(h,vector<vector<type>>(w,vector<type>(__VA_ARGS__)))
#define vector4d(type,name,h,w,d,...) vector<vector<vector<vector<type>>>>name(h,vector<vector<vector<type>>>(w,vector<vector<type>>(d,vector<type>(__VA_ARGS__))))
using namespace std;
using ll = long long;
template<class T> using rpriority_queue = priority_queue<T, vector<T>, greater<T>>;
const int MOD=1000000007;
const int MOD2=998244353;
const int INF=1<<30;
const ll INF2=1LL<<60;
void scan(int& a){scanf("%d",&a);}
void scan(long long& a){scanf("%lld",&a);}
template<class T,class L>void scan(pair<T, L>& p){scan(p.first);scan(p.second);}
template<class T,class U,class V>void scan(tuple<T,U,V>& p){scan(get<0>(p));scan(get<1>(p));scan(get<2>(p));}
template<class T, size_t size> void scan(array<T, size>& a){ for(auto&& i : a) scan(i);}
template<class T> void scan(T& a){cin>>a;}
template<class T> void scan(vector<T>& vec){for(auto&& it:vec)scan(it);}
void in(){}
template <class Head, class... Tail> void in(Head& head, Tail&... tail){scan(head);in(tail...);}
void print(const int& a){printf("%d",a);}
void print(const long long& a){printf("%lld",a);}
void print(const double& a){printf("%.15lf",a);}
template<class T,class L>void print(const pair<T, L>& p){print(p.first);putchar(' ');print(p.second);}
template<class T> void print(const T& a){cout<<a;}
template<class T> void print(const vector<T>& vec){if(vec.empty())return;print(vec[0]);for(auto it=vec.begin();++it!= vec.end();){putchar(' ');print(*it);}}
void out(){putchar('\n');}
template<class T> void out(const T& t){print(t);putchar('\n');}
template <class Head, class... Tail> void out(const Head& head,const Tail&... tail){print(head);putchar(' ');out(tail...);}
template<class T> void dprint(const T& a){cerr<<a;}
template<class T> void dprint(const vector<T>& vec){if(vec.empty())return;cerr<<vec[0];for(auto it=vec.begin();++it!= vec.end();){cerr<<" "<<*it;}}
void debug(){cerr<<'\n';}
template<class T> void debug(const T& t){dprint(t);cerr<<endl;}
template <class Head, class... Tail> void debug(const Head& head, const Tail&... tail){dprint(head);cerr<<" ";debug(tail...);}
ll intpow(ll a, ll b){ ll ans = 1; while(b){ if(b & 1) ans *= a; a *= a; b /= 2; } return ans; }
ll modpow(ll a, ll b, ll p){ ll ans = 1; while(b){ if(b & 1) (ans *= a) %= p; (a *= a) %= p; b /= 2; } return ans; }
ll modinv(ll a, ll m) {ll b = m, u = 1, v = 0;while (b) {ll t = a / b;a -= t * b; swap(a, b);u -= t * v; swap(u, v);}u %= m;if (u < 0) u += m;return u;}
ll updivide(ll a,ll b){return (a+b-1)/b;}
template<class T> void chmax(T &a,const T b){if(b>a)a=b;}
template<class T> void chmin(T &a,const T b){if(b<a)a=b;}

template <class T> struct fenwick_tree {
    using U = T;

  public:
    fenwick_tree() : _n(0) {}
    fenwick_tree(int n) : _n(n), data(n) {}

    void add(int p, T x) {
        assert(0 <= p && p < _n);
        p++;
        while (p <= _n) {
            data[p - 1] += U(x);
            p += p & -p;
        }
    }

    T sum(int l, int r) {
        assert(0 <= l && l <= r && r <= _n);
        return sum(r) - sum(l);
    }

  private:
    int _n;
    std::vector<U> data;

    U sum(int r) {
        U s = 0;
        while (r > 0) {
            s += data[r - 1];
            r -= r & -r;
        }
        return s;
    }
};

template<class T> struct compressed_array{
    int N;
    vector<T> dat;
    const T operator[](int i) const { return dat[i]; }
    T operator[](int i) { return dat[i]; }
    compressed_array(){}
    compressed_array(vector<int> &a){
        dat=a;
    }
    void build(){
        sort(dat.begin(), dat.end());
        dat.erase(unique(dat.begin(), dat.end()), dat.end());
        N = dat.size();
    }
    int size(){return N;}
    void insert(const T v){
        dat.push_back(v);
    }
    void insert(vector<T> &a){
        for(int i = 0; i < a.size() ; i++)dat.push_back(a[i]);
    }
    //type1でfirst,type2でsecond
    void insert(vector<pair<T, T>> &a, int type){
        if(type==1){
            for(int i = 0; i < a.size(); i++)dat.push_back(a[i].first);
        }else{
            for(int i = 0; i < a.size(); i++)dat.push_back(a[i].second);
        }
    }
    template<size_t size> void insert(vector<array<T,size>> &a, int pos){
        assert(0 <= pos && pos < size);
        for(int i = 0; i < a.size() ; i++){
            dat.push_back(a[i][pos]);
        }
    }
    int load(T &v){
        return lower_bound(dat.begin(), dat.end(), v) - dat.begin();
    }
    void load(vector<T> &a){
        for(int i = 0; i < a.size() ; i++)a[i] = load(a[i]);
    }
    void load(vector<pair<T, T>> &a, int type){
        if(type==1){
            for(int i = 0; i < a.size(); i++)a[i].first = load(a[i].first);
        }else{
            for(int i = 0; i < a.size(); i++)a[i].second = load(a[i].second);
        }
    }
    template<size_t size> void load(vector<array<T,size>> &a, int pos){
        assert(0 <= pos && pos < size);
        for(int i = 0; i < a.size() ; i++){
            a[i][pos] = load(a[i][pos]);
        }
    }
};

int main(){
    INT(n);
    vector<int> a(n);
    in(a);
    compressed_array<int> ca(a);
    ca.build();
    ca.load(a);
    vector<ll> mul(ca.size());
    fenwick_tree<ll> fw1(ca.size()),fw2(ca.size());
    rep(i,n)fw2.add(a[i],1);
    ll ans = 0, s = 0;
    for(int i=0;i<n;i++){
        s -= mul[a[i]];
        fw2.add(a[i],-1);
        ll ul = fw1.sum(a[i]+1,ca.size()), ur = fw2.sum(a[i]+1,ca.size());
        ll dl = fw1.sum(0,a[i]), dr = fw2.sum(0, a[i]);
        ans += ul * ur + dl * dr - s;
        fw1.add(a[i],1);
        mul[a[i]] = fw1.sum(a[i],a[i]+1) * fw2.sum(a[i],a[i]+1);
        s += mul[a[i]];
    }
    out(ans);
}
0