/*
* Author: Nonoze
* Created: Sunday 14/12/2025
*/
#include <bits/stdc++.h>
using namespace std;
#ifndef DEBUG
#define dbg(...)
#endif
// #define cout cerr << "OUT: "
#define endl '\n'
#define endlfl '\n' << flush
#define quit(x) return (void)(cout << x << endl)
template<typename T> void read(T& x) { cin >> x; }
template<typename T1, typename T2> void read(pair<T1, T2>& p) { read(p.first), read(p.second); }
template<typename T> void read(vector<T>& v) { for (auto& x : v) read(x); }
template<typename T1, typename T2> void read(T1& x, T2& y) { read(x), read(y); }
template<typename T1, typename T2, typename T3> void read(T1& x, T2& y, T3& z) { read(x), read(y), read(z); }
template<typename T1, typename T2, typename T3, typename T4> void read(T1& x, T2& y, T3& z, T4& zz) { read(x), read(y), read(z), read(zz); }
template<typename T> void print(vector<T>& v) { for (auto& x : v) cout << x << ' '; cout << endl; }
#define sz(x) (int)(x.size())
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
#define make_unique(v) sort(all(v)), v.erase(unique(all(v)), (v).end())
#define pb push_back
#define mp(a, b) make_pair(a, b)
#define fi first
#define se second
#define cmin(a, b) a = min(a, b)
#define cmax(a, b) a = max(a, b)
#define YES cout << "YES" << endl
#define NO cout << "NO" << endl
#define QYES quit("YES")
#define QNO quit("NO")
#define int long long
#define double long double
const int inf = numeric_limits<int>::max() / 4;
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
const int MOD = 1e9+7, LOG=20;
void solve();
signed main() {
ios::sync_with_stdio(0);
cin.tie(0);
int tt=1;
// cin >> tt;
while(tt--) solve();
return 0;
}
int n, x, y;
vector<int> a;
struct calc {
vector<int> memo1;
vector<vector<bool>> memo2;
int dp(int pos, int bit, int ans) {
if (pos==n) return 0;
if (memo1[pos]!=-1) return memo1[pos];
int res=inf;
for (int i=pos; i<n; i++) {
int sum=a[i]-(pos==0?0:a[pos-1]);
if ((sum & (1LL<<bit))==0 && ((sum>>bit) | (ans>>bit))==(ans>>bit)) {
cmin(res, 1+dp(i+1, bit, ans));
}
}
return memo1[pos]=res;
}
bool dp2(int pos, int used, int bit, int ans) {
if (used>y) return 0;
if (pos==n) return (used>=x);
if (used==y) return 0;
if (memo2[pos][used]) return 0;
for (int i=pos; i<n; i++) {
int sum=a[i]-(pos==0?0:a[pos-1]);
if ((sum & (1LL<<bit))==0 && ((sum>>bit) | (ans>>bit))==(ans>>bit)) {
if (dp2(i+1, used+1, bit, ans)) return 1;
}
}
memo2[pos][used]=1;
return 0;
}
int solve(int bit, int ans) {
if (x==1) {
memo1.assign(n, -1);
return dp(0, bit, ans);
} else {
memo2.assign(n, vector<bool>(y, 0));
auto res=dp2(0, 0, bit, ans);
return (res?1:inf);
}
}
};
void solve() {
read(n, x, y);
a.clear(), a.resize(n); read(a);
for (int i=1; i<n; i++) a[i]+=a[i-1];
int ans=0;
for (int bit=42; bit>=0; bit--) {
calc solver;
int nb=solver.solve(bit, ans);
if (nb>y) ans |= (1LL<<bit);
}
cout << ans << endl;
}
| # | Verdict | Execution time | Memory | Grader output |
|---|
| Fetching results... |
| # | Verdict | Execution time | Memory | Grader output |
|---|
| Fetching results... |
| # | Verdict | Execution time | Memory | Grader output |
|---|
| Fetching results... |
| # | Verdict | Execution time | Memory | Grader output |
|---|
| Fetching results... |
| # | Verdict | Execution time | Memory | Grader output |
|---|
| Fetching results... |