結果

問題 No.1846 Good Binary Matrix
ユーザー 👑 obakyan
提出日時 2022-05-05 15:27:43
言語 Lua
(LuaJit 2.1.1734355927)
結果
AC  
実行時間 679 ms / 2,000 ms
コード長 1,449 bytes
コンパイル時間 195 ms
コンパイル使用メモリ 5,376 KB
実行使用メモリ 10,880 KB
最終ジャッジ日時 2024-07-04 16:46:39
合計ジャッジ時間 8,792 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 35
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

local mod = 1000000007
local half = 500000004
local mfl = math.floor
local function bmul(x, y)
  local x1, y1 = mfl(x / 31623), mfl(y / 31623)
  local x0, y0 = x - x1 * 31623, y - y1 * 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}
local invs = {1}
-- local invfact = {1}
for i = 2, 1000010 do
  -- fact[i] = bmul(fact[i - 1], i)
  invs[i] = bmul(mfl(mod / i), mod - invs[mod % i])
  -- invfact[i] = bmul(invfact[i - 1], invs[i])
end
local h, w = io.read("*n", "*n")
local ret = 0
local half_pw = modpow(half, w)
local half_pw_pi = 1
local two_p_imh = modpow(half, h)
local hci = 1
for i = 0, h do
  local v = i % 2 == 0 and 1 or mod - 1
  if 0 < i then
    hci = bmul(hci, h + 1 - i)
    hci = bmul(hci, invs[i])
  end
  v = bmul(v, half_pw_pi)
  v = bmul(v, hci)
  local tmp = (mod + 1 - two_p_imh) % mod
  v = bmul(v, modpow(tmp, w))
  ret = badd(ret, v)
  half_pw_pi = bmul(half_pw_pi, half_pw)
  two_p_imh = (two_p_imh * 2) % mod
end
ret = bmul(ret, modpow(2, h * w))
print(ret)
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0