結果
問題 | No.2948 move move rotti |
ユーザー | Tatsu_mr |
提出日時 | 2024-10-26 02:03:00 |
言語 | C++23 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 571 ms / 4,000 ms |
コード長 | 2,303 bytes |
コンパイル時間 | 3,604 ms |
コンパイル使用メモリ | 260,000 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-10-26 02:03:11 |
合計ジャッジ時間 | 10,169 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,816 KB |
testcase_01 | AC | 2 ms
6,820 KB |
testcase_02 | AC | 2 ms
6,820 KB |
testcase_03 | AC | 216 ms
6,820 KB |
testcase_04 | AC | 64 ms
6,816 KB |
testcase_05 | AC | 2 ms
6,816 KB |
testcase_06 | AC | 2 ms
6,816 KB |
testcase_07 | AC | 103 ms
6,820 KB |
testcase_08 | AC | 541 ms
6,816 KB |
testcase_09 | AC | 534 ms
6,816 KB |
testcase_10 | AC | 2 ms
6,816 KB |
testcase_11 | AC | 2 ms
6,820 KB |
testcase_12 | AC | 12 ms
6,820 KB |
testcase_13 | AC | 95 ms
6,816 KB |
testcase_14 | AC | 37 ms
6,816 KB |
testcase_15 | AC | 78 ms
6,816 KB |
testcase_16 | AC | 463 ms
6,820 KB |
testcase_17 | AC | 222 ms
6,816 KB |
testcase_18 | AC | 474 ms
6,816 KB |
testcase_19 | AC | 322 ms
6,820 KB |
testcase_20 | AC | 360 ms
6,820 KB |
testcase_21 | AC | 571 ms
6,816 KB |
testcase_22 | AC | 262 ms
6,816 KB |
testcase_23 | AC | 481 ms
6,816 KB |
testcase_24 | AC | 198 ms
6,816 KB |
testcase_25 | AC | 282 ms
6,816 KB |
testcase_26 | AC | 2 ms
6,816 KB |
testcase_27 | AC | 2 ms
6,820 KB |
testcase_28 | AC | 9 ms
6,820 KB |
testcase_29 | AC | 2 ms
6,820 KB |
testcase_30 | AC | 4 ms
6,820 KB |
ソースコード
#include <bits/stdc++.h> #define For(i, a, b) for(long long i = a; i < b; i++) #define rep(i, n) For(i, 0, n) #define rFor(i, a, b) for(long long i = a; i >= b; i--) #define ALL(v) (v).begin(), (v).end() #define rALL(v) (v).rbegin(), (v).rend() using namespace std; using lint = long long; using ld = long double; int INF = 2000000000; lint LINF = 1000000000000000000; template <class T> struct Edge { int from, to; T cost; int idx; Edge() {} Edge(int to_) : to(to_) {} Edge(int to_, T cost_) : to(to_), cost(cost_) {} Edge(int from_, int to_, int idx_) : from(from_), to(to_), idx(idx_) {} Edge(int from_, int to_, T cost_, int idx_) : from(from_), to(to_), cost(cost_), idx(idx_) {} }; template <class T> using Graph = vector<vector<Edge<T>>>; using graph = Graph<long long>; using edge = Edge<long long>; #define add emplace_back int main() { int n, m, k; cin >> n >> m >> k; vector<int> x(k); rep(i, k) { cin >> x[i]; x[i]--; } Graph<int> g(n); rep(_, m) { int u, v; cin >> u >> v; u--; v--; g[u].add(v); g[v].add(u); } // cnt[i][j] := 頂点 i へ j 回の移動で到達できる人の数 vector<vector<int>> cnt(n, vector<int>(20)); rep(i, k) { // dp[s][v] := 通った頂点集合が s で、今 v にいることは可能か? vector<vector<bool>> dp(1 << n, vector<bool>(n, false)); dp[1 << x[i]][x[i]] = true; rep(s, 1 << n) { rep(v, n) { for (auto e : g[v]) { int nv = e.to; if (s & (1 << nv)) { continue; } int ns = s | (1 << nv); if (dp[s][v]) { dp[ns][nv] = true; } } } } rep(s, 1 << n) { rep(v, n) { if (dp[s][v]) { cnt[v][__builtin_popcount(s) - 1] |= (1 << i); } } } } rep(i, n) { rep(j, 20) { if (cnt[i][j] == (1 << k) - 1) { cout << "Yes" << endl; return 0; } } } cout << "No" << endl; }