結果

問題 No.1011 Infinite Stairs
ユーザー 👑 obakyanobakyan
提出日時 2020-03-20 21:56:21
言語 Lua
(LuaJit 2.1.1696795921)
結果
AC  
実行時間 7 ms / 2,000 ms
コード長 1,287 bytes
コンパイル時間 81 ms
コンパイル使用メモリ 5,216 KB
実行使用メモリ 4,380 KB
最終ジャッジ日時 2023-09-24 10:56:54
合計ジャッジ時間 1,337 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge14
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 6 ms
4,376 KB
testcase_01 AC 5 ms
4,380 KB
testcase_02 AC 6 ms
4,376 KB
testcase_03 AC 7 ms
4,376 KB
testcase_04 AC 6 ms
4,380 KB
testcase_05 AC 7 ms
4,376 KB
testcase_06 AC 5 ms
4,380 KB
testcase_07 AC 5 ms
4,376 KB
testcase_08 AC 5 ms
4,380 KB
testcase_09 AC 6 ms
4,380 KB
testcase_10 AC 6 ms
4,376 KB
testcase_11 AC 6 ms
4,380 KB
testcase_12 AC 6 ms
4,380 KB
testcase_13 AC 6 ms
4,376 KB
testcase_14 AC 6 ms
4,380 KB
testcase_15 AC 6 ms
4,376 KB
testcase_16 AC 6 ms
4,380 KB
testcase_17 AC 6 ms
4,376 KB
testcase_18 AC 6 ms
4,376 KB
testcase_19 AC 5 ms
4,380 KB
testcase_20 AC 5 ms
4,376 KB
testcase_21 AC 6 ms
4,376 KB
testcase_22 AC 6 ms
4,380 KB
testcase_23 AC 6 ms
4,376 KB
testcase_24 AC 6 ms
4,380 KB
testcase_25 AC 6 ms
4,376 KB
testcase_26 AC 6 ms
4,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

local mod = 1000000007
local mfl = math.floor

local function bmul(x, y)
  local x0, y0 = x % 31623, y % 31623
  local x1, y1 = mfl(x / 31623), mfl(y / 31623)
  return (x1 * y1 * 14122 + (x1 * y0 + x0 * y1) * 31623 + x0 * y0) % mod
end

local function badd(x, y)
  return (x + y) % mod
end

local function bsub(x, y)
  return x < y and x - y + mod or x - y
end

local function modpow(src, pow)
  local res = 1
  while 0 < pow do
    if pow % 2 == 1 then
      res = bmul(res, src)
      pow = pow - 1
    end
    src = bmul(src, src)
    pow = mfl(pow / 2)
  end
  return res
end

local function modinv(src)
  return modpow(src, mod - 2)
end

local fact = {1}
for i = 2, 100000 do
  fact[i] = bmul(fact[i - 1], i)
end

local function getComb(n, k)
  if k == 0 or k == n then return 1 end
  return bmul(fact[n], modinv(bmul(fact[k], fact[n - k])))
end

local n, d, k = io.read("*n", "*n", "*n")
local ret = 0
k = k - n
for id = 0, n do
  if k < id * d then break end
  -- get coef x^{id*d} of (1 - x^d)^n
  local coef1 = getComb(n, id)
  if id % 2 == 1 then coef1 = mod - coef1 end
  local rem = k - id * d
  -- get coef x^rem of (1-x)^{-n}
  -- (1-x)^{-n} = Sigma_a {Comb(a+n-1, n - 1)x^a}
  local coef2 = getComb(rem + n - 1, n - 1)
  ret = badd(ret, bmul(coef1, coef2))
end
print(ret)
0