CSES - Putka Open 2025 – 5/5

Submission details
Task:	Yhdistelmät
Sender:	jhuun
Submission time:	2025-11-29 20:00:31 +0200
Language:	C++ (C++17)
Status:	READY
Result:	62

Feedback
group	verdict	score
#1	ACCEPTED	16
#2	ACCEPTED	17
#3	ACCEPTED	29
#4	WRONG ANSWER	0

Test results
test	verdict	time	group
#1	ACCEPTED	0.00 s	1, 2, 3, 4	details
#2	ACCEPTED	0.00 s	1, 3, 4	details
#3	ACCEPTED	0.00 s	1, 4	details
#4	ACCEPTED	0.00 s	1, 4	details
#5	ACCEPTED	0.00 s	1, 4	details
#6	ACCEPTED	0.00 s	1, 4	details
#7	ACCEPTED	0.00 s	1, 4	details
#8	ACCEPTED	0.00 s	1, 4	details
#9	ACCEPTED	0.00 s	1, 4	details
#10	ACCEPTED	0.00 s	1, 4	details
#11	ACCEPTED	0.07 s	2, 3, 4	details
#12	ACCEPTED	0.06 s	3, 4	details
#13	WRONG ANSWER	0.06 s	4	details
#14	WRONG ANSWER	0.04 s	4	details
#15	ACCEPTED	0.04 s	4	details
#16	ACCEPTED	0.02 s	4	details
#17	ACCEPTED	0.02 s	4	details
#18	ACCEPTED	0.00 s	1, 2, 3, 4	details
#19	ACCEPTED	0.00 s	1, 2, 3, 4	details
#20	ACCEPTED	0.01 s	4	details
#21	ACCEPTED	0.04 s	4	details

Code

#include <bits/stdc++.h>

#define FORL(l_) for (items_t L = l_; L; L = incr(L))

using items_t = __uint128_t;
using comb_t = std::pair<items_t, int64_t>;

int n, m;
items_t BL;
int64_t BS;
std::vector<int64_t> P;
std::vector<comb_t> C;

items_t to_iidx(int i) {
    return items_t{1} << i;
}

bool has(items_t l, items_t i) {
    return (l & i) == i;
}

items_t missing(items_t l, items_t i) {
    return ~l & i;
}

items_t incr(__uint128_t i) {
    return i ^ (i & -i);
}

int next(items_t i) {
    const auto lsb = static_cast<uint64_t>(i);
    const auto msb = static_cast<uint64_t>(i >> 64);
    return lsb ? __builtin_ctzll(lsb) : 64 + __builtin_ctzll(msb);
}

int64_t cost(items_t l) {
    int64_t c = 0;
    FORL(l) {
        c += P[next(L)];
    }
    return c;
}

int count(items_t l) {
    int res = 0;
    FORL(l) {
        ++res;
    }
    return res;
}

void print(items_t l) {
    FORL(l) {
        std::cout << next(L) + 1 << ' ';
    }
    std::cout << '\n';
}

std::tuple<items_t, items_t, int64_t> find_ba(items_t c, items_t l, int64_t s) {
    items_t bc = 0;
    items_t bl = 0;
    int64_t bs = std::numeric_limits<int>::min();
    for (std::size_t idx = 0; idx < C.size(); ++idx) {
        const auto [i, p] = C[idx];
        if (has(l, i)) {
            continue;
        }
        int64_t sn = s + p - cost(missing(l, i));
        const items_t ln = l | i;
        items_t cn = c | to_iidx(idx);
        FORL(~cn) {
            const auto ci = static_cast<std::size_t>(next(L));
            if (ci >= C.size()) {
                break;
            }
            const auto [i2, p2] = C[ci];
            if (has(ln, i2)) {
                sn += p2;
                cn |= to_iidx(ci);
            }
        }
        if (sn > bs) {
            bc = cn;
            bl = ln;
            bs = sn;
        }
    }
    return {bc, bl, bs};
}

