結果
問題 |
No.648 お や す み
|
ユーザー |
|
提出日時 | 2018-02-09 23:51:55 |
言語 | Haskell (9.10.1) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 255 bytes |
コンパイル時間 | 8,606 ms |
コンパイル使用メモリ | 175,316 KB |
実行使用メモリ | 6,944 KB |
最終ジャッジ日時 | 2024-09-13 21:04:56 |
合計ジャッジ時間 | 10,434 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 84 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) [2 of 2] Linking a.out
ソースコード
import Control.Applicative ((<$>)) main :: IO () main = do solve <$> readLn >>= mapM_ putStrLn solve :: Int -> [String] solve n | i * (i + 1) `div` 2 == n = ["YES", show i] | otherwise = ["NO"] where i = floor . sqrt . fromIntegral $ n * 2