結果

問題 No.95 Alice and Graph
ユーザー assy1028assy1028
提出日時 2016-12-15 18:50:29
言語 C++11
(gcc 11.4.0)
結果
RE  
実行時間 -
コード長 2,691 bytes
コンパイル時間 1,128 ms
コンパイル使用メモリ 103,608 KB
実行使用メモリ 11,960 KB
最終ジャッジ日時 2024-05-07 14:55:11
合計ジャッジ時間 3,221 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 RE -
testcase_01 RE -
testcase_02 RE -
testcase_03 AC 2 ms
5,376 KB
testcase_04 RE -
testcase_05 RE -
testcase_06 RE -
testcase_07 WA -
testcase_08 AC 4 ms
5,376 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 AC 2 ms
5,376 KB
testcase_11 AC 2 ms
5,376 KB
testcase_12 WA -
testcase_13 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

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