結果
| 問題 |
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)