結果

問題 No.1426 Got a Covered OR
ユーザー 👑 obakyanobakyan
提出日時 2021-05-24 19:26:47
言語 Lua
(LuaJit 2.1.1696795921)
結果
AC  
実行時間 52 ms / 2,000 ms
コード長 2,022 bytes
コンパイル時間 175 ms
コンパイル使用メモリ 5,120 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-10-13 03:44:18
合計ジャッジ時間 2,002 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

local bor = bit.bor
local mod = 1000000007
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, 100 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 function getComb(n, k)
  if k == 0 or k == n then return 1 end
  return bmul(fact[n], bmul(invfact[k], invfact[n - k]))
end

local p2 = {2}
for i = 2, 100010 do
  p2[i] = (p2[i - 1] * 2) % mod
end
local function getp2(i) return i == 0 and 1 or p2[i] end

local n = io.read("*n")
local b = {}
for i = 1, n do
  b[i] = io.read("*n")
end
local ret = 1
local cnt = 0
local prv = 0
for i = 1, n do
  cnt = cnt + 1
  if 0 <= b[i] then
    local x = bor(prv, b[i])
    if x ~= b[i] then
      print(0) os.exit()
    end
    local tp, tb = prv, b[i]
    local olditem = 0
    local newitem = 0
    for j = 1, 30 do
      if tp % 2 == 1 then
        olditem = olditem + 1
      elseif tb % 2 == 1 then
        newitem = newitem + 1
      end
      tp = mfl(tp / 2)
      tb = mfl(tb / 2)
    end
    local v = 0
    for j = newitem, 0, -1 do
      local tmp = modpow(getp2(olditem + j) - 1, cnt)
      tmp = bmul(tmp, getComb(newitem, j))
      if (newitem - j) % 2 == 0 then
        v = badd(v, tmp)
      else
        v = bsub(v, tmp)
      end
    end
    -- print(i, v)
    ret = bmul(ret, v)
    prv = b[i]
    cnt = 0
  end
end
print(ret)
0