#include "bits/stdc++.h"
using namespace std;
#define ar array
const int N = 15;
const int M = 1005;
int dp[2][N][1 << N];
int is[N][M];
signed main(){
ios::sync_with_stdio(0); cin.tie(0);
int n, m, k; cin>>n>>m>>k;
if(!k){
if(n > m) swap(n, m);
if(n * m % 6 == 0) cout<<"YES\n";
else if(n * m % 3 == 0 && n >= 5) cout<<"YES\n";
else cout<<"NO\n";
return 0;
}
vector<int> x(k), y(k);
for(int i=0;i<n;i++){
for(int j=0;j<m;j++){
is[i][j] = 1;
}
}
for(int i=0;i<k;i++){
cin>>x[i]>>y[i]; x[i]--, y[i]--;
is[x[i]][y[i]] = 0;
}
int ch[4][2] = {
{0, 0},
{-1, 0},
{-1, 1},
{0, 1}
};
int P[4] = {1, 0, -1, 0}, mas[4] = {14, 13, 11, 7};
int mask = (!is[0][1]);
for(int i=0;i<n;i++){
if(!is[i][0]) mask |= (1 << (i + 1));
}
dp[0][1][mask] = 1;
for(int i=0;i+1<m;i++){
int c = i&1;
memset(dp[!c], 0, sizeof dp[!c]);
for(int j=1;j<n;j++){
for(int mask=0;mask < (1 << (n + 1));mask++){
if(!dp[c][j][mask]) continue;
int us = 0;
for(int t=0;t<4;t++){
us |= (is[j + ch[t][0]][i + ch[t][1]] & (t < 3 ? !(mask >> (j + P[t]) & 1) : 1)) << t;
}
for(int t=0;t<4;t++){
if((us & mas[t]) != mas[t]) continue;
int m2 = mask;
for(int l=0;l<4;l++){
if(mas[t] >> l & 1){
//~ assert(!(m2 >> (j + P[l]) & 1));
m2 |= (1 << (j + P[l]));
}
}
if(t == 1 && !(mask >> j & 1)) continue;
if(t == 3){
m2 ^= (1 << j);
m2 |= (!is[j][i + 1]) << j;
}
if(j + 1 < n){
dp[c][j + 1][m2] = 1;
} else if(m2 >> n & 1) {
m2 ^= (1 << n);
m2 = m2 << 1 | (!is[0][i + 2]);
dp[!c][1][m2] = 1;
}
}
if(mask >> j & 1){
int m2 = mask;
if(j + 1 < n){
m2 ^= (1 << j);
m2 |= (!is[j][i+1]) << j;
dp[c][j + 1][m2] = 1;
} else if(m2 >> n & 1) {
m2 ^= (1 << j) ^ (1 << n);
m2 |= (!is[j][i+1]) << j;
m2 = m2 << 1 | (!is[0][i + 2]);
dp[!c][1][m2] = 1;
}
}
}
}
}
if(dp[(m-1)&1][1][(1 << (n + 1)) - 1]) cout<<"YES\n";
else cout<<"NO\n";
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
59 ms |
4052 KB |
Output is correct |
2 |
Correct |
31 ms |
4052 KB |
Output is correct |
3 |
Correct |
31 ms |
4172 KB |
Output is correct |
4 |
Correct |
36 ms |
4052 KB |
Output is correct |
5 |
Correct |
37 ms |
4052 KB |
Output is correct |
6 |
Correct |
49 ms |
4180 KB |
Output is correct |
7 |
Correct |
4 ms |
4180 KB |
Output is correct |
8 |
Correct |
85 ms |
4180 KB |
Output is correct |
9 |
Correct |
9 ms |
4180 KB |
Output is correct |
10 |
Correct |
12 ms |
4204 KB |
Output is correct |
11 |
Correct |
171 ms |
4208 KB |
Output is correct |
12 |
Correct |
15 ms |
4180 KB |
Output is correct |
13 |
Correct |
3 ms |
4180 KB |
Output is correct |
14 |
Correct |
3 ms |
4180 KB |
Output is correct |
15 |
Correct |
7 ms |
4200 KB |
Output is correct |
16 |
Correct |
1216 ms |
4204 KB |
Output is correct |
17 |
Correct |
163 ms |
4180 KB |
Output is correct |
18 |
Correct |
587 ms |
4192 KB |
Output is correct |
19 |
Correct |
60 ms |
4180 KB |
Output is correct |
20 |
Correct |
1144 ms |
4212 KB |
Output is correct |
21 |
Correct |
552 ms |
4200 KB |
Output is correct |
22 |
Correct |
65 ms |
4180 KB |
Output is correct |
23 |
Correct |
56 ms |
4180 KB |
Output is correct |
24 |
Correct |
50 ms |
4180 KB |
Output is correct |
25 |
Correct |
1254 ms |
4200 KB |
Output is correct |
26 |
Correct |
1267 ms |
4208 KB |
Output is correct |
27 |
Correct |
46 ms |
4180 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Incorrect |
1 ms |
212 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Runtime error |
6 ms |
8276 KB |
Execution killed with signal 11 |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Runtime error |
6 ms |
8276 KB |
Execution killed with signal 11 |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Runtime error |
8 ms |
8308 KB |
Execution killed with signal 11 |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
59 ms |
4052 KB |
Output is correct |
2 |
Correct |
31 ms |
4052 KB |
Output is correct |
3 |
Correct |
31 ms |
4172 KB |
Output is correct |
4 |
Correct |
36 ms |
4052 KB |
Output is correct |
5 |
Correct |
37 ms |
4052 KB |
Output is correct |
6 |
Correct |
49 ms |
4180 KB |
Output is correct |
7 |
Correct |
4 ms |
4180 KB |
Output is correct |
8 |
Correct |
85 ms |
4180 KB |
Output is correct |
9 |
Correct |
9 ms |
4180 KB |
Output is correct |
10 |
Correct |
12 ms |
4204 KB |
Output is correct |
11 |
Correct |
171 ms |
4208 KB |
Output is correct |
12 |
Correct |
15 ms |
4180 KB |
Output is correct |
13 |
Correct |
3 ms |
4180 KB |
Output is correct |
14 |
Correct |
3 ms |
4180 KB |
Output is correct |
15 |
Correct |
7 ms |
4200 KB |
Output is correct |
16 |
Correct |
1216 ms |
4204 KB |
Output is correct |
17 |
Correct |
163 ms |
4180 KB |
Output is correct |
18 |
Correct |
587 ms |
4192 KB |
Output is correct |
19 |
Correct |
60 ms |
4180 KB |
Output is correct |
20 |
Correct |
1144 ms |
4212 KB |
Output is correct |
21 |
Correct |
552 ms |
4200 KB |
Output is correct |
22 |
Correct |
65 ms |
4180 KB |
Output is correct |
23 |
Correct |
56 ms |
4180 KB |
Output is correct |
24 |
Correct |
50 ms |
4180 KB |
Output is correct |
25 |
Correct |
1254 ms |
4200 KB |
Output is correct |
26 |
Correct |
1267 ms |
4208 KB |
Output is correct |
27 |
Correct |
46 ms |
4180 KB |
Output is correct |
28 |
Incorrect |
1 ms |
212 KB |
Output isn't correct |
29 |
Halted |
0 ms |
0 KB |
- |