답안 #938497

# 제출 시각 아이디 문제 언어 결과 실행 시간 메모리
938497 2024-03-05T08:10:57 Z guagua0407 조이터에서 친구를 만드는건 재밌어 (JOI20_joitter2) C++17
0 / 100
0 ms 344 KB
//#pragma GCC optimize("O3")
#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int,int>
#define f first
#define s second
#define all(x) x.begin(),x.end()
#define _ ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);

int dx[4]={0,0,1,-1};
int dy[4]={1,-1,0,0};

void setIO(string s) {
    freopen((s + ".in").c_str(), "r", stdin);
    freopen((s + ".out").c_str(), "w", stdout);
}

vector<map<int,int>> S1,S2,R1,R2;
vector<set<int>> belong;
queue<pair<int,int>> q;
ll ans=0;

struct DSU{
    vector<int> e;
    DSU(int n){
        e=vector<int>(n,-1);
        for(int i=0;i<n;i++){
            belong[i].insert(i);
        }
    }
    int find(int x){
        return (e[x]<0?x:e[x]=find(e[x]));
    }
    bool same(int a,int b){
        return find(a)==find(b);
    }
    int sz(int x){
        return -e[find(x)];
    }
    bool unite(int a,int b){
        a=find(a);
        b=find(b);
        if(a==b) return false;
        ans+=2ll*sz(a)*sz(b)-1ll*S2[a][b]*sz(b)-1ll*S2[b][a]*sz(a);
        //cout<<S2[a][b]<<' '<<sz(b)<<'\n';
        //cout<<S2[b][a]<<' '<<sz(a)<<'\n';
        //cout<<a+1<<' '<<b+1<<' '<<2ll*sz(a)*sz(b)-1ll*S2[a][b]*sz(b)-1ll*S2[b][a]*sz(a)<<'\n';
        // clear (a,b) edges
        S2[a].erase(b);
        S2[b].erase(a);
        R2[a].erase(b);
        R2[b].erase(a);
        int cnt=0;

        if(R1[a].size()<sz(b)){
            for(auto it=R1[a].begin();it!=R1[a].end();){
                if(find((*it).f)==b){
                    S1[(*it).f].erase(a);
                    it=R1[a].erase(it);
                }
                else{
                    it++;
                }
            }
        }
        else{
            for(auto v:belong[b]){
                if(S1[v].find(a)!=S1[v].end()){
                    R1[a].erase(v);
                    S1[v].erase(a);
                }
            }
        }
        swap(a,b);
        if(R1[a].size()<sz(b)){
            for(auto it=R1[a].begin();it!=R1[a].end();){
                if(find((*it).f)==b){
                    S1[(*it).f].erase(a);
                    it=R1[a].erase(it);
                }
                else{
                    it++;
                }
            }
        }
        else{
            for(auto v:belong[b]){
                if(S1[v].find(a)!=S1[v].end()){
                    R1[a].erase(v);
                    S1[v].erase(a);
                }
            }
        }

        //new one way edges
        if(R1[a].size()<R1[b].size()) swap(a,b);
        for(auto v:R1[b]){
            if(R1[a].find(v.f)!=R1[a].end()){
                cnt++;
            }
        }
        ans+=1ll*((int)R1[a].size()-cnt)*sz(b)+1ll*((int)R1[b].size()-cnt)*sz(a);
        //out<<a+1<<' '<<b+1<<' '<<1ll*((int)R1[a].size()-cnt)*sz(b)+1ll*((int)R1[b].size()-cnt)*sz(a)<<'\n';
        //new scc edges
        if(R2[a].size()<S2[b].size()){
            for(auto v:R2[a]){
                if(S2[b].find(v.f)!=S2[b].end()){
                    q.push({v.f,b});
                }
            }
        }
        else{
            for(auto v:S2[b]){
                if(R2[a].find(v.f)!=R2[a].end()){
                    q.push({v.f,a});
                }
            }
        }
        swap(a,b);
        if(R2[a].size()<S2[b].size()){
            for(auto v:R2[a]){
                if(S2[b].find(v.f)!=S2[b].end()){
                    q.push({v.f,b});
                }
            }
        }
        else{
            for(auto v:S2[b]){
                if(R2[a].find(v.f)!=R2[a].end()){
                    q.push({v.f,a});
                }
            }
        }
        // merge
        if(R1[a].size()<R1[b].size()) swap(a,b);
        for(auto v:R1[b]){
            if(R1[a].find(v.f)!=R1[a].end()){
                S2[find(v.f)][b]--;
                R2[b][find(v.f)]--;
            }
        }
        if(S2[a].size()<S2[b].size()) swap(a,b);
        for(auto v:S2[b]){
            S2[a][v.f]+=v.s;
            R2[v.f].erase(b);
            R2[v.f][a]+=v.s;
        }
        if(R1[a].size()<R1[b].size()) swap(a,b);
        for(auto v:R1[b]){
            S1[v.f].erase(b);
            S1[v.f][a]=1;
            R1[a][v.f]=1;
        }
        if(R2[a].size()<R2[b].size()) swap(a,b);
        for(auto v:R2[b]){
            S2[v.f].erase(b);
            S2[v.f][a]+=v.s;
            R2[a][v.f]+=v.s;
        }
        if(e[a]>e[b]) swap(a,b);
        e[a]+=e[b];
        e[b]=a;
        for(auto v:belong[b]){
            belong[a].insert(v);
        }
        return true;
    }
};

