QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#247974#7623. Coloring Tapeucup-team135#AC ✓1294ms89892kbC++205.1kb2023-11-11 16:50:122023-11-12 17:57:48

Judging History

This is the latest submission verdict.

  • [2023-11-12 17:57:48]
  • 自动重测本题所有获得100分的提交记录
  • Verdict: AC
  • Time: 1294ms
  • Memory: 89892kb
  • [2023-11-11 16:50:12]
  • Judged
  • Verdict: 100
  • Time: 1289ms
  • Memory: 89812kb
  • [2023-11-11 16:50:12]
  • Submitted

answer

#include<bits/stdc++.h>

using namespace std;
#define int long long
const int md = 998244353;

void mod(int &x) {
    if (x >= md) x -= md;
}

pair<int, int> check(int mask, int n) {
    int a[2] = {};
    for (int bit = 0; bit < 2 * n; ++bit) {
        if ((mask >> bit) & 1) {
            a[bit % 2] |= 1 << (bit / 2);
        }
    }
    if (__builtin_popcount(a[0]) != __builtin_popcount(a[1])) return {0, 0};
    int k = __builtin_popcount(a[0]);
    vector<int> pref(n + 1);
    int ib = 0, jb = 0;

    vector<int> aa(n + 1);
    int u = 1;
    for (int idx = 0; idx < k; ++idx) {
        while (((a[0] >> ib) & 1) == 0) ib++;
        while (((a[1] >> jb) & 1) == 0) jb++;
        int l = ib, r = jb;
        if (l > r) swap(l, r);
        for (int i = l; i <= r; ++i) aa[i] = u;
        u++;
        pref[l]++;
        pref[r + 1]--;
        ib++, jb++;
    }
    bool ok = pref[0] == 1 && pref[n] == -1;
    for (int idx = 1; idx < n; ++idx) ok &= pref[idx] == 0;
    if (!ok) return {0, 0};
    //for (int x : aa) cout << x << ' ' ;cout << endl;
    return {a[0], a[1]};
}

int32_t main() {
    ios_base::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    int n = 14, m, r;
    cin >> n >> m >> r;
    vector<vector<array<int, 3>>> res(m);
    for (int i = 0; i < r; ++i) {
        int c, x, y, d;
        cin >> c >> x >> y >> d;
        --c, --x, --y;
        res[c].push_back({x, y, d});
    }
    int mask = 0;
    vector<vector<int>> p(1 << n);
    vector<int> cnt(n + 1);
    while (mask < (1 << 2 * n)) {
        int cur = 0;
        bool ok = true;
        int h = 0;
        for (int bit = 2 * n - 1; bit >= 0; --bit) {
            if ((mask >> bit) & 1) cur += (bit % 2 == 0 ? 1 : -1);
            if (cur == 0) h++; else h = 0;
            if (h >= 4 || abs(cur) == 2) {
                mask = (mask / (1 << bit) + 1) * (1 << bit);
                ok = false;
                break;
            }
        }
        if (!ok) continue;
        auto [x, y] = check(mask, n);
        int rem = x, nxt = y;
        {
            int k = __builtin_popcount(rem);
            int ib = 0, jb = 0;
            vector<int> a(n + 1);
            int u = 1;
            for (int idx = 0; idx < k; ++idx) {
                while (((rem >> ib) & 1) == 0) ib++;
                while (((nxt >> jb) & 1) == 0) jb++;
                int l = ib, r = jb;
                if (l > r) swap(l, r);
                for (int i = l; i <= r; ++i) a[i] = u;
                u++;
                ib++, jb++;
            }

        }
        mask++;
        if (x == 0) continue;
        cnt[__builtin_popcount(x)]++;
        if (x && y) p[x].push_back(y);
    }
    vector<vector<vector<int>>> aaa(1 << n);
    for (int i = 0; i < (1 << n); ++i) {
        for (int j = 0; j < p[i].size(); ++j) {
            int mask = i, nxt = p[i][j];
            int ib = 0, jb = 0;
            int k = __builtin_popcount(mask);
            vector<int> a(n + 1);
            int u = 1;
            for (int idx = 0; idx < k; ++idx) {
                while (((mask >> ib) & 1) == 0) ib++;
                while (((nxt >> jb) & 1) == 0) jb++;
                int l = ib, r = jb;
                if (l > r) swap(l, r);
                for (int i = l; i <= r; ++i) a[i] = u;
                u++;
                ib++, jb++;
            }
            aaa[i].push_back(a);
        }
    }
    vector<vector<int>> dp(m + 1, vector<int>(1 << n));
    dp[1].back() = 1;
    for (int j = 1; j < m; ++j) {
        for(int i=0;i<n;++i) {for(int mask=0;mask<(1<<n);++mask) if((mask & (1<<i))) {dp[j][mask-(1<<i)]+=dp[j][mask];dp[j][mask-(1<<i)]%=md;}}
        /*auto c = dp;
        fill(dp[j].begin(),dp[j].end(), 0);
        for (int mask = 0; mask < (1 << n); ++mask) {
            for (int over = 0; over < (1 << n); ++over) {
                if ((mask & over) == mask) dp[j][mask] += c[j][over];
            }
        }*/
        for (int mask = 0; mask < (1 << n); ++mask) {
            if (dp[j][mask] == 0) continue;
            for (int jj = 0; jj < p[mask].size(); ++jj) {
                bool ok = true;
                vector<pair<int, int>> s;
                int ib = 0, jb = 0;

                //for (int i = 0; i < n; ++i) cout << a[i] << ' ' ;cout << endl;
                for (auto [x, y, d]: res[j]) {
                    if (d == 0 && aaa[mask][jj][x] != aaa[mask][jj][y]) {
                        ok = false;
                        break;
                    }
                    if (d == 1 && aaa[mask][jj][x] == aaa[mask][jj][y]) {
                        ok = false;
                        break;
                    }
                }
                if (ok) {
                    dp[j + 1][p[mask][jj]] += dp[j][mask];
                    mod(dp[j + 1][p[mask][jj]]);
                }
            }
        }
    }

    int sum = accumulate(dp[m].begin(), dp[m].end(), 0LL);
    cout << sum % md << '\n';
    return 0;
}
/*
 * 1: 2
2: 48
3: 486
4: 2720
5: 9290
6: 20256
7: 28814
8: 27008
9: 16722
10: 6800
11: 1782
12: 288
13: 26
 */

