結果

問題 No.114 遠い未来
ユーザー fgwiebfaoish
提出日時 2021-01-03 09:35:35
言語 C#(csc)
(csc 3.9.0)
結果
WA  
実行時間 -
コード長 3,316 bytes
コンパイル時間 2,561 ms
コンパイル使用メモリ 108,928 KB
実行使用メモリ 20,480 KB
最終ジャッジ日時 2024-10-13 02:35:03
合計ジャッジ時間 3,620 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2 WA * 1
other AC * 5 WA * 20
権限があれば一括ダウンロードができます
コンパイルメッセージ
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 List<ValueTuple<int,int>>[] li;
	static void Main(){
		Sc sc=new Sc();
		var s=sc.Ia;
		if(s[2]>13){return;}
		int n=s[0],m=s[1];
		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){
				l++;
				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());
	}
}

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 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 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;}
}
0