#include <iostream>
#include <vector>
#include <algorithm>
#define upmax(a, b) a = max(a, b);
#define upmin(a, b) a = min(a, b);
#define pr(x) cout << x << endl;
using namespace std;
using ll = long long;
using vll = vector<ll>;
using vvll = vector<vll>;
using vvvll = vector<vvll>;
const ll inf = 1e18;
const ll maxn = 1026; // each one is smaller than 10. so sum is no more than 500. Which means maxn's last bit is no more than 1023.
const ll maxg = 20;
ll n, a, b;
vll arr;
ll ans;
vll s;
void brute(vll& div, ll ind)
{
if (ind == n) {
if (div.size() < a-1 || div.size() > b-1) return;
ll res = 0;
ll cursum = 0;
ll p = 0;
for (ll i = 0; i < n; i++) {
cursum += arr[i];
if (p < div.size() && div[p] == i) {
res |= cursum;
p++;
cursum = 0;
}
}
res |= cursum;
upmin(ans, res);
return;
}
div.push_back(ind);
if(ind < n-1) brute(div, ind + 1);
div.pop_back();
brute(div, ind + 1);
}
ll sum(ll l, ll r)
{
ll res = s[r];
if (l) res -= s[l - 1];
return res;
}
ll calc_dp()
{
/*
dp[i][j][k] = is it possible to use first i vals to form j groups with OR-SUM equals k.
*/
vvvll dp(n+1, vvll(maxg + 1, vll(maxn, false)));
dp[0][0][0] = true;
for (ll i = 0; i <= n; i++) {
for (ll j = 0; j <= maxg; j++) {
for (ll k = 0; k < maxn; k++) {
if (!dp[i][j][k]) continue;
ll cursum = 0;
for (ll m = i + 1; m <= n; m++) {
cursum += arr[m - 1];
if (cursum >= maxn) while (true);
dp[m][j + 1][k | cursum] = 1;
}
}
}
}
ll res = inf;
for (ll j = a; j <= b; j++) {
for (ll k = 0; k < maxn; k++) {
if (dp[n][j][k]) upmin(res, k);
}
}
return res;
}
int main()
{
cin >> n >> a >> b;
arr.resize(n);
for (ll i = 0; i < n; i++) cin >> arr[i];
s.resize(n);
s[0] = arr[0];
for (ll i = 1; i < n; i++) s[i] = arr[i] + s[i - 1];
ans = inf;
if (n <= 20) {
vll div;
brute(div, 0);
pr(ans);
return 0;
}
ans = calc_dp();
pr(ans);
}
/*
6 1 3
8 1 2 1 5 4
*/
Compilation message
sculpture.cpp: In function 'void brute(vll&, ll)':
sculpture.cpp:26:18: warning: comparison of integer expressions of different signedness: 'std::vector<long long int>::size_type' {aka 'long unsigned int'} and 'll' {aka 'long long int'} [-Wsign-compare]
26 | if (div.size() < a-1 || div.size() > b-1) return;
| ~~~~~~~~~~~^~~~~
sculpture.cpp:26:38: warning: comparison of integer expressions of different signedness: 'std::vector<long long int>::size_type' {aka 'long unsigned int'} and 'll' {aka 'long long int'} [-Wsign-compare]
26 | if (div.size() < a-1 || div.size() > b-1) return;
| ~~~~~~~~~~~^~~~~
sculpture.cpp:32:10: warning: comparison of integer expressions of different signedness: 'll' {aka 'long long int'} and 'std::vector<long long int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
32 | if (p < div.size() && div[p] == i) {
| ~~^~~~~~~~~~~~
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
204 KB |
Output is correct |
2 |
Correct |
1 ms |
204 KB |
Output is correct |
3 |
Correct |
1 ms |
204 KB |
Output is correct |
4 |
Correct |
1 ms |
204 KB |
Output is correct |
5 |
Correct |
1 ms |
204 KB |
Output is correct |
6 |
Correct |
3 ms |
204 KB |
Output is correct |
7 |
Correct |
2 ms |
204 KB |
Output is correct |
8 |
Correct |
9 ms |
284 KB |
Output is correct |
9 |
Correct |
8 ms |
204 KB |
Output is correct |
10 |
Correct |
7 ms |
204 KB |
Output is correct |
11 |
Correct |
7 ms |
204 KB |
Output is correct |
12 |
Correct |
7 ms |
288 KB |
Output is correct |
13 |
Correct |
32 ms |
204 KB |
Output is correct |
14 |
Correct |
1 ms |
204 KB |
Output is correct |
15 |
Correct |
1 ms |
204 KB |
Output is correct |
16 |
Correct |
1 ms |
204 KB |
Output is correct |
17 |
Correct |
1 ms |
204 KB |
Output is correct |
18 |
Correct |
1 ms |
204 KB |
Output is correct |
19 |
Correct |
1 ms |
204 KB |
Output is correct |
20 |
Correct |
2 ms |
204 KB |
Output is correct |
21 |
Correct |
10 ms |
204 KB |
Output is correct |
22 |
Correct |
10 ms |
288 KB |
Output is correct |
23 |
Correct |
10 ms |
292 KB |
Output is correct |
24 |
Correct |
7 ms |
204 KB |
Output is correct |
25 |
Correct |
10 ms |
204 KB |
Output is correct |
26 |
Correct |
30 ms |
284 KB |
Output is correct |
27 |
Correct |
1 ms |
204 KB |
Output is correct |
28 |
Correct |
1 ms |
204 KB |
Output is correct |
29 |
Correct |
1 ms |
204 KB |
Output is correct |
30 |
Correct |
4 ms |
204 KB |
Output is correct |
31 |
Correct |
10 ms |
292 KB |
Output is correct |
32 |
Correct |
8 ms |
204 KB |
Output is correct |
33 |
Correct |
34 ms |
204 KB |
Output is correct |
34 |
Correct |
32 ms |
276 KB |
Output is correct |
35 |
Correct |
7 ms |
204 KB |
Output is correct |
36 |
Correct |
33 ms |
288 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
204 KB |
Output is correct |
2 |
Correct |
1 ms |
204 KB |
Output is correct |
3 |
Correct |
1 ms |
204 KB |
Output is correct |
4 |
Correct |
1 ms |
204 KB |
Output is correct |
5 |
Correct |
1 ms |
204 KB |
Output is correct |
6 |
Correct |
2 ms |
204 KB |
Output is correct |
7 |
Correct |
2 ms |
204 KB |
Output is correct |
8 |
Correct |
7 ms |
204 KB |
Output is correct |
9 |
Correct |
7 ms |
292 KB |
Output is correct |
10 |
Correct |
8 ms |
288 KB |
Output is correct |
11 |
Correct |
7 ms |
204 KB |
Output is correct |
12 |
Correct |
7 ms |
404 KB |
Output is correct |
13 |
Correct |
33 ms |
204 KB |
Output is correct |
14 |
Correct |
1 ms |
204 KB |
Output is correct |
15 |
Correct |
1 ms |
204 KB |
Output is correct |
16 |
Correct |
1 ms |
204 KB |
Output is correct |
17 |
Correct |
1 ms |
204 KB |
Output is correct |
18 |
Correct |
1 ms |
204 KB |
Output is correct |
19 |
Correct |
1 ms |
204 KB |
Output is correct |
20 |
Correct |
2 ms |
204 KB |
Output is correct |
21 |
Correct |
10 ms |
288 KB |
Output is correct |
22 |
Correct |
10 ms |
204 KB |
Output is correct |
23 |
Correct |
10 ms |
204 KB |
Output is correct |
24 |
Correct |
7 ms |
204 KB |
Output is correct |
25 |
Correct |
10 ms |
288 KB |
Output is correct |
26 |
Correct |
30 ms |
284 KB |
Output is correct |
27 |
Runtime error |
7 ms |
8268 KB |
Execution killed with signal 11 |
28 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
204 KB |
Output is correct |
2 |
Correct |
1 ms |
204 KB |
Output is correct |
3 |
Correct |
1 ms |
204 KB |
Output is correct |
4 |
Correct |
1 ms |
204 KB |
Output is correct |
5 |
Correct |
1 ms |
204 KB |
Output is correct |
6 |
Correct |
2 ms |
276 KB |
Output is correct |
7 |
Correct |
2 ms |
204 KB |
Output is correct |
8 |
Correct |
7 ms |
204 KB |
Output is correct |
9 |
Correct |
7 ms |
288 KB |
Output is correct |
10 |
Correct |
7 ms |
204 KB |
Output is correct |
11 |
Correct |
7 ms |
292 KB |
Output is correct |
12 |
Correct |
7 ms |
204 KB |
Output is correct |
13 |
Correct |
33 ms |
204 KB |
Output is correct |
14 |
Runtime error |
10 ms |
8272 KB |
Execution killed with signal 11 |
15 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
204 KB |
Output is correct |
2 |
Correct |
1 ms |
204 KB |
Output is correct |
3 |
Correct |
1 ms |
204 KB |
Output is correct |
4 |
Correct |
1 ms |
204 KB |
Output is correct |
5 |
Correct |
1 ms |
204 KB |
Output is correct |
6 |
Correct |
2 ms |
204 KB |
Output is correct |
7 |
Correct |
2 ms |
204 KB |
Output is correct |
8 |
Correct |
7 ms |
204 KB |
Output is correct |
9 |
Correct |
7 ms |
204 KB |
Output is correct |
10 |
Correct |
7 ms |
204 KB |
Output is correct |
11 |
Correct |
7 ms |
288 KB |
Output is correct |
12 |
Correct |
9 ms |
204 KB |
Output is correct |
13 |
Correct |
32 ms |
264 KB |
Output is correct |
14 |
Correct |
1 ms |
204 KB |
Output is correct |
15 |
Correct |
1 ms |
204 KB |
Output is correct |
16 |
Correct |
1 ms |
204 KB |
Output is correct |
17 |
Correct |
1 ms |
204 KB |
Output is correct |
18 |
Correct |
1 ms |
204 KB |
Output is correct |
19 |
Correct |
1 ms |
204 KB |
Output is correct |
20 |
Correct |
2 ms |
204 KB |
Output is correct |
21 |
Correct |
10 ms |
288 KB |
Output is correct |
22 |
Correct |
10 ms |
204 KB |
Output is correct |
23 |
Correct |
10 ms |
204 KB |
Output is correct |
24 |
Correct |
7 ms |
204 KB |
Output is correct |
25 |
Correct |
10 ms |
204 KB |
Output is correct |
26 |
Correct |
30 ms |
284 KB |
Output is correct |
27 |
Correct |
1 ms |
204 KB |
Output is correct |
28 |
Correct |
1 ms |
204 KB |
Output is correct |
29 |
Correct |
1 ms |
204 KB |
Output is correct |
30 |
Correct |
4 ms |
204 KB |
Output is correct |
31 |
Correct |
10 ms |
204 KB |
Output is correct |
32 |
Correct |
7 ms |
204 KB |
Output is correct |
33 |
Correct |
30 ms |
332 KB |
Output is correct |
34 |
Correct |
32 ms |
204 KB |
Output is correct |
35 |
Correct |
7 ms |
204 KB |
Output is correct |
36 |
Correct |
33 ms |
264 KB |
Output is correct |
37 |
Runtime error |
7 ms |
8316 KB |
Execution killed with signal 11 |
38 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
204 KB |
Output is correct |
2 |
Correct |
2 ms |
276 KB |
Output is correct |
3 |
Correct |
1 ms |
204 KB |
Output is correct |
4 |
Correct |
1 ms |
204 KB |
Output is correct |
5 |
Correct |
1 ms |
204 KB |
Output is correct |
6 |
Correct |
2 ms |
204 KB |
Output is correct |
7 |
Correct |
2 ms |
204 KB |
Output is correct |
8 |
Correct |
8 ms |
204 KB |
Output is correct |
9 |
Correct |
7 ms |
288 KB |
Output is correct |
10 |
Correct |
7 ms |
204 KB |
Output is correct |
11 |
Correct |
7 ms |
204 KB |
Output is correct |
12 |
Correct |
8 ms |
204 KB |
Output is correct |
13 |
Correct |
32 ms |
284 KB |
Output is correct |
14 |
Correct |
1 ms |
204 KB |
Output is correct |
15 |
Correct |
1 ms |
204 KB |
Output is correct |
16 |
Correct |
1 ms |
204 KB |
Output is correct |
17 |
Correct |
4 ms |
284 KB |
Output is correct |
18 |
Correct |
10 ms |
204 KB |
Output is correct |
19 |
Correct |
7 ms |
204 KB |
Output is correct |
20 |
Correct |
32 ms |
204 KB |
Output is correct |
21 |
Correct |
32 ms |
204 KB |
Output is correct |
22 |
Correct |
7 ms |
204 KB |
Output is correct |
23 |
Correct |
32 ms |
204 KB |
Output is correct |
24 |
Runtime error |
8 ms |
8224 KB |
Execution killed with signal 11 |
25 |
Halted |
0 ms |
0 KB |
- |