这程序好像有点Bug,我给组数据试试?

详细

Test #1:

score: 100
Accepted
time: 1ms
memory: 3536kb

input:

3 5 3
3 2 3 0
4 1 2 0
5 1 3 0

output:

19

result:

ok 1 number(s): "19"

Test #2:

score: 0
Accepted
time: 0ms
memory: 3672kb

input:

5 10 10
9 3 4 1
2 4 5 0
7 2 3 0
9 2 3 0
6 3 5 0
6 2 4 1
2 4 5 0
1 1 3 1
7 2 4 0
10 2 3 0

output:

1514

result:

ok 1 number(s): "1514"

Test #3:

score: 0
Accepted
time: 0ms
memory: 3612kb

input:

5 10 20
8 4 5 0
2 2 5 1
8 4 5 0
10 3 5 0
7 1 3 1
1 2 4 1
6 3 5 1
10 3 5 0
4 1 5 1
7 3 4 1
2 2 4 1
8 3 4 0
9 3 5 0
5 2 5 1
9 4 5 0
9 1 2 0
6 1 5 1
8 3 5 0
2 2 4 1
8 3 5 0

output:

28131

result:

ok 1 number(s): "28131"

Test #4:

score: 0
Accepted
time: 14ms
memory: 4532kb

input:

10 100 200
95 5 7 0
7 4 6 1
62 9 10 0
32 5 8 1
31 2 6 1
75 7 9 1
1 4 7 1
18 7 10 1
75 1 8 1
87 6 9 1
44 7 8 1
68 6 9 1
95 4 6 0
34 1 2 1
70 1 6 1
31 5 9 1
15 6 10 1
48 5 8 1
51 3 7 1
39 5 9 1
23 2 3 1
7 8 9 1
84 7 10 1
13 4 9 1
18 3 6 1
59 9 10 0
31 8 10 1
6 7 9 1
76 3 10 1
41 5 6 0
33 3 4 1
96 1 10...

output:

655333622

result:

ok 1 number(s): "655333622"

Test #5:

score: 0
Accepted
time: 14ms
memory: 5268kb

input:

10 200 200
106 9 10 0
93 4 10 1
199 3 7 0
73 2 9 1
105 8 9 0
38 9 10 1
73 8 10 1
153 3 9 1
123 2 5 1
159 7 9 0
154 5 7 1
162 3 7 0
113 1 5 1
131 7 9 1
67 4 6 1
178 6 10 0
157 7 9 0
147 9 10 0
154 7 10 0
123 3 4 1
39 8 10 1
139 2 9 1
191 9 10 0
36 4 5 1
17 2 8 1
124 3 7 1
9 9 10 1
71 9 10 1
181 7 8 0...

output:

552037151

result:

ok 1 number(s): "552037151"

