結果

問題 No.875 Range Mindex Query
ユーザー simansiman
提出日時 2020-03-13 23:19:26
言語 Ruby
(3.3.0)
結果
AC  
実行時間 1,617 ms / 2,000 ms
コード長 1,635 bytes
コンパイル時間 44 ms
コンパイル使用メモリ 7,552 KB
実行使用メモリ 29,184 KB
最終ジャッジ日時 2024-05-02 10:47:35
合計ジャッジ時間 13,213 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 75 ms
12,160 KB
testcase_01 AC 87 ms
12,544 KB
testcase_02 AC 86 ms
12,416 KB
testcase_03 AC 77 ms
12,032 KB
testcase_04 AC 84 ms
12,160 KB
testcase_05 AC 78 ms
12,160 KB
testcase_06 AC 79 ms
12,288 KB
testcase_07 AC 79 ms
12,416 KB
testcase_08 AC 79 ms
12,160 KB
testcase_09 AC 79 ms
12,288 KB
testcase_10 AC 82 ms
12,544 KB
testcase_11 AC 1,466 ms
26,624 KB
testcase_12 AC 1,293 ms
19,144 KB
testcase_13 AC 1,173 ms
28,928 KB
testcase_14 AC 1,110 ms
28,416 KB
testcase_15 AC 1,425 ms
29,056 KB
testcase_16 AC 1,496 ms
29,056 KB
testcase_17 AC 1,617 ms
29,056 KB
testcase_18 AC 1,576 ms
29,184 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Main.rb:74: warning: assigned but unused variable - val
Syntax OK

ソースコード

diff # 

class RangeMindexQuery
  attr_reader :n, :dat

  INF = Float::INFINITY

  # @param [Integer] len 区間の長さ
  def initialize(len)
    @n = 1

    @n *= 2 while @n < len
    @dat = Array.new(2 * @n - 1, [INF, -1])
  end

  # @param [Integer] idx 更新箇所
  # @param [Integer] val 更新値
  def update(idx, val)
    idx += n - 1
    dat[idx] = [val, idx - (n - 1)]

    while idx > 0
      idx = (idx - 1) / 2

      if dat[idx * 2 + 1][0] < dat[idx * 2 + 2][0]
        dat[idx] = dat[idx * 2 + 1]
      else
        dat[idx] = dat[idx * 2 + 2]
      end
    end
  end

  # 区間 [l, r] の最小値を返す。探索範囲の初期値は [0, n - 1] で固定 (全範囲)
  def find_min(l, r)
    query(l, r, 0, 0, n - 1)
  end

  private

  # @param [Integer] a 探索範囲の左端
  # @param [Integer] b 探索範囲の右端
  # @param [Integer] idx 現在位置
  # @param [Integer] l 現在の探索範囲の左端
  # @param [Integer] r 現在の探索範囲の右端
  def query(a, b, idx, l, r)
    return [INF, -1] if r < a || b < l

    if a <= l && r <= b
      dat[idx]
    else
      vl = query(a, b, idx * 2 + 1, l, (l + r) / 2)
      vr = query(a, b, idx * 2 + 2, (l + r) / 2 + 1, r)

      vl[0] < vr[0] ? vl : vr
    end
  end
end

N, Q = gets.split.map(&:to_i)
A = gets.split.map(&:to_i)

rmq = RangeMindexQuery.new(N)

A.each.with_index(1) do |a, i|
  rmq.update(i, a)
end

Q.times do
  type, l, r = gets.split.map(&:to_i)

  if type == 1
    A[l - 1], A[r - 1] = A[r - 1], A[l - 1]
    rmq.update(l, A[l - 1])
    rmq.update(r, A[r - 1])
  else
    val, idx = rmq.find_min(l, r)

    puts idx
  end
end
0