結果

問題 No.1045 直方体大学
ユーザー neterukun
提出日時 2020-05-01 23:06:08
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,879 ms / 2,000 ms
コード長 1,518 bytes
コンパイル時間 365 ms
コンパイル使用メモリ 82,388 KB
実行使用メモリ 181,556 KB
最終ジャッジ日時 2024-12-25 14:10:59
合計ジャッジ時間 17,982 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 17
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

n = int(input())
info = [list(map(int, input().split())) for i in range(n)]
# dp[bit_state][i][j] := bit_stateの積み木を使って、最後に使ったのがi番目の積み木。
#                        また、i番目の積み木のj番目の辺が高さになっている
dp = [[[-1] * (3) for i in range(n)] for j in range(1 << n)]
for i in range(n):
    for j, val in enumerate(info[i]):
        dp[1 << i][i][j] = val
for bit_state in range(1 << n):
    for i in range(n):
        if not((1 << i) & bit_state):
            continue
        # i番目はすでに積まれているので、dp[bit_state][i][?]から遷移出来る
        
        for j in range(n):
            if (1 << j) & bit_state:
                continue
            # j番目はまだ積まれていないので、dp[bit_state|j][j][?] <- dp[bit_state][i][?]と遷移出来る
            for ii in range(3):
                for jj in range(3):
                    ai, bi = info[i][(ii + 1) % 3], info[i][(ii + 2) % 3]
                    aj, bj = info[j][(jj + 1) % 3], info[j][(jj + 2) % 3]
                    if dp[bit_state][i][ii] == -1:
                        continue
                    if (aj <= ai and bj <= bi) or (aj <= bi and bj <= ai):
                        dp[bit_state|(1 << j)][j][jj] = max(dp[bit_state][i][ii] + info[j][jj], dp[bit_state|(1 << j)][j][jj])
ans = 0
for bit_state in range(1 << n):
    for i in range(n):
        for j in range(3):
            ans = max(ans, dp[bit_state][i][j])
print(ans)
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0