結果
| 問題 | 
                            No.95 Alice and Graph
                             | 
                    
| コンテスト | |
| ユーザー | 
                             古寺いろは
                         | 
                    
| 提出日時 | 2015-04-10 23:21:02 | 
| 言語 | C++11(廃止可能性あり)  (gcc 13.3.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 351 ms / 5,000 ms | 
| コード長 | 1,462 bytes | 
| コンパイル時間 | 1,661 ms | 
| コンパイル使用メモリ | 162,292 KB | 
| 実行使用メモリ | 7,080 KB | 
| 最終ジャッジ日時 | 2024-11-14 13:32:45 | 
| 合計ジャッジ時間 | 3,959 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge5 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 14 | 
ソースコード
#include "bits/stdc++.h"
using namespace std;
#define MAX 9999999
int dp[(1 << 16)][16];
int dist[60][60];
void warshall(int N){
	for (int k = 0; k < N; k++)
	{
		for (int i = 0; i < N; i++)
		{
			for (int j = 0; j < N; j++)
			{
				dist[i][j] = min(dist[i][j], dist[i][k] + dist[k][j]);
			}
		}
	}
}
int bitDP(vector<int>& v, int M){
	int N = v.size();
	for (int i = 0; i < (1 << N); i++)
	{
		for (int j = 0; j < N; j++)
		{
			dp[i][j] = MAX;
		}
	}
	for (int i = 0; i < N; i++)
	{
		dp[1 << i][i] = dist[0][v[i]];
	}
	for (int i = 0; i < (1<<N); i++)
	{
		for (int j = 0; j < N; j++)
		{
			if (dp[i][j] == MAX) continue;
			for (int k = 0; k < N; k++)
			{
				if ((i >> k) % 2 == 1) continue;
				int next = dp[i][j] + dist[v[j]][v[k]];
				int nexti = i + (1 << k);
				dp[nexti][k] = min(dp[nexti][k], next);
			}
		}
	}
	int ans = MAX;
	for (int i = 0; i < N; i++)
	{
		ans = min(ans, dp[(1 << N) - 1][i]);
	}
	return ans;
}
int main(){
	int N, M, K;
	cin >> N >> M >> K;
	vector<int> v;
	for (int i = 0; i < N; i++)
	{
		for (int j = 0; j < N; j++)
		{
			dist[i][j] = MAX;
		}
		dist[i][i] = 0;
	}
	for (int i = 0; i < M; i++)
	{
		int U, V;
		cin >> U >> V;
		U--; V--;
		dist[U][V] = dist[V][U] = 1;
	}
	warshall(N);
	long long ans = 0;
	for (int i = N - 1; i >= 1 && v.size() < K; i--)
	{
		v.push_back(i);
		int cost = bitDP(v, N);
		if (cost > K){
			v.pop_back();
		}
		else{
			ans += (1ll << i) - 1;
		}
	}
	cout << ans << endl;
}
            
            
            
        
            
古寺いろは