結果
| 問題 |
No.889 素数!
|
| コンテスト | |
| ユーザー |
guricerin
|
| 提出日時 | 2020-01-06 16:56:53 |
| 言語 | F# (F# 4.0) |
| 結果 |
AC
|
| 実行時間 | 76 ms / 2,000 ms |
| コード長 | 2,037 bytes |
| コンパイル時間 | 14,145 ms |
| コンパイル使用メモリ | 188,060 KB |
| 実行使用メモリ | 30,464 KB |
| 最終ジャッジ日時 | 2024-11-23 00:04:04 |
| 合計ジャッジ時間 | 20,350 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 61 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.fsproj を復元しました (616 ms)。 MSBuild のバージョン 17.9.6+a4ecab324 (.NET) main -> /home/judge/data/code/bin/Release/net8.0/main.dll main -> /home/judge/data/code/bin/Release/net8.0/publish/
ソースコード
open System
open System.Collections.Generic
[<AutoOpen>]
module Cin =
let read f = stdin.ReadLine() |> f
let reada f = stdin.ReadLine().Split() |> Array.map f
let readChars() = read string |> Seq.toArray
let readInts() = readChars() |> Array.map (fun x -> Convert.ToInt32(x.ToString()))
[<AutoOpen>]
module Cout =
let writer = new IO.StreamWriter(new IO.BufferedStream(Console.OpenStandardOutput()))
let print (s: string) = writer.Write s
let println (s: string) = writer.WriteLine s
let inline puts (s: ^a) = string s |> println
[<AutoOpen>]
module Prime =
let limit n =
n
|> float
|> sqrt
|> int
let inline isPrime (n: int) =
let lim = limit n
seq {
for p in 2 .. lim do
if n % p = 0 then yield ()
}
|> Seq.isEmpty
let isheihou n =
seq {
for i in 2 .. (limit n) do
if i * i = n then yield ()
}
|> Seq.isEmpty
|> not
let isripou n =
seq {
for i in 2 .. (limit n) do
if i * i * i = n then yield ()
}
|> Seq.isEmpty
|> not
let divisors (n: int64): int64 array =
let lim =
n
|> float
|> sqrt
|> int64
seq {
for i in 1L .. lim do
if n % i = 0L then
yield i
if i * i <> n then yield n / i
}
|> Array.ofSeq
|> Array.sort
let divsum n = divisors n |> Array.sum
let solve() =
let n = read int
match n with
| _ when n < 2 -> string n
| _ when isPrime n -> "Sosu!"
| _ when isheihou n -> "Heihosu!"
| _ when isripou n -> "Ripposu!"
| _ when (divsum (int64 n)) = (int64 n) * 2L -> "Kanzensu!"
| _ -> string n
|> puts
()
[<EntryPoint>]
let main _ =
try
solve()
with e -> failwithf "%s" (e.ToString())
writer.Close()
0 // return an integer exit code
guricerin