int main() {_
    int n,m;
    cin>>n>>m;
    //assert(n==4 and m==6);
    S1.resize(n);
    S2.resize(n);
    R1.resize(n);
    R2.resize(n);
    belong.resize(n);
    DSU dsu(n);
    for(int i=0;i<m;i++){
        int a,b;
        cin>>a>>b;
        a--;
        b--;
        if(dsu.same(a,b)){
            cout<<ans<<'\n';
            continue;
        }
        int pa=dsu.find(a);
        int pb=dsu.find(b);
        if(S1[a].find(pb)!=S1[a].end()){
            cout<<ans<<'\n';
            continue;
        }
        S1[a][pb]++;
        S2[pa][pb]++;
        R1[pb][a]=1;
        R2[pb][pa]++;
        ans+=dsu.sz(pb);
        //cout<<"-"<<'\n';
        if(S2[pb].find(pa)!=S2[pb].end()){
            //cout<<i+1<<' '<<pa+1<<' '<<pb+1<<'\n';
            q.push({pa,pb});
            while(!q.empty()){
                auto tmp=q.front();
                q.pop();
                dsu.unite(tmp.f,tmp.s);
            }
        }
        cout<<ans<<'\n';
    }
    return 0;
}
//maybe its multiset not set
//yeeorz
//laborz
/*

1
2
3
4
5
6
9
9
10
10
12
20
20
20
20
20
20

1
2
3
4
5
6
9
9
10
10
12
22
22
22
22
22
22
*/

Compilation message

joitter2.cpp: In member function 'bool DSU::unite(int, int)':
joitter2.cpp:56:24: warning: comparison of integer expressions of different signedness: 'std::map<int, int>::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
   56 |         if(R1[a].size()<sz(b)){
      |            ~~~~~~~~~~~~^~~~~~
joitter2.cpp:76:24: warning: comparison of integer expressions of different signedness: 'std::map<int, int>::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
   76 |         if(R1[a].size()<sz(b)){
      |            ~~~~~~~~~~~~^~~~~~
joitter2.cpp: In function 'void setIO(std::string)':
joitter2.cpp:15:12: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
   15 |     freopen((s + ".in").c_str(), "r", stdin);
      |     ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
joitter2.cpp:16:12: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
   16 |     freopen((s + ".out").c_str(), "w", stdout);
      |     ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# 결과 실행 시간 메모리 Grader output
1 Incorrect 0 ms 344 KB Output isn't correct
2 Halted 0 ms 0 KB -
# 결과 실행 시간 메모리 Grader output
1 Incorrect 0 ms 344 KB Output isn't correct
2 Halted 0 ms 0 KB -
# 결과 실행 시간 메모리 Grader output
1 Incorrect 0 ms 344 KB Output isn't correct
2 Halted 0 ms 0 KB -