結果
| 問題 | 
                            No.1043 直列大学
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2021-06-01 22:50:48 | 
| 言語 | Nim  (2.2.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 273 ms / 2,000 ms | 
| コード長 | 1,982 bytes | 
| コンパイル時間 | 4,174 ms | 
| コンパイル使用メモリ | 88,628 KB | 
| 実行使用メモリ | 163,048 KB | 
| 最終ジャッジ日時 | 2024-12-22 20:15:40 | 
| 合計ジャッジ時間 | 9,866 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 28 | 
コンパイルメッセージ
/home/judge/data/code/Main.nim(2, 18) Warning: Use the new 'sugar' module instead; future is deprecated [Deprecated] /home/judge/data/code/Main.nim(1, 8) Warning: imported and not used: 'times' [UnusedImport] /home/judge/data/code/Main.nim(2, 26) Warning: imported and not used: 'strformat' [UnusedImport] /home/judge/data/code/Main.nim(2, 18) Warning: imported and not used: 'future' [UnusedImport] /home/judge/data/code/Main.nim(2, 37) Warning: imported and not used: 'deques' [UnusedImport] /home/judge/data/code/Main.nim(1, 41) Warning: imported and not used: 'algorithm' [UnusedImport] /home/judge/data/code/Main.nim(1, 52) Warning: imported and not used: 'tables' [UnusedImport] /home/judge/data/code/Main.nim(1, 60) Warning: imported and not used: 'sets' [UnusedImport] /home/judge/data/code/Main.nim(1, 66) Warning: imported and not used: 'lists' [UnusedImport] /home/judge/data/code/Main.nim(1, 73) Warning: imported and not used: 'intsets' [UnusedImport] /home/judge/data/code/Main.nim(2, 8) Warning: imported and not used: 'critbits' [UnusedImport]
ソースコード
import times, strutils, sequtils, math, algorithm, tables, sets, lists, intsets
import critbits, future, strformat, deques
template `max=`(x,y) = x = max(x,y)
template `min=`(x,y) = x = min(x,y)
template `mod=`(x,y) = x = x mod y
template scan2 = (scan(), scan())
template scan3 = (scan(), scan())
let read* = iterator: string {.closure.} =
    while true: (for s in stdin.readLine.split: yield s)
proc scan(): int = read().parseInt
proc scanf(): float = read().parseFloat
proc toInt(c:char): int =
    return int(c) - int('0')
proc solve():int=
  var
    md = 1000000007
    n = scan()
    m = scan()
    v = newseqwith(n,scan())
    r = newseqwith(m,scan())
    vsize = 100*1000#n*v.max()
    rsize = 100*1000#m*r.max()
    a = scan()
    b = scan()
    makev = newseqwith(n+1,newseqwith(vsize+1,0))
    maker = newseqwith(m+1,newseqwith(rsize+1,0))
    cumv = newseqwith(vsize+1,0)
    cumr = newseqwith(rsize+1,0)
  makev[0][0]=1
  maker[0][0]=1
  for i in 1..n:
    var idx = i-1
    for val in 0..vsize:
      if val-v[idx]>=0:
        makev[i][val] = makev[i-1][val] + makev[i-1][val-v[idx]]
      else:
        makev[i][val] = makev[i-1][val]
      makev[i][val].mod=md
  for i in 1..m:
    var idx = i-1
    for val in 0..rsize:
      if val-r[idx]>=0:
        maker[i][val] = maker[i-1][val] + maker[i-1][val-r[idx]]
      else:
        maker[i][val] = maker[i-1][val]
      maker[i][val].mod=md
  for val in 1..vsize:
    cumv[val]=cumv[val-1]+makev[n][val]
    cumv[val]=(cumv[val].mod(md)+md).mod(md)
  cumr[0]=1
  cumv[0]=1
  for val in 1..rsize:
    cumr[val]=cumr[val-1]+maker[m][val]
    cumr[val]=(cumr[val].mod(md)+md).mod(md)
  
  #echo cumr
  for idx in 1..vsize:# vの値で走査
    var
      right = idx.div(a)
      left = (idx+b-1).div(b)
    #echo idx,", ", right, ", ", left
    var t = cumr[min(right,rsize)]-cumr[max(0,min(rsize,left-1))]
    t = (t.mod(md)+md).mod(md)
    result+=makev[n][idx]*t
    result.mod=md
  
  
  
echo solve()