結果

問題 No.9 モンスターのレベル上げ
ユーザー pocaristpocarist
提出日時 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
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 358 ms
35,128 KB
testcase_01 AC 346 ms
35,396 KB
testcase_02 AC 3,663 ms
60,644 KB
testcase_03 AC 1,992 ms
59,976 KB
testcase_04 AC 1,882 ms
59,260 KB
testcase_05 AC 1,432 ms
58,580 KB
testcase_06 AC 686 ms
58,312 KB
testcase_07 AC 354 ms
35,944 KB
testcase_08 AC 728 ms
59,216 KB
testcase_09 AC 3,292 ms
60,608 KB
testcase_10 AC 342 ms
33,852 KB
testcase_11 AC 2,683 ms
60,228 KB
testcase_12 AC 1,125 ms
58,936 KB
testcase_13 AC 368 ms
43,160 KB
testcase_14 AC 3,454 ms
60,784 KB
testcase_15 AC 3,435 ms
61,040 KB
testcase_16 AC 403 ms
54,508 KB
testcase_17 AC 2,571 ms
60,008 KB
testcase_18 AC 2,276 ms
59,716 KB
testcase_19 AC 390 ms
50,668 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /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