Submission #567177

# Submission time Handle Problem Language Result Execution time Memory
567177 2022-05-23T08:50:52 Z maomao90 Misspelling (JOI22_misspelling) C++17
100 / 100
390 ms 348084 KB
// Hallelujah, praise the one who set me free
// Hallelujah, death has lost its grip on me
// You have broken every chain, There's salvation in your name
// Jesus Christ, my living hope
#include <bits/stdc++.h> 
using namespace std;

#pragma GCC optimize("Ofast,unroll-loops")
#pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt")

template <class T>
inline bool mnto(T& a, T b) {return a > b ? a = b, 1 : 0;}
template <class T>
inline bool mxto(T& a, T b) {return a < b ? a = b, 1: 0;}
#define REP(i, s, e) for (int i = s; i < e; i++)
#define RREP(i, s, e) for (int i = s; i >= e; i--)
typedef long long ll;
typedef long double ld;
#define FI first
#define SE second
typedef pair<int, int> ii;
typedef pair<ll, ll> pll;
typedef tuple<int, int, int> iii;
#define ALL(_a) _a.begin(), _a.end()
#define SZ(_a) (int) _a.size()
#define pb push_back
typedef vector<int> vi;
typedef vector<ll> vll;
typedef vector<ii> vii;
typedef vector<iii> viii;

#ifndef DEBUG
#define cerr if (0) cerr
#endif

const int INF = 1000000005;
const ll LINF = 1000000000000000005ll;
const int MAXN = 500005;
const int MOD = 1000000007;

int n, m;
int lr[MAXN][2];
//ll dp[2][MAXN][30];
ll dp[MAXN][30], psm[MAXN][30], rowsm[30][MAXN];
ll ans;

