結果

問題 No.586 ダブルブッキング
コンテスト
ユーザー tanson
提出日時 2025-10-25 05:05:53
言語 Standard ML
(MLton 20210117)
結果
AC  
実行時間 1 ms / 2,000 ms
コード長 715 bytes
コンパイル時間 3,416 ms
コンパイル使用メモリ 687,104 KB
実行使用メモリ 7,724 KB
最終ジャッジ日時 2025-10-25 05:05:57
合計ジャッジ時間 4,298 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 5
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

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



val () =
    let
        val p1 = readInt ()
        val p2 = readInt ()
        val n = readInt ()
        val r_n = List.tabulate (n, fn _ => readInt ())

        fun findAns () =
            let
                fun findAnsAux nil _ = 0
                  | findAnsAux (h :: tl) used =
                    if Array.sub (used, h) = true then (p1 + p2) + findAnsAux tl used
                    else (Array.update (used, h, true); findAnsAux tl used)
            in
                findAnsAux r_n (Array.array (1000, false))
            end

        val ans = findAns ()

    in
        print (Int.toString ans ^ "\n")  
    end
0