void solve(items_t c, items_t l, int64_t s) {
    for (bool cont = true; cont; ) {
        if (s >= BS) {
            BS = s;
            BL = l;
        }
        cont = false;
        const auto ba = find_ba(c, l, s);
        if (const auto [bac, bal, bas] = ba; bas >= s) {
            cont = true;
            c = bac;
            l = bal;
            s = bas;
        }
    }
}

int main() {
    std::ios_base::sync_with_stdio(false);
    std::cin.tie(0);
    std::cin >> n >> m;
    P.resize(n);
    for (auto& p : P) {
        std::cin >> p;
    }
    for (auto i = 0; i < m; ++i) {
        comb_t c{};
        int k;
        std::cin >> k >> c.second;
        for (auto j = 0; j < k; ++j) {
            int kj;
            std::cin >> kj;
            c.first |= to_iidx(kj - 1);
        }
        C.push_back(std::move(c));
    }
    for (std::size_t i = 0; i < C.size(); ++i) {
        solve(to_iidx(i), C[i].first, C[i].second - cost(C[i].first));
    }
    int64_t bs = 0;
    FORL(BL) {
        bs -= P[next(L)];
    }
    for (std::size_t idx = 0; idx < C.size(); ++idx) {
        const auto [i, p] = C[idx];
        if (has(BL, i)) {
            bs += p;
        }
    }
    if (bs > 0) {
        std::cout << bs << '\n';
        std::cout << count(BL) << '\n';
        print(BL);
    } else {
        std::cout << "0\n0\n";
    }
}

Test details

Test 1

Group: 1, 2, 3, 4

Verdict: ACCEPTED

input
`20 20 80 69 91 47 74 75 94 22 100 43...` view save

correct output
`446 11 2 3 5 8 10 13 14 15 17 19 20` view save

user output
`446 11 2 3 5 8 10 13 14 15 17 19 20` view save

Test 2

Group: 1, 3, 4

Verdict: ACCEPTED

input
`20 20 5 42 7 18 55 64 64 83 73 44 22...` view save

correct output
`425 11 1 2 3 4 7 10 13 16 18 19 20` view save

user output
`425 11 1 2 3 4 7 10 13 16 18 19 20` view save

Test 3

Group: 1, 4

Verdict: ACCEPTED

input
`20 20 30 98 55 69 40 3 95 12 64 56 3...` view save

correct output
`284 8 1 3 8 10 15 16 18 19` view save

user output
`284 8 1 3 8 10 15 16 18 19` view save

Test 4

Group: 1, 4

Verdict: ACCEPTED

input
`20 20 11 44 58 8 16 52 20 43 24 31 4...` view save

correct output
`348 10 2 4 5 7 11 13 15 16 18 20` view save

user output
`348 10 2 4 5 7 11 13 15 16 18 20` view save

Test 5

Group: 1, 4

Verdict: ACCEPTED

input
`20 20 53 44 5 37 88 36 81 47 85 97 3...` view save

correct output
`119 13 1 2 4 8 10 11 13 14 16 17 18 1...` view save

user output
`119 13 1 2 4 8 10 11 13 14 16 17 18 1...` view save

Test 6

Group: 1, 4

Verdict: ACCEPTED

input
`20 20 20 27 75 94 48 62 37 55 49 67 ...` view save

correct output
`478 11 1 2 5 7 10 12 13 15 16 17 18` view save

user output
`478 11 1 2 5 7 10 12 13 15 16 17 18` view save

Test 7

Group: 1, 4

Verdict: ACCEPTED

input
`20 20 32 28 67 72 32 76 53 30 47 67 ...` view save

correct output
`215 10 2 4 5 7 8 9 11 13 16 20` view save

user output
`215 10 2 4 5 7 8 9 11 13 16 20` view save

Test 8

Group: 1, 4

Verdict: ACCEPTED

input
`20 20 39 72 74 79 49 45 73 44 37 4 7...` view save

correct output
`185 13 1 3 5 6 7 8 10 13 14 16 17 18 ...` view save

user output
`185 13 1 3 5 6 7 8 10 13 14 16 17 18 ...` view save

Test 9

Group: 1, 4

