結果

問題 No.497 入れ子の箱
ユーザー むらためむらため
提出日時 2019-02-04 23:44:30
言語 Nim
(2.0.2)
結果
AC  
実行時間 311 ms / 5,000 ms
コード長 1,428 bytes
コンパイル時間 2,936 ms
コンパイル使用メモリ 64,176 KB
実行使用メモリ 19,968 KB
最終ジャッジ日時 2024-07-01 11:23:36
合計ジャッジ時間 10,482 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 2 ms
6,940 KB
testcase_03 AC 162 ms
18,432 KB
testcase_04 AC 224 ms
18,560 KB
testcase_05 AC 222 ms
18,304 KB
testcase_06 AC 223 ms
18,432 KB
testcase_07 AC 235 ms
18,432 KB
testcase_08 AC 238 ms
18,360 KB
testcase_09 AC 234 ms
19,216 KB
testcase_10 AC 234 ms
18,760 KB
testcase_11 AC 235 ms
18,176 KB
testcase_12 AC 236 ms
11,136 KB
testcase_13 AC 240 ms
10,752 KB
testcase_14 AC 238 ms
10,624 KB
testcase_15 AC 236 ms
10,880 KB
testcase_16 AC 237 ms
11,136 KB
testcase_17 AC 237 ms
10,880 KB
testcase_18 AC 223 ms
19,968 KB
testcase_19 AC 226 ms
19,840 KB
testcase_20 AC 262 ms
19,840 KB
testcase_21 AC 224 ms
19,840 KB
testcase_22 AC 225 ms
19,712 KB
testcase_23 AC 267 ms
6,944 KB
testcase_24 AC 266 ms
6,944 KB
testcase_25 AC 2 ms
6,944 KB
testcase_26 AC 2 ms
6,940 KB
testcase_27 AC 233 ms
16,000 KB
testcase_28 AC 231 ms
16,000 KB
testcase_29 AC 232 ms
15,616 KB
testcase_30 AC 311 ms
6,944 KB
testcase_31 AC 293 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sequtils,algorithm
template times*(n:int,body) = (for _ in 0..<n: body)
template `max=`*(x,y) = x = max(x,y)
template `min=`*(x,y) = x = min(x,y)

proc getchar_unlocked():char {. importc:"getchar_unlocked",header: "<stdio.h>" .}
proc scan(): int =
  while true:
    let k = getchar_unlocked()
    if k < '0': return
    result = 10 * result + k.ord - '0'.ord

# 隣接リスト([n->[m1,m2,m3], ... ])を トポロジカルソート
proc topologicalSort(E:seq[seq[int]],deleteIsolated:bool = false) : seq[int] =
  var visited = newSeq[int](E.len)
  var answer = newSeq[int]()
  proc visit(src:int) =
    visited[src] += 1
    if visited[src] > 1: return
    for dst in E[src]: visit(dst)
    answer &= src # 葉から順に追加される
  for src in 0..<E.len: visit(src)
  if deleteIsolated: # 孤立点の除去
    return answer.filterIt(visited[it] > 1 or E[it].len > 0)
  return answer


let n = scan()
let B = newSeqWith(n,(x:scan(),y:scan(),z:scan()))
proc isSmall(a,b:tuple[x,y,z:int]): bool =
  var an = @[a.x,a.y,a.z].sorted(cmp)
  while true:
    if an[0] < b.x and an[1] < b.y and an[2] < b.z : return true
    if not an.nextPermutation() : return false
var E = newSeqWith(n,newSeq[int]())
for i in 0..<n:
  for j in 0..<n:
    if isSmall(B[i],B[j]) : E[j] &= i
var dp = newSeq[int](n)
let TS = E.topologicalSort(true).reversed()
for e in TS :
  for dst in E[e]:
    dp[dst] .max= dp[e] + 1
echo dp.max() + 1
0