結果

問題 No.114 遠い未来
ユーザー 沙耶花沙耶花
提出日時 2021-10-26 21:16:16
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 3,245 ms / 5,000 ms
コード長 1,779 bytes
コンパイル時間 4,744 ms
コンパイル使用メモリ 276,492 KB
実行使用メモリ 8,064 KB
最終ジャッジ日時 2024-10-06 01:01:41
合計ジャッジ時間 32,656 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 25 ms
5,248 KB
testcase_01 AC 3,018 ms
7,936 KB
testcase_02 AC 2,419 ms
5,248 KB
testcase_03 AC 314 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 5 ms
5,248 KB
testcase_06 AC 3,245 ms
5,248 KB
testcase_07 AC 3 ms
5,248 KB
testcase_08 AC 2 ms
5,248 KB
testcase_09 AC 7 ms
5,248 KB
testcase_10 AC 136 ms
5,248 KB
testcase_11 AC 412 ms
5,760 KB
testcase_12 AC 3,068 ms
8,064 KB
testcase_13 AC 3,027 ms
8,064 KB
testcase_14 AC 3,236 ms
5,248 KB
testcase_15 AC 2,385 ms
5,248 KB
testcase_16 AC 1,690 ms
5,248 KB
testcase_17 AC 1,252 ms
5,248 KB
testcase_18 AC 1,490 ms
5,248 KB
testcase_19 AC 852 ms
5,248 KB
testcase_20 AC 186 ms
5,248 KB
testcase_21 AC 52 ms
5,248 KB
testcase_22 AC 45 ms
5,248 KB
testcase_23 AC 4 ms
5,248 KB
testcase_24 AC 4 ms
5,248 KB
testcase_25 AC 3 ms
5,248 KB
testcase_26 AC 2 ms
5,248 KB
testcase_27 AC 3 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000000

int main(){
	
	int N,M,T;
	cin>>N>>M>>T;
	
	vector dis(N,vector<int>(N,Inf));
	rep(i,M){
		int a,b,c;
		cin>>a>>b>>c;
		a--;b--;
		dis[a][b] = c;
		dis[b][a] = c;
	}
	rep(i,N)dis[i][i] = 0;
	
	rep(i,N){
		rep(j,N){
			rep(k,N){
				dis[j][k] = min(dis[j][k], dis[j][i]+dis[i][k]);
			}
		}
	}
	
	vector<int> v(T);
	rep(i,T){
		cin>>v[i];
		v[i]--;
	}
	sort(v.begin(),v.end());
	
	vector<int> cov;
	rep(i,N){
		if(!binary_search(v.begin(),v.end(),i))cov.push_back(i);
	}
	int ans = Inf;
	if(T<=15){
		vector dp(N,vector<int>(1<<T,Inf));
		rep(i,N){
			dp[i][0] = 0;
			
			rep(j,T){
				dp[i][1<<j] = dis[i][v[j]];
			}
		}
		rep(i,1<<T){
			if(__builtin_popcount(i)<=1)continue;
			for(int S = i&(i-1);S!=0;S = (S-1)&i){
				rep(j,N){
					dp[j][i] = min(dp[j][i],dp[j][S] + dp[j][S^i]);
				}				
			}
			rep(j,N){
				rep(k,N){
					dp[j][i] = min(dp[j][i],dp[k][i] + dis[k][j]);
				}
			}
		}
		rep(i,N)ans = min(ans,dp[i].back());
	}
	else{
		vector<pair<int,pair<int,int>>> E;
		rep(j,N){
			for(int k=j+1;k<N;k++){
				E.emplace_back(dis[j][k],make_pair(j,k));
			}
		}
		sort(E.begin(),E.end());
		vector<bool> f(N,false);
		rep(i,v.size())f[v[i]] = true;
		rep(i,1<<cov.size()){
			rep(j,cov.size()){
				if((i>>j)&1)f[cov[j]] = true;
			}
			
			dsu D(N);
			
			int temp = 0;
			rep(j,E.size()){
				int x = E[j].second.first,y = E[j].second.second;
				if(f[x]&&f[y]){
					if(!D.same(x,y)){
						D.merge(x,y);
						temp += E[j].first;
					}
				}
			}
			ans = min(ans,temp);
			rep(j,cov.size()){
				if((i>>j)&1)f[cov[j]] = false;
			}
		}
	}
	
	cout<<ans<<endl;
	
	return 0;
}
0