結果

問題 No.875 Range Mindex Query
ユーザー ccppjsrbccppjsrb
提出日時 2019-11-07 22:23:31
言語 Go
(1.22.1)
結果
AC  
実行時間 432 ms / 2,000 ms
コード長 3,290 bytes
コンパイル時間 15,044 ms
コンパイル使用メモリ 203,044 KB
実行使用メモリ 5,496 KB
最終ジャッジ日時 2023-10-13 03:07:24
合計ジャッジ時間 19,316 ms
ジャッジサーバーID
(参考情報)
judge13 / judge15
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,348 KB
testcase_01 AC 2 ms
4,376 KB
testcase_02 AC 3 ms
4,372 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 2 ms
4,376 KB
testcase_05 AC 2 ms
4,376 KB
testcase_06 AC 2 ms
4,380 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 2 ms
4,380 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 3 ms
4,376 KB
testcase_11 AC 237 ms
5,480 KB
testcase_12 AC 191 ms
4,376 KB
testcase_13 AC 166 ms
5,480 KB
testcase_14 AC 160 ms
5,480 KB
testcase_15 AC 228 ms
5,484 KB
testcase_16 AC 375 ms
5,492 KB
testcase_17 AC 413 ms
5,492 KB
testcase_18 AC 432 ms
5,496 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

package main

import (
	"bufio"
	"fmt"
	"math"
	"os"
	"strconv"
)

func getScanner(fp *os.File) *bufio.Scanner {
	scanner := bufio.NewScanner(fp)
	scanner.Split(bufio.ScanWords)
	scanner.Buffer(make([]byte, 500001), 500000)
	return scanner
}

func getNextString(scanner *bufio.Scanner) string {
	scanner.Scan()
	return scanner.Text()
}

func getNextInt(scanner *bufio.Scanner) int {
	i, _ := strconv.Atoi(getNextString(scanner))
	return i
}

func getNextInt64(scanner *bufio.Scanner) int64 {
	i, _ := strconv.ParseInt(getNextString(scanner), 10, 64)
	return i
}

func getNextUint64(scanner *bufio.Scanner) uint64 {
	i, _ := strconv.ParseUint(getNextString(scanner), 10, 64)
	return i
}

func getNextFloat64(scanner *bufio.Scanner) float64 {
	i, _ := strconv.ParseFloat(getNextString(scanner), 64)
	return i
}

func main() {
	fp := os.Stdin
	wfp := os.Stdout

	if len(os.Args) > 1 {
		fp, _ = os.Open(os.Args[1])
		if len(os.Args) > 2 {
			wfp, _ = os.Create(os.Args[2])
		}
	}

	scanner := getScanner(fp)
	writer := bufio.NewWriter(wfp)

	n := getNextInt(scanner)
	q := getNextInt(scanner)

	seg := Segment{}
	seg.init(n)

	for i := 0; i < n; i++ {
		a := getNextInt(scanner)
		seg.minimize(i, a)
	}

	for i := 0; i < q; i++ {
		t := getNextInt(scanner)
		l := getNextInt(scanner) - 1
		r := getNextInt(scanner) - 1
		if t == 1 {
			ol := seg.bucket[0][l]
			or := seg.bucket[0][r]
			seg.minimize(l, or)
			seg.minimize(r, ol)
			continue
		}
		fmt.Fprintln(writer, seg.rangeMinIndex(l, r+1)+1)
	}
	writer.Flush()
}

// Segment ...
type Segment struct {
	n, h, i, chunk, inf int
	unit                []int
	bucket              [][]int
}

func (seg *Segment) init(n int) {
	seg.n = n
	seg.unit = make([]int, 1)
	seg.unit[0] = 1
	seg.bucket = make([][]int, 1)
	seg.bucket[0] = make([]int, n)

	chunk := 8
	for i := 0; n > 1; i++ {
		n = (n-1)/chunk + 1
		seg.bucket = append(seg.bucket, make([]int, n))
		seg.unit = append(seg.unit, seg.unit[i]*chunk)
	}
	seg.h = len(seg.unit)
	seg.chunk = chunk
	seg.inf = math.MaxInt32
}

func (seg *Segment) minimize(index, value int) {
	seg.bucket[0][index] = value
	for seg.i = 0; seg.i < seg.h-1; seg.i++ {
		s := index - index%seg.chunk
		t := s + seg.chunk
		if t > len(seg.bucket[seg.i]) {
			t = len(seg.bucket[seg.i])
		}
		parent := index / seg.chunk
		min := seg.inf
		for i := s; i < t; i++ {
			if min > seg.bucket[seg.i][i] {
				min = seg.bucket[seg.i][i]
			}
		}
		seg.bucket[seg.i+1][parent] = min
		index /= seg.chunk
	}
}

func (seg *Segment) min(l, r int) int {
	if seg.n < r {
		r = seg.n
	}
	min := seg.inf
	for index := l; index < r; index += seg.unit[seg.i] {
		for seg.i = 0; seg.i < seg.h-1 && index%seg.unit[seg.i+1] == 0; seg.i++ {
			if index+seg.unit[seg.i+1] >= r {
				break
			}
		}
		if min > seg.bucket[seg.i][index/seg.unit[seg.i]] {
			min = seg.bucket[seg.i][index/seg.unit[seg.i]]
		}
	}

	return min
}

func (seg *Segment) rangeMinIndex(l, r int) int {
	value := seg.min(l, r)
	for index := l; index < r; index += seg.unit[seg.i] {
		for seg.i = 0; seg.i < seg.h-1 && index%seg.unit[seg.i+1] == 0; seg.i++ {
			if index+seg.unit[seg.i+1] >= r {
				break
			}
			if seg.bucket[seg.i+1][index/seg.unit[seg.i+1]] == value {
				break
			}
		}
		if seg.bucket[0][index] == value {
			return index
		}
	}
	return -1
}
0