結果

問題 No.5 数字のブロック
ユーザー tanson
提出日時 2025-07-12 02:20:03
言語 Standard ML
(MLton 20210117)
結果
AC  
実行時間 226 ms / 5,000 ms
コード長 734 bytes
コンパイル時間 3,956 ms
コンパイル使用メモリ 687,160 KB
実行使用メモリ 10,684 KB
最終ジャッジ日時 2025-07-12 02:20:13
合計ジャッジ時間 7,589 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 34
権限があれば一括ダウンロードができます

ソースコード

diff # 

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



fun insertionSort l =
    let
        fun insert x [] = [x]
          | insert x (y::ys) = if x <= y then x::y::ys
                               else y::(insert x ys)
    in
        foldl (fn (x, acc) => insert x acc) [] l
    end

val () =
    let
        val l = readInt ()
        val n = readInt ()
        val w_s = List.tabulate (n, fn _ => readInt ())
        val sorted = insertionSort w_s

        fun findAns [] _ = 0
          | findAns (h::tl) space = if h <= space then 1 + findAns tl (space - h)
                                  else 0 

        val ans = findAns sorted l
    in
        print ((Int.toString ans) ^ "\n")
    end
0