結果

問題 No.15 カタログショッピング
ユーザー むらためむらため
提出日時 2019-01-31 23:07:20
言語 Nim
(2.0.2)
結果
AC  
実行時間 17 ms / 5,000 ms
コード長 1,902 bytes
コンパイル時間 3,649 ms
コンパイル使用メモリ 83,904 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-07-01 11:14:52
合計ジャッジ時間 4,307 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 3 ms
6,944 KB
testcase_02 AC 3 ms
6,944 KB
testcase_03 AC 3 ms
6,944 KB
testcase_04 AC 3 ms
6,940 KB
testcase_05 AC 14 ms
6,944 KB
testcase_06 AC 15 ms
6,940 KB
testcase_07 AC 16 ms
6,940 KB
testcase_08 AC 17 ms
6,944 KB
testcase_09 AC 16 ms
6,944 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
/home/judge/data/code/Main.nim(4, 1) Warning: template 'stopwatch' is implicitly redefined; this is deprecated, add an explicit .redefine pragma [ImplicitTemplateRedefinition]
/home/judge/data/code/Main.nim(1, 27) Warning: imported and not used: 'tables' [UnusedImport]

ソースコード

diff # 

import sequtils,algorithm,tables,strutils,times,sugar
template `^`(n:int) : int = (1 shl n)
template stopwatch(body) = (let t1 = cpuTime();body;echo "TIME:",(cpuTime() - t1) * 1000,"ms")
template stopwatch(body) = body
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

proc cmp(x,y:seq[int]):int =
  for i in 0..<min(x.len,y.len):
    if x[i] != y[i] : return x[i] - y[i]
  return x.len - y.len

var I2 : array[^15,tuple[k,v:int]]
proc buildWithKey(P:seq[int]) =
  for i in 0..<(^15):I2[i].v = 1e15.int
  I2[0].v = 0
  proc impl(n,x:int) =
    if n == P.len : return
    I2[x or ^n].v = I2[x].v + P[n]
    I2[x or ^n].k = x or ^n
    impl(n+1,x)
    impl(n+1,x or ^n)
  impl(0,0)

proc binaryToIntSeq(n:int):seq[int] =
  result = @[]
  for i in 0..64:
    if (n and ^i) > 0: result &= i + 1
    if n < ^(i+1) : return
var I1 : array[^16,int]
proc build(P:seq[int]) =
  proc impl(n,x:int) = # 1つずつ
    if n == P.len : return
    I1[x or ^n] = I1[x] + P[n]
    impl(n+1,x)
    impl(n+1,x or ^n)
  impl(0,0)
let n = scan()
let s = scan()
let P = newSeqWith(n,scan())
if n == 1: quit "1",0
let n2 = n div 2 + 1
let P1 = P[0..<n2]
let P2 = P[n2..<n]
stopwatch:
  P1.build()
  P2.buildWithKey()
  I2.sort((x,y)=>x.v-y.v)
stopwatch:
  var answers = newSeq[int]()
  for x in 0..<(^n2):
    let i1 = I1[x]
    let si = I2.binarySearch(s-i1,proc(K:tuple[k,v:int],V:int):int=K.v-V)
    if si == -1 : continue
    answers &= x or (I2[si].k shl n2)
    for i in (si+1)..<I2.len:
      if I2[i].v + i1 != s: break
      answers &= x or (I2[i].k shl n2)
    for i in (si-1).countdown(0):
      if I2[i].v + i1 != s: break
      answers &= x or (I2[i].k shl n2)
  for ans in answers.map(binaryToIntSeq).sorted(cmp):
    echo ans.mapIt($it).join(" ")
0