結果

問題 No.9 モンスターのレベル上げ
ユーザー pocarist
提出日時 2015-09-15 13:05:07
言語 F#
(F# 4.0)
結果
AC  
実行時間 3,663 ms / 5,000 ms
コード長 1,955 bytes
コンパイル時間 12,773 ms
コンパイル使用メモリ 200,116 KB
実行使用メモリ 61,040 KB
最終ジャッジ日時 2024-06-23 23:07:18
合計ジャッジ時間 45,793 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 20
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (541 ms)。
MSBuild のバージョン 17.9.6+a4ecab324 (.NET)
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff # 

// http://yukicoder.me/problems/26
open System

let dprintfn fmt = Printf.kprintf Diagnostics.Debug.WriteLine fmt

module Heap =
    type tree<'T> = Node of 'T * tree<'T> * tree<'T>
                    | Leaf
    type t<'T> = { root : tree<'T>
                   cmp : 'T -> 'T -> bool
                }
    let create cmp =
        {root=Leaf; cmp=cmp}

    let rec meld cmp a b =
        match a, b with
        | Leaf, _ -> b
        | _, Leaf -> a
        | Node(av, al, ar), Node(bv, bl, br) ->            
            if cmp av bv then
                let br = meld cmp br a
                Node(bv, br, bl)
            else
                let ar = meld cmp ar b
                Node(av, ar, al)

    let push v h =
        let p = Node(v, Leaf, Leaf)
        let r = meld h.cmp h.root p
        {h with root=r}

    let empty h = 
        h.root = Leaf

    let top h =
        match h.root with
        | Leaf -> failwith "top"
        | Node(v, _, _) -> v

    let pop h =
        match h.root with
        | Leaf -> failwith "pop"
        | Node(_, rl, rr) ->
            let r = meld h.cmp rr rl
            {h with root=r}

[<EntryPoint>]
let main argv = 
    let N = Console.ReadLine().Trim() |> int
    let A = Console.ReadLine().Trim().Split([|' '|]) |> Array.map int
    let B = Console.ReadLine().Trim().Split([|' '|]) |> Array.map int
    let h = Heap.create (>)
    let start = Array.fold (fun h v -> Heap.push (v,0) h) h A
    let ans = ref (Int32.MaxValue/2)
    for i in 0..N-1 do
        let rec loop h tmp j = 
            if j=N then tmp
            else if tmp >= !ans then tmp
            else
                let (v, n) = Heap.top h
                let h = Heap.pop h
                let k = (i+j)%N
                let v' = B.[k] / 2
                let h = Heap.push (v+v', n+1) h
                loop h (max tmp (n+1)) (j+1)
        let tmp = loop start 0 0
        ans := min tmp !ans        
    printfn "%d" !ans
    0
0