結果
| 問題 | No.1792 科学の甲子園 | 
| コンテスト | |
| ユーザー |  hitonanode | 
| 提出日時 | 2021-12-21 00:10:43 | 
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 8 ms / 4,000 ms | 
| コード長 | 1,462 bytes | 
| コンパイル時間 | 1,070 ms | 
| コンパイル使用メモリ | 96,292 KB | 
| 実行使用メモリ | 6,816 KB | 
| 最終ジャッジ日時 | 2024-11-26 17:53:09 | 
| 合計ジャッジ時間 | 1,994 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 26 | 
ソースコード
#pragma GCC optimize("O3,unroll-loops")
#include <iostream>
#include <vector>
using namespace std;
using lint = long long;
template <typename T> bool chmax(T &m, const T q) { return m < q ? (m = q, true) : false; }
#define FOR(i, begin, end) for (int i = (begin), i##_end_ = (end); i < i##_end_; i++)
#define IFOR(i, begin, end) for (int i = (end)-1, i##_begin_ = (begin); i >= i##_begin_; i--)
#define REP(i, n) FOR(i, 0, n)
#define IREP(i, n) IFOR(i, 0, n)
template <typename T> T rd_integer() {
    T ret = 0;
    bool minus = false;
    char c = getchar_unlocked();
    while (!isdigit(c)) minus |= (c == '-'), c = getchar_unlocked();
    while (isdigit(c)) ret = (ret << 1) + (ret << 3) + (c ^ 48), c = getchar_unlocked();
    return minus ? -ret : ret;
}
int rdi() { return rd_integer<int>(); }
int main() {
    constexpr int D = 6;
    vector dp(5, vector<lint>(1 << D, 1));
    int N = rdi();
    vector<lint> V(D);
    vector<lint> tmp(1 << D, 1);
    vector<short> first_digit(1 << D);
    FOR(s, 1, 1 << D) first_digit[s] = __builtin_ctz(s);
    while (N--) {
        for (auto &x : V) x = rdi();
        FOR(s, 1, 1 << D) tmp[s] = tmp[s - (1 << first_digit[s])] * V[first_digit[s]];
        REP(d, 4) {
            REP(s, 1 << D) {
                for (int t = s; t > 0; t = (t - 1) & s) {
                    chmax(dp[d + 1][s], dp[d][s - t] * tmp[t]);
                }
            }
        }
    }
    cout << dp.back().back() << '\n';
}
            
            
            
        