Verdict: ACCEPTED

input
`20 20 41 56 65 78 2 13 17 42 83 76 9...` view save

correct output
`95 11 2 4 5 6 7 8 13 14 17 18 19` view save

user output
`95 11 2 4 5 6 7 8 13 14 17 18 19` view save

Test 10

Group: 1, 4

Verdict: ACCEPTED

input
`20 20 43 1 20 61 25 46 2 18 36 1 85 ...` view save

correct output
`111 8 1 2 3 7 8 10 16 19` view save

user output
`111 8 1 2 3 7 8 10 16 19` view save

Test 11

Group: 2, 3, 4

Verdict: ACCEPTED

input
`100 100 992248 852673 366775 737068 56...` view save

correct output
`30642743 46 3 5 6 9 11 12 15 16 17 18 21 2...` view save

user output
`30642743 46 3 5 6 9 11 12 15 16 17 18 21 2...` view save

Test 12

Group: 3, 4

Verdict: ACCEPTED

input
`100 100 153790 361741 45017 47184 9422...` view save

correct output
`16529629 39 2 3 4 5 10 12 14 17 24 25 26 3...` view save

user output
`16529629 39 2 3 4 5 10 12 14 17 24 25 26 3...` view save

Test 13

Group: 4

Verdict: WRONG ANSWER

input
`100 100 186797 446409 957173 150683 17...` view save

correct output
`14928280 62 1 2 8 9 10 11 12 14 15 16 17 2...` view save

user output
`14718040 55 1 2 8 9 10 11 14 15 16 17 20 2...` view save

Test 14

Group: 4

Verdict: WRONG ANSWER

input
`100 100 343213 582494 707357 104682 66...` view save

correct output
`11308944 72 1 3 4 5 6 7 8 9 10 11 12 13 14...` view save

user output
`10828870 66 1 3 4 5 6 7 8 10 11 12 14 17 1...` view save

Test 15

Group: 4

Verdict: ACCEPTED

input
`100 100 922546 12088 805566 351521 644...` view save

correct output
`3311952 10 14 17 26 29 64 65 70 76 83 95` view save

user output
`3311952 10 14 17 26 29 64 65 70 76 83 95` view save

Test 16

Group: 4

Verdict: ACCEPTED

input
`100 100 923042 35929 531316 587665 845...` view save

correct output
`519209 6 2 18 45 61 64 86` view save

user output
`519209 6 2 18 45 61 64 86` view save

Test 17

Group: 4

Verdict: ACCEPTED

input
`100 100 493725 218022 417464 531537 83...` view save

correct output
`1255541 11 16 19 24 29 30 50 60 62 67 74 ...` view save

user output
`1255541 11 16 19 24 29 30 50 60 62 67 74 ...` view save

Test 18

Group: 1, 2, 3, 4

Verdict: ACCEPTED

input
`1 1 2 1 1 1` view save

correct output
`0 0` view save

user output
`0 0` view save

Test 19

Group: 1, 2, 3, 4

Verdict: ACCEPTED

input
`1 1 1 1 2 1` view save

correct output
`1 1 1` view save

user output
`1 1 1` view save

Test 20

Group: 4

Verdict: ACCEPTED

input
`100 100 1000000 1000000 1000000 100000...` view save

correct output
`0 100 1 2 3 4 5 6 7 8 9 10 11 12 13 ...` view save

user output
`0 0` view save

Test 21

Group: 4

Verdict: ACCEPTED

input
`100 100 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ...` view save

correct output
`99999900 100 1 2 3 4 5 6 7 8 9 10 11 12 13 ...` view save

user output
`99999900 100 1 2 3 4 5 6 7 8 9 10 11 12 13 ...` view save

Putka Open 2025 – 5/5

Yhdistelmät

Code

Test details

Test 1

Test 2

Test 3

Test 4

Test 5

Test 6

Test 7

Test 8

Test 9

Test 10

Test 11

Test 12

Test 13

Test 14

Test 15

Test 16

Test 17

Test 18

Test 19

Test 20

Test 21

Tasks

Submissions (jhuun)