結果

問題 No.922 東北きりきざむたん
ユーザー pockynypockyny
提出日時 2019-11-08 22:30:36
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,302 bytes
コンパイル時間 1,124 ms
コンパイル使用メモリ 84,620 KB
実行使用メモリ 41,216 KB
最終ジャッジ日時 2023-10-13 04:06:26
合計ジャッジ時間 7,521 ms
ジャッジサーバーID
(参考情報)
judge14 / judge15
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 9 ms
25,964 KB
testcase_01 AC 9 ms
26,208 KB
testcase_02 AC 9 ms
26,084 KB
testcase_03 AC 9 ms
25,984 KB
testcase_04 AC 9 ms
26,040 KB
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 AC 23 ms
28,740 KB
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 AC 188 ms
29,944 KB
testcase_26 AC 185 ms
30,144 KB
testcase_27 AC 197 ms
30,048 KB
testcase_28 AC 171 ms
41,216 KB
testcase_29 AC 177 ms
35,660 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <iostream>
#include <vector>
#include <set>
using namespace std;
const int LOG = 22;
vector<int> G[100010],ver[100010];
int parent[25][100010],d[100010];
void dfs(int v, int p){
	for(int x:G[v]){
		if(x==p) continue;
		parent[0][x] = v;
		d[x] = d[v] + 1;
		dfs(x,v);
	}
}

void init(int v,int root){
	d[root] = 0; parent[0][root] = -1;
	dfs(root,-1);
	for(int k=0;k+1<LOG;k++){
		for(int i:ver[v]){
			if(parent[k][i]<0){
				parent[k+1][i] = -1;
			}else{
				parent[k+1][i] = parent[k][parent[k][i]];
			}
		}
	}
}

int lca(int u, int v){
	if(d[u]>d[v]) swap(u,v);
	for(int k = 0;k<LOG;k++){
		if((d[v] - d[u]) & (1<<k)){
			v = parent[k][v];
		}
	}
	if(u==v) return u;
	for(int k = LOG-1;k>=0;k--){
		if(parent[k][u]!=parent[k][v]){
			u = parent[k][u];
			v = parent[k][v];
		}
	}
	return parent[0][u];
}

int dist(int u, int v){
	int z = lca(u,v);
	return d[u] + d[v] - 2*d[z];
}

int par[100010],sz[100010];
void unite_init(int n){
	for(int i=0;i<n;i++){
		par[i] = i; sz[i] = 1;
	}
}

int find(int x){
	if(par[x]==x) return x;
	return par[x] = find(par[x]);
}

void unite(int x, int y){
	x = find(x); y = find(y);
	if(x==y) return;
	if(sz[x]<sz[y]) swap(x,y);
	sz[x] += sz[y]; par[y] = x;
}

bool same(int x, int y){
	return find(x)==find(y);
}

vector<int> vec[100010];
multiset<int> s[100010];
void dfs2(int v, int p){
	if(s[find(v)].count(v)){
		vec[find(v)].push_back(v);
	}
	for(int u:G[v]){
		if(u==p) continue;
		dfs2(u,v);
	}
}

int main(){
	int i,n,m,q;
	cin >> n >> m >> q;
	unite_init(n);
	for(i=0;i<m;i++){
		int u,v;
		cin >> u >> v; u--; v--;
		G[u].push_back(v);
		G[v].push_back(u);
		unite(u,v);
	}
	for(i=0;i<n;i++){
		ver[find(i)].push_back(i);
	}
	for(i=0;i<n;i++){
		if(par[i]==i){
			init(find(i),par[i]);
		}
	}
	long long ans = 0;
	for(i=0;i<q;i++){
		int a,b; cin >> a >> b;
		a--; b--;
		if(same(a,b)){
			ans += dist(a,b);
		}else{
			s[find(a)].insert(a); s[find(b)].insert(b);
		}
	}
	for(i=0;i<n;i++){
		if(par[i]!=i) continue;
		dfs2(i,-1);
		if(vec[i].size()<=1) continue;
		int x = vec[i][0],y = vec[i].back();
		int z = lca(x,y);
		for(int v:s[i]){
			ans += dist(v,z);
		}
	}
	/*for(i=0;i<n;i++){
		for(int j=0;j<n;j++){
			if(same(i,j)){
				cout << i << " " << j << " " << lca(i,j) << " " << dist(i,j) << endl;
			}
		}
	}*/
	cout << ans << endl;
}
0