Submission #122467


Source Code Expand

let id x = x
let ( |> ) x f = f x
let (n, k) = Scanf.scanf "%d %d\n" (fun n k -> (n, k))

let repeat f =
  let rec loop acc = function
    | 0 -> List.rev acc
    | n -> loop (f () :: acc) (n - 1) in
  loop []

let r = repeat (fun () -> Scanf.scanf "%d " id) n

let rec take n = function
  | [] -> []
  | hd :: tl ->
      if n = 0 then []
      else hd :: take (n - 1) tl

let () =
  r 
    |> List.sort compare
    |> List.rev
    |> take k
    |> List.rev
    |> List.map float_of_int
    |> List.fold_left (fun c r -> (c +. r) /. 2.) 0.
    |> Printf.printf "%f\n"

Submission Info

Submission Time
Task C - AtCoderプログラミング講座
User fetburner
Language OCaml (3.12.1)
Score 100
Code Size 594 Byte
Status AC
Exec Time 407 ms
Memory 1316 KB

Judge Result

Set Name All
Score / Max Score 100 / 100
Status
AC × 34
Set Name Test Cases
All 00_sample_01.txt, 00_sample_02.txt, 00_sample_03.txt, 00_sample_04.txt, test_01.txt, test_02.txt, test_03.txt, test_04.txt, test_05.txt, test_06.txt, test_07.txt, test_08.txt, test_09.txt, test_10.txt, test_11.txt, test_12.txt, test_13.txt, test_14.txt, test_15.txt, test_16.txt, test_17.txt, test_18.txt, test_19.txt, test_20.txt, test_21.txt, test_22.txt, test_23.txt, test_24.txt, test_25.txt, test_26.txt, test_27.txt, test_28.txt, test_29.txt, test_30.txt
Case Name Status Exec Time Memory
00_sample_01.txt AC 407 ms 1024 KB
00_sample_02.txt AC 32 ms 1024 KB
00_sample_03.txt AC 29 ms 1132 KB
00_sample_04.txt AC 25 ms 1156 KB
test_01.txt AC 29 ms 1028 KB
test_02.txt AC 33 ms 1284 KB
test_03.txt AC 28 ms 1268 KB
test_04.txt AC 28 ms 1260 KB
test_05.txt AC 26 ms 1284 KB
test_06.txt AC 27 ms 1264 KB
test_07.txt AC 27 ms 1308 KB
test_08.txt AC 35 ms 1244 KB
test_09.txt AC 27 ms 1284 KB
test_10.txt AC 28 ms 1316 KB
test_11.txt AC 27 ms 1184 KB
test_12.txt AC 27 ms 1280 KB
test_13.txt AC 26 ms 1292 KB
test_14.txt AC 27 ms 1280 KB
test_15.txt AC 26 ms 1156 KB
test_16.txt AC 26 ms 1156 KB
test_17.txt AC 27 ms 1156 KB
test_18.txt AC 27 ms 1284 KB
test_19.txt AC 29 ms 1160 KB
test_20.txt AC 25 ms 1152 KB
test_21.txt AC 27 ms 1284 KB
test_22.txt AC 29 ms 1184 KB
test_23.txt AC 25 ms 1136 KB
test_24.txt AC 25 ms 1184 KB
test_25.txt AC 27 ms 1284 KB
test_26.txt AC 27 ms 1264 KB
test_27.txt AC 25 ms 1152 KB
test_28.txt AC 25 ms 1124 KB
test_29.txt AC 29 ms 1312 KB
test_30.txt AC 27 ms 1280 KB