結果
| 問題 | No.365 ジェンガソート | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2019-01-21 14:43:59 | 
| 言語 | Nim (2.2.0) | 
| 結果 | 
                                WA
                                 
                             | 
| 実行時間 | - | 
| コード長 | 538 bytes | 
| コンパイル時間 | 2,237 ms | 
| コンパイル使用メモリ | 61,952 KB | 
| 実行使用メモリ | 5,376 KB | 
| 最終ジャッジ日時 | 2024-07-01 10:29:49 | 
| 合計ジャッジ時間 | 3,650 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 16 WA * 25 | 
ソースコード
import sequtils
proc getchar_unlocked():char {. importc:"getchar_unlocked",header: "<stdio.h>" .}
proc scan(): int =
  while true:
    let k = getchar_unlocked()
    if k < '0': break
    result = 10 * result + k.ord - '0'.ord
let n = scan()
let A = newSeqWith(n,scan())
var maxA = n
var ans = 0
var used = newSeqWith(n+1,false)
for i in (n-1).countdown(0):
  let a = A[i]
  if a < maxA:
    used[a] = true
    ans += 1
    continue
  # a == maxA
  for j in (maxA-1).countdown(1):
    if used[j] : continue
    maxA = j
    break
echo ans
            
            
            
        