結果
問題 | No.1194 Replace |
ユーザー | 👑 potato167 |
提出日時 | 2022-05-11 22:02:29 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 720 ms / 2,000 ms |
コード長 | 4,171 bytes |
コンパイル時間 | 2,675 ms |
コンパイル使用メモリ | 222,492 KB |
実行使用メモリ | 89,204 KB |
最終ジャッジ日時 | 2024-07-19 07:42:55 |
合計ジャッジ時間 | 17,147 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 509 ms
56,512 KB |
testcase_01 | AC | 551 ms
59,476 KB |
testcase_02 | AC | 430 ms
49,488 KB |
testcase_03 | AC | 348 ms
42,820 KB |
testcase_04 | AC | 567 ms
59,580 KB |
testcase_05 | AC | 505 ms
55,752 KB |
testcase_06 | AC | 466 ms
52,436 KB |
testcase_07 | AC | 678 ms
89,200 KB |
testcase_08 | AC | 684 ms
89,072 KB |
testcase_09 | AC | 708 ms
89,200 KB |
testcase_10 | AC | 712 ms
89,204 KB |
testcase_11 | AC | 720 ms
89,156 KB |
testcase_12 | AC | 710 ms
89,200 KB |
testcase_13 | AC | 493 ms
30,344 KB |
testcase_14 | AC | 405 ms
24,368 KB |
testcase_15 | AC | 348 ms
30,268 KB |
testcase_16 | AC | 468 ms
30,964 KB |
testcase_17 | AC | 318 ms
27,392 KB |
testcase_18 | AC | 307 ms
22,880 KB |
testcase_19 | AC | 476 ms
32,872 KB |
testcase_20 | AC | 2 ms
5,376 KB |
testcase_21 | AC | 2 ms
5,376 KB |
testcase_22 | AC | 2 ms
5,376 KB |
testcase_23 | AC | 105 ms
15,628 KB |
testcase_24 | AC | 32 ms
8,792 KB |
testcase_25 | AC | 12 ms
5,376 KB |
testcase_26 | AC | 127 ms
11,548 KB |
testcase_27 | AC | 18 ms
5,376 KB |
testcase_28 | AC | 53 ms
7,428 KB |
testcase_29 | AC | 6 ms
5,376 KB |
ソースコード
#include <bits/stdc++.h> #pragma GCC optimize("Ofast") #define _GLIBCXX_DEBUG using namespace std; using std::cout; using std::cin; using std::endl; using ll=long long; using ld=long double; ll ILL=2167167167167167167; const int INF=2100000000; const ll mod=998244353; #define rep(i,a) for (ll i=0;i<a;i++) #define all(p) p.begin(),p.end() template<class T> using _pq = priority_queue<T, vector<T>, greater<T>>; template<class T> ll LB(vector<T> &v,T a){return lower_bound(v.begin(),v.end(),a)-v.begin();} template<class T> ll UB(vector<T> &v,T a){return upper_bound(v.begin(),v.end(),a)-v.begin();} template<class T> bool chmin(T &a,const T &b){if(a>b){a=b;return 1;}else return 0;} template<class T> bool chmax(T &a,const T &b){if(a<b){a=b;return 1;}else return 0;} template<class T> void So(vector<T> &v) {sort(v.begin(),v.end());} template<class T> void Sore(vector<T> &v) {sort(v.begin(),v.end(),[](T x,T y){return x>y;});} void yneos(bool a){if(a) cout<<"Yes\n"; else cout<<"No\n";} template<class T> void vec_out(vector<T> &p){for(int i=0;i<(int)(p.size());i++){if(i) cout<<" ";cout<<p[i];}cout<<"\n";} namespace po167{ struct SCC{ std::vector<std::vector<int>> G; std::vector<std::vector<int>> G_rev; int size; SCC(int n):G(n),G_rev(n),size(n){} int add_ver(){ G.push_back({}); G_rev.push_back({}); size++; return size-1; } void add_edge(int from,int to){ assert(0<=to&&to<size); assert(0<=from&&from<size); G[from].push_back(to); G_rev[to].push_back(from); } void dfs1(std::vector<int> &order,std::vector<int> &seen,int ind,int &now){ if(seen[ind]!=0) return; seen[ind]=-1; for(auto x:G[ind]){ dfs1(order,seen,x,now); } order[now]=ind; now++; } void dfs2(std::vector<int> &seen,int ind,int rank){ if(seen[ind]!=-1) return; seen[ind]=rank; for(auto x:G_rev[ind]){ dfs2(seen,x,rank); } } std::vector<std::vector<int>> tp_sort(){ std::vector<int> seen(size,0),order(size); int now=0; for(int i=0;i<size;i++) dfs1(order,seen,i,now); now=0; for(int i=size-1;i>=0;i--){ if(seen[order[i]]==-1){ dfs2(seen,order[i],now); now++; } } std::vector<std::vector<int>> ans(now); for(int i=0;i<size;i++){ ans[seen[i]].push_back(i); } return ans; } std::vector<int> for_two_sat(){ std::vector<int> seen(size,0),order(size); int now=0; for(int i=0;i<size;i++) dfs1(order,seen,i,now); now=0; for(int i=size-1;i>=0;i--){ if(seen[order[i]]==-1){ dfs2(seen,order[i],now); now++; } } return seen; } }; struct two_SAT{ po167::SCC graph; std::vector<bool> ans; bool exists=false; int size; two_SAT(int n):graph(2*n),ans(n),size(n){} void add_clause(int i,bool f,int j,bool g){ graph.add_edge(i*2+(!f),j*2+(g)); graph.add_edge(j*2+(!g),i*2+(f)); } void one_true_in_group(std::vector<std::pair<int,int>> &p){ int ind; for(int i=0;i<(int)(p.size())-1;i++){ ind=graph.add_ver(); graph.add_ver(); ind/=2; add_clause(ind,1,p[i].first,p[i].second^1); add_clause(ind,0,p[i+1].first,p[i+1].second^1); if(i){ add_clause(ind-1,0,ind,1); } ans.push_back(false); size++; } } bool build(){ auto rank=graph.for_two_sat(); exists=true; for(int i=0;i<size;i++){ if(rank[i*2]==rank[i*2+1]){ exists=false; break; } ans[i]=(rank[i*2]<rank[i*2+1]); } return exists; } }; } using po167::SCC; using po167::two_SAT; void solve(); // oddloop int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int t=1; //cin>>t; rep(i,t) solve(); } void solve(){ ll N,M; cin>>N>>M; map<ll,int> m; vector<int> p; ll ans=(1+N)*N/2; SCC S(0); rep(i,M){ int b,c; cin>>b>>c; if(!m.count(b)){ m[b]=S.add_ver(); p.push_back(b); ans-=b; } if(!m.count(c)){ m[c]=S.add_ver(); p.push_back(c); ans-=c; } S.add_edge(m[b],m[c]); } int X=S.size; vector<ll> dp(X); auto tp=S.tp_sort(); for(int i=(int)(tp.size())-1;i>=0;i--){ ll tmp=0; //cout<<i<<endl; for(auto x:tp[i]){ //cout<<x<<" "<<p[x]<<"\n"; dp[x]=p[x]; for(auto y:S.G[x]){ chmax(dp[x],dp[y]); } chmax(tmp,dp[x]); } for(auto x:tp[i]){ ans+=tmp; dp[x]=tmp; } } cout<<ans<<"\n"; }