제출 #609570

#제출 시각아이디문제언어결과실행 시간메모리
609570JomnoiBali Sculptures (APIO15_sculpture)C++17
50 / 100
82 ms460 KiB
#include <bits/stdc++.h>
using namespace std;

const int MAX_N = 2005;
const int INF = 1e9 + 7;
const long long llINF = 1e18 + 7;

int Y[MAX_N];
long long qs[MAX_N];
long long dp2[MAX_N][MAX_N];
int dp[MAX_N];

int main() {
    cin.tie(nullptr)->sync_with_stdio(false);

    int N, A, B;
    cin >> N >> A >> B;

    for(int i = 1; i <= N; i++) {
        cin >> Y[i];

        qs[i] = qs[i - 1] + Y[i];
    }

    long long ans;
    if(A != 1) {
        for(int k = 0; k <= B; k++) {
            for(int i = 0; i <= N; i++) {
                dp2[k][i] = llINF;
            }
        }
        
        for(int i = 1; i <= N; i++) {
            dp2[1][i] = qs[i];
        }
        for(int k = 2; k <= B; k++) {
            for(int i = k; i <= N; i++) {
                for(int j = i; j >= 1; j--) {
                    dp2[k][i] = min(dp2[k][i], dp2[k - 1][j - 1] | (qs[i] - qs[j - 1]));
                }
            }
        }

        ans = llINF;
        for(int x = A; x <= B; x++) {
            ans = min(ans, dp2[x][N]);
        }
    }
    else {
        long long mask = (1ll<<41) - 1;
        for(int b = 40; b >= 0; b--) {
            mask -= (1ll<<b);
            for(int i = 1; i <= N; i++) {
                long long sum = 0;
                dp[i] = INF;
                for(int j = i; j >= 1; j--) {
                    sum += Y[j];
                    if((sum | mask) == mask) {
                        dp[i] = min(dp[i], dp[j - 1] + 1);
                    }
                }
            }

            if(dp[N] > B) {
                mask += (1ll<<b);
            }
        }
        ans = mask;
    }
    cout << ans;
    return 0;
}
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...