結果
| 問題 | No.2423 Merge Stones | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2024-10-07 23:11:08 | 
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 2,576 ms / 4,000 ms | 
| コード長 | 1,611 bytes | 
| コンパイル時間 | 2,078 ms | 
| コンパイル使用メモリ | 94,000 KB | 
| 実行使用メモリ | 6,820 KB | 
| 最終ジャッジ日時 | 2024-10-07 23:12:10 | 
| 合計ジャッジ時間 | 60,420 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 1 | 
| other | AC * 72 | 
ソースコード
#include <iostream>
#include <vector>
using namespace std;
using ll = long long;
using ull = unsigned long long;
int main () {
    // 色と場所を持って区間dpできそう -> 間に合わないが、真偽値によるdpであることを考えるとワードサイズ分の高速化が効く
    int N, K; cin >> N >> K;
    vector<int> A(N), C(N);
    for (int i = 0; i < N; i++) cin >> A[i];
    for (int i = 0; i < N; i++) cin >> C[i];
    for (int i = 0; i < N; i++) C[i]--;
    vector<vector<ull>> dp(N, vector<ull>(N+1, 0));
    // dp[i][j] := iから右回りにj個の区間を全統合したとき、作成可能な色のセット
    for (int i = 0; i < N; i++) dp[i][1] = 1ull<<C[i];
    ull mask = (1ull<<50) - 1;
    for (int j = 2; j <= N; j++) {
        for (int i = 0; i < N; i++) {
            for (int mid = 1; mid < j; mid++) {
                // 右シフト or 左シフト
                for (int k = 0; k <= K; k++) {
                    dp[i][j] |= dp[i][mid] & (dp[(i+mid) % N][j-mid] >> k);
                    dp[i][j] |= (dp[i][mid] >> k) & dp[(i+mid) % N][j-mid];
                    dp[i][j] |= dp[i][mid] & (dp[(i+mid) % N][j-mid] << k);
                    dp[i][j] |= (dp[i][mid] << k) & dp[(i+mid) % N][j-mid];
                }
            }
            dp[i][j] &= mask;
        }
    }
    ll ans = 0;
    for (int i = 0; i < N; i++) for (int j = 1; j <= N; j++) for (int c = 0; c < 50; c++) if (0 < dp[i][j]) {
        ll sum = 0;
        for (int k = 0; k < j; k++) sum += A[(i + k) % N];
        ans = max(ans, sum);
    }
    cout << ans << "\n";
}
            
            
            
        