Test #6:

score: 0
Accepted
time: 17ms
memory: 5956kb

input:

10 300 200
252 1 5 0
48 9 10 1
18 9 10 1
233 9 10 0
195 2 9 1
125 2 5 1
263 7 9 1
24 1 6 1
258 2 10 1
272 8 10 1
76 5 7 1
147 1 7 1
93 9 10 1
30 6 9 1
10 1 10 1
56 2 10 1
93 8 9 1
206 6 9 1
65 1 9 1
226 3 5 0
88 7 8 1
151 3 4 1
292 9 10 0
129 2 3 1
292 9 10 0
180 7 10 1
4 5 10 1
10 9 10 1
151 4 7 1
...

output:

4494096

result:

ok 1 number(s): "4494096"

Test #7:

score: 0
Accepted
time: 26ms
memory: 8032kb

input:

10 500 300
210 4 7 1
341 8 9 0
371 2 5 0
21 4 10 1
370 8 9 0
368 1 6 0
395 7 9 0
287 6 10 1
299 3 7 1
379 1 9 1
164 4 10 1
390 7 9 0
455 6 9 0
208 8 10 1
402 3 10 0
112 8 10 1
279 3 10 1
180 7 10 1
456 2 6 0
121 5 6 1
312 5 7 0
335 8 10 0
318 2 10 1
497 8 10 0
108 8 9 0
247 3 6 1
155 5 6 1
308 1 2 0...

output:

705403853

result:

ok 1 number(s): "705403853"

Test #8:

score: 0
Accepted
time: 156ms
memory: 22788kb

input:

12 500 300
115 3 10 1
152 10 12 1
89 8 12 1
276 4 7 0
467 6 7 0
405 5 9 0
189 4 9 1
197 1 3 1
341 7 8 0
67 7 8 1
266 2 6 1
78 8 12 1
317 11 12 0
417 8 10 0
380 2 8 0
255 2 5 1
80 7 9 1
317 5 11 1
470 5 9 0
373 3 4 0
413 4 10 0
393 9 12 0
362 8 10 1
42 7 12 1
486 3 5 0
229 1 5 0
224 6 7 0
55 3 10 1
4...

output:

378086467

result:

ok 1 number(s): "378086467"

Test #9:

score: 0
Accepted
time: 174ms
memory: 22788kb

input:

12 500 500
54 11 12 1
325 10 11 0
83 2 3 1
148 3 10 1
165 3 11 1
16 11 12 1
363 8 10 1
78 11 12 1
258 4 12 1
237 8 11 1
403 2 10 1
354 1 9 1
234 4 7 1
454 9 11 0
160 11 12 1
393 1 3 0
375 9 11 0
494 1 3 0
200 6 12 1
414 11 12 0
217 9 10 0
92 5 9 1
172 5 6 1
110 8 12 1
339 4 12 1
429 2 4 0
29 10 11 1...

output:

948753642

result:

ok 1 number(s): "948753642"

Test #10:

score: 0
Accepted
time: 1284ms
memory: 89892kb

input:

14 500 500
362 4 12 1
225 5 9 1
428 5 9 1
101 8 10 1
488 5 9 0
249 11 14 1
232 2 6 1
220 4 10 1
20 7 13 1
154 4 13 1
480 8 14 0
9 2 4 1
201 7 10 1
174 10 11 0
169 13 14 0
256 10 12 1
403 11 13 0
492 10 14 0
167 6 12 1
123 11 13 1
471 9 10 0
77 5 9 1
51 6 10 1
411 11 14 1
422 11 13 0
7 1 7 1
284 5 11...

output:

103280588

result:

ok 1 number(s): "103280588"

Test #11:

score: 0
Accepted
time: 1284ms
memory: 89652kb

input:

14 500 0

output:

750061283

result:

ok 1 number(s): "750061283"

Test #12:

score: 0
Accepted
time: 1287ms
memory: 89316kb

input:

14 495 0

output:

662120858

result:

ok 1 number(s): "662120858"

Test #13:

score: 0
Accepted
time: 1279ms
memory: 88344kb

input:

14 490 0

output:

456608006

result:

ok 1 number(s): "456608006"

Test #14:

score: 0
Accepted
time: 1294ms
memory: 89712kb

input:

14 500 5
123 7 12 1
24 13 14 1
170 6 13 1
304 2 8 1
475 10 11 0

output:

715116697

result:

ok 1 number(s): "715116697"

Test #15:

score: 0
Accepted
time: 1271ms
memory: 89868kb

input:

