結果
問題 | No.2948 move move rotti |
ユーザー | apricity |
提出日時 | 2024-10-26 02:56:01 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 478 ms / 4,000 ms |
コード長 | 4,567 bytes |
コンパイル時間 | 1,442 ms |
コンパイル使用メモリ | 136,480 KB |
実行使用メモリ | 10,344 KB |
最終ジャッジ日時 | 2024-10-26 02:56:09 |
合計ジャッジ時間 | 7,461 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 3 ms
6,816 KB |
testcase_01 | AC | 3 ms
6,816 KB |
testcase_02 | AC | 2 ms
6,816 KB |
testcase_03 | AC | 136 ms
9,968 KB |
testcase_04 | AC | 343 ms
9,564 KB |
testcase_05 | AC | 3 ms
6,816 KB |
testcase_06 | AC | 3 ms
7,528 KB |
testcase_07 | AC | 369 ms
7,780 KB |
testcase_08 | AC | 455 ms
9,964 KB |
testcase_09 | AC | 141 ms
10,340 KB |
testcase_10 | AC | 3 ms
6,816 KB |
testcase_11 | AC | 3 ms
7,648 KB |
testcase_12 | AC | 12 ms
7,788 KB |
testcase_13 | AC | 144 ms
8,300 KB |
testcase_14 | AC | 144 ms
9,696 KB |
testcase_15 | AC | 121 ms
9,964 KB |
testcase_16 | AC | 170 ms
9,968 KB |
testcase_17 | AC | 126 ms
10,224 KB |
testcase_18 | AC | 127 ms
9,964 KB |
testcase_19 | AC | 86 ms
10,092 KB |
testcase_20 | AC | 382 ms
10,092 KB |
testcase_21 | AC | 478 ms
10,344 KB |
testcase_22 | AC | 352 ms
9,828 KB |
testcase_23 | AC | 420 ms
10,340 KB |
testcase_24 | AC | 357 ms
10,212 KB |
testcase_25 | AC | 357 ms
10,088 KB |
testcase_26 | AC | 4 ms
7,524 KB |
testcase_27 | AC | 2 ms
6,820 KB |
testcase_28 | AC | 8 ms
7,664 KB |
testcase_29 | AC | 2 ms
6,820 KB |
testcase_30 | AC | 3 ms
7,652 KB |
ソースコード
#include<iostream> #include<string> #include<vector> #include<algorithm> #include<numeric> #include<cmath> #include<utility> #include<tuple> #include<cstdint> #include<cstdio> #include<iomanip> #include<map> #include<queue> #include<set> #include<stack> #include<deque> #include<unordered_map> #include<unordered_set> #include<bitset> #include<cctype> #include<chrono> #include<random> #include<cassert> #include<cstddef> #include<iterator> #include<string_view> #include<type_traits> #ifdef LOCAL # include "debug_print.hpp" # define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define debug(...) (static_cast<void>(0)) #endif using namespace std; #define rep1(a) for(int i = 0; i < a; i++) #define rep2(i, a) for(int i = 0; i < a; i++) #define rep3(i, a, b) for(int i = a; i < b; i++) #define rep4(i, a, b, c) for(int i = a; i < b; i += c) #define overload4(a, b, c, d, e, ...) e #define rep(...) overload4(__VA_ARGS__, rep4, rep3, rep2, rep1)(__VA_ARGS__) #define rrep1(a) for(int i = (a)-1; i >= 0; i--) #define rrep2(i, a) for(int i = (a)-1; i >= 0; i--) #define rrep3(i, a, b) for(int i = (b)-1; i >= a; i--) #define rrep4(i, a, b, c) for(int i = (b)-1; i >= a; i -= c) #define rrep(...) overload4(__VA_ARGS__, rrep4, rrep3, rrep2, rrep1)(__VA_ARGS__) #define ALL(v) v.begin(), v.end() #define RALL(v) v.rbegin(), v.rend() #define UNIQUE(v) v.erase( unique(v.begin(), v.end()), v.end() ); #define pb push_back using ll = long long; using D = double; using LD = long double; using P = pair<int, int>; using vi = vector<int>; using vl = vector<ll>; template <class T> using vc = vector<T>; template <class T> using vvc = vector<vc<T>>; template <class T> using vvvc = vector<vvc<T>>; template <class T> using vvvvc = vector<vvvc<T>>; template <class T> using vvvvvc = vector<vvvvc<T>>; #define vv(type, name, h, ...) \ vector<vector<type>> name(h, vector<type>(__VA_ARGS__)) #define vvv(type, name, h, w, ...) \ vector<vector<vector<type>>> name( \ h, vector<vector<type>>(w, vector<type>(__VA_ARGS__))) #define vvvv(type, name, a, b, c, ...) \ vector<vector<vector<vector<type>>>> name( \ a, vector<vector<vector<type>>>( \ b, vector<vector<type>>(c, vector<type>(__VA_ARGS__)))) template<typename T> using PQ = priority_queue<T,vector<T>>; template<typename T> using minPQ = priority_queue<T, vector<T>, greater<T>>; template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; } template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; } void yesno(bool flag) {cout << (flag?"Yes":"No") << "\n";} template<typename T, typename U> ostream &operator<<(ostream &os, const pair<T, U> &p) { os << p.first << " " << p.second; return os; } template<typename T, typename U> istream &operator>>(istream &is, pair<T, U> &p) { is >> p.first >> p.second; return is; } template<typename T> ostream &operator<<(ostream &os, const vector<T> &v) { int s = (int)v.size(); for (int i = 0; i < s; i++) os << (i ? " " : "") << v[i]; return os; } template<typename T> istream &operator>>(istream &is, vector<T> &v) { for (auto &x : v) is >> x; return is; } void in() {} template<typename T, class... U> void in(T &t, U &...u) { cin >> t; in(u...); } void out() { cout << "\n"; } template<typename T, class... U, char sep = ' '> void out(const T &t, const U &...u) { cout << t; if (sizeof...(u)) cout << sep; out(u...); } void outr() {} template<typename T, class... U, char sep = ' '> void outr(const T &t, const U &...u) { cout << t; outr(u...); } bool dp[15][15][1<<15]; int main(){ ios_base::sync_with_stdio(false); cin.tie(nullptr); int n,m,k; in(n,m,k); vector<bool> x(n, false); rep(i,k){ int xi; in(xi); x[xi-1] = true; } vector<vector<int>> g(n); rep(i,m){ int u,v; in(u,v); u--; v--; g[u].pb(v); g[v].pb(u); } rep(i,n) dp[i][i][1<<i] = true; rep(i,n){ rep(s,1<<n)rep(j,n) if(dp[i][j][s]){ for(int k : g[j]) { if(s>>k&1) continue; dp[i][k][s|1<<k] = true; } } } rep(k,n+1)rep(i,n){ bool ok = true; rep(j,n) if(x[j]){ bool found = false; rep(s,1<<n) if(s>>i&1 and __builtin_popcount(s) == k) found |= dp[j][i][s]; ok &= found; } if(ok){ out("Yes"); return 0; } } out("No"); }