QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#678869#9519. Build a Computerucup-team133#AC ✓0ms3832kbC++234.3kb2024-10-26 16:19:552024-10-26 16:19:58

Judging History

This is the latest submission verdict.

  • [2024-10-26 16:19:58]
  • Judged
  • Verdict: AC
  • Time: 0ms
  • Memory: 3832kb
  • [2024-10-26 16:19:55]
  • Submitted

answer

#include <bits/stdc++.h>
#ifdef LOCAL
#include <debug.hpp>
#else
#define debug(...) void(0)
#endif

template <class T> std::istream& operator>>(std::istream& is, std::vector<T>& v) {
    for (auto& e : v) {
        is >> e;
    }
    return is;
}

template <class T> std::ostream& operator<<(std::ostream& os, const std::vector<T>& v) {
    for (std::string_view sep = ""; const auto& e : v) {
        os << std::exchange(sep, " ") << e;
    }
    return os;
}

template <class T, class U = T> bool chmin(T& x, U&& y) {
    return y < x and (x = std::forward<U>(y), true);
}

template <class T, class U = T> bool chmax(T& x, U&& y) {
    return x < y and (x = std::forward<U>(y), true);
}

template <class T> void mkuni(std::vector<T>& v) {
    std::ranges::sort(v);
    auto result = std::ranges::unique(v);
    v.erase(result.begin(), result.end());
}

template <class T> int lwb(const std::vector<T>& v, const T& x) {
    return std::distance(v.begin(), std::ranges::lower_bound(v, x));
}

using namespace std;

using ll = long long;

const int MAX_LOG = 20;

int topbit(signed t) { return t == 0 ? -1 : 31 - __builtin_clz(t); }
int topbit(long long t) { return t == 0 ? -1 : 63 - __builtin_clzll(t); }
int botbit(signed a) { return a == 0 ? 32 : __builtin_ctz(a); }
int botbit(long long a) { return a == 0 ? 64 : __builtin_ctzll(a); }
int popcount(signed t) { return __builtin_popcount(t); }
int popcount(long long t) { return __builtin_popcountll(t); }
bool ispow2(int i) { return i && (i & -i) == i; }
long long MSK(int n) { return (1LL << n) - 1; }

bool check(int L, int R, int n, const vector<vector<pair<int, int>>>& G) {
    vector<map<int, int>> dp(n);
    dp[0][0] = 1;
    vector<int> indeg(n, 0);
    for (int i = 0; i < n - 1; i++) {
        if (G[i].empty()) return false;
        for (auto [a, v] : G[i]) indeg[a]++;
    }
    if (not G[n - 1].empty()) return false;
    if (indeg[0] != 0) return false;
    for (int i = 1; i < n; i++) {
        if (indeg[i] == 0) {
            return false;
        }
    }

    for (int i = 0; i < n; i++) {
        for (auto [key, val] : dp[i]) {
            if (i > 0 and key == 0) return false;
            for (auto [a, v] : G[i]) {
                dp[a][key << 1 | v] += val;
            }
        }
    }
    if (int(dp[n - 1].size()) > R - L) return false;
    for (int i = L; i < R; i++) {
        if (dp[n - 1][i] != 1) {
            return false;
        }
    }
    return true;
}

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout << fixed << setprecision(15);

    int L, R;
    cin >> L >> R;
    R++;

    vector<tuple<int, int, int>> es;
    vector<vector<pair<int, int>>> from(MAX_LOG);
    int s = 0, nxt = 1;
    auto dfs = [&](auto self, int l, int r, int cur) -> void {
        if (r <= l) return;
        int top = topbit(r - l);
        int m = (l + r) >> 1;
        if (L <= l and m <= R) {
            from[top - 1].emplace_back(cur, 0);
        } else if (not(m <= L or R <= l)) {
            es.emplace_back(cur, nxt++, 0);
            self(self, l, m, nxt - 1);
        }
        if (L <= m and r <= R) {
            from[top - 1].emplace_back(cur, 1);
        } else if (not(r <= L or R <= m)) {
            es.emplace_back(cur, nxt++, 1);
            self(self, m, r, nxt - 1);
        }
    };
    for (int i = 0; i < MAX_LOG; i++) {
        int l = 1 << i, r = 1 << (i + 1);
        if (r <= L or R <= l) continue;
        if (L <= l and r <= R) {
            from[i].emplace_back(s, 1);
            continue;
        }
        es.emplace_back(s, nxt++, 1);
        dfs(dfs, l, r, nxt - 1);
    }
    int maxi = -1;
    for (int i = MAX_LOG - 1; i >= 0; i--) {
        if (not from[i].empty()) {
            maxi = i;
            break;
        }
    }
    assert(maxi != -1);
    for (int i = maxi; i >= 0; i--) {
        for (auto [c, v] : from[i]) es.emplace_back(c, nxt, v);
        if (i - 1 >= 0) {
            es.emplace_back(nxt, nxt + 1, 0);
            es.emplace_back(nxt, nxt + 1, 1);
        }
        nxt++;
    }

    int n = nxt;
    vector<vector<pair<int, int>>> G(n);
    for (auto [a, b, c] : es) G[a].emplace_back(b, c);

