結果
| 問題 |
No.1045 直方体大学
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2021-05-19 04:34:27 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 3,004 bytes |
| コンパイル時間 | 175 ms |
| コンパイル使用メモリ | 82,296 KB |
| 実行使用メモリ | 228,744 KB |
| 最終ジャッジ日時 | 2024-10-09 06:11:18 |
| 合計ジャッジ時間 | 5,868 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 6 TLE * 1 -- * 10 |
ソースコード
#region Header
#!/usr/bin/env python3
# from typing import *
import sys
import io
import math
import collections
import decimal
import itertools
import bisect
import heapq
def input():
return sys.stdin.readline()[:-1]
# sys.setrecursionlimit(1000000)
#endregion
# _INPUT = """5
# 94 61 65
# 36 14 63
# 54 96 47
# 78 69 73
# 32 82 99
# """
# sys.stdin = io.StringIO(_INPUT)
def is_loadable(lower, upper):
return lower[0] >= upper[0] and lower[1] >= upper[1]
def main():
N = int(input())
Box = []
Edge = []
for i in range(N):
a, b, c = map(int, input().split())
Box.append((a, b, c))
Edge.append([(max(b, c), min(b, c)), (max(c, a), min(c, a)), (max(a, b), min(a, b))])
dp = [[[0] * 3 for _ in range(N)] for _ in range(1<<N)]
for i in range(N):
dp[1<<i][i][0] = Box[i][0]
dp[1<<i][i][1] = Box[i][1]
dp[1<<i][i][2] = Box[i][2]
for s in range(1, 1<<N):
for next_box in range(N):
if s & (1<<next_box):
continue
s1 = s | (1<<next_box)
for last_box in range(N):
if not(s & (1<<last_box)):
continue
dp[s1][last_box][0] = max(dp[s1][last_box][0], dp[s][last_box][0])
dp[s1][last_box][1] = max(dp[s1][last_box][1], dp[s][last_box][1])
dp[s1][last_box][2] = max(dp[s1][last_box][2], dp[s][last_box][2])
if is_loadable(Edge[last_box][2], Edge[next_box][0]): dp[s1][next_box][0] = max(dp[s1][next_box][0], dp[s][last_box][2] + Box[next_box][0])
if is_loadable(Edge[last_box][0], Edge[next_box][0]): dp[s1][next_box][0] = max(dp[s1][next_box][0], dp[s][last_box][0] + Box[next_box][0])
if is_loadable(Edge[last_box][1], Edge[next_box][0]): dp[s1][next_box][0] = max(dp[s1][next_box][0], dp[s][last_box][1] + Box[next_box][0])
if is_loadable(Edge[last_box][2], Edge[next_box][1]): dp[s1][next_box][1] = max(dp[s1][next_box][1], dp[s][last_box][2] + Box[next_box][1])
if is_loadable(Edge[last_box][0], Edge[next_box][1]): dp[s1][next_box][1] = max(dp[s1][next_box][1], dp[s][last_box][0] + Box[next_box][1])
if is_loadable(Edge[last_box][1], Edge[next_box][1]): dp[s1][next_box][1] = max(dp[s1][next_box][1], dp[s][last_box][1] + Box[next_box][1])
if is_loadable(Edge[last_box][2], Edge[next_box][2]): dp[s1][next_box][2] = max(dp[s1][next_box][2], dp[s][last_box][2] + Box[next_box][2])
if is_loadable(Edge[last_box][0], Edge[next_box][2]): dp[s1][next_box][2] = max(dp[s1][next_box][2], dp[s][last_box][0] + Box[next_box][2])
if is_loadable(Edge[last_box][1], Edge[next_box][2]): dp[s1][next_box][2] = max(dp[s1][next_box][2], dp[s][last_box][1] + Box[next_box][2])
ans = max(max(dp[(1<<N)-1][i][k] for k in range(3)) for i in range(N))
print(ans)
if __name__ == '__main__':
main()