結果

問題 No.1992 Tendon Walk
コンテスト
ユーザー tanson
提出日時 2026-02-24 00:12:46
言語 Standard ML
(MLton 20241230)
コンパイル:
mlton_wrapper _filename_
実行:
./main
結果
AC  
実行時間 1 ms / 2,000 ms
コード長 889 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 6,310 ms
コンパイル使用メモリ 704,736 KB
実行使用メモリ 7,844 KB
最終ジャッジ日時 2026-02-24 00:12:57
合計ジャッジ時間 6,991 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 6
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

fun member x nil = false
  | member x (h::tl) =
    if x = h
    then true
    else member x tl


fun readInt () =
    valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)

exception Dummy
fun findAnsAux nil _ _ = raise Dummy
  | findAnsAux _ nil _ = raise Dummy
  | findAnsAux (h::tl) (dh::dtl) target =
    if h = target then dh
    else dh + findAnsAux tl dtl target


fun findAns location target =
    let
        val mapped =
            List.map
                (fn x => x + location)
                [2, 4, 3, 2, 4, 3, 2]
    in
        if member target mapped then findAnsAux mapped [2, 2, 1, 1, 2, 1, 1] target
        else (2 + 2 + 1 + 1 + 2 + 1 + 1) + findAns (List.last mapped) target
    end

val () =
    let
        val x = readInt ()
        
                                 
        val ans = findAns 0 x
    in
        print (Int.toString ans ^ "\n")
    end
0