This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include<bits/stdc++.h>
using namespace std;
typedef pair<int, int> pii;
const int mod = 1e9 + 7;
const int MN = 6010;
int exp(int x, int n) {
int ret = 1;
while(n) {
if(n & 1) ret = 1LL * ret * x % mod;
x = 1LL * x * x % mod;
n >>= 1;
}
return ret;
}
int inv(int x) {
return exp(x, mod - 2);
}
int fact[MN], invf[MN];
int comb(int n, int k) {
if(n < k) return 0;
return 1LL * fact[n] * invf[k] % mod * invf[n - k] % mod;
}
int H(int n, int k) {
if(k == 0) return 1;
return comb(n + k - 1, k);
}
int N, L, R;
char G[3][MN];
int psum[MN];
int calc(int l, int r) {
if(l > r) return 0;
return psum[r] - (l? psum[l - 1] : 0);
}
int dp1[2][2][MN], dp2[3][3][2][MN], dp3[3][3][2][MN];
int proc(int l, int r) {
L = l;
R = r;
int tot = 0;
for(int i = 0; i < 3; i++) {
for(int j = L; j <= R; j++) {
tot += G[i][j] == 'x';
}
}
for(int i = 0; i < 2; i++) {
dp1[i][1][0] = L? 1 : i == 0;
}
for(int r = 0; r <= R - L; r++) {
int c = r & 1;
int tr = L + r;
int rem = calc(L, tr - 1);
int cnt = (G[0][tr] == 'x') + (G[2][tr] == 'x');
for(int a = 0; a < 3; a++) {
for(int b = 0; b < 3; b++) {
for(int pre = 0; pre <= rem; pre++) {
int &ret = dp2[a][b][c][pre];
ret = 0;
if(pre) {
ret += dp2[a][b][c][pre - 1];
ret %= mod;
}
ret += 1LL * dp1[0][c ^ 1][pre] * fact[a] % mod * fact[b] % mod * H(pre + 1, a) % mod * H(rem - pre + 1, b) % mod;
ret %= mod;
}
for(int pre = rem; pre >= 0; pre--) {
int &ret = dp3[a][b][c][pre];
ret = 0;
if(pre < rem) {
ret += dp3[a][b][c][pre + 1];
ret %= mod;
}
ret += 1LL * dp1[1][c ^ 1][pre] * fact[a] % mod * fact[b] % mod * H(pre + 1, a) % mod * H(rem - pre + 1, b) % mod;
ret %= mod;
}
}
}
for(int t = 0; t < 2; t++) {
for(int pre = 0; pre <= calc(L, tr); pre++) {
int &ret = dp1[t][c][pre];
ret = 0;
if(t) {
if(pre - 1 - cnt >= 0) {
ret += dp2[cnt][0][c][ min(rem, pre - 1 - cnt) ] % mod;
ret %= mod;
}
}
else {
ret += dp2[cnt][0][c][rem];
ret %= mod;
for(int i = 0; i < cnt; i++) {
if(pre - i <= rem) {
ret += 1LL * comb(cnt, i) * dp3[i][cnt - i][c][ max(0, pre - i) ] % mod;
ret %= mod;
}
}
}
}
}
}
int ret;
if(r == N - 1) ret = dp1[0][(R - L) & 1][tot];
else ret = dp1[0][(R - L) & 1][0];
//cout << l << ' ' << r << ' ' << ret << endl;
return ret;
}
int main() {
fact[0] = 1;
for(int i = 1; i < MN; i++) {
fact[i] = 1LL * fact[i - 1] * i % mod;
}
for(int i = 0; i < MN; i++) {
invf[i] = inv(fact[i]);
}
scanf("%d", &N);
int sum = 0;
for(int i = 0; i < 3; i++) {
scanf("\n");
for(int j = 0; j < N; j++) {
scanf("%c", &G[i][j]);
if(G[i][j] == 'x') sum++;
}
}
for(int i = 0; i < N; i++) {
for(int j = 0; j < 3; j++) {
psum[i] += G[j][i] == 'x';
}
if(i) psum[i] += psum[i - 1];
}
if(G[0][0] == 'x' || G[0][N - 1] == 'x' || G[2][0] == 'x' || G[2][N - 1] == 'x') {
printf("0");
return 0;
}
for(int i = 0; i < N - 1; i++) {
if(G[0][i] == 'x' && G[0][i + 1] == 'x') {
printf("0");
return 0;
}
if(G[2][i] == 'x' && G[2][i + 1] == 'x') {
printf("0");
return 0;
}
}
vector<int> ind;
vector<pii> prob;
int s = 0;
for(int i = 0; i < N; i++) {
if(G[1][i] == 'o') {
if(s < i) {
int cnt = 0;
for(int j = s; j < i; j++) {
for(int k = 0; k < 3; k++) cnt += G[k][j] == 'x';
}
ind.push_back(cnt);
prob.push_back(pii(s, i - 1));
}
s = i + 1;
}
}
if(s < N) {
int cnt = 0;
for(int j = s; j < N; j++) {
for(int k = 0; k < 3; k++) cnt += G[k][j] == 'x';
}
ind.push_back(cnt);
prob.push_back(pii(s, N - 1));
}
int ans = fact[sum];
for(int i = 0; i < ind.size(); i++) {
ans = 1LL * ans * invf[ ind[i] ] % mod;
}
for(int i = 0; i < prob.size(); i++) {
ans = 1LL * ans * proc(prob[i].first, prob[i].second) % mod;
}
printf("%d", ans);
}
Compilation message (stderr)
solitaire.cpp: In function 'int main()':
solitaire.cpp:188:22: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
for(int i = 0; i < ind.size(); i++) {
~~^~~~~~~~~~~~
solitaire.cpp:191:22: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
for(int i = 0; i < prob.size(); i++) {
~~^~~~~~~~~~~~~
solitaire.cpp:129:10: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
scanf("%d", &N);
~~~~~^~~~~~~~~~
solitaire.cpp:133:14: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
scanf("\n");
~~~~~^~~~~~
solitaire.cpp:135:18: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
scanf("%c", &G[i][j]);
~~~~~^~~~~~~~~~~~~~~~
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |