Submission #132973


Source Code Expand

module Int64 = struct
  include Int64
  let (+) = Int64.add
  let (-) = Int64.sub
  let ( * ) = Int64.mul
  let ( / ) = Int64.div
end
;;

let sum x =
  Int64.(
    x * (x + 1L) / 2L
  )
;;

let f x g =
  let open Int64 in
  let rest = 99L - g in
  let x1, x2 =
    if rem x 2L = 0L then (x / 2L), (x / 2L - 1L)
    else (x - 1L) / 2L, (x - 1L) / 2L in
  if rest >= x2 then
    sum x1 + sum x2
  else if rest >= 0L then
    sum rest + sum (x - rest - 1L)
  else
    let move = neg rest in
    move * x + sum (x - 1L)
;;

let () =
  let open Int64 in
  let r, g, b = Scanf.scanf "%Ld %Ld %Ld " (fun x y z -> x, y, z) in
  let m = ref max_int in
  let rec iter g1 =
    if g1 = g then ()
    else
      let g2 = g - g1 - 1L in
      m := min !m (f r g1 + f b g2 + sum g1 + sum g2);
      iter (g1 + 1L) in
  iter 0L;
  Printf.printf "%Ld\n" !m
;;

          

Submission Info

Submission Time
Task D - マーブル
User iab
Language OCaml (3.12.1)
Score 40
Code Size 901 Byte
Status WA
Exec Time 59 ms
Memory 1412 KB

Judge Result

Set Name sub1 sub2 All
Score / Max Score 10 / 10 30 / 30 0 / 60
Status
AC × 29
AC × 57
AC × 80
WA × 2
Set Name Test Cases
sub1 sample_01_ABC.txt, test_ABC_01.txt, test_ABC_02.txt, test_ABC_03.txt, test_ABC_04.txt, test_ABC_05.txt, test_ABC_06.txt, test_ABC_07.txt, test_ABC_08.txt, test_ABC_09.txt, test_ABC_10.txt, test_ABC_11.txt, test_ABC_12.txt, test_ABC_13.txt, test_ABC_14.txt, test_ABC_15.txt, test_ABC_16.txt, test_ABC_17.txt, test_ABC_18.txt, test_ABC_19.txt, test_ABC_20.txt, test_ABC_21.txt, test_ABC_22.txt, test_ABC_23.txt, test_ABC_24.txt, test_ABC_25.txt, test_ABC_26.txt, test_ABC_27.txt, test_ABC_28.txt
sub2 sample_01_ABC.txt, sample_02_BC.txt, test_ABC_01.txt, test_ABC_02.txt, test_ABC_03.txt, test_ABC_04.txt, test_ABC_05.txt, test_ABC_06.txt, test_ABC_07.txt, test_ABC_08.txt, test_ABC_09.txt, test_ABC_10.txt, test_ABC_11.txt, test_ABC_12.txt, test_ABC_13.txt, test_ABC_14.txt, test_ABC_15.txt, test_ABC_16.txt, test_ABC_17.txt, test_ABC_18.txt, test_ABC_19.txt, test_ABC_20.txt, test_ABC_21.txt, test_ABC_22.txt, test_ABC_23.txt, test_ABC_24.txt, test_ABC_25.txt, test_ABC_26.txt, test_ABC_27.txt, test_ABC_28.txt, test_BC_29.txt, test_BC_30.txt, test_BC_31.txt, test_BC_32.txt, test_BC_33.txt, test_BC_34.txt, test_BC_35.txt, test_BC_36.txt, test_BC_37.txt, test_BC_38.txt, test_BC_39.txt, test_BC_40.txt, test_BC_41.txt, test_BC_42.txt, test_BC_43.txt, test_BC_44.txt, test_BC_45.txt, test_BC_46.txt, test_BC_47.txt, test_BC_48.txt, test_BC_49.txt, test_BC_50.txt, test_BC_51.txt, test_BC_52.txt, test_BC_53.txt, test_BC_54.txt, test_BC_55.txt
All test_ABC_01.txt, test_ABC_02.txt, test_ABC_03.txt, test_ABC_04.txt, test_ABC_05.txt, test_ABC_06.txt, test_ABC_07.txt, test_ABC_08.txt, test_ABC_09.txt, test_ABC_10.txt, test_ABC_11.txt, test_ABC_12.txt, test_ABC_13.txt, test_ABC_14.txt, test_ABC_15.txt, test_ABC_16.txt, test_ABC_17.txt, test_ABC_18.txt, test_ABC_19.txt, test_ABC_20.txt, test_ABC_21.txt, test_ABC_22.txt, test_ABC_23.txt, test_ABC_24.txt, test_ABC_25.txt, test_ABC_26.txt, test_ABC_27.txt, test_ABC_28.txt, test_BC_29.txt, test_BC_30.txt, test_BC_31.txt, test_BC_32.txt, test_BC_33.txt, test_BC_34.txt, test_BC_35.txt, test_BC_36.txt, test_BC_37.txt, test_BC_38.txt, test_BC_39.txt, test_BC_40.txt, test_BC_41.txt, test_BC_42.txt, test_BC_43.txt, test_BC_44.txt, test_BC_45.txt, test_BC_46.txt, test_BC_47.txt, test_BC_48.txt, test_BC_49.txt, test_BC_50.txt, test_BC_51.txt, test_BC_52.txt, test_BC_53.txt, test_BC_54.txt, test_BC_55.txt, test_C_56.txt, test_C_57.txt, test_C_58.txt, test_C_59.txt, test_C_60.txt, test_C_61.txt, test_C_62.txt, test_C_63.txt, test_C_64.txt, test_C_65.txt, test_C_66.txt, test_C_67.txt, test_C_68.txt, test_C_69.txt, test_C_70.txt, test_C_71.txt, test_C_72.txt, test_C_73.txt, test_C_74.txt, test_C_75.txt, test_C_76.txt, test_C_77.txt, test_C_78.txt, test_C_79.txt, test_C_80.txt, test_C_81.txt, test_C_82.txt
Case Name Status Exec Time Memory
sample_01_ABC.txt AC 59 ms 1024 KB
sample_02_BC.txt AC 29 ms 1136 KB
sample_03_C.txt AC 30 ms 1412 KB
test_ABC_01.txt AC 29 ms 1024 KB
test_ABC_02.txt AC 27 ms 1052 KB
test_ABC_03.txt AC 26 ms 1052 KB
test_ABC_04.txt AC 28 ms 1056 KB
test_ABC_05.txt AC 29 ms 1060 KB
test_ABC_06.txt AC 27 ms 1028 KB
test_ABC_07.txt AC 27 ms 1148 KB
test_ABC_08.txt AC 26 ms 1032 KB
test_ABC_09.txt AC 27 ms 1052 KB
test_ABC_10.txt AC 27 ms 1024 KB
test_ABC_11.txt AC 28 ms 1112 KB
test_ABC_12.txt AC 27 ms 1028 KB
test_ABC_13.txt AC 26 ms 1056 KB
test_ABC_14.txt AC 25 ms 1048 KB
test_ABC_15.txt AC 27 ms 1052 KB
test_ABC_16.txt AC 26 ms 1140 KB
test_ABC_17.txt AC 27 ms 1028 KB
test_ABC_18.txt AC 27 ms 1032 KB
test_ABC_19.txt AC 27 ms 1056 KB
test_ABC_20.txt AC 27 ms 1028 KB
test_ABC_21.txt AC 27 ms 1024 KB
test_ABC_22.txt AC 27 ms 1120 KB
test_ABC_23.txt AC 27 ms 1184 KB
test_ABC_24.txt AC 27 ms 1056 KB
test_ABC_25.txt AC 27 ms 1028 KB
test_ABC_26.txt AC 27 ms 1048 KB
test_ABC_27.txt AC 27 ms 1180 KB
test_ABC_28.txt AC 28 ms 1028 KB
test_BC_29.txt AC 27 ms 1184 KB
test_BC_30.txt AC 26 ms 1152 KB
test_BC_31.txt AC 26 ms 1156 KB
test_BC_32.txt AC 27 ms 1148 KB
test_BC_33.txt AC 26 ms 1156 KB
test_BC_34.txt AC 26 ms 1176 KB
test_BC_35.txt AC 27 ms 1024 KB
test_BC_36.txt AC 27 ms 1028 KB
test_BC_37.txt AC 28 ms 1156 KB
test_BC_38.txt AC 27 ms 1156 KB
test_BC_39.txt AC 27 ms 1140 KB
test_BC_40.txt AC 35 ms 1156 KB
test_BC_41.txt AC 35 ms 1164 KB
test_BC_42.txt AC 27 ms 1156 KB
test_BC_43.txt AC 27 ms 1132 KB
test_BC_44.txt AC 27 ms 1156 KB
test_BC_45.txt AC 27 ms 1056 KB
test_BC_46.txt AC 26 ms 1120 KB
test_BC_47.txt AC 27 ms 1152 KB
test_BC_48.txt AC 28 ms 1140 KB
test_BC_49.txt AC 29 ms 1180 KB
test_BC_50.txt AC 26 ms 1028 KB
test_BC_51.txt AC 27 ms 1156 KB
test_BC_52.txt AC 27 ms 1116 KB
test_BC_53.txt AC 28 ms 1140 KB
test_BC_54.txt AC 27 ms 1052 KB
test_BC_55.txt AC 27 ms 1152 KB
test_C_56.txt AC 29 ms 1248 KB
test_C_57.txt AC 28 ms 1156 KB
test_C_58.txt AC 28 ms 1280 KB
test_C_59.txt AC 28 ms 1280 KB
test_C_60.txt AC 27 ms 1156 KB
test_C_61.txt AC 26 ms 1156 KB
test_C_62.txt AC 27 ms 1188 KB
test_C_63.txt AC 28 ms 1280 KB
test_C_64.txt AC 27 ms 1180 KB
test_C_65.txt AC 28 ms 1152 KB
test_C_66.txt AC 29 ms 1284 KB
test_C_67.txt AC 28 ms 1284 KB
test_C_68.txt AC 27 ms 1068 KB
test_C_69.txt AC 27 ms 1156 KB
test_C_70.txt AC 28 ms 1148 KB
test_C_71.txt AC 29 ms 1284 KB
test_C_72.txt AC 28 ms 1212 KB
test_C_73.txt AC 28 ms 1280 KB
test_C_74.txt AC 28 ms 1280 KB
test_C_75.txt AC 28 ms 1136 KB
test_C_76.txt AC 29 ms 1412 KB
test_C_77.txt AC 26 ms 1056 KB
test_C_78.txt AC 28 ms 1408 KB
test_C_79.txt WA 27 ms 1028 KB
test_C_80.txt AC 28 ms 1412 KB
test_C_81.txt WA 26 ms 1056 KB
test_C_82.txt AC 29 ms 1412 KB