結果
| 問題 | No.1043 直列大学 | 
| コンテスト | |
| ユーザー |  yakamoto | 
| 提出日時 | 2020-05-01 22:10:05 | 
| 言語 | Kotlin (2.1.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 436 ms / 2,000 ms | 
| コード長 | 3,406 bytes | 
| コンパイル時間 | 18,098 ms | 
| コンパイル使用メモリ | 453,632 KB | 
| 実行使用メモリ | 54,248 KB | 
| 最終ジャッジ日時 | 2024-12-22 19:32:49 | 
| 合計ジャッジ時間 | 30,740 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 28 | 
ソースコード
import java.io.BufferedReader
import java.io.InputStream
import java.io.InputStreamReader
import java.util.*
import kotlin.math.abs
import kotlin.math.log2
import kotlin.math.max
import kotlin.math.min
val MOD = 1_000_000_007L
val MAX = 100_000
class Solver(stream: InputStream, private val out: java.io.PrintWriter) {
  fun solve() {
    val N = ni()
    val M = ni()
    val V = na(N)
    val R = na(M)
    val A = nl()
    val B = nl()
    val MAX = if (isDebug) 25 else 100_000
    fun calc(A: IntArray): LongArray {
      var cur = LongArray(MAX + 1)
      var next = LongArray(MAX + 1)
      cur[0] = 1
      for (a in A) {
        Arrays.fill(next, 0)
        for (i in 0 until MAX) {
          next[i] += cur[i]
          next[i] %= MOD
          if (i + a > MAX) continue
          next[i + a] += cur[i]
          next[i + a] %= MOD
        }
        val tmp = cur
        cur = next
        next = tmp
      }
      return cur
    }
    val dpV = calc(V)
    val dpR = calc(R)
    debug(dpV)
    debug(dpR)
    val cumDpV = LongArray(MAX + 2)
    for (i in 0 .. MAX) {
      cumDpV[i + 1] = (cumDpV[i] + dpV[i]) % MOD
    }
    var ans = 0L
    for (sumR in 1 .. MAX) {
      val lL = A * sumR
      val rL = B * sumR
      if (lL > MAX) continue
      val l = lL.toInt()
      val r = min(MAX.toLong(), rL).toInt()
      val cnt = (MOD + cumDpV[r + 1] - cumDpV[l]) % MOD
      ans += cnt * dpR[sumR] % MOD
    }
    out.println(ans % MOD)
  }
  private val isDebug = try {
    // なんか本番でエラーでる
    System.getenv("MY_DEBUG") != null
  } catch (t: Throwable) {
    false
  }
  private var tokenizer: StringTokenizer? = null
  private val reader = BufferedReader(InputStreamReader(stream), 32768)
  private fun next(): String {
    while (tokenizer == null || !tokenizer!!.hasMoreTokens()) {
      tokenizer = StringTokenizer(reader.readLine())
    }
    return tokenizer!!.nextToken()
  }
  private fun ni() = next().toInt()
  private fun nl() = next().toLong()
  private fun ns() = next()
  private fun na(n: Int, offset: Int = 0): IntArray {
    return map(n) { ni() + offset }
  }
  private fun nal(n: Int, offset: Int = 0): LongArray {
    val res = LongArray(n)
    for (i in 0 until n) {
      res[i] = nl() + offset
    }
    return res
  }
  private fun na2(n: Int, offset: Int = 0): Array<IntArray> {
    val a  = Array(2){IntArray(n)}
    for (i in 0 until n) {
      for (e in a) {
        e[i] = ni() + offset
      }
    }
    return a
  }
  private inline fun map(n: Int, f: (Int) -> Int): IntArray {
    val res = IntArray(n)
    for (i in 0 until n) {
      res[i] = f(i)
    }
    return res
  }
  private inline fun debug(msg: () -> String) {
    if (isDebug) System.err.println(msg())
  }
  private fun debug(a: LongArray) {
    debug { a.joinToString(" ") }
  }
  private fun debug(a: IntArray) {
    debug { a.joinToString(" ") }
  }
  private fun debug(a: BooleanArray) {
    debug { a.map { if (it) 1 else 0 }.joinToString("") }
  }
  private fun debugDim(A: Array<IntArray>) {
    if (isDebug) {
      for (a in A) {
        debug(a)
      }
    }
  }
  /**
   * 勝手にimport消されるのを防ぎたい
   */
  private fun hoge() {
    min(1, 2)
    max(1, 2)
    abs(-10)
  }
}
fun main() {
  val out = java.io.PrintWriter(System.out)
  Solver(System.`in`, out).solve()
  out.flush()
}
            
            
            
        