結果
| 問題 | 
                            No.115 遠足のおやつ
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2019-01-23 12:48:16 | 
| 言語 | Nim  (2.2.0)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 1,470 bytes | 
| コンパイル時間 | 2,967 ms | 
| コンパイル使用メモリ | 65,860 KB | 
| 実行使用メモリ | 6,944 KB | 
| 最終ジャッジ日時 | 2024-07-01 10:33:40 | 
| 合計ジャッジ時間 | 4,059 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 WA * 1 | 
| other | AC * 24 WA * 16 | 
ソースコード
import sequtils,strutils,algorithm
proc getchar_unlocked():char {. importc:"getchar_unlocked",header: "<stdio.h>" .}
proc scan(): int =
  while true:
    var k = getchar_unlocked()
    if k < '0': break
    result = 10 * result + k.ord - '0'.ord
proc putchar_unlocked(c:char){. importc:"putchar_unlocked",header: "<stdio.h>" .}
proc printInt(a:int32) =
  if a == 0:
    putchar_unlocked('0')
    return
  template div10(a:int32) : int32 = cast[int32]((0x1999999A * cast[int64](a)) shr 32)
  template mod10(a:int32) : int32 = a - (a.div10 * 10)
  var n = a
  var rev = a
  var cnt = 0
  while rev.mod10 == 0:
    cnt += 1
    rev = rev.div10
  rev = 0
  while n != 0:
    rev = rev * 10 + n.mod10
    n = n.div10
  while rev != 0:
    putchar_unlocked((rev.mod10 + '0'.ord).chr)
    rev = rev.div10
  while cnt != 0:
    putchar_unlocked('0')
    cnt -= 1
proc printInt(a:int,last:char) =
  a.int32.printInt()
  putchar_unlocked(last)
let n = scan()
let sum = scan()
let cnt = scan()
var ans = toSeq(1..cnt)
let sumOfAns = (cnt + 1) * cnt div 2
if sumOfAns >= sum : quit "-1",0
var left = sum - sumOfAns
# ans:[1 2 3 4 5] に left:200 を振り分けたい, 各ansはn:72を超えない
var maxN = n
for i in (cnt-1).countdown(0):
  let diff = left.min(maxN - ans[i])
  if diff < 0 : quit "-1",0
  if diff == 0 : break
  left -= diff
  ans[i] += diff
  maxN = min(ans[i],maxN) - 1
echo ans.mapIt($it).join(" ")
# for a in ans : printInt(a,' ')
# putchar_unlocked('\n')