結果

問題 No.365 ジェンガソート
コンテスト
ユーザー はむ吉🐹
提出日時 2016-05-05 19:37:24
言語 OCaml
(5.4.1)
コンパイル:
ocamlfind ocamlopt -linkpkg -package zarith,str _filename_ -o a.out
実行:
./a.out
結果
AC  
実行時間 40 ms / 2,000 ms
コード長 368 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 192 ms
コンパイル使用メモリ 20,920 KB
実行使用メモリ 16,256 KB
最終ジャッジ日時 2026-04-25 04:17:38
合計ジャッジ時間 2,310 ms
ジャッジサーバーID
（参考情報） 		judge2_1 / judge3_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 41
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

let words s =
    let r = Str.regexp " +" in
    Str.split r s

let min_num_of_ops n xs =
	let rec mnoo t = function
		[] -> t
		| y :: ys -> if y = t then mnoo (t - 1) ys else mnoo t ys
	in mnoo n (List.rev xs)
		
let () =
    let n = read_int () in
    let xs = List.map int_of_string (words (read_line ())) in
    let ans = min_num_of_ops n xs in
    print_int ans
0