結果

問題 No.997 Jumping Kangaroo
コンテスト
ユーザー yakamoto
提出日時 2020-02-24 19:55:00
言語 Kotlin
(2.1.0)
結果
AC  
実行時間 283 ms / 2,000 ms
コード長 3,303 bytes
コンパイル時間 19,250 ms
コンパイル使用メモリ 452,136 KB
実行使用メモリ 50,136 KB
最終ジャッジ日時 2024-10-12 10:14:04
合計ジャッジ時間 26,057 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 25
権限があれば一括ダウンロードができます

ソースコード

diff # 

import java.io.BufferedReader
import java.io.InputStream
import java.io.InputStreamReader
import java.util.*
import kotlin.math.abs
import kotlin.math.max
import kotlin.math.min

val MOD = 1_000_000_007

class Solver(stream: InputStream, private val out: java.io.PrintWriter) {
  fun solve() {
    val N = ni()
    val W = ni()
    val K = nl()
    val A = na(N)
    val dp = LongArray(2 * W + 1)
    dp[0] = 1
    for (i in 1..2 * W) {
      for (j in 0 until N) {
        if (i - A[j] >= 0) dp[i] += dp[i - A[j]]
      }
      dp[i] = dp[i] % MOD
    }
    debug(dp)
    val a = dp[W]
    val b = (MOD + dp[2 * W] - a * a % MOD) % MOD
    debug{"$a $b"}

    val m = arrayOf(
      longArrayOf(a, b),
      longArrayOf(1, 0)
    )
    val init = arrayOf(
      longArrayOf(a),
      longArrayOf(1)
    )
    val res = mulMat(powMat(m, K, MOD), init, MOD)
    out.println(res[1][0])
  }

  fun powMat(a: Array<LongArray>, n: Long, mod: Int): Array<LongArray> {
    if (n == 1L) return a
    val res = powMat(mulMat(a, a, mod), n / 2, mod)
    return if (n % 2 == 1L) mulMat(res, a, mod) else res
  }

  fun mulMat(a: Array<LongArray>, b: Array<LongArray>, mod: Int): Array<LongArray> {
    assert(a[0].size == b.size)
    val len = a[0].size
    val h = a.size
    val w = b[0].size
    val res = Array(h){LongArray(w)}
    val th = 7e18.toLong()
    for (i in 0 until h) {
      for (j in 0 until w) {
        var v = 0L
        for (k in 0 until len) {
          v += a[i][k] * b[k][j]
          if (v > th) v %= mod
        }
        res[i][j] = if (v >= mod) v % mod else v
      }
    }
    return res
  }













































  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, offset) { ni() }
  }

  private inline fun map(n: Int, offset: Int = 0, f: (Int) -> Int): IntArray {
    val res = IntArray(n)
    for (i in 0 until n) {
      res[i] = f(i + offset)
    }
    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<LongArray>) {
    if (isDebug) {
      for (a in A) {
        debug(a)
      }
    }
  }

  /**
   * 勝手にimport消されるのを防ぎたい
   */
  private fun hoge() {
    min(1, 2)
    max(1, 2)
    abs(-10)
  }
}

fun <A, B> pair(a: A, b: B) = RPair(a, b)
data class RPair<A, B>(val _1: A, val _2: B)

fun main() {
  val out = java.io.PrintWriter(System.out)
  Solver(System.`in`, out).solve()
  out.flush()
}
0