結果

問題 No.59 鉄道の旅
ユーザー むらためむらため
提出日時 2019-01-17 06:08:21
言語 Nim
(2.0.2)
結果
AC  
実行時間 22 ms / 5,000 ms
コード長 1,928 bytes
コンパイル時間 2,384 ms
コンパイル使用メモリ 66,408 KB
実行使用メモリ 10,796 KB
最終ジャッジ日時 2023-09-13 22:37:27
合計ジャッジ時間 3,443 ms
ジャッジサーバーID
(参考情報)
judge15 / judge13
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 1 ms
4,376 KB
testcase_02 AC 2 ms
4,380 KB
testcase_03 AC 2 ms
4,380 KB
testcase_04 AC 22 ms
10,796 KB
testcase_05 AC 2 ms
4,376 KB
testcase_06 AC 2 ms
4,380 KB
testcase_07 AC 2 ms
4,380 KB
testcase_08 AC 13 ms
10,680 KB
testcase_09 AC 13 ms
10,224 KB
testcase_10 AC 12 ms
9,676 KB
testcase_11 AC 2 ms
4,376 KB
testcase_12 AC 3 ms
4,380 KB
testcase_13 AC 8 ms
4,376 KB
testcase_14 AC 8 ms
4,376 KB
testcase_15 AC 1 ms
4,380 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
/home/judge/data/code/Main.nim(1, 8) Warning: imported and not used: 'sequtils' [UnusedImport]
/home/judge/data/code/Main.nim(1, 41) Warning: imported and not used: 'sugar' [UnusedImport]
/home/judge/data/code/Main.nim(1, 36) Warning: imported and not used: 'math' [UnusedImport]

ソースコード

diff #

import sequtils,strutils,algorithm,math,sugar,macros
template get*():string = stdin.readLine().strip()
macro unpack*(arr: auto,cnt: static[int]): auto =
  let t = genSym(); result = quote do:(let `t` = `arr`;())
  for i in 0..<cnt: result[0][1].add(quote do:`t`[`i`])
template times*(n:int,body:untyped): untyped = (for _ in 0..<n: body)
template `max=`*(x,y:typed):void = x = max(x,y)
template `min=`*(x,y:typed):void = x = min(x,y)

type BinaryIndexedTree*[CNT:static[int],T] = object
  data: array[CNT,T]
proc `[]`*[CNT,T](bit:BinaryIndexedTree[CNT,T],i:int): T =
  if i == 0 : return bit.data[0]
  result = 0 # 000111122[2]2223333
  var index = i
  while index > 0:
    result += bit.data[index]
    index -= index and -index # 0111 -> 0110 -> 0100
proc inc*[CNT,T](bit:var BinaryIndexedTree[CNT,T],i:int,val:T) =
  var index = i
  while index < bit.data.len():
    bit.data[index] += val
    index += index and -index # 001101 -> 001110 -> 010001
proc `$`*[CNT,T](bit:BinaryIndexedTree[CNT,T]): string =
  result = "["
  for i in 0..bit.data.high: result &= $(bit[i]) & ", "
  return result[0..result.len()-2] & "]"
proc len*[CNT,T](bit:BinaryIndexedTree[CNT,T]): int = bit.data.len()

template useScan =
  proc getchar_unlocked():char {. importc:"getchar_unlocked",header: "<stdio.h>" .}
  proc scan(): int =
    result = 0
    var minus = false
    while true:
      var k = getchar_unlocked()
      if k == '-' : minus = true
      elif k < '0' or k > '9': break
      else: result = 10 * result + k.ord - '0'.ord
    if minus: result *= -1

# useBinaryIndexedTree()
useScan()

var cargo : BinaryIndexedTree[100_0001,int]
var last = 0
let n = scan()
let k = scan()
n.times:
  let w = scan()
  if w > 0:
    if last - cargo[w-1] >= k: continue # W以上の荷物がK個以上
    cargo.inc w, 1
    last += 1
  else:
    if cargo[-w-1] == cargo[-w] : continue # 荷物が無い
    cargo.inc -w,-1
    last -= 1
echo last
0