結果
| 問題 | No.1045 直方体大学 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2020-05-01 22:54:06 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 1,242 ms / 2,000 ms | 
| コード長 | 1,454 bytes | 
| コンパイル時間 | 248 ms | 
| コンパイル使用メモリ | 82,432 KB | 
| 実行使用メモリ | 101,248 KB | 
| 最終ジャッジ日時 | 2024-12-25 13:56:43 | 
| 合計ジャッジ時間 | 4,582 ms | 
| ジャッジサーバーID (参考情報) | judge4 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 | 
| other | AC * 17 | 
ソースコード
def input_int():
    return int(input())
def input_ints():
    return list(map(int, input().split()))
N = input_int()
A = []
B = []
C = []
for _ in range(N):
    a, b, c = sorted(input_ints())
    A.append(a)
    B.append(b)
    C.append(c)
# 0: AB
# 1: AC
# 2: BC
def height(k):
    i, j = divmod(k, 3)
    if j == 0:
        return C[i]
    elif j == 1:
        return B[i]
    else:
        return A[i]
def face(k):
    i, j = divmod(k, 3)
    if j == 0:
        return A[i], B[i]
    elif j == 1:
        k
        return A[i], C[i]
    else:
        return B[i], C[i]
INF = 10**9
dp = [-INF] * ((1 << N) * (N * 3))
def get(i, j):
    return dp[i * (N * 3) + j]
def update(i, j, v):
    k = i * (N * 3) + j
    dp[k] = max(dp[k], v)
for i in range(N):
    update(1 << i, i * 3 + 0, height(i * 3 + 0))
    update(1 << i, i * 3 + 1, height(i * 3 + 1))
    update(1 << i, i * 3 + 2, height(i * 3 + 2))
def can(x, y):
    f1 = face(x)
    f2 = face(y)
    return f1[0] <= f2[0] and f1[1] <= f2[1]
g = [[can(i, j) for j in range(N * 3)] for i in range(N * 3)]
ans = 0
for i in range(1 << N):
    for j in range(N * 3):
        if get(i, j) == -INF:
            continue
        ans = max(ans, get(i, j))
        for kx in range(N):
            if i >> kx & 1: continue
            for ky in range(3):
                k = kx * 3 + ky
                if g[j][k]:
                    update(i | 1 << kx, k, get(i, j) + height(k))
print(ans)
            
            
            
        