結果

問題 No.95 Alice and Graph
ユーザー koba-e964koba-e964
提出日時 2016-12-30 00:03:55
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 837 ms / 5,000 ms
コード長 1,673 bytes
コンパイル時間 571 ms
コンパイル使用メモリ 67,736 KB
実行使用メモリ 7,552 KB
最終ジャッジ日時 2024-05-09 06:31:56
合計ジャッジ時間 3,660 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 242 ms
7,552 KB
testcase_01 AC 38 ms
7,424 KB
testcase_02 AC 38 ms
7,320 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 373 ms
7,532 KB
testcase_05 AC 288 ms
7,472 KB
testcase_06 AC 364 ms
7,552 KB
testcase_07 AC 38 ms
7,412 KB
testcase_08 AC 2 ms
5,376 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 AC 1 ms
5,376 KB
testcase_11 AC 3 ms
5,376 KB
testcase_12 AC 2 ms
5,376 KB
testcase_13 AC 837 ms
7,508 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <algorithm>
#include <cassert>
#include <iostream>
#include <vector>

#define REP(i,s,n) for(int i=(int)(s);i<(int)(n);i++)

using namespace std;
typedef long long int ll;
typedef vector<int> VI;

const int inf = 1e7;
const int K = 16;
int dp[1 << K][K];

// Checks if there exists a Hamiltonian path with length <= k.
bool check(const vector<VI> &dist, const VI &route, int k) {
  assert (route[0] == 0);
  int m = route.size();
  assert (m <= k + 1);
  REP(i, 0, 1 << m) {
    REP(j, 0, m) {
      dp[i][j] = inf;
    }
  }
  dp[1][0] = 0;
  for (int bits = 3; bits < 1 << m; bits += 2) {
    REP(i, 0, m) {
      if ((bits & 1 << i) == 0) { continue; }
      REP(j, 0, m) {
	if (i == j || (bits & 1 << j) == 0) { continue; }
	dp[bits][i] = min(dp[bits][i], dp[bits ^ 1 << i][j]
			  + dist[route[i]][route[j]]);
      }
    }
  }
  int mi = inf;
  REP(i, 0, m) {
    mi = min(mi, dp[(1 << m) - 1][i]);
  }
  return mi <= k;
}


// I solved this problem after reading the editorial
int main(void){
  int n, m, k;
  cin >> n >> m >> k;
  vector<VI> dist(n, VI(n, inf));
  REP(i, 0, m) {
    int x, y;
    cin >> x >> y;
    x--, y--;
    dist[x][y] = 1;
    dist[y][x] = 1;
  }
  REP(i, 0, n) {
    dist[i][i] = 0;
  }
  REP(l, 0, n) {
    REP(i, 0, n) {
      REP(j, 0, n) {
	dist[i][j] = min(dist[i][j], dist[i][l] + dist[l][j]);
      }
    }
  }
  VI route(1, 0);
  ll tot = 0;
  for (int i = n - 1; i >= 1; --i) {
    if (route.size() >= k + 1) {
      break;
    }
    route.push_back(i);
    if (check(dist, route, k)) {
      tot += (1LL << i) - 1;
    } else {
      route.pop_back();
    }
  }
  assert (route.size() <= k + 1);
  cout << tot << endl;
}
0