14 500 10
237 5 9 1
36 3 14 1
470 5 13 1
315 4 6 1
28 9 12 1
220 11 14 0
160 9 12 1
312 10 11 0
72 7 12 1
230 8 11 0

output:

434022866

result:

ok 1 number(s): "434022866"

Test #16:

score: 0
Accepted
time: 1291ms
memory: 89636kb

input:

14 500 15
339 5 10 1
326 4 7 1
421 12 14 0
225 13 14 1
307 1 3 0
285 2 4 0
33 8 10 1
226 2 3 0
478 13 14 1
347 5 11 1
138 5 13 1
141 9 14 1
417 2 8 1
172 6 11 1
222 7 14 1

output:

268520991

result:

ok 1 number(s): "268520991"

Test #17:

score: 0
Accepted
time: 1285ms
memory: 89648kb

input:

14 500 20
357 5 14 1
296 10 14 1
490 9 10 0
221 11 12 1
490 12 13 0
469 5 13 1
93 2 8 1
482 12 14 0
461 2 7 1
152 2 13 1
34 8 14 1
60 9 12 1
195 4 5 0
1 6 8 1
3 5 11 1
129 11 13 1
124 13 14 1
434 11 13 0
141 4 5 1
80 6 12 1

output:

691528902

result:

ok 1 number(s): "691528902"

Test #18:

score: 0
Accepted
time: 951ms
memory: 89664kb

input:

14 500 100
85 13 14 0
130 2 7 0
38 5 10 0
450 1 2 1
103 8 10 0
410 11 14 1
39 10 14 0
29 3 4 0
98 9 11 0
226 6 9 1
17 5 6 0
475 9 12 1
337 12 13 1
42 10 11 0
457 8 10 1
49 1 2 0
222 9 13 0
105 7 11 0
403 6 8 1
151 2 8 0
13 11 12 0
483 10 14 1
304 5 9 1
197 5 14 0
58 4 7 0
482 1 12 1
331 12 13 1
398 ...

output:

0

result:

ok 1 number(s): "0"

Test #19:

score: 0
Accepted
time: 937ms
memory: 89456kb

input:

14 498 200
457 10 13 0
163 6 10 0
23 2 5 0
109 5 8 0
113 12 14 0
294 10 12 0
1 10 14 0
451 1 2 0
275 1 13 0
345 10 14 0
171 2 9 0
392 8 11 0
184 13 14 0
328 10 11 0
84 10 13 0
238 6 12 0
306 6 13 0
56 8 14 0
404 10 14 0
90 3 10 0
446 12 14 0
303 9 11 0
71 11 12 0
362 10 13 0
405 13 14 1
258 4 13 0
1...

output:

0

result:

ok 1 number(s): "0"

Test #20:

score: 0
Accepted
time: 926ms
memory: 89320kb

input:

14 497 300
265 5 12 0
368 6 14 0
400 3 10 0
408 13 14 1
494 9 11 1
8 13 14 0
132 10 14 0
203 4 10 0
86 13 14 0
96 3 9 0
39 11 14 0
439 8 9 0
161 1 13 0
264 1 7 0
176 8 10 0
8 10 12 0
299 2 13 0
285 1 13 0
392 7 8 1
143 11 13 0
84 10 11 1
270 1 9 0
311 8 10 0
39 5 10 0
282 4 11 0
45 9 10 0
465 12 14 ...

output:

0

result:

ok 1 number(s): "0"

Test #21:

score: 0
Accepted
time: 929ms
memory: 89692kb

input:

14 499 500
349 7 10 0
440 11 13 0
391 5 11 0
461 8 10 1
172 12 14 0
139 5 10 0
79 3 4 0
456 10 11 0
276 11 14 0
484 5 6 1
178 11 13 0
295 8 11 0
384 3 8 0
112 9 11 0
170 3 7 0
490 12 14 1
243 7 9 0
360 4 7 0
302 10 12 0
266 5 8 0
350 8 12 0
282 7 12 0
480 7 11 1
312 10 13 0
356 13 14 0
277 4 5 0
245...

output:

0

result:

ok 1 number(s): "0"

Test #22:

score: 0
Accepted
time: 922ms
memory: 89800kb

input:

14 500 3
2 1 2 0
2 2 3 0
2 1 3 1

output:

0

result:

ok 1 number(s): "0"

Test #23:

score: 0
Accepted
time: 0ms
memory: 3612kb

input:

1 500 0

output:

1

result:

ok 1 number(s): "1"

Test #24:

score: 0
Accepted
time: 0ms
memory: 3672kb

input:

4 2 0

output:

17

result:

ok 1 number(s): "17"

Extra Test:

score: 0
Extra Test Passed