結果

問題 No.781 円周上の格子点の数え上げ
ユーザー むらためむらため
提出日時 2019-01-17 09:13:09
言語 Nim
(2.0.2)
結果
AC  
実行時間 109 ms / 2,000 ms
コード長 745 bytes
コンパイル時間 3,100 ms
コンパイル使用メモリ 68,292 KB
実行使用メモリ 22,696 KB
最終ジャッジ日時 2023-09-13 22:39:46
合計ジャッジ時間 5,767 ms
ジャッジサーバーID
(参考情報)
judge12 / judge13
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 86 ms
22,512 KB
testcase_01 AC 83 ms
22,472 KB
testcase_02 AC 80 ms
22,496 KB
testcase_03 AC 84 ms
22,608 KB
testcase_04 AC 90 ms
22,496 KB
testcase_05 AC 87 ms
22,552 KB
testcase_06 AC 86 ms
22,492 KB
testcase_07 AC 86 ms
22,540 KB
testcase_08 AC 86 ms
22,632 KB
testcase_09 AC 83 ms
22,476 KB
testcase_10 AC 87 ms
22,488 KB
testcase_11 AC 86 ms
22,492 KB
testcase_12 AC 96 ms
22,548 KB
testcase_13 AC 109 ms
22,516 KB
testcase_14 AC 90 ms
22,696 KB
testcase_15 AC 88 ms
22,508 KB
testcase_16 AC 91 ms
22,692 KB
testcase_17 AC 98 ms
22,500 KB
testcase_18 AC 85 ms
22,548 KB
testcase_19 AC 84 ms
22,500 KB
testcase_20 AC 84 ms
22,540 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
/home/judge/data/code/Main.nim(1, 41) Warning: imported and not used: 'sugar' [UnusedImport]
/home/judge/data/code/Main.nim(1, 54) Warning: imported and not used: 'strformat' [UnusedImport]
/home/judge/data/code/Main.nim(1, 26) Warning: imported and not used: 'algorithm' [UnusedImport]

ソースコード

diff #

import sequtils,strutils,algorithm,math,sugar,macros,strformat
template get*():string = stdin.readLine().strip()
macro unpack*(arr: auto,cnt: static[int]): auto =
  let t = genSym(); result = quote do:(let `t` = `arr`;())
  for i in 0..<cnt: result[1].add(quote do:`t`[`i`])
template `max=`*(x,y) = x = max(x,y)
proc sqrt(x:int):int = x.float.sqrt.int

var results : array[1000_0010,int16]
const INF = 1000_0000
const SQRTINF = INF.sqrt
for a in 0..SQRTINF: results[a * a] += 1
for a in 0..SQRTINF div 2: results[2 * a * a] += 1
for a in 1..SQRTINF:
  for b in (a+1)..sqrt(INF - a * a):
    var c = a * a + b * b
    results[c] += 2

let (x,y) = get().split().map(parseInt).unpack(2)
var ans = 0
for r in x..y: ans .max= results[r]
echo ans * 4
0