#ifdef LOCAL
    assert(check(L, R, n, G));
#endif
    cout << n << "\n";
    for (int i = 0; i < n; i++) {
        cout << G[i].size();
        for (auto [a, v] : G[i]) cout << " " << a + 1 << " " << v;
        cout << "\n";
    }
    return 0;
}

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

詳細信息

Test #1:

score: 100
Accepted
time: 0ms
memory: 3756kb

input:

5 7

output:

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

result:

ok ok

Test #2:

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

input:

10 27

output:

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

result:

ok ok

Test #3:

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

input:

5 13

output:

8
2 2 1 4 1
2 3 0 7 1
1 8 1
2 5 1 6 0
1 7 0
2 7 0 7 1
2 8 0 8 1
0

result:

ok ok

Test #4:

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

input:

1 1000000

output:

39
20 2 1 21 1 22 1 23 1 24 1 25 1 26 1 27 1 28 1 29 1 30 1 31 1 32 1 33 1 34 1 35 1 36 1 37 1 38 1 39 1
2 3 1 21 0
2 4 1 22 0
2 5 1 23 0
1 6 0
2 7 1 25 0
1 8 0
1 9 0
1 10 0
1 11 0
2 12 1 30 0
1 13 0
1 14 0
2 15 1 33 0
1 16 0
1 17 0
1 18 0
1 19 0
1 20 0
1 39 0
2 22 0 22 1
2 23 0 23 1
2 24 0 24 1
2 2...

result:

ok ok

Test #5:

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

input:

1 1

output:

2
1 2 1
0

result:

ok ok

Test #6:

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

input:

7 9

output:

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

result:

ok ok

Test #7:

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

input:

3 7

output:

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

result:

ok ok

Test #8:

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

input:

1 5

output:

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

result:

ok ok

Test #9:

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

input:

1 4

output:

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

result:

ok ok

Test #10:

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

input:

8 9

output:

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

result:

ok ok

Test #11:

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

input:

7 51

output:

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

result:

ok ok

Test #12:

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

input:

51 79

output:

13
2 2 1 7 1
1 3 1
2 4 0 10 1
2 5 0 11 1
1 6 1
1 13 1
1 8 0
1 9 0
2 10 0 10 1
2 11 0 11 1
2 12 0 12 1
2 13 0 13 1
0

result:

ok ok

Test #13:

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

input:

92 99

output:

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

result:

ok ok

Test #14:

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

input:

27 36

output:

13
2 2 1 6 1
1 3 1
2 4 0 11 1
1 5 1
1 13 1
1 7 0
1 8 0
2 9 1 11 0
1 10 0
1 13 0
2 12 0 12 1
2 13 0 13 1
0

result:

ok ok

Test #15:

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

input:

55 84

output:

17
2 2 1 7 1
1 3 1
2 4 0 14 1
1 5 1
1 6 1
1 17 1
1 8 0
2 9 1 13 0
1 10 0
2 11 1 15 0
1 12 0
1 17 0
2 14 0 14 1
2 15 0 15 1
2 16 0 16 1
2 17 0 17 1
0

