結果

問題 No.297 カードの数式
ユーザー commycommy
提出日時 2020-04-29 00:57:07
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 3,899 bytes
コンパイル時間 822 ms
コンパイル使用メモリ 91,664 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-05-04 18:17:03
合計ジャッジ時間 5,297 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 1 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 77 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 2 ms
5,376 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 WA -
testcase_11 WA -
testcase_12 AC 2 ms
5,376 KB
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 AC 235 ms
5,376 KB
testcase_19 AC 2 ms
5,376 KB
testcase_20 AC 7 ms
5,376 KB
testcase_21 AC 71 ms
5,376 KB
testcase_22 TLE -
testcase_23 AC 2 ms
5,376 KB
testcase_24 AC 611 ms
5,376 KB
testcase_25 AC 406 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <algorithm>
#include <string>
#include <numeric>
#include <utility>
#include <tuple>

#define REP(i, a, b) for (int i = int(a); i < int(b); i++)
using namespace std;
using ll = long long int;
using P = pair<int, int>;

// clang-format off
#ifdef _DEBUG_
#define dump(...) do{ cerr << __LINE__ << ":\t" << #__VA_ARGS__ << " = "; PPPPP(__VA_ARGS__); cerr << endl; } while(false)
template<typename T> void PPPPP(T t) { cerr << t; }
template<typename T, typename... S> void PPPPP(T t, S... s) { cerr << t << ", "; PPPPP(s...); }
#else
#define dump(...) do{ } while(false)
#endif
template<typename T> vector<T> make_v(size_t a, T b) { return vector<T>(a, b); }
template<typename... Ts> auto make_v(size_t a, Ts... ts) { return vector<decltype(make_v(ts...))>(a, make_v(ts...)); }
template<typename T> bool chmin(T &a, T b) { if (a > b) {a = b; return true; } return false; }
template<typename T> bool chmax(T &a, T b) { if (a < b) {a = b; return true; } return false; }
template<typename T> void print(T a) { cout << a << endl; }
template<typename T, typename... Ts> void print(T a, Ts... ts) { cout << a << ' '; print(ts...); }
template<typename T> istream &operator,(istream &in, T &t) { return in >> t; }
// clang-format on

bool isdigit(char c) {
    return '0' <= c && c <= '9';
}

const ll inf = 1LL << 60;
bool isvalid(ll n) {
    return n != inf && n != -inf;
}

int main() {
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    int n;
    cin, n;
    vector<char> c(n, 0);
    REP(i, 0, n) {
        cin, c[i];
    }
    int sz = 1 << n;

    auto dp = make_v(2, sz, inf);
    dp[1] = make_v(sz, -inf);
    REP(bit, 0, sz) {
        bool check = true;
        REP(i, 0, n) {
            if ((bit >> i) & 1) {
                check &= isdigit(c[i]);
            }
        }
        if (check) {
            vector<int> a;
            REP(i, 0, n) {
                if ((bit >> i) & 1) {
                    a.push_back(c[i] - '0');
                }
            }
            sort(a.begin(), a.end());
            dp[0][bit] = dp[1][bit] = 0;
            REP(i, 0, a.size()) {
                dp[0][bit] = dp[0][bit] * 10 + a[i];
                dp[1][bit] = dp[1][bit] * 10 + a[a.size() - 1 - i];
            }
        }
    }

    REP(bit, 0, sz) {
        REP(i, 0, n) {
            if (((bit >> i) & 1) && (!isdigit(c[i]))) {
                int mbit = bit & (~(1 << i));
                for (int j = bit; j > 0; j = (j - 1) & bit) {
                    int comp[2] = {j & mbit, (~j) & mbit};
                    if (comp[0] == 0 || comp[1] == 0) continue;
                    if (c[i] == '+') {
                        REP(a, 0, 2) {
                            REP(b, 0, 2) {
                                REP(d, 0, 2) {
                                    if (!isvalid(dp[a][comp[d]]) || !isvalid(dp[b][comp[1 - d]])) continue;
                                    chmin(dp[0][bit], dp[a][comp[d]] + dp[b][comp[1 - d]]);
                                    chmax(dp[1][bit], dp[a][comp[d]] + dp[b][comp[1 - d]]);
                                }
                            }
                        }
                    } else {
                        REP(a, 0, 2) {
                            REP(b, 0, 2) {
                                REP(d, 0, 2) {
                                    if (!isvalid(dp[a][comp[d]]) || !isvalid(dp[b][comp[1 - d]])) continue;

                                    chmin(dp[0][bit], dp[a][comp[d]] - dp[b][comp[1 - d]]);
                                    chmax(dp[1][bit], dp[a][comp[d]] - dp[b][comp[1 - d]]);
                                }
                            }
                        }
                    }
                }
            }
        }
    }
    REP (i, 0, sz) {
        dump(i, dp[0][i], dp[1][i]);
    }
    print(dp[1][sz - 1], dp[0][sz - 1]);
    return 0;
}
0