/*
$$$$$$$\ $$\ $$$$$$$\
$$ __$$\ \__| $$ __$$\
$$ | $$ | $$$$$$\ $$$$$$\ $$\ $$$$$$$\ $$ | $$ | $$$$$$\ $$$$$$\ $$$$$$$\ $$$$$$\
$$$$$$$\ |$$ __$$\ $$ __$$\ $$ |$$ _____|$$$$$$$\ | \____$$\ $$ __$$\ $$ _____|\____$$\
$$ __$$\ $$ / $$ |$$ | \__|$$ |\$$$$$$\ $$ __$$\ $$$$$$$ |$$ | \__|$$ / $$$$$$$ |
$$ | $$ |$$ | $$ |$$ | $$ | \____$$\ $$ | $$ |$$ __$$ |$$ | $$ | $$ __$$ |
$$$$$$$ |\$$$$$$ |$$ | $$ |$$$$$$$ |$$$$$$$ |\$$$$$$$ |$$ | \$$$$$$$\\$$$$$$$ |
\_______/ \______/ \__| \__|\_______/ \_______/ \_______|\__| \_______|\_______|
*/
#include <bits/stdc++.h>
using namespace std;
#define PB push_back
#define MP make_pair
#define INS insert
#define LB lower_bound
#define UB upper_bound
#define pii pair <int,int>
#define pll pair <long long, long long>
#define si pair<string, int>
#define is pair<int, string>
#define X first
#define Y second
#define _ << " " <<
#define sz(x) (int)x.size()
#define all(a) (a).begin(),(a).end()
#define FOR(i, a, b) for (int i = (a); i < (b); ++i)
#define FORD(i, a, b) for (int i = (a); i > (b); --i)
#define FORR(i, l, r) for (int i = (l); i <= (r); ++i)
#define FORP(i, a, b) for ((i) = (a); (i) < (b); ++i)
#define FORA(i, x) for (auto &i : x)
#define REP(i, n) FOR(i, 0, n)
#define BITS(x) __builtin_popcount(x)
#define MSET memset
#define MCPY memcpy
#define SQ(a) (a) * (a)
typedef long long ll;
typedef long double ld;
typedef vector <int> vi;
typedef vector <pii> vpi;
typedef vector <ll> vll;
typedef vector <pll> vpl;
typedef vector <double> vd;
typedef vector <ld> vld;
typedef vector<si> vsi;
typedef vector<is> vis;
typedef vector<string> vs;
//((float) t)/CLOCKS_PER_SEC
const int MOD = 1e9 + 7;
const double PI = acos(-1);
const int LOG = 19;
const int INF = 1e9 + 10;
const ll INFL = 1e18 + 10;
const int ABC = 30;
const int dx[] = {-1, 1, 0, 0};
const int dy[] = {0, 0, -1, 1};
const int dox[] = {-1, 1, 0, 0, -1, -1, 1, 1};
const int doy[] = {0, 0, -1, 1, -1, 1, -1, 1};
inline int sum(int a, int b){
if (a + b >= MOD)
return a + b - MOD;
if (a + b < 0)
return a + b + MOD;
return a + b;
}
inline void add(int &a, int b){
a = sum(a, b);
}
inline int mul(int a, int b){
return (ll)a * (ll)b % MOD;
}
inline int sub(int a, int b){
return (a - b + MOD) % MOD;
}
inline int pot(ll pot, int n){
ll ret = 1;
if (n == 0)
return 1;
while (n){
if (n & 1)
ret = (ret * pot) % MOD;
pot = (pot * pot) % MOD;
n >>= 1;
}
return ret;
}
inline int divide(int a, int b){
return mul(a, pot(b, MOD - 2));
}
ll lcm(ll a, ll b){
return abs(a * b) / __gcd(a, b);
}
inline double ccw(pii A, pii B, pii C){
return (A.X * B.Y) - (A.Y * B.X) + (B.X * C.Y) - (B.Y * C.X) + (C.X * A.Y) - (C.Y * A.X);
}
inline int CCW(pii A, pii B, pii C){
double val = ccw(A, B, C);
double eps = max(max(abs(A.X), abs(A.Y)), max(max(abs(B.X), abs(B.Y)), max(abs(C.X), abs(C.Y)))) / 1e9;
if (val <= -eps)
return -1;
if (val >= eps)
return 1;
return 0;
}
void to_upper(string &x){
REP(i, sz(x))
x[i] = toupper(x[i]);
}
void to_lower(string &x){
REP(i, sz(x))
x[i] = tolower(x[i]);
}
string its(ll x){
if (x == 0)
return "0";
string ret = "";
while (x > 0){
ret += (x % 10) + '0';
x /= 10;
}
reverse(all(ret));
return ret;
}
ll sti(string s){
ll ret = 0;
REP(i, sz(s)){
ret *= 10;
ret += (s[i] - '0');
}
return ret;
}
const int N = 1e3 + 10;
int n, k, memo[2][2][N][N], pom[2][2][N][N];
string a, b, m, l;
map <char, char> nxt = {{'L', 'R'}, {'R', 'L'}};
map <char, int> p = {{'L', 0}, {'R', 1}};
int cnt(int manji, int stav, int x, int y){
if (x == n)
return (y == 0);
int &ret = pom[manji][stav][x][y];
if (~ret)
return ret;
ret = 0;
int move = p[m[x]];
if (stav)
move = !move;
int bit = l[x] - '0';
if (manji){
add(ret, cnt(manji, stav, x + 1, y));
if (y){
stav++;
stav %= 2;
move = !move;
add(ret, cnt(manji, stav, x + 1, y - 1));
stav++;
stav %= 2;
}
} else {
if (move < bit)
add(ret, cnt(1, stav, x + 1, y));
else if (move == bit)
add(ret, cnt(0, stav, x + 1, y));
if (y){
stav++;
stav %= 2;
move = !move;
if (move < bit)
add(ret, cnt(1, stav, x + 1, y - 1));
else if (move == bit)
add(ret, cnt(0, stav, x + 1, y - 1));
stav++;
stav %= 2;
}
}
return ret;
}
int dp(int manji, int stav, int x, int y){
if (x == n)
return 0;
int &ret = memo[manji][stav][x][y];
if (~ret)
return ret;
ret = 0;
int move = p[m[x]];
if (stav)
move = !move;
int bit = l[x] - '0';
if (manji){
add(ret, mul(mul(pot(2, n - x - 1), move), cnt(manji, stav, x + 1, y))), add(ret, dp(manji, stav, x + 1, y));
if (y){
stav++;
stav %= 2;
move = !move;
add(ret, mul(mul(pot(2, n - x - 1), move), cnt(manji, stav, x + 1, y - 1))), add(ret, dp(manji, stav, x + 1, y - 1));
stav++;
stav %= 2;
}
} else {
if (move < bit)
add(ret, mul(mul(pot(2, n - x - 1), move), cnt(1, stav, x + 1, y))), add(ret, dp(1, stav, x + 1, y));
else if (move == bit)
add(ret, mul(mul(pot(2, n - x - 1), move), cnt(0, stav, x + 1, y))), add(ret, dp(0, stav, x + 1, y));
if (y){
stav++;
stav %= 2;
move = !move;
if (move < bit)
add(ret, mul(mul(pot(2, n - x - 1), move), cnt(1, stav, x + 1, y - 1))), add(ret, dp(1, stav, x + 1, y - 1));
else if (move == bit)
add(ret, mul(mul(pot(2, n - x - 1), move), cnt(0, stav, x + 1, y - 1))), add(ret, dp(0, stav, x + 1, y - 1));
stav++;
stav %= 2;
}
}
//cout << manji _ stav _ x _ y _ ret << '\n';
return ret;
}
int main () {
ios_base::sync_with_stdio(false);
cin.tie(0);
cout.tie(0);
cin >> n >> k;
cin >> m;
cin >> a >> b;
a = a.substr(1, sz(a) - 1);
b = b.substr(1, sz(b) - 1);
n--;
l = b;
memset(pom, -1, sizeof pom);
memset(memo, -1, sizeof memo);
int _b = 0;
add(_b, dp(0, 0, 0, k));
add(_b, dp(0, 1, 0, k));
add(_b, mul(sum(cnt(0, 0, 0, k), cnt(0, 1, 0, k)), pot(2, n)));
l = a;
memset(pom, -1, sizeof pom);
memset(memo, -1, sizeof memo);
int _a = sum(dp(0, 0, 0, k), dp(0, 1, 0, k));
add(_a, mul(sum(cnt(0, 0, 0, k), cnt(0, 1, 0, k)), pot(2, n)));
int sol = sub(_b, _a);
REP(i, n)
add(sol, mul(pot(2, n - i - 1), a[i] - '0'));
add(sol, pot(2, n));
cout << sol << '\n';
return 0;
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
34 ms |
32504 KB |
Output is correct |
2 |
Correct |
33 ms |
32376 KB |
Output is correct |
3 |
Correct |
33 ms |
32384 KB |
Output is correct |
4 |
Correct |
33 ms |
32384 KB |
Output is correct |
5 |
Correct |
33 ms |
32384 KB |
Output is correct |
6 |
Correct |
32 ms |
32384 KB |
Output is correct |
7 |
Correct |
33 ms |
32384 KB |
Output is correct |
8 |
Correct |
32 ms |
32376 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
31 ms |
32256 KB |
Output is correct |
2 |
Correct |
32 ms |
32248 KB |
Output is correct |
3 |
Correct |
32 ms |
32360 KB |
Output is correct |
4 |
Correct |
33 ms |
32256 KB |
Output is correct |
5 |
Correct |
32 ms |
32248 KB |
Output is correct |
6 |
Correct |
32 ms |
32248 KB |
Output is correct |
7 |
Correct |
32 ms |
32248 KB |
Output is correct |
8 |
Correct |
32 ms |
32256 KB |
Output is correct |
9 |
Correct |
31 ms |
32256 KB |
Output is correct |
10 |
Correct |
33 ms |
32256 KB |
Output is correct |
11 |
Correct |
32 ms |
32256 KB |
Output is correct |
12 |
Correct |
33 ms |
32316 KB |
Output is correct |
13 |
Correct |
31 ms |
32248 KB |
Output is correct |
14 |
Correct |
32 ms |
32316 KB |
Output is correct |
15 |
Correct |
32 ms |
32248 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
211 ms |
32504 KB |
Output is correct |
2 |
Correct |
167 ms |
32384 KB |
Output is correct |
3 |
Correct |
182 ms |
32480 KB |
Output is correct |
4 |
Correct |
393 ms |
32504 KB |
Output is correct |
5 |
Correct |
163 ms |
32452 KB |
Output is correct |
6 |
Correct |
422 ms |
32504 KB |
Output is correct |
7 |
Correct |
116 ms |
32376 KB |
Output is correct |
8 |
Correct |
199 ms |
32504 KB |
Output is correct |
9 |
Correct |
39 ms |
32384 KB |
Output is correct |
10 |
Correct |
168 ms |
32376 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
34 ms |
32504 KB |
Output is correct |
2 |
Correct |
33 ms |
32376 KB |
Output is correct |
3 |
Correct |
33 ms |
32384 KB |
Output is correct |
4 |
Correct |
33 ms |
32384 KB |
Output is correct |
5 |
Correct |
33 ms |
32384 KB |
Output is correct |
6 |
Correct |
32 ms |
32384 KB |
Output is correct |
7 |
Correct |
33 ms |
32384 KB |
Output is correct |
8 |
Correct |
32 ms |
32376 KB |
Output is correct |
9 |
Correct |
31 ms |
32256 KB |
Output is correct |
10 |
Correct |
32 ms |
32248 KB |
Output is correct |
11 |
Correct |
32 ms |
32360 KB |
Output is correct |
12 |
Correct |
33 ms |
32256 KB |
Output is correct |
13 |
Correct |
32 ms |
32248 KB |
Output is correct |
14 |
Correct |
32 ms |
32248 KB |
Output is correct |
15 |
Correct |
32 ms |
32248 KB |
Output is correct |
16 |
Correct |
32 ms |
32256 KB |
Output is correct |
17 |
Correct |
31 ms |
32256 KB |
Output is correct |
18 |
Correct |
33 ms |
32256 KB |
Output is correct |
19 |
Correct |
32 ms |
32256 KB |
Output is correct |
20 |
Correct |
33 ms |
32316 KB |
Output is correct |
21 |
Correct |
31 ms |
32248 KB |
Output is correct |
22 |
Correct |
32 ms |
32316 KB |
Output is correct |
23 |
Correct |
32 ms |
32248 KB |
Output is correct |
24 |
Correct |
211 ms |
32504 KB |
Output is correct |
25 |
Correct |
167 ms |
32384 KB |
Output is correct |
26 |
Correct |
182 ms |
32480 KB |
Output is correct |
27 |
Correct |
393 ms |
32504 KB |
Output is correct |
28 |
Correct |
163 ms |
32452 KB |
Output is correct |
29 |
Correct |
422 ms |
32504 KB |
Output is correct |
30 |
Correct |
116 ms |
32376 KB |
Output is correct |
31 |
Correct |
199 ms |
32504 KB |
Output is correct |
32 |
Correct |
39 ms |
32384 KB |
Output is correct |
33 |
Correct |
168 ms |
32376 KB |
Output is correct |
34 |
Correct |
414 ms |
32456 KB |
Output is correct |
35 |
Correct |
205 ms |
32376 KB |
Output is correct |
36 |
Correct |
291 ms |
32384 KB |
Output is correct |
37 |
Correct |
393 ms |
32384 KB |
Output is correct |
38 |
Correct |
117 ms |
32504 KB |
Output is correct |
39 |
Correct |
359 ms |
32504 KB |
Output is correct |
40 |
Correct |
102 ms |
32376 KB |
Output is correct |
41 |
Correct |
348 ms |
32384 KB |
Output is correct |
42 |
Correct |
402 ms |
32376 KB |
Output is correct |
43 |
Correct |
383 ms |
32376 KB |
Output is correct |
44 |
Correct |
352 ms |
32384 KB |
Output is correct |
45 |
Correct |
193 ms |
32376 KB |
Output is correct |
46 |
Correct |
354 ms |
32476 KB |
Output is correct |
47 |
Correct |
365 ms |
32384 KB |
Output is correct |
48 |
Correct |
275 ms |
32504 KB |
Output is correct |
49 |
Correct |
50 ms |
32376 KB |
Output is correct |
50 |
Correct |
406 ms |
32384 KB |
Output is correct |
51 |
Correct |
259 ms |
32376 KB |
Output is correct |
52 |
Correct |
302 ms |
32504 KB |
Output is correct |
53 |
Correct |
460 ms |
32504 KB |
Output is correct |
54 |
Correct |
210 ms |
32504 KB |
Output is correct |
55 |
Correct |
421 ms |
32376 KB |
Output is correct |
56 |
Correct |
435 ms |
32504 KB |
Output is correct |
57 |
Correct |
99 ms |
32384 KB |
Output is correct |
58 |
Correct |
408 ms |
32376 KB |
Output is correct |