結果

問題 No.2160 みたりのDominator
ユーザー hotman78hotman78
提出日時 2022-12-06 23:43:58
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
RE  
実行時間 -
コード長 4,098 bytes
コンパイル時間 2,586 ms
コンパイル使用メモリ 219,284 KB
実行使用メモリ 21,992 KB
最終ジャッジ日時 2024-10-13 11:00:13
合計ジャッジ時間 17,628 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,820 KB
testcase_01 AC 9 ms
7,936 KB
testcase_02 AC 3 ms
6,820 KB
testcase_03 RE -
testcase_04 RE -
testcase_05 RE -
testcase_06 RE -
testcase_07 RE -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 RE -
testcase_24 RE -
testcase_25 RE -
testcase_26 RE -
testcase_27 RE -
testcase_28 RE -
testcase_29 RE -
testcase_30 RE -
testcase_31 RE -
testcase_32 RE -
testcase_33 AC 3 ms
6,816 KB
testcase_34 AC 5 ms
7,936 KB
testcase_35 AC 3 ms
6,820 KB
testcase_36 WA -
testcase_37 WA -
testcase_38 RE -
testcase_39 RE -
testcase_40 WA -
testcase_41 WA -
testcase_42 WA -
testcase_43 WA -
testcase_44 WA -
testcase_45 WA -
testcase_46 WA -
testcase_47 WA -
testcase_48 WA -
testcase_49 WA -
testcase_50 WA -
testcase_51 WA -
testcase_52 WA -
testcase_53 WA -
testcase_54 WA -
testcase_55 RE -
testcase_56 RE -
testcase_57 RE -
testcase_58 RE -
testcase_59 RE -
testcase_60 RE -
testcase_61 RE -
testcase_62 RE -
testcase_63 RE -
testcase_64 RE -
testcase_65 RE -
testcase_66 RE -
testcase_67 RE -
testcase_68 RE -
testcase_69 RE -
testcase_70 RE -
testcase_71 RE -
testcase_72 RE -
testcase_73 RE -
testcase_74 RE -
testcase_75 RE -
testcase_76 RE -
testcase_77 RE -
testcase_78 RE -
testcase_79 RE -
testcase_80 RE -
testcase_81 RE -
testcase_82 RE -
testcase_83 WA -
61_evil_bias_nocross_01.txt WA -
61_evil_bias_nocross_02.txt WA -
61_evil_bias_nocross_03.txt WA -
61_evil_bias_nocross_04.txt AC 41 ms
10,420 KB
61_evil_bias_nocross_05.txt WA -
61_evil_bias_nocross_06.txt WA -
61_evil_bias_nocross_07.txt WA -
61_evil_bias_nocross_08.txt WA -
61_evil_bias_nocross_09.txt WA -
61_evil_bias_nocross_10.txt AC 29 ms
8,180 KB
61_evil_bias_nocross_11.txt AC 35 ms
9,316 KB
61_evil_bias_nocross_12.txt AC 45 ms
11,152 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i=0;i<int(n);++i)
#define all(n) (n).begin(),(n).end()
using lint=long long;
array<vector<lint>,3>ng;
array<vector<lint>,3>ok;
array<vector<lint>,3>rectx;
array<vector<lint>,3>recty;
array<vector<pair<lint,lint>>,3>judgex;
array<vector<pair<lint,lint>>,3>judgey;
vector<lint>v;

void pre(){
    int sz=rectx[2].size();
    v.resize(sz);
    rep(i,sz-1){
        v[i]=(ok[1][rectx[2][i+1]]-ok[1][rectx[2][i]])
            *(ok[2][recty[2][i+1]]-ok[2][recty[2][i]]);
    }
    rep(i,sz-1)v[i+1]+=v[i];
    //rep(i,sz){
        // cerr<<v[i]<<" \n"[i==sz-1];
    //}
}

