結果

問題 No.875 Range Mindex Query
ユーザー guriceringuricerin
提出日時 2020-01-30 20:36:00
言語 F#
(F# 4.0)
結果
AC  
実行時間 816 ms / 2,000 ms
コード長 4,158 bytes
コンパイル時間 7,554 ms
コンパイル使用メモリ 207,148 KB
実行使用メモリ 77,148 KB
最終ジャッジ日時 2024-09-16 03:51:17
合計ジャッジ時間 15,004 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 65 ms
30,336 KB
testcase_01 AC 70 ms
31,204 KB
testcase_02 AC 71 ms
31,360 KB
testcase_03 AC 66 ms
30,208 KB
testcase_04 AC 69 ms
30,976 KB
testcase_05 AC 68 ms
30,720 KB
testcase_06 AC 69 ms
31,360 KB
testcase_07 AC 69 ms
30,976 KB
testcase_08 AC 68 ms
30,592 KB
testcase_09 AC 69 ms
30,848 KB
testcase_10 AC 70 ms
31,488 KB
testcase_11 AC 816 ms
72,960 KB
testcase_12 AC 621 ms
64,768 KB
testcase_13 AC 561 ms
77,056 KB
testcase_14 AC 547 ms
73,472 KB
testcase_15 AC 762 ms
76,800 KB
testcase_16 AC 716 ms
77,020 KB
testcase_17 AC 737 ms
77,148 KB
testcase_18 AC 703 ms
76,928 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (264 ms)。
MSBuild のバージョン 17.9.6+a4ecab324 (.NET)
/home/judge/data/code/Main.fs(128,13): warning FS0025: この式のパターン マッチが不完全です たとえば、値 '[|_; _; _; _|]' はパターンに含まれないケースを示す可能性があります。 [/home/judge/data/code/main.fsproj]
/home/judge/data/code/Main.fs(114,9): warning FS0025: この式のパターン マッチが不完全です たとえば、値 '[|_; _; _|]' はパターンに含まれないケースを示す可能性があります。 [/home/judge/data/code/main.fsproj]
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff # 

open System
open System.Collections.Generic

[<AutoOpen>]
module Cin =
    let read f = stdin.ReadLine() |> f
    let reada f = stdin.ReadLine().Split() |> Array.map f
    let readChars() = read string |> Seq.toArray
    let readInts() = readChars() |> Array.map (fun x -> Convert.ToInt32(x.ToString()))

[<AutoOpen>]
module Cout =
    let writer = new IO.StreamWriter(new IO.BufferedStream(Console.OpenStandardOutput()))
    let print (s: string) = writer.Write s
    let println (s: string) = writer.WriteLine s
    let inline puts (s: ^a) = string s |> println

type SegTree<'Monoid> =
    {
      /// 実データの要素数(葉ノードの数)
      size: int
      height: int
      /// モノイドの単位元
      unity: 'Monoid
      /// 0-indexed
      nodes: 'Monoid array
      /// 二項演算
      merge: Merge<'Monoid>
      /// 点更新
      change: Change<'Monoid> }

and Merge<'a> = 'a -> 'a -> 'a

and Change<'a> = 'a -> 'a -> 'a

[<RequireQualifiedAccess>]
[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
module SegTree =

    let internal sizeAndHeight n =
        let rec loop sAcc hAcc =
            if sAcc < n then loop (sAcc <<< 1) (hAcc + 1) else (sAcc, hAcc)
        loop 1 0

    let inline internal parent i = (i - 1) / 2
    let inline internal leftChild i = (i <<< 1) + 1
    let inline internal rightChild i = (i <<< 1) + 2
    let inline internal leafIdx tree k = k + tree.size - 1

    let init (n: int) (unity: 'Monoid) (f: Merge<'Monoid>) (g: Change<'Monoid>) =
        let size, height = sizeAndHeight n
        let nodes = Array.init (size * 2 - 1) (fun _ -> unity)
        { SegTree.size = size
          height = height
          unity = unity
          nodes = nodes
          merge = f
          change = g }

    let build (sq: 'Monoid seq) unity f g =
        let sq = Array.ofSeq sq
        let len = Array.length sq
        let tree = init len unity f g
        let nodes = tree.nodes
        // 葉ノードに値を格納
        for i in 0 .. len - 1 do
            let li = leafIdx tree i
            nodes.[li] <- sq.[i]
        // 上にマージしていく
        for i in tree.size - 2 .. -1 .. 0 do
            let lc, rc = leftChild i, rightChild i
            nodes.[i] <- f nodes.[lc] nodes.[rc]
        tree

    /// 一点更新
    let update k x tree: unit =
        let k = leafIdx tree k
        let nodes = tree.nodes
        nodes.[k] <- tree.change nodes.[k] x
        // 子から親に伝搬
        let rec loop k =
            if k > 0 then
                let p = parent k
                let lc, rc = leftChild p, rightChild p
                nodes.[p] <- tree.merge nodes.[lc] nodes.[rc]
                loop p
            else
                ()
        loop k

    let rec internal queryCore (a: int) (b: int) (k: int) (l: int) (r: int) tree: 'Monoid =
        // 区間外
        if r <= a || b <= l then
            tree.unity
        // 完全被覆
        elif a <= l && r <= b then
            tree.nodes.[k]
        // 一部だけ被覆
        else
            let lc, rc, mid = leftChild k, rightChild k, (l + r) / 2
            let lv = queryCore a b lc l mid tree
            let rv = queryCore a b rc mid r tree
            tree.merge lv rv

    let query a b tree: 'Monoid = queryCore a b 0 0 tree.size tree

    let get k tree =
        let k = leafIdx tree k
        tree.nodes.[k]

/// END CUT HERE

let main() =
    let [| N; Q |] = reada int
    let A = reada int |> Array.indexed

    let f x y =
        let xi, xv = x
        let yi, yv = y
        if xv < yv then x else y

    let g x y = y

    let e = Int32.MaxValue - 1, Int32.MaxValue - 1
    let seg = SegTree.build A e f g

    for _ in 0 .. Q - 1 do
        let [| q; l; r |] = reada int
        let l, r = l - 1, r - 1
        match q with
        | 1 ->
            let li, lv = seg |> SegTree.get l
            let ri, rv = seg |> SegTree.get r
            seg |> SegTree.update l (l, rv)
            seg |> SegTree.update r (r, lv)
        | _ ->
            let si, sv = seg |> SegTree.query l (r + 1)
            puts (si + 1)

    ()

main()
writer.Close()
0