結果
| 問題 | No.1280 Beyond C | 
| コンテスト | |
| ユーザー | 👑 | 
| 提出日時 | 2020-11-15 20:44:45 | 
| 言語 | Lua (LuaJit 2.1.1734355927) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 303 ms / 2,000 ms | 
| コード長 | 959 bytes | 
| コンパイル時間 | 85 ms | 
| コンパイル使用メモリ | 5,120 KB | 
| 実行使用メモリ | 14,080 KB | 
| 最終ジャッジ日時 | 2024-07-23 01:21:44 | 
| 合計ジャッジ時間 | 2,899 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 23 | 
ソースコード
local mfl = math.floor
local function comp(a, b)
  return a < b
end
local function lower_bound(ary, x)
  local num = #ary
  if num == 0 then return 1 end
  if not comp(ary[1], x) then return 1 end
  if comp(ary[num], x) then return num + 1 end
  local min, max = 1, num
  while 1 < max - min do
    local mid = mfl((min + max) / 2)
    if comp(ary[mid], x) then
      min = mid
    else
      max = mid
    end
  end
  return max
end
local ffi = require("ffi")
local C = ffi.C
ffi.cdef[[
long long atoll(const char*);
]]
local function lltonumber(str)
  return C.atoll(str)
end
local n, m, c = io.read():match("(%d+) (%d+) (%d+)")
n = tonumber(n)
m = tonumber(m)
c = lltonumber(c)
local a, b = {}, {}
for i = 1, n do
  a[i] = 1LL * io.read("*n")
end
for i = 1, m do
  b[i] = 1LL * io.read("*n")
end
table.sort(b)
local cnt = 0
for i = 1, n do
  local dst = 1LL + c / a[i]
  local lb = lower_bound(b, dst)
  cnt = cnt + m + 1 - lb
end
print(cnt / n / m)
            
            
            
        