Submission #398481

# Submission time Handle Problem Language Result Execution time Memory
398481 2021-05-04T11:23:43 Z model_code A Difficult(y) Choice (BOI21_books) C++17
100 / 100
2 ms 344 KB
#include"books.h"
#include<bits/stdc++.h>

using namespace std;

vector<long long> seq;

void solve(int N, int K, long long A, int S)
{
    auto okay = [A](__int128 sum)
    {
        return sum >= (__int128) A and sum <= (__int128) 2 * A;
    };

    // invariant: seq[low] <= A, seq[high] > A
    int low = 0, high = N + 1;

    while(high - low >= 2)
    {
        int mid = (high + low) / 2;
        if(skim(mid) > A) high = mid;
        else                low = mid;
    }

    int first_large = high;
    fprintf(stderr, "%d\n", first_large);
    if(first_large < K) impossible();

    vector<long long> small;
    for(int i = 1; i <= K; ++i) small.push_back(skim(i));

    if(first_large <= N)
    {
        long long first_large_val = skim(first_large);

        if(okay(accumulate(small.begin(), small.end() - 1, first_large_val)))
        {
            vector<int> sol(K, first_large);
            iota(sol.begin(), sol.end() - 1, 1);
            answer(sol);
        }
    }

    if(first_large <= K) impossible();
    if(accumulate(small.begin(), small.end(), (__int128) 0) > (__int128) 2 * A)
        impossible();

    vector<long long> medium;
    for(int i = first_large - K; i < first_large; ++i) medium.push_back(skim(i));
    if(accumulate(medium.begin(), medium.end(), (__int128) 0) < (__int128) A)
        impossible();

    vector<int> sol(K); iota(sol.begin(), sol.end(), 1);
    __int128 sum = accumulate(small.begin(), small.end(), (__int128) 0);

    for(int curr = K - 1; ; --curr)
    {
        if(okay(sum)) answer(sol);

        assert(curr >= 0);
        sum -= small[curr]; sum += medium[curr];
        sol[curr] = first_large - K + curr;
    }
}
# Verdict Execution time Memory Grader output
1 Correct 1 ms 200 KB Output is correct
2 Correct 1 ms 200 KB Output is correct
3 Correct 1 ms 200 KB Output is correct
4 Correct 1 ms 200 KB Output is correct
5 Correct 1 ms 296 KB Output is correct
6 Correct 1 ms 200 KB Output is correct
7 Correct 1 ms 296 KB Output is correct
8 Correct 1 ms 200 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 200 KB Output is correct
2 Correct 1 ms 200 KB Output is correct
3 Correct 1 ms 200 KB Output is correct
4 Correct 1 ms 204 KB Output is correct
5 Correct 1 ms 200 KB Output is correct
6 Correct 1 ms 200 KB Output is correct
7 Correct 1 ms 292 KB Output is correct
8 Correct 1 ms 200 KB Output is correct
9 Correct 1 ms 300 KB Output is correct
10 Correct 1 ms 328 KB Output is correct
11 Correct 1 ms 200 KB Output is correct
12 Correct 1 ms 284 KB Output is correct
13 Correct 1 ms 292 KB Output is correct
14 Correct 2 ms 200 KB Output is correct
15 Correct 1 ms 200 KB Output is correct
16 Correct 1 ms 200 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 200 KB Output is correct
2 Correct 1 ms 276 KB Output is correct
3 Correct 1 ms 200 KB Output is correct
4 Correct 1 ms 200 KB Output is correct
5 Correct 1 ms 200 KB Output is correct
6 Correct 1 ms 288 KB Output is correct
7 Correct 1 ms 200 KB Output is correct
8 Correct 1 ms 292 KB Output is correct
9 Correct 1 ms 320 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 200 KB Output is correct
2 Correct 1 ms 276 KB Output is correct
3 Correct 1 ms 200 KB Output is correct
4 Correct 1 ms 200 KB Output is correct
5 Correct 1 ms 200 KB Output is correct
6 Correct 1 ms 288 KB Output is correct
7 Correct 1 ms 200 KB Output is correct
8 Correct 1 ms 292 KB Output is correct
9 Correct 1 ms 320 KB Output is correct
10 Correct 1 ms 200 KB Output is correct
11 Correct 1 ms 200 KB Output is correct
12 Correct 1 ms 320 KB Output is correct
13 Correct 1 ms 292 KB Output is correct
14 Correct 1 ms 200 KB Output is correct
15 Correct 1 ms 200 KB Output is correct
16 Correct 1 ms 300 KB Output is correct
17 Correct 2 ms 200 KB Output is correct
18 Correct 1 ms 284 KB Output is correct
19 Correct 1 ms 200 KB Output is correct
20 Correct 1 ms 200 KB Output is correct
21 Correct 1 ms 204 KB Output is correct
22 Correct 1 ms 320 KB Output is correct
23 Correct 1 ms 296 KB Output is correct
24 Correct 1 ms 200 KB Output is correct
25 Correct 1 ms 292 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 200 KB Output is correct
2 Correct 1 ms 276 KB Output is correct
3 Correct 1 ms 200 KB Output is correct
4 Correct 1 ms 200 KB Output is correct
5 Correct 1 ms 200 KB Output is correct
6 Correct 1 ms 288 KB Output is correct
7 Correct 1 ms 200 KB Output is correct
8 Correct 1 ms 292 KB Output is correct
9 Correct 1 ms 320 KB Output is correct
10 Correct 1 ms 200 KB Output is correct
11 Correct 1 ms 200 KB Output is correct
12 Correct 1 ms 320 KB Output is correct
13 Correct 1 ms 292 KB Output is correct
14 Correct 1 ms 200 KB Output is correct
15 Correct 1 ms 200 KB Output is correct
16 Correct 1 ms 300 KB Output is correct
17 Correct 2 ms 200 KB Output is correct
18 Correct 1 ms 284 KB Output is correct
19 Correct 1 ms 200 KB Output is correct
20 Correct 1 ms 200 KB Output is correct
21 Correct 1 ms 204 KB Output is correct
22 Correct 1 ms 320 KB Output is correct
23 Correct 1 ms 296 KB Output is correct
24 Correct 1 ms 200 KB Output is correct
25 Correct 1 ms 292 KB Output is correct
26 Correct 1 ms 200 KB Output is correct
27 Correct 1 ms 200 KB Output is correct
28 Correct 1 ms 344 KB Output is correct
29 Correct 1 ms 204 KB Output is correct
30 Correct 1 ms 276 KB Output is correct
31 Correct 1 ms 200 KB Output is correct
32 Correct 1 ms 200 KB Output is correct
33 Correct 1 ms 200 KB Output is correct
34 Correct 1 ms 200 KB Output is correct
35 Correct 1 ms 276 KB Output is correct
36 Correct 1 ms 272 KB Output is correct
37 Correct 1 ms 276 KB Output is correct
38 Correct 1 ms 200 KB Output is correct
39 Correct 1 ms 320 KB Output is correct
40 Correct 1 ms 200 KB Output is correct
41 Correct 1 ms 292 KB Output is correct
42 Correct 1 ms 296 KB Output is correct
43 Correct 1 ms 204 KB Output is correct
44 Correct 1 ms 200 KB Output is correct
45 Correct 1 ms 276 KB Output is correct
46 Correct 1 ms 200 KB Output is correct
47 Correct 1 ms 200 KB Output is correct
48 Correct 2 ms 292 KB Output is correct
49 Correct 1 ms 280 KB Output is correct
50 Correct 1 ms 200 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 200 KB Output is correct
2 Correct 1 ms 276 KB Output is correct
3 Correct 1 ms 200 KB Output is correct
4 Correct 1 ms 200 KB Output is correct
5 Correct 1 ms 200 KB Output is correct
6 Correct 1 ms 288 KB Output is correct
7 Correct 1 ms 200 KB Output is correct
8 Correct 1 ms 292 KB Output is correct
9 Correct 1 ms 320 KB Output is correct
10 Correct 1 ms 200 KB Output is correct
11 Correct 1 ms 200 KB Output is correct
12 Correct 1 ms 320 KB Output is correct
13 Correct 1 ms 292 KB Output is correct
14 Correct 1 ms 200 KB Output is correct
15 Correct 1 ms 200 KB Output is correct
16 Correct 1 ms 300 KB Output is correct
17 Correct 2 ms 200 KB Output is correct
18 Correct 1 ms 284 KB Output is correct
19 Correct 1 ms 200 KB Output is correct
20 Correct 1 ms 200 KB Output is correct
21 Correct 1 ms 204 KB Output is correct
22 Correct 1 ms 320 KB Output is correct
23 Correct 1 ms 296 KB Output is correct
24 Correct 1 ms 200 KB Output is correct
25 Correct 1 ms 292 KB Output is correct
26 Correct 1 ms 200 KB Output is correct
27 Correct 1 ms 200 KB Output is correct
28 Correct 1 ms 288 KB Output is correct
29 Correct 2 ms 320 KB Output is correct
30 Correct 1 ms 200 KB Output is correct
31 Correct 1 ms 200 KB Output is correct
32 Correct 1 ms 200 KB Output is correct
33 Correct 1 ms 200 KB Output is correct
34 Correct 1 ms 200 KB Output is correct
35 Correct 1 ms 284 KB Output is correct
36 Correct 1 ms 200 KB Output is correct
37 Correct 1 ms 200 KB Output is correct
38 Correct 1 ms 280 KB Output is correct
39 Correct 1 ms 292 KB Output is correct
40 Correct 1 ms 200 KB Output is correct
41 Correct 1 ms 200 KB Output is correct
42 Correct 1 ms 296 KB Output is correct
43 Correct 1 ms 200 KB Output is correct
44 Correct 1 ms 320 KB Output is correct
45 Correct 1 ms 200 KB Output is correct
46 Correct 1 ms 200 KB Output is correct
47 Correct 1 ms 200 KB Output is correct
48 Correct 1 ms 296 KB Output is correct
49 Correct 1 ms 200 KB Output is correct
50 Correct 1 ms 292 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 200 KB Output is correct
2 Correct 1 ms 276 KB Output is correct
3 Correct 1 ms 200 KB Output is correct
4 Correct 1 ms 200 KB Output is correct
5 Correct 1 ms 200 KB Output is correct
6 Correct 1 ms 288 KB Output is correct
7 Correct 1 ms 200 KB Output is correct
8 Correct 1 ms 292 KB Output is correct
9 Correct 1 ms 320 KB Output is correct
10 Correct 1 ms 200 KB Output is correct
11 Correct 1 ms 200 KB Output is correct
12 Correct 1 ms 320 KB Output is correct
13 Correct 1 ms 292 KB Output is correct
14 Correct 1 ms 200 KB Output is correct
15 Correct 1 ms 200 KB Output is correct
16 Correct 1 ms 300 KB Output is correct
17 Correct 2 ms 200 KB Output is correct
18 Correct 1 ms 284 KB Output is correct
19 Correct 1 ms 200 KB Output is correct
20 Correct 1 ms 200 KB Output is correct
21 Correct 1 ms 204 KB Output is correct
22 Correct 1 ms 320 KB Output is correct
23 Correct 1 ms 296 KB Output is correct
24 Correct 1 ms 200 KB Output is correct
25 Correct 1 ms 292 KB Output is correct
26 Correct 1 ms 200 KB Output is correct
27 Correct 1 ms 200 KB Output is correct
28 Correct 1 ms 344 KB Output is correct
29 Correct 1 ms 204 KB Output is correct
30 Correct 1 ms 276 KB Output is correct
31 Correct 1 ms 200 KB Output is correct
32 Correct 1 ms 200 KB Output is correct
33 Correct 1 ms 200 KB Output is correct
34 Correct 1 ms 200 KB Output is correct
35 Correct 1 ms 276 KB Output is correct
36 Correct 1 ms 272 KB Output is correct
37 Correct 1 ms 276 KB Output is correct
38 Correct 1 ms 200 KB Output is correct
39 Correct 1 ms 320 KB Output is correct
40 Correct 1 ms 200 KB Output is correct
41 Correct 1 ms 292 KB Output is correct
42 Correct 1 ms 296 KB Output is correct
43 Correct 1 ms 204 KB Output is correct
44 Correct 1 ms 200 KB Output is correct
45 Correct 1 ms 276 KB Output is correct
46 Correct 1 ms 200 KB Output is correct
47 Correct 1 ms 200 KB Output is correct
48 Correct 2 ms 292 KB Output is correct
49 Correct 1 ms 280 KB Output is correct
50 Correct 1 ms 200 KB Output is correct
51 Correct 1 ms 200 KB Output is correct
52 Correct 1 ms 200 KB Output is correct
53 Correct 1 ms 288 KB Output is correct
54 Correct 2 ms 320 KB Output is correct
55 Correct 1 ms 200 KB Output is correct
56 Correct 1 ms 200 KB Output is correct
57 Correct 1 ms 200 KB Output is correct
58 Correct 1 ms 200 KB Output is correct
59 Correct 1 ms 200 KB Output is correct
60 Correct 1 ms 284 KB Output is correct
61 Correct 1 ms 200 KB Output is correct
62 Correct 1 ms 200 KB Output is correct
63 Correct 1 ms 280 KB Output is correct
64 Correct 1 ms 292 KB Output is correct
65 Correct 1 ms 200 KB Output is correct
66 Correct 1 ms 200 KB Output is correct
67 Correct 1 ms 296 KB Output is correct
68 Correct 1 ms 200 KB Output is correct
69 Correct 1 ms 320 KB Output is correct
70 Correct 1 ms 200 KB Output is correct
71 Correct 1 ms 200 KB Output is correct
72 Correct 1 ms 200 KB Output is correct
73 Correct 1 ms 296 KB Output is correct
74 Correct 1 ms 200 KB Output is correct
75 Correct 1 ms 292 KB Output is correct
76 Correct 1 ms 200 KB Output is correct
77 Correct 1 ms 200 KB Output is correct
78 Correct 1 ms 200 KB Output is correct
79 Correct 1 ms 200 KB Output is correct
80 Correct 1 ms 200 KB Output is correct
81 Correct 1 ms 200 KB Output is correct
82 Correct 1 ms 204 KB Output is correct
83 Correct 1 ms 200 KB Output is correct
84 Correct 1 ms 200 KB Output is correct
85 Correct 1 ms 296 KB Output is correct
86 Correct 1 ms 200 KB Output is correct
87 Correct 1 ms 296 KB Output is correct
88 Correct 1 ms 200 KB Output is correct
89 Correct 1 ms 200 KB Output is correct
90 Correct 1 ms 200 KB Output is correct
91 Correct 1 ms 200 KB Output is correct
92 Correct 1 ms 280 KB Output is correct
93 Correct 1 ms 272 KB Output is correct
94 Correct 1 ms 300 KB Output is correct
95 Correct 1 ms 280 KB Output is correct
96 Correct 1 ms 292 KB Output is correct
97 Correct 1 ms 300 KB Output is correct
98 Correct 1 ms 200 KB Output is correct
99 Correct 1 ms 200 KB Output is correct
100 Correct 1 ms 284 KB Output is correct
101 Correct 2 ms 200 KB Output is correct
102 Correct 1 ms 272 KB Output is correct
103 Correct 1 ms 284 KB Output is correct
104 Correct 1 ms 276 KB Output is correct
105 Correct 1 ms 200 KB Output is correct
106 Correct 1 ms 200 KB Output is correct
107 Correct 1 ms 296 KB Output is correct
108 Correct 1 ms 200 KB Output is correct
109 Correct 1 ms 200 KB Output is correct
110 Correct 1 ms 200 KB Output is correct
111 Correct 1 ms 280 KB Output is correct
112 Correct 1 ms 200 KB Output is correct
113 Correct 1 ms 300 KB Output is correct
114 Correct 1 ms 200 KB Output is correct
115 Correct 1 ms 200 KB Output is correct
116 Correct 1 ms 204 KB Output is correct
117 Correct 1 ms 200 KB Output is correct
118 Correct 1 ms 200 KB Output is correct
119 Correct 1 ms 200 KB Output is correct
120 Correct 1 ms 276 KB Output is correct
121 Correct 1 ms 300 KB Output is correct
122 Correct 1 ms 200 KB Output is correct
123 Correct 1 ms 200 KB Output is correct
124 Correct 1 ms 200 KB Output is correct
125 Correct 1 ms 200 KB Output is correct
126 Correct 1 ms 200 KB Output is correct
127 Correct 1 ms 200 KB Output is correct
128 Correct 1 ms 200 KB Output is correct
129 Correct 1 ms 320 KB Output is correct
130 Correct 1 ms 200 KB Output is correct
131 Correct 1 ms 200 KB Output is correct
132 Correct 1 ms 200 KB Output is correct
133 Correct 1 ms 292 KB Output is correct
134 Correct 1 ms 292 KB Output is correct
135 Correct 1 ms 292 KB Output is correct