int main() {
#ifndef DEBUG
    ios::sync_with_stdio(0), cin.tie(0);
#endif
    cin >> n >> m;
    REP (i, 0, m) {
        int a, b; cin >> a >> b;
        bool s = 0;
        if (a > b) {
            s = 1;
            swap(a, b);
        }
        mxto(lr[a][s], b);
    }
    REP (c, 0, 26) {
        dp[1][c] = 1;
        psm[1][c] = c + 1;
        rowsm[c][1] = c + 1;
    }
    vii stk[2];
    int ptr[2] = {0, 0};
    REP (i, 2, n + 1) {
        REP (z, 0, 2) {
            while (!stk[z].empty() && stk[z].back().FI < lr[i - 1][z]) {
                stk[z].pop_back();
            }
            stk[z].pb({lr[i - 1][z], i - 1});
            while (ptr[z] >= SZ(stk[z]) || 
                    (ptr[z] >= 0 && stk[z][ptr[z]].FI < i)) {
                ptr[z]--;
            }
            while (ptr[z] + 1 < SZ(stk[z]) && stk[z][ptr[z] + 1].FI >= i) {
                ptr[z]++;
            }
            // increment range (stk[z][ptr[z]].SE, i - 1]
            int s = ptr[z] < 0 ? -1 : stk[z][ptr[z]].SE; // exclusive
            REP (c, 0, 26) {
                ll fi, se;
                if (z) {
                    if (c) {
                        fi = rowsm[c - 1][i - 1];
                        se = (s < 0 ? 0 : rowsm[c - 1][s]);
                    } else {
                        fi = 0;
                        se = 0;
                    }
                } else {
                    fi = rowsm[25][i - 1] - rowsm[c][i - 1];
                    se = (s < 0 ? 0 : (rowsm[25][s] - rowsm[c][s]));
                    if (fi < 0) {
                        fi += MOD;
                    }
                    if (se < 0) {
                        se += MOD;
                    }
                }
                dp[i][c] += fi - se;
                if (dp[i][c] < 0) {
                    dp[i][c] += MOD;
                }
                if (dp[i][c] >= MOD) {
                    dp[i][c] -= MOD;
                }
            }
        }
        psm[i][0] = dp[i][0];
        REP (c, 1, 26) {
            psm[i][c] = psm[i][c - 1] + dp[i][c];
            if (psm[i][c] >= MOD) {
                psm[i][c] -= MOD;
            }
        }
        REP (c, 0, 26) {
            rowsm[c][i] = rowsm[c][i - 1] + psm[i][c];
            if (rowsm[c][i] >= MOD) {
                rowsm[c][i] -= MOD;
            }
        }
    }
    REP (j, 1, n + 1) {
        REP (c, 0, 26) {
            ans += dp[j][c];
            if (ans >= MOD) {
                ans -= MOD;
            }
        }
    }
    /*
    int cur = 1, prv = 0;
    REP (c, 0, 26) {
        dp[cur][1][c] = 1;
    }
    REP (i, 2, n + 1) {
        swap(cur, prv);
        int r[2] = {0, 0};
        RREP (j, i - 1, 1) {
            mxto(r[0], lr[j][0]);
            mxto(r[1], lr[j][1]);
            ll lsm = 0, rsm = 0;
            REP (c, 0, 26) {
                rsm += dp[prv][j][c];
                if (rsm >= MOD) {
                    rsm -= MOD;
                }
                // stay the same
                dp[cur][j][c] = dp[prv][j][c]; 
            }
            REP (c, 0, 26) {
                rsm -= dp[prv][j][c];
                if (rsm < 0) {
                    rsm += MOD;
                }
                if (r[0] < i) {
                    dp[cur][i][c] += rsm;
                    if (dp[cur][i][c] >= MOD) {
                        dp[cur][i][c] -= MOD;
                    }
                }
                if (r[1] < i) {
                    dp[cur][i][c] += lsm;
                    if (dp[cur][i][c] >= MOD) {
                        dp[cur][i][c] -= MOD;
                    }
                }
                lsm += dp[prv][j][c];
                if (lsm >= MOD) {
                    lsm -= MOD;
                }
            }
        }
    }
    REP (j, 1, n + 1) {
        REP (c, 0, 26) {
            ans += dp[cur][j][c];
            if (ans >= MOD) {
                ans -= MOD;
            }
        }
    }
    */
    cout << ans << '\n';
    return 0;
}
# Verdict Execution time Memory Grader output
1 Correct 1 ms 468 KB Output is correct
2 Correct 0 ms 468 KB Output is correct
3 Correct 0 ms 468 KB Output is correct
4 Correct 0 ms 468 KB Output is correct
5 Correct 1 ms 468 KB Output is correct
6 Correct 0 ms 468 KB Output is correct
7 Correct 1 ms 468 KB Output is correct
8 Correct 0 ms 468 KB Output is correct
9 Correct 1 ms 468 KB Output is correct
10 Correct 1 ms 468 KB Output is correct
11 Correct 0 ms 468 KB Output is correct
12 Correct 0 ms 468 KB Output is correct
13 Correct 1 ms 468 KB Output is correct
14 Correct 1 ms 468 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 468 KB Output is correct
2 Correct 0 ms 468 KB Output is correct
3 Correct 0 ms 468 KB Output is correct
4 Correct 0 ms 468 KB Output is correct
5 Correct 1 ms 468 KB Output is correct
6 Correct 0 ms 468 KB Output is correct
7 Correct 1 ms 468 KB Output is correct
8 Correct 0 ms 468 KB Output is correct
9 Correct 1 ms 468 KB Output is correct
10 Correct 1 ms 468 KB Output is correct
11 Correct 0 ms 468 KB Output is correct
12 Correct 0 ms 468 KB Output is correct
13 Correct 1 ms 468 KB Output is correct
14 Correct 1 ms 468 KB Output is correct
15 Correct 1 ms 596 KB Output is correct
16 Correct 1 ms 596 KB Output is correct
17 Correct 1 ms 596 KB Output is correct
18 Correct 1 ms 596 KB Output is correct
19 Correct 1 ms 596 KB Output is correct
20 Correct 1 ms 596 KB Output is correct
21 Correct 1 ms 596 KB Output is correct
22 Correct 2 ms 596 KB Output is correct
23 Correct 1 ms 596 KB Output is correct
24 Correct 1 ms 596 KB Output is correct
25 Correct 1 ms 596 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 0 ms 468 KB Output is correct
2 Correct 1 ms 468 KB Output is correct
3 Correct 0 ms 468 KB Output is correct
4 Correct 0 ms 468 KB Output is correct
5 Correct 374 ms 346964 KB Output is correct
6 Correct 378 ms 347292 KB Output is correct
7 Correct 339 ms 347308 KB Output is correct
8 Correct 368 ms 347288 KB Output is correct
9 Correct 376 ms 347284 KB Output is correct
10 Correct 18 ms 14292 KB Output is correct
11 Correct 1 ms 596 KB Output is correct
12 Correct 1 ms 452 KB Output is correct
13 Correct 384 ms 347460 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 468 KB Output is correct
2 Correct 0 ms 468 KB Output is correct
3 Correct 0 ms 468 KB Output is correct
4 Correct 0 ms 468 KB Output is correct
5 Correct 1 ms 468 KB Output is correct
6 Correct 0 ms 468 KB Output is correct
7 Correct 1 ms 468 KB Output is correct
8 Correct 0 ms 468 KB Output is correct
9 Correct 1 ms 468 KB Output is correct
10 Correct 1 ms 468 KB Output is correct
11 Correct 0 ms 468 KB Output is correct
12 Correct 0 ms 468 KB Output is correct
13 Correct 1 ms 468 KB Output is correct
14 Correct 1 ms 468 KB Output is correct
15 Correct 1 ms 596 KB Output is correct
16 Correct 1 ms 596 KB Output is correct
17 Correct 1 ms 596 KB Output is correct
18 Correct 1 ms 596 KB Output is correct
19 Correct 1 ms 596 KB Output is correct
20 Correct 1 ms 596 KB Output is correct
21 Correct 1 ms 596 KB Output is correct
22 Correct 2 ms 596 KB Output is correct
23 Correct 1 ms 596 KB Output is correct
24 Correct 1 ms 596 KB Output is correct
25 Correct 1 ms 596 KB Output is correct
26 Correct 18 ms 14144 KB Output is correct
27 Correct 17 ms 14408 KB Output is correct
28 Correct 18 ms 14424 KB Output is correct
29 Correct 15 ms 14104 KB Output is correct
30 Correct 16 ms 14164 KB Output is correct
31 Correct 94 ms 14168 KB Output is correct
32 Correct 15 ms 14164 KB Output is correct
33 Correct 15 ms 14060 KB Output is correct
34 Correct 15 ms 14164 KB Output is correct
35 Correct 87 ms 14164 KB Output is correct
36 Correct 13 ms 14288 KB Output is correct
37 Correct 15 ms 14164 KB Output is correct
38 Correct 13 ms 14164 KB Output is correct
39 Correct 15 ms 14164 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 468 KB Output is correct
2 Correct 0 ms 468 KB Output is correct
3 Correct 0 ms 468 KB Output is correct
4 Correct 0 ms 468 KB Output is correct
5 Correct 1 ms 468 KB Output is correct
6 Correct 0 ms 468 KB Output is correct
7 Correct 1 ms 468 KB Output is correct
8 Correct 0 ms 468 KB Output is correct
9 Correct 1 ms 468 KB Output is correct
10 Correct 1 ms 468 KB Output is correct
11 Correct 0 ms 468 KB Output is correct
12 Correct 0 ms 468 KB Output is correct
13 Correct 1 ms 468 KB Output is correct
14 Correct 1 ms 468 KB Output is correct
15 Correct 1 ms 596 KB Output is correct
16 Correct 1 ms 596 KB Output is correct
17 Correct 1 ms 596 KB Output is correct
18 Correct 1 ms 596 KB Output is correct
19 Correct 1 ms 596 KB Output is correct
20 Correct 1 ms 596 KB Output is correct
21 Correct 1 ms 596 KB Output is correct
22 Correct 2 ms 596 KB Output is correct
23 Correct 1 ms 596 KB Output is correct
24 Correct 1 ms 596 KB Output is correct
25 Correct 1 ms 596 KB Output is correct
26 Correct 0 ms 468 KB Output is correct
27 Correct 1 ms 468 KB Output is correct
28 Correct 0 ms 468 KB Output is correct
29 Correct 0 ms 468 KB Output is correct
30 Correct 374 ms 346964 KB Output is correct
31 Correct 378 ms 347292 KB Output is correct
32 Correct 339 ms 347308 KB Output is correct
33 Correct 368 ms 347288 KB Output is correct
34 Correct 376 ms 347284 KB Output is correct
35 Correct 18 ms 14292 KB Output is correct
36 Correct 1 ms 596 KB Output is correct
37 Correct 1 ms 452 KB Output is correct
38 Correct 384 ms 347460 KB Output is correct
39 Correct 18 ms 14144 KB Output is correct
40 Correct 17 ms 14408 KB Output is correct
41 Correct 18 ms 14424 KB Output is correct
42 Correct 15 ms 14104 KB Output is correct
43 Correct 16 ms 14164 KB Output is correct
44 Correct 94 ms 14168 KB Output is correct
45 Correct 15 ms 14164 KB Output is correct
46 Correct 15 ms 14060 KB Output is correct
47 Correct 15 ms 14164 KB Output is correct
48 Correct 87 ms 14164 KB Output is correct
49 Correct 13 ms 14288 KB Output is correct
50 Correct 15 ms 14164 KB Output is correct
51 Correct 13 ms 14164 KB Output is correct
52 Correct 15 ms 14164 KB Output is correct
53 Correct 305 ms 344748 KB Output is correct
54 Correct 388 ms 348052 KB Output is correct
55 Correct 364 ms 347964 KB Output is correct
56 Correct 367 ms 348084 KB Output is correct
57 Correct 376 ms 347468 KB Output is correct
58 Correct 373 ms 347392 KB Output is correct
59 Correct 343 ms 347220 KB Output is correct
60 Correct 364 ms 347468 KB Output is correct
61 Correct 289 ms 344564 KB Output is correct
62 Correct 390 ms 345820 KB Output is correct
63 Correct 321 ms 344140 KB Output is correct
64 Correct 287 ms 342468 KB Output is correct