結果

問題 No.922 東北きりきざむたん
コンテスト
ユーザー fgwiebfaoish
提出日時 2019-11-09 01:17:00
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 473 ms / 2,000 ms
コード長 5,047 bytes
コンパイル時間 3,664 ms
コンパイル使用メモリ 108,416 KB
実行使用メモリ 58,104 KB
最終ジャッジ日時 2024-09-15 03:44:44
合計ジャッジ時間 11,933 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 26
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff #
raw source code 

using System;
using System.Collections.Generic;
using System.Collections;
using System.Collections.Specialized;
using System.Linq;
using System.Text;
using System.IO;
using System.Reflection;
using static System.Math;
using System.Numerics;
static class Program{
	const int mod=(int)1e9+7;
	static List<int>[] li;
	static bool[] b;
	static long[] h,dp,p,o,g,h2,r,ans;
	static int[] d,de;
	static int[][] hd;
	static int on;
	static void Main(){
		Sc sc=new Sc();
		int[] s=sc.Ia;
		int n=s[0],m=s[1],q=s[2];
		li=new List<int>[n+1];
		b=new bool[n+1];
		h=new long[n+1];
		h2=new long[n+1];
		p=new long[n+1];
		o=new long[n+1];
		g=new long[n+1];
		r=new long[n+1];
		d=new int[n+1];
		ans=new long[n+1];
		dp=new long[n+1];
		for(int i=1;i<=n;i++){li[i]=new List<int>();}
		Uf uf=new Uf(n+1);
		for(int i=0;i<m;i++){
			int[] e=sc.Ia;
			li[e[0]].Add(e[1]);
			li[e[1]].Add(e[0]);
			uf.Union(e[0],e[1]);
		}
		var qe=new int[q][];
		for(int i = 0;i<q;i++) {
			qe[i]=sc.Ia;
			if(!uf.Same(qe[i][0],qe[i][1])){
				h[qe[i][0]]++;
				h[qe[i][1]]++;
			}
		}
		for(int i = 1;i<=n;i++) {h2[uf.Root(i)]+=h[i];}
		for(int i = 1;i<=n;i++) {
			if(!b[i]){Fu(i);}
		}
		b=new bool[n+1];
		for(int i = 1;i<=n;i++) {
			if(!b[i]){
				Fu2(i);
				ans[uf.Root(i)]=long.MaxValue;
			}
			ans[uf.Root(i)]=Min(ans[uf.Root(i)],r[i]);
		}
		b=new bool[n+1];
		on=(int)Log(n,2)+1;
		de=new int[n+1];
		de[0]=-1;
		hd=new int[on][];
		hd[0]=new int[n+1];
		long ans2=0;
		for(int i = 1;i<=n;i++) {
			if(!b[i]){Fu3(i,0);}
			ans2+=ans[i];
		}
		for(int i=1;i<on;i++){
			hd[i]=new int[n+1];
			for(int j=1;j<=n;j++){hd[i][j]=hd[i-1][hd[i-1][j]];}
		}
		for(int i = 0;i<q;i++) {
			if(uf.Same(qe[i][0],qe[i][1])){
				ans2+=de[qe[i][0]]+de[qe[i][1]]-de[Lca(qe[i][0],qe[i][1])]*2;
			}
		}
		Console.WriteLine("{0}",ans2);
	}
	static void Fu3(int a,int f){
		b[a]=true;
		de[a]=f;
		for(int i=0;i<li[a].Count;i++){
			if(!b[li[a][i]]){
				hd[0][li[a][i]]=a;
				Fu3(li[a][i],f+1);
			}
		}
	}
	static int Lca(int a,int b){
		if(de[a]>de[b]){int c=a;a=b;b=c;}
		for(int i=on-1;de[a]!=de[b];i--){if(de[hd[i][b]]>=de[a]){b=hd[i][b];}}
		if(a==b){return a;}
		for(int i=on-1;i>=0;i--){if(hd[i][a]!=hd[i][b]){a=hd[i][a];b=hd[i][b];}}
		return hd[0][a];
	}
	static long Fu(int a){
		b[a]=true;
		for(int i=0;i<li[a].Count;i++){
			if(!b[li[a][i]]){
				o[li[a][i]]=a;
				var z=Fu(li[a][i]);
				p[a]+=z;
				g[a]=Max(g[a],z);
				r[a]+=r[li[a][i]]+z;
			}
		}
		p[a]+=h[a];
		return p[a];
	}
	static void Fu2(int a){
		b[a]=true;
		if(o[a]!=0){
			r[a]+=(r[o[a]]-r[a]-p[a])+(p[o[a]]-p[a]);
			p[a]=p[o[a]];
		}
		for(int i=0;i<li[a].Count;i++){
			if(!b[li[a][i]]){
				Fu2(li[a][i]);
			}
		}
	}
}
public class Uf{
	private int[] arr,hi;
	public int all;
	public Uf(int n){
		arr=new int[n];
		hi=new int[n];
		all=n;
		for(int i=0;i<n;i++){arr[i]=-1;}
	}
	public void Union(int a,int b){
		a=Root(a);
		b=Root(b);
		if(a!=b){
			if(hi[a]<hi[b]){
				int v=b;
				b=a;
				a=v;
			}
			arr[a]+=arr[b];
			hi[a]=Math.Max(hi[a],hi[b]+1);
			arr[b]=a;
			all--;
		}
	}
	public bool Same(int a,int b){return Root(a)==Root(b);}
	public int Total(int a){return -arr[Root(a)];}
	public int Root(int a){return arr[a]<0?a:arr[a]=Root(arr[a]);}
}

public class Sc{
	public int I{get{return int.Parse(Console.ReadLine());}}
	public long L{get{return long.Parse(Console.ReadLine());}}
	public double D{get{return double.Parse(Console.ReadLine());}}
	public string S{get{return Console.ReadLine();}}
	public int[] Ia{get{return Array.ConvertAll(Console.ReadLine().Split(),int.Parse);}}
	public long[] La{get{return Array.ConvertAll(Console.ReadLine().Split(),long.Parse);}}
	public double[] Da{get{return Array.ConvertAll(Console.ReadLine().Split(),double.Parse);}}
	public string[] Sa{get{return Console.ReadLine().Split();}}
	public object[] Oa{get{return Console.ReadLine().Split();}}
	public int[] Ia2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),int.Parse);}}
	public int[] Ia3(int a){return Array.ConvertAll((a.ToString()+" "+Console.ReadLine()).Split(),int.Parse);}
	public int[] Ia3(bool a,int b,bool c,int d){return Array.ConvertAll(((a?b.ToString()+" ":"")+Console.ReadLine()+(c?" "+d.ToString():"")).Split(),int.Parse);}
	public long[] La2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),long.Parse);}}
	public long[] La3(int a){return Array.ConvertAll((a.ToString()+" "+Console.ReadLine()).Split(),long.Parse);}
	public long[] La3(bool a,int b,bool c,int d){return Array.ConvertAll(((a?b.ToString()+" ":"")+Console.ReadLine()+(c?" "+d.ToString():"")).Split(),long.Parse);}
	public T[] Arr<T>(int n,Func<T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f();}return a;}
	public T[] Arr<T>(int n,Func<int,T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(i);}return a;}
	public T[] Arr<T>(int n,Func<string[],T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(Console.ReadLine().Split());}return a;}
	public T[] Arr<T>(int n,Func<int,string[],T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(i,Console.ReadLine().Split());}return a;}
}
0