結果
| 問題 | 
                            No.95 Alice and Graph
                             | 
                    
| コンテスト | |
| ユーザー | 
                             assy1028
                         | 
                    
| 提出日時 | 2016-12-15 18:50:29 | 
| 言語 | C++11(廃止可能性あり)  (gcc 13.3.0)  | 
                    
| 結果 | 
                             
                                RE
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 2,691 bytes | 
| コンパイル時間 | 1,081 ms | 
| コンパイル使用メモリ | 105,120 KB | 
| 実行使用メモリ | 11,852 KB | 
| 最終ジャッジ日時 | 2024-11-30 08:30:20 | 
| 合計ジャッジ時間 | 3,618 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 5 WA * 3 RE * 6 | 
ソースコード
#include <algorithm>
#include <iostream>
#include <cstdio>
#include <map>
#include <numeric>
#include <cmath>
#include <set>
#include <sstream>
#include <string>
#include <vector>
#include <queue>
#include <stack>
#include <complex>
#include <string.h>
#include <unordered_set>
#include <unordered_map>
#include <bitset>
#include <iomanip>
#include <sys/time.h>
#include <random>
using namespace std;
#define endl '\n'
#define ALL(v) (v).begin(), (v).end()
#define RALL(v) (v).rbegin(), (v).rend()
#define UNIQ(v) (v).erase(unique((v).begin(), (v).end()), (v).end())
typedef long long ll;
typedef long double ld;
typedef pair<int, int> P;
typedef complex<double> comp;
typedef vector< vector<ld> > matrix;
struct pairhash {
public:
    template<typename T, typename U>
    size_t operator()(const pair<T, U> &x) const {
	size_t seed = hash<T>()(x.first);
	return hash<U>()(x.second) + 0x9e3779b9 + (seed<<6) + (seed>>2);
    }
};
const int inf = 1e9 + 9;
const ll mod = 1e9 + 7;
const double eps = 1e-8;
const double pi = acos(-1);
int n, m, k;
int u[66], v[66];
int d[66][66];
int dp[1<<17][17];
void warshall_floyd() {
    for (int k = 0; k < n; k++)
	for (int i = 0; i < n; i++)
	    for (int j = 0; j < n; j++)
		d[i][j] = min(d[i][j], d[i][k] + d[k][j]);
}
ll solve() {
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < n; j++) {
            d[i][j] = inf;
        }
        d[i][i] = 0;
    }
    for (int i = 0; i < m; i++) {
        d[u[i]][v[i]] = d[v[i]][u[i]] = 1;
    }
    warshall_floyd();
    vector<int> vec;
    vec.push_back(0);
    for (int i = n-1; i > 0; i--) {
        vec.push_back(i);
        int l = vec.size();
        for (int j = 0; j < 1<<(k+2); j++) fill(dp[j], dp[j]+k+2, inf);
        dp[0][0] = 0;
        for (int s = 0; s < 1<<l; s++) {
            for (int p = 0; p < l; p++) {
                if ((s>>p)&1) {
                    for (int q = 0; q < l; q++) {
                        dp[s][p] = min(dp[s][p], dp[s^(1<<p)][q] + d[vec[q]][vec[p]]);
                    }
                }
            }
        }
        bool flag = false;
        for (int j = 0; j < l; j++) {
            if (dp[(1<<l)-1][j] <= k) {
                flag = true;
                break;
            }
        }
        if (!flag) vec.pop_back();
    }
    
    ll res = 0;
    for (int i = 0; i < vec.size(); i++) {
        res += (1LL<<vec[i]) - 1;
    }
    return res;
}
void input() {
    cin >> n >> m >> k;
    for (int i = 0; i < m; i++) {
        cin >> u[i] >> v[i];
        u[i]--; v[i]--;
    }
}
int main() {
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout << fixed << setprecision(15);
    input();
    cout << solve() << endl;
}
            
            
            
        
            
assy1028