結果

問題 No.3751 Nonopoly
コンテスト
ユーザー marc2825
提出日時 2026-08-08 18:59:35
言語 C++17
(gcc 15.3.0 + boost 1.92.0 + ACL)
コンパイル:
g++-15 -O2 -lm -std=c++17 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
WA  
実行時間 -
コード長 2,528 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,169 ms
コンパイル使用メモリ 224,472 KB
実行使用メモリ 9,928 KB
最終ジャッジ日時 2026-10-02 20:54:18
合計ジャッジ時間 7,075 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge4_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample WA * 2
other AC * 9 WA * 12 RE * 29
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;

int N, M;
vector<pair<int, long long>> adj[20];  // adj[i] = {企業, 契約価値}
map<pair<long long, int>, long long> memo;
// 状態: (Alice のグループのビットマスク, Bob のグループのビットマスク, 現在のターン)
// ターン: 0 = Alice, 1 = Bob

long long dfs(long long alice_mask, long long bob_mask, int turn) {
    long long used_mask = alice_mask | bob_mask;
    
    // すべての企業が買収されたら終了
    if (used_mask == (1LL << N) - 1) {
        return 0;
    }
    
    // メモ化キー
    pair<long long, int> state = {used_mask, turn};
    if (memo.count(state)) {
        return memo[state];
    }
    
    long long result;
    
    if (turn == 0) {  // Alice のターン（最大化）
        result = LLONG_MIN;
        
        // 未買収の企業を列挙
        for (int i = 0; i < N; i++) {
            if (!(used_mask & (1LL << i))) {
                // 企業 i を Alice のグループに加える
                long long gain = 0;
                for (auto [j, cost] : adj[i]) {
                    if (alice_mask & (1LL << j)) {
                        gain += cost;
                    }
                }
                
                long long next_score = gain + dfs(alice_mask | (1LL << i), bob_mask, 1);
                result = max(result, next_score);
            }
        }
    } else {  // Bob のターン（最小化）
        result = LLONG_MAX;
        
        // 未買収の企業を列挙
        for (int i = 0; i < N; i++) {
            if (!(used_mask & (1LL << i))) {
                // 企業 i を Bob のグループに加える
                long long gain = 0;
                for (auto [j, cost] : adj[i]) {
                    if (bob_mask & (1LL << j)) {
                        gain += cost;
                    }
                }
                
                long long next_score = dfs(alice_mask, bob_mask | (1LL << i), 0) - gain;
                result = min(result, next_score);
            }
        }
    }
    
    return memo[state] = result;
}

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
    
    cin >> N >> M;
    
    for (int i = 0; i < M; i++) {
        int u, v;
        long long w;
        cin >> u >> v >> w;
        u--; v--;  // 0-indexed
        
        adj[u].push_back({v, w});
        adj[v].push_back({u, w});
    }
    
    long long ans = dfs(0, 0, 0);
    cout << ans << endl;
    
    return 0;
}
0