Submission #857558


Source Code Expand

Copy
namespace DotNetLab.Fs.Console

open System
open System.Collections.Generic

[<AutoOpen>]
module Misc =
  type Long = int64
  let inline long x = int64 x

  let readLine f = Console.ReadLine().Split([|' '|]) |> Array.map f

  let combinationSums xs =
    let rec loop (s, n) i =
      seq {
        if i = (xs |> Array.length) then
          yield (s, n)
        else
          yield! loop (s, n) (i + 1)
          yield! loop (s + xs.[i], n + 1.0) (i + 1)
      }
    in
      loop (0.0, 0.0) 0

  let halves xs =
    xs
    |> combinationSums
    |> Seq.toArray
    |> Array.sortBy (fun (s, n) -> s / n)

  let upperBound pred (xs: array<'x>) =
    let rec loop lb ub =
      if ub - lb <= 1
      then ub
      else
        let i = (ub - lb) / 2 + lb
        if pred xs.[i]
        then loop i ub
        else loop lb i
    in
      loop (-1) (xs |> Array.length)

  let countHalf a (s, n) (hs: (float * float)[]) =
    let lb = hs |> upperBound (fun (s', n') -> (s + s') / (n + n') < a)
    let ub = hs |> upperBound (fun (s', n') -> (s + s') / (n + n') <= a)
    ub - lb |> long

module Program =
  [<EntryPoint>]
  let main _ =
    let [|_; a|] = readLine float
    let xs = readLine float

    let n = xs.Length / 2
    let ys = xs |> Array.skip n
    let xs = xs |> Array.take n

    let xhs = xs |> halves
    let yhs = ys |> halves

    let count = xhs |> Seq.sumBy (fun h -> countHalf a h yhs)

    printfn "%d" count

    // exit code
    0

Submission Info

Submission Time
Task D - Digit Sum
User vain0
Language F# (Mono 4.0)
Score 0
Code Size 1519 Byte
Status RE
Exec Time 72 ms
Memory 3548 KB

Compile Error

/imojudge/Main.fs(51,9): warning FS0025: Incomplete pattern matches on this expression. For example, the value '[|_; _; _|]' may indicate a case not covered by the pattern(s).

Judge Result

Set Name Sample All
Score / Max Score 0 / 0 0 / 500
Status
RE × 5
RE × 47
Set Name Test Cases
Sample subtask1_87654_30.txt, subtask1_87654_138.txt, subtask1_87654_45678.txt, subtask1_31415926535_1.txt, subtask1_1_31415926535.txt
All subtask1_100000000000_1.txt, subtask1_100000000000_100000000000.txt, subtask1_100000000000_2.txt, subtask1_100000000000_3.txt, subtask1_100000000000_50000000000.txt, subtask1_100000000000_50000000001.txt, subtask1_100000000000_99999999999.txt, subtask1_16983563041_1.txt, subtask1_1_1.txt, subtask1_1_2.txt, subtask1_1_31415926535.txt, subtask1_239484768_194586924.txt, subtask1_2_1.txt, subtask1_2_2.txt, subtask1_31415926535_1.txt, subtask1_49234683534_2461734011.txt, subtask1_4_1.txt, subtask1_58640129658_232122496.txt, subtask1_68719476735_35.txt, subtask1_68719476735_36.txt, subtask1_68719476735_37.txt, subtask1_68719476736_1.txt, subtask1_68719476736_2.txt, subtask1_72850192441_16865701.txt, subtask1_79285169301_27.txt, subtask1_82914867733_1676425945.txt, subtask1_8594813796_75700.txt, subtask1_87654_12345.txt, subtask1_87654_138.txt, subtask1_87654_30.txt, subtask1_87654_4294967308.txt, subtask1_87654_45678.txt, subtask1_97822032312_49157112.txt, subtask1_98750604051_977728851.txt, subtask1_99999515529_1.txt, subtask1_99999515529_316226.txt, subtask1_99999515529_316227.txt, subtask1_99999515529_316228.txt, subtask1_99999515529_49999757765.txt, subtask1_99999515529_49999757766.txt, subtask1_99999515530_2.txt, subtask1_99999999977_1.txt, subtask1_99999999977_2.txt, subtask1_99999999977_49999999989.txt, subtask1_99999999977_49999999990.txt, subtask1_99999999999_1.txt, subtask1_99999999999_100000000000.txt
Case Name Status Exec Time Memory
subtask1_100000000000_1.txt RE 68 ms 3548 KB
subtask1_100000000000_100000000000.txt RE 72 ms 3548 KB
subtask1_100000000000_2.txt RE 68 ms 3548 KB
subtask1_100000000000_3.txt RE 64 ms 3548 KB
subtask1_100000000000_50000000000.txt RE 64 ms 3548 KB
subtask1_100000000000_50000000001.txt RE 64 ms 3548 KB
subtask1_100000000000_99999999999.txt RE 68 ms 3548 KB
subtask1_16983563041_1.txt RE 67 ms 3548 KB
subtask1_1_1.txt RE 67 ms 3548 KB
subtask1_1_2.txt RE 67 ms 3548 KB
subtask1_1_31415926535.txt RE 68 ms 3548 KB
subtask1_239484768_194586924.txt RE 64 ms 3548 KB
subtask1_2_1.txt RE 64 ms 3548 KB
subtask1_2_2.txt RE 64 ms 3548 KB
subtask1_31415926535_1.txt RE 64 ms 3548 KB
subtask1_49234683534_2461734011.txt RE 64 ms 3548 KB
subtask1_4_1.txt RE 64 ms 3548 KB
subtask1_58640129658_232122496.txt RE 64 ms 3548 KB
subtask1_68719476735_35.txt RE 66 ms 3548 KB
subtask1_68719476735_36.txt RE 65 ms 3548 KB
subtask1_68719476735_37.txt RE 65 ms 3548 KB
subtask1_68719476736_1.txt RE 64 ms 3548 KB
subtask1_68719476736_2.txt RE 64 ms 3548 KB
subtask1_72850192441_16865701.txt RE 66 ms 3548 KB
subtask1_79285169301_27.txt RE 65 ms 3548 KB
subtask1_82914867733_1676425945.txt RE 65 ms 3548 KB
subtask1_8594813796_75700.txt RE 66 ms 3548 KB
subtask1_87654_12345.txt RE 65 ms 3548 KB
subtask1_87654_138.txt RE 64 ms 3548 KB
subtask1_87654_30.txt RE 64 ms 3548 KB
subtask1_87654_4294967308.txt RE 64 ms 3548 KB
subtask1_87654_45678.txt RE 64 ms 3548 KB
subtask1_97822032312_49157112.txt RE 65 ms 3548 KB
subtask1_98750604051_977728851.txt RE 64 ms 3548 KB
subtask1_99999515529_1.txt RE 64 ms 3548 KB
subtask1_99999515529_316226.txt RE 64 ms 3548 KB
subtask1_99999515529_316227.txt RE 65 ms 3548 KB
subtask1_99999515529_316228.txt RE 64 ms 3548 KB
subtask1_99999515529_49999757765.txt RE 64 ms 3548 KB
subtask1_99999515529_49999757766.txt RE 65 ms 3548 KB
subtask1_99999515530_2.txt RE 64 ms 3548 KB
subtask1_99999999977_1.txt RE 64 ms 3548 KB
subtask1_99999999977_2.txt RE 64 ms 3548 KB
subtask1_99999999977_49999999989.txt RE 64 ms 3548 KB
subtask1_99999999977_49999999990.txt RE 65 ms 3548 KB
subtask1_99999999999_1.txt RE 64 ms 3548 KB
subtask1_99999999999_100000000000.txt RE 64 ms 3548 KB