結果

問題 No.114 遠い未来
ユーザー fgwiebfaoishfgwiebfaoish
提出日時 2021-01-03 10:40:32
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 2,238 ms / 5,000 ms
コード長 5,141 bytes
コンパイル時間 897 ms
コンパイル使用メモリ 114,832 KB
実行使用メモリ 35,364 KB
最終ジャッジ日時 2024-10-13 03:55:24
合計ジャッジ時間 17,468 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 74 ms
24,884 KB
testcase_01 AC 2,238 ms
35,364 KB
testcase_02 AC 503 ms
30,892 KB
testcase_03 AC 127 ms
28,844 KB
testcase_04 AC 25 ms
25,188 KB
testcase_05 AC 32 ms
26,872 KB
testcase_06 AC 1,280 ms
30,764 KB
testcase_07 AC 29 ms
24,960 KB
testcase_08 AC 29 ms
26,872 KB
testcase_09 AC 42 ms
24,836 KB
testcase_10 AC 270 ms
24,956 KB
testcase_11 AC 753 ms
26,732 KB
testcase_12 AC 2,232 ms
35,228 KB
testcase_13 AC 2,225 ms
34,724 KB
testcase_14 AC 1,331 ms
30,900 KB
testcase_15 AC 1,842 ms
27,060 KB
testcase_16 AC 607 ms
30,908 KB
testcase_17 AC 644 ms
28,964 KB
testcase_18 AC 655 ms
28,596 KB
testcase_19 AC 347 ms
28,976 KB
testcase_20 AC 126 ms
30,880 KB
testcase_21 AC 44 ms
26,800 KB
testcase_22 AC 46 ms
27,032 KB
testcase_23 AC 27 ms
27,048 KB
testcase_24 AC 28 ms
24,960 KB
testcase_25 AC 26 ms
24,708 KB
testcase_26 AC 27 ms
27,044 KB
testcase_27 AC 26 ms
26,796 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff # 

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;
using System.Threading;
using System.Runtime.CompilerServices;
static class Program{
	const int mod=(int)1e9+7;
	static void Main(){
		Sc sc=new Sc();
		var s=sc.Ia;
		int n=s[0],m=s[1];
		if(s[2]<=15){
			var li=new List<ValueTuple<int,int>>[n+1];
			for(int i=1;i<=n;i++){li[i]=new List<ValueTuple<int,int>>();}
			var wf=new int[n+1][];
			for(int i=1;i<=n;i++){
				wf[i]=new int[n+1];
				for(int j=1;j<=n;j++){
					if(i!=j){wf[i][j]=mod;}
				}
			}
			for(int i=0;i<m;i++){
				var e=sc.Ia;
				li[e[0]].Add(ValueTuple.Create(e[1],e[2]));
				li[e[1]].Add(ValueTuple.Create(e[0],e[2]));
				wf[e[0]][e[1]]=wf[e[1]][e[0]]=e[2];
			}
			for(int i=1;i<=n;i++){
				for(int j=1;j<=n;j++){
					for(int k=1;k<=n;k++){wf[j][k]=Min(wf[j][k],wf[j][i]+wf[i][k]);}
				}
			}
			var d=new int[s[2]];
			for(int i = 0;i<s[2];i++) {d[i]=sc.I;}
			int g=1<<s[2];
			var dp=new int[g][];
			for(int i = 1,l=-1;i<g;i++) {
				dp[i]=new int[n+1];
				if((1<<(l+1))<=i){dp[i][d[++l]]=-mod;}
				for(int j = 1;j<=n;j++) {
					dp[i][j]+=mod;
					int p=i-(1<<l);
					for(int	k=p;k>0;k=(k-1)&p){dp[i][j]=Min(dp[i][j],dp[k][j]+dp[i-k][j]);}
				}
				for(int j = 1;j<=n;j++) {
					for(int k = 1;k<=n;k++) {
						dp[i][j]=Min(dp[i][j],dp[i][k]+wf[j][k]);
					}
				}
			}
			dp[g-1][0]=mod;
			Console.WriteLine("{0}",dp[g-1].Min());
		}
		else{
			var h=new int[m][];
			for(int i=0;i<m;i++){h[i]=sc.Ia3(i);}
			Array.Sort(h,(u,v)=>u[2]-v[2]);
			var b=new int[n+1];
			for(int i = 0;i<s[2];i++) {b[sc.I]=mod;}
			for(int i = 1,j=0;i<=n;i++) {
				if(b[i]!=mod){b[i]=j++;}
			}
			int g=1<<(n-s[2]);
			int ans=mod;
			for(int i = 0;i<g;i++) {
				Uf uf=new Uf(n+1);
				int p=0,f=n-Pc(i)-s[2]+2;
				for(int j = 0;j<m;j++) {
					if(b[h[j][0]]!=mod&&(i&(1<<b[h[j][0]]))==0){continue;}
					if(b[h[j][1]]!=mod&&(i&(1<<b[h[j][1]]))==0){continue;}
					if(!uf.Same(h[j][0],h[j][1])){
						uf.Union(h[j][0],h[j][1]);
						p+=h[j][2];
						if(uf.all==f){
							ans=Min(ans,p);
							break;
						}
					}
				}
			}
			Console.WriteLine(ans);
		}
		int Pc(int z){
			z-=(z>>1)&0x55555555;
			z=(z&0x33333333)+((z>>2)&0x33333333);
			return ((z+(z>>4)&0xF0F0F0F)*0x1010101)>>24;
		}
	}
}
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]){(a,b)=(b,a);}
			arr[a]+=arr[b];
			hi[a]=Max(hi[a],hi[b]+1);
			arr[b]=a;
			all--;
		}
	}
	public bool Same(int a,int b){return Root(a)==Root(b);}
	public int Size(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(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),int.Parse);}
	public int[] Ia3(int a){return Array.ConvertAll((Console.ReadLine()+" "+a.ToString()).Split(),int.Parse);}
	public long[] La2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),long.Parse);}}
	public long[] La3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),long.Parse);}
	public long[] La3(int a){return Array.ConvertAll((Console.ReadLine()+" "+a.ToString()).Split(),long.Parse);}
	public double[] Da2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),double.Parse);}}
	public double[] Da3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),double.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;}
	public (T,T) Tp2<T>(){var s=Console.ReadLine().Split();return (Ct<T>(s[0]),Ct<T>(s[1]));}
	public (T,T,T) Tp3<T>(){var s=Console.ReadLine().Split();return (Ct<T>(s[0]),Ct<T>(s[1]),Ct<T>(s[2]));}
	private T Ct<T>(string s){return (T)Convert.ChangeType(s,typeof(T));}
}
0