lint getsum(lint p,lint q,lint r,lint s){
    int sz=rectx[2].size();
    lint a=lower_bound(all(rectx[2]),p)-rectx[2].begin();
    lint b=lower_bound(all(rectx[2]),q)-rectx[2].begin()-1;
    lint c=lower_bound(all(recty[2]),r)-recty[2].begin();
    lint d=lower_bound(all(recty[2]),s)-recty[2].begin()-1;
    //cerr<<p<<" "<<q<<" "<<r<<" "<<s<<endl;
    //cerr<<min(b,d)<<" "<<max(a,c)<<endl;
    lint ans=(min(b,d)-1>=max(a,c) ? v[min(b,d)-1]-v[max(a,c)] : 0);
    {
        lint i=min(b,d);
        ans+=max(0LL,ok[1][min(q,rectx[2][i+1])]-ok[1][max(p,rectx[2][i])])*max(0LL,ok[2][min(s,recty[2][i+1])]-ok[2][max(r,recty[2][i])]);
    }
    if(min(b,d)!=max(a,c)){
        lint i=max(a,c);
        ans+=max(0LL,ok[1][min(q,rectx[2][i+1])]-ok[1][max(p,rectx[2][i])])*max(0LL,ok[2][min(s,recty[2][i+1])]-ok[2][max(r,recty[2][i])]);
    }
    return ans;
}

int main(){
    array<int,3>n;
    int m;
    rep(i,3)cin>>n[i];
    cin>>m;
    vector<lint>s(m),t(m),a(m),b(m),u(m),v(m);
    lint n1=n[0],n2=n[0]+n[1],n3=n[0]+n[1]+n[2];
    rep(i,m){
        cin>>u[i]>>v[i];
        u[i]--;v[i]--;
        if(u[i]>v[i])swap(u[i],v[i]);
        if(u[i]==n3){
            cout<<0<<endl;
            return 0;
        }
        if(u[i]<n1){
            a[i]=u[i]+1;
            s[i]=0;
        }else if(u[i]<n2){
            a[i]=u[i]-n1+1;
            s[i]=1;
        }else{
            a[i]=u[i]-n2+1;
            s[i]=2;
        }
        if(v[i]==n3){
            t[i]=s[i];
            b[i]=n[a[i]]+1;
        }else if(v[i]==n3+1){
            t[i]=s[i];
            b[i]=0;
        }else if(v[i]<n1){
            t[i]=0;
            b[i]=v[i]+1;
        }else if(v[i]<n2){
            t[i]=1;
            b[i]=v[i]-n1+1;
        }else{
            t[i]=2;
            b[i]=v[i]-n2+1;
        }
    }
    rep(i,3)n[i]++;
    //rep(i,3)cerr<<n[i]<<" \n"[i==2];
    //rep(i,m)cerr<<s[i]<<" "<<t[i]<<" "<<a[i]<<" "<<b[i]<<endl;
    rep(i,3)ng[i].resize(n[i]+1);
    rep(i,3)ok[i].resize(n[i]+1);
    rep(i,3)rectx[i].emplace_back(0);
    rep(i,3)rectx[i].emplace_back(n[i==2]);
    rep(i,3)recty[i].emplace_back(0);
    rep(i,3)recty[i].emplace_back(n[2-(i==0)]);
    rep(i,m){
        //cerr<<s[i]<<" "<<t[i]<<endl;
        if(s[i]==t[i]){
            if(a[i]>b[i])swap(a[i],b[i]);
            ng[a[i]][s[i]]++;
            ng[b[i]][t[i]]--;
        }else{
            if(s[i]>t[i]){
                swap(s[i],t[i]);
                swap(a[i],b[i]);
            }
            int idx=s[i]+t[i]-1;
            rectx[idx].emplace_back(a[i]);
            recty[idx].emplace_back(b[i]);
            judgex[idx].emplace_back(a[i],i);
            judgey[idx].emplace_back(b[i],i);
        }
    }
    rep(i,3)rep(j,n[i])ng[i][j+1]+=ng[i][j];
    rep(i,3)rep(j,n[i])ok[i][j+1]=(ng[i][j]==0);
    rep(i,3)rep(j,n[i])ok[i][j+1]+=ok[i][j];
    rep(i,3)sort(all(rectx[i]));
    rep(i,3)sort(all(recty[i]));
    rep(i,3)sort(all(judgex[i]));
    rep(i,3)sort(all(judgey[i]));
    //rep(i,3)cout<<rectx[i].size()<<" \n"[i==2];
    // rep(i,3)assert(rectx[i].size()==recty[i].size());
    //rep(i,3)rep(j,n[i]+1){
    //    cout<<ok[i][j]<<" \n"[j==n[i]];
    //}
    int id1=0,id2=0;
    lint ans=0;
    pre();
    rep(i,n[0]){
        if(ng[0][i])continue;
        while(i>=rectx[0][id1+1])id1++;
        while(i>=rectx[1][id2+1])id2++;
        ans+=getsum(recty[0][id1],recty[0][id1+1],recty[1][id2],recty[1][id2+1]);
        //cerr<<ans<<endl;
    }
    cout<<ans<<endl;
/**/}
0