| # | 제출 시각 | 아이디 | 문제 | 언어 | 결과 | 실행 시간 | 메모리 |
|---|---|---|---|---|---|---|---|
| 378803 | saarang123 | Bali Sculptures (APIO15_sculpture) | C++17 | 0 ms | 0 KiB |
이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
#include <bits/stdc++.h>
using namespace std;
const int mxn = 2002, lgn = 46;
long long y[mxn], p[mxn];
int n, a, b;
bool check(long long mask) {
vector<int> dp(n + 1, n + 1);
dp[0] = 0;
for(int i = 1; i <= n; i++)
for(int j = 0; j < i; j++)
if((mask | (p[i] - p[j])) == mask)
dp[i] = min(dp[i], dp[j] + 1);
return dp[n] <= b;
}
bool fix(long long mask) {
vector<vector<bool>> dp(n + 1, vector<bool>(n + 1));
dp[0][0] = true;
for(int i = 1; i <= n; i++)
for(int j = 1; j <= i; j++)
for(int k = 0; k < i; k++)
if((mask | (p[i] - p[k])) == mask)
dp[i][j] |= dp[k][j - 1];
for(int i = a; i <= b; i++)
if(dp[n][i])
return true;
return false;
}
signed main() {
std::ios::sync_with_stdio(0);
std::cout.tie(0);
std::cin.tie(0);
#ifdef saarang
freopen("/home/saarang/Documents/cp/input.txt", "r", stdin);
freopen("/home/saarang/Documents/cp/output.txt", "w", stdout);
#endif
cin >> n >> a >> b;
for(int i = 1; i <= n; i++)
cin >> y[i];
for(int i = 1; i <= n; i++)
p[i] = p[i - 1] + y[i];
long long ans = (1LL << lgn) - 1;
for(int bit = lgn - 1; bit >= 0; bit--) {
if(a == 1) {
if(check(ans ^ (1LL << bit)))
ans ^= (1LL << bit);
}
else {
if(fix(ans ^ (1LL << bit)))
ans ^= (1LL << bit);
}
}
cout << ans << '\n';
return 0;
}