結果
| 問題 |
No.2948 move move rotti
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2024-10-26 13:59:21 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 609 ms / 4,000 ms |
| コード長 | 1,568 bytes |
| コンパイル時間 | 2,406 ms |
| コンパイル使用メモリ | 204,132 KB |
| 最終ジャッジ日時 | 2025-02-25 00:18:45 |
|
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 28 |
ソースコード
#include <bits/stdc++.h>
#define rep(i,n) for(int i=0;i<(n);++i)
using namespace std;
using ll = long long;
int main(){
ios::sync_with_stdio(false);
cin.tie(nullptr);
int n,m,k;
cin >> n >> m >> k;
vector<int> x(k);
rep(i,k) cin >> x[i],x[i]--;
vector<vector<int>> g(n);
rep(i,m){
int u,v;
cin >> u >> v;
u--;v--;
g[u].push_back(v);
g[v].push_back(u);
}
vector<vector<vector<int>>> a(k,vector<vector<int>>(n,vector<int>(n+1,0)));
rep(ki,k){
vector<vector<int>> dp(1<<n,vector<int>(n,0));
dp[1<<x[ki]][x[ki]] = 1;
rep(bit, 1<<n){
rep(j,n){
for(int l:g[j]){
if((bit & (1<<l))==0){
dp[bit|(1<<l)][l] |= dp[bit][j];
}
}
}
}
rep(j,n){
rep(bit,1<<n){
if(dp[bit][j]){
int c=0;
rep(l,n){
if(bit & (1<<l)) c++;
}
a[ki][j][c]=1;
}
}
}
}
// rep(i,k){
// rep(j,n){
// rep(l,n) cout << a[i][j][k] << " ";
// cout << endl;
// }
// cout << endl;
// }
rep(i,n){
rep(j,n+1){
bool o = true;
rep(l,k) if(!a[l][i][j]) o = false;
if(o){
cout << "Yes" << endl;
return 0;
}
}
}
cout << "No" << endl;
}