result:

ok ok

Test #16:

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

input:

297208 929600

output:

54
2 2 1 17 1
2 3 0 37 1
2 4 0 38 1
1 5 1
2 6 0 40 1
2 7 0 41 1
2 8 0 42 1
1 9 1
2 10 0 44 1
2 11 0 45 1
2 12 0 46 1
1 13 1
1 14 1
1 15 1
1 16 1
1 51 1
2 18 1 36 0
2 19 1 37 0
1 20 0
1 21 0
1 22 0
2 23 1 41 0
1 24 0
2 25 1 43 0
2 26 1 44 0
2 27 1 45 0
2 28 1 46 0
1 29 0
2 30 1 48 0
1 31 0
1 32 0
1 3...

result:

ok ok

Test #17:

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

input:

45728 589156

output:

49
5 2 1 12 1 31 1 32 1 33 1
2 3 0 35 1
1 4 1
1 5 1
2 6 0 38 1
2 7 0 39 1
1 8 1
2 9 0 41 1
1 10 1
2 11 0 43 1
1 44 1
1 13 0
1 14 0
1 15 0
2 16 1 34 0
2 17 1 35 0
2 18 1 36 0
2 19 1 37 0
2 20 1 38 0
2 21 1 39 0
1 22 0
2 23 1 41 0
1 24 0
2 25 1 43 0
2 26 1 44 0
1 27 0
1 28 0
2 29 1 47 0
1 30 0
1 49 0
...

result:

ok ok

Test #18:

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

input:

129152 138000

output:

40
2 2 1 11 1
1 3 1
1 4 1
1 5 1
1 6 1
1 7 1
2 8 0 30 1
2 9 0 31 1
2 10 0 32 1
1 33 1
1 12 0
1 13 0
1 14 0
1 15 0
2 16 1 28 0
2 17 1 29 0
1 18 0
2 19 1 31 0
2 20 1 32 0
1 21 0
1 22 0
1 23 0
2 24 1 36 0
1 25 0
1 26 0
1 27 0
1 40 0
2 29 0 29 1
2 30 0 30 1
2 31 0 31 1
2 32 0 32 1
2 33 0 33 1
2 34 0 34 1...

result:

ok ok

Test #19:

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

input:

245280 654141

output:

50
3 2 1 14 1 32 1
1 3 1
1 4 1
2 5 0 36 1
1 6 1
1 7 1
1 8 1
1 9 1
1 10 1
2 11 0 42 1
2 12 0 43 1
2 13 0 44 1
1 45 1
1 15 0
1 16 0
2 17 1 34 0
2 18 1 35 0
2 19 1 36 0
2 20 1 37 0
2 21 1 38 0
2 22 1 39 0
1 23 0
2 24 1 41 0
2 25 1 42 0
1 26 0
1 27 0
2 28 1 45 0
2 29 1 46 0
2 30 1 47 0
2 31 1 48 0
1 49 ...

result:

ok ok

Test #20:

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

input:

202985 296000

output:

52
2 2 1 19 1
1 3 1
2 4 0 37 1
2 5 0 38 1
2 6 0 39 1
1 7 1
1 8 1
2 9 0 42 1
2 10 0 43 1
2 11 0 44 1
1 12 1
1 13 1
1 14 1
2 15 0 48 1
1 16 1
2 17 0 50 1
2 18 0 51 1
1 52 1
1 20 0
1 21 0
2 22 1 37 0
1 23 0
1 24 0
1 25 0
1 26 0
2 27 1 42 0
1 28 0
1 29 0
1 30 0
2 31 1 46 0
1 32 0
1 33 0
1 34 0
1 35 0
1 ...

result:

ok ok

Test #21:

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

input:

438671 951305

output:

