結果

問題 No.1045 直方体大学
ユーザー pekempey
提出日時 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
権限があれば一括ダウンロードができます

ソースコード

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

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)
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0