結果
| 問題 | No.887 Collatz |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-12-09 01:05:00 |
| 言語 | Standard ML (MLton 20210117) |
| 結果 |
AC
|
| 実行時間 | 1 ms / 2,000 ms |
| コード長 | 727 bytes |
| 記録 | |
| コンパイル時間 | 4,169 ms |
| コンパイル使用メモリ | 691,448 KB |
| 実行使用メモリ | 7,852 KB |
| 最終ジャッジ日時 | 2025-12-09 01:05:07 |
| 合計ジャッジ時間 | 5,864 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 28 |
ソースコード
fun readInt () =
valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)
fun findAns n (index, max) =
if n = 1
then
(
(index, max)
)
else
(
let
val newN = if n mod 2 = 0 then n div 2
else 3 * n + 1
val newMax = LargeInt.max (max, newN)
in
findAns newN (index + 1, newMax)
end
)
val () =
let
val n0 = readInt ()
val (ansIndex, ansMax) = findAns (Int.toLarge n0) (Int.toLarge 0, Int.toLarge n0)
in
(
print (LargeInt.toString ansIndex ^ "\n");
print (LargeInt.toString ansMax ^ "\n")
)
end