結果

問題 No.1256 連続整数列
コンテスト
ユーザー kou_kkk
提出日時 2026-05-14 12:39:55
言語 Haskell
(9.14.1)
コンパイル:
ghc -rtsopts -with-rtsopts=-K1G -o a.out -O2 _filename_
実行:
./a.out
結果
WA  
実行時間 -
コード長 435 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 11,987 ms
コンパイル使用メモリ 195,840 KB
実行使用メモリ 6,400 KB
最終ジャッジ日時 2026-05-14 12:40:12
合計ジャッジ時間 13,841 ms
ジャッジサーバーID
(参考情報)
judge2_1 / judge1_1
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 25 WA * 15
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff #
raw source code

module Main where

-- (1+n) * n / 2 + kn = A
-- A - (1+n) * n / 2 = nの倍数

main :: IO ()
main = readLn >>= putStrLn . solve

solve :: Int -> String
solve = judge . go 3
  where
  go i a | calc i a `mod` i == 0 = True
         | (1+i) * i `div` 2 > a = False
         | otherwise             = go (succ i) a

calc :: Int -> Int -> Int
calc x y = y - (1+x) * x `div` 2

judge :: Bool -> String
judge True  = "YES"
judge False = "NO"
0