56
2 2 1 20 1
1 3 1
2 4 0 40 1
1 5 1
2 6 0 42 1
1 7 1
1 8 1
2 9 0 45 1
2 10 0 46 1
2 11 0 47 1
1 12 1
1 13 1
2 14 0 50 1
2 15 0 51 1
2 16 0 52 1
1 17 1
1 18 1
1 19 1
1 56 1
2 21 1 38 0
2 22 1 39 0
1 23 0
2 24 1 41 0
1 25 0
1 26 0
1 27 0
1 28 0
2 29 1 46 0
1 30 0
1 31 0
1 32 0
1 33 0
1 34 0
1 35 0
2 ...

result:

ok ok

Test #22:

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

input:

425249 739633

output:

55
2 2 1 20 1
1 3 1
2 4 0 39 1
2 5 0 40 1
1 6 1
1 7 1
1 8 1
1 9 1
1 10 1
2 11 0 46 1
1 12 1
2 13 0 48 1
2 14 0 49 1
1 15 1
2 16 0 51 1
2 17 0 52 1
2 18 0 53 1
2 19 0 54 1
1 55 1
1 21 0
2 22 1 38 0
2 23 1 39 0
1 24 0
2 25 1 41 0
1 26 0
1 27 0
2 28 1 44 0
1 29 0
1 30 0
2 31 1 47 0
1 32 0
1 33 0
2 34 1...

result:

ok ok

Test #23:

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

input:

551207 961718

output:

56
1 2 1
2 3 0 21 1
2 4 0 39 1
2 5 0 40 1
2 6 0 41 1
1 7 1
1 8 1
2 9 0 44 1
1 10 1
2 11 0 46 1
2 12 0 47 1
1 13 1
2 14 0 49 1
2 15 0 50 1
1 16 1
2 17 0 52 1
2 18 0 53 1
1 19 1
1 20 1
1 56 1
2 22 1 39 0
1 23 0
2 24 1 41 0
1 25 0
2 26 1 43 0
1 27 0
2 28 1 45 0
2 29 1 46 0
1 30 0
1 31 0
2 32 1 49 0
1 3...

result:

ok ok

Test #24:

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

input:

114691 598186

output:

55
4 2 1 18 1 37 1 38 1
1 3 1
1 4 1
2 5 0 42 1
2 6 0 43 1
2 7 0 44 1
2 8 0 45 1
2 9 0 46 1
2 10 0 47 1
2 11 0 48 1
2 12 0 49 1
2 13 0 50 1
2 14 0 51 1
2 15 0 52 1
2 16 0 53 1
1 17 1
1 55 1
1 19 0
1 20 0
2 21 1 39 0
1 22 0
1 23 0
2 24 1 42 0
1 25 0
1 26 0
1 27 0
1 28 0
1 29 0
2 30 1 48 0
1 31 0
2 32 ...

result:

ok ok

Test #25:

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

input:

234654 253129

output:

44
1 2 1
1 3 1
1 4 1
2 5 0 18 1
2 6 0 31 1
1 7 1
2 8 0 33 1
1 9 1
2 10 0 35 1
2 11 0 36 1
1 12 1
2 13 0 38 1
2 14 0 39 1
1 15 1
1 16 1
1 17 1
1 43 1
1 19 0
2 20 1 32 0
2 21 1 33 0
2 22 1 34 0
1 23 0
1 24 0
2 25 1 37 0
2 26 1 38 0
1 27 0
1 28 0
2 29 1 41 0
1 30 0
1 43 0
2 32 0 32 1
2 33 0 33 1
2 34 0...

result:

ok ok

Test #26:

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

input:

554090 608599

output:

48
1 2 1
1 3 0
1 4 0
2 5 0 20 1
2 6 0 33 1
1 7 1
1 8 1
1 9 1
2 10 0 37 1
1 11 1
2 12 0 39 1
2 13 0 40 1
2 14 0 41 1
1 15 1
1 16 1
2 17 0 44 1
1 18 1
2 19 0 46 1
1 47 1
1 21 0
2 22 1 34 0
1 23 0
1 24 0
2 25 1 37 0
1 26 0
1 27 0
2 28 1 40 0
1 29 0
2 30 1 42 0
1 31 0
2 32 1 44 0
1 45 0
2 34 0 34 1
2 35...

result:

ok ok

Extra Test:

score: 0
Extra Test Passed