結果

問題 No.1435 Mmm......
ユーザー 草苺奶昔草苺奶昔
提出日時 2023-06-23 10:53:41
言語 Go
(1.22.1)
結果
AC  
実行時間 133 ms / 2,000 ms
コード長 3,817 bytes
コンパイル時間 14,352 ms
コンパイル使用メモリ 221,708 KB
実行使用メモリ 24,392 KB
最終ジャッジ日時 2024-06-30 15:57:58
合計ジャッジ時間 18,308 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 1 ms
6,812 KB
testcase_02 AC 1 ms
6,944 KB
testcase_03 AC 1 ms
6,944 KB
testcase_04 AC 1 ms
6,940 KB
testcase_05 AC 1 ms
6,940 KB
testcase_06 AC 66 ms
20,100 KB
testcase_07 AC 79 ms
22,148 KB
testcase_08 AC 87 ms
22,152 KB
testcase_09 AC 81 ms
22,156 KB
testcase_10 AC 72 ms
20,096 KB
testcase_11 AC 72 ms
20,100 KB
testcase_12 AC 66 ms
20,132 KB
testcase_13 AC 66 ms
20,096 KB
testcase_14 AC 49 ms
13,800 KB
testcase_15 AC 90 ms
22,152 KB
testcase_16 AC 73 ms
22,148 KB
testcase_17 AC 54 ms
13,940 KB
testcase_18 AC 93 ms
22,148 KB
testcase_19 AC 66 ms
20,096 KB
testcase_20 AC 83 ms
22,152 KB
testcase_21 AC 128 ms
24,228 KB
testcase_22 AC 102 ms
22,172 KB
testcase_23 AC 131 ms
24,392 KB
testcase_24 AC 133 ms
24,380 KB
testcase_25 AC 132 ms
24,384 KB
testcase_26 AC 132 ms
24,384 KB
testcase_27 AC 132 ms
24,380 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 


package main

import (
	"bufio"
	"fmt"
	"os"
)

func main() {
	in := bufio.NewReader(os.Stdin)
	out := bufio.NewWriter(os.Stdout)
	defer out.Flush()

	var n int
	fmt.Fscan(in, &n)
	nums := make([]int, n)
	for i := 0; i < n; i++ {
		fmt.Fscan(in, &nums[i])
	}
	fmt.Fprintln(out, countTriangleSubArray(nums))
}

func countTriangleSubArray(nums []int) int {
	n := len(nums)
	leaves := make([]E, n)
	for i := 0; i < n; i++ {
		leaves[i] = E{nums[i], nums[i], INF}
	}

	seg := NewSegmentTree(leaves)
	res := 0
	for left := 0; left < n; left++ {
		right := seg.MaxRight(left, func(e E) bool { return e.max1 <= e.min1+e.min2 })
		res += right - left - 1
	}
	return res
}

const INF int = 1e18

type E = struct{ max1, min1, min2 int } // max/min1/min2

func (*SegmentTree) e() E { return E{-INF, -INF, -INF} }
func (*SegmentTree) op(a, b E) E {
	aMax1, aMin1, aMin2 := a.max1, a.min1, a.min2
	bMax1, bMin1, bMin2 := b.max1, b.min1, b.min2
	if aMax1 == -INF {
		return b
	}
	if bMax1 == -INF {
		return a
	}
	if aMin1 < bMin1 {
		return E{max(aMax1, bMax1), aMin1, min(aMin2, bMin1)}
	}
	return E{max(aMax1, bMax1), bMin1, min(aMin1, bMin2)}
}
func min(a, b int) int {
	if a < b {
		return a
	}
	return b
}
func max(a, b int) int {
	if a > b {
		return a
	}
	return b
}

type SegmentTree struct {
	n, size int
	seg     []E
}

func NewSegmentTree(leaves []E) *SegmentTree {
	res := &SegmentTree{}
	n := len(leaves)
	size := 1
	for size < n {
		size <<= 1
	}
	seg := make([]E, size<<1)
	for i := range seg {
		seg[i] = res.e()
	}
	for i := 0; i < n; i++ {
		seg[i+size] = leaves[i]
	}
	for i := size - 1; i > 0; i-- {
		seg[i] = res.op(seg[i<<1], seg[i<<1|1])
	}
	res.n = n
	res.size = size
	res.seg = seg
	return res
}
func (st *SegmentTree) Get(index int) E {
	if index < 0 || index >= st.n {
		return st.e()
	}
	return st.seg[index+st.size]
}
func (st *SegmentTree) Set(index int, value E) {
	if index < 0 || index >= st.n {
		return
	}
	index += st.size
	st.seg[index] = value
	for index >>= 1; index > 0; index >>= 1 {
		st.seg[index] = st.op(st.seg[index<<1], st.seg[index<<1|1])
	}
}

// [start, end)
func (st *SegmentTree) Query(start, end int) E {
	if start < 0 {
		start = 0
	}
	if end > st.n {
		end = st.n
	}
	if start >= end {
		return st.e()
	}
	leftRes, rightRes := st.e(), st.e()
	start += st.size
	end += st.size
	for start < end {
		if start&1 == 1 {
			leftRes = st.op(leftRes, st.seg[start])
			start++
		}
		if end&1 == 1 {
			end--
			rightRes = st.op(st.seg[end], rightRes)
		}
		start >>= 1
		end >>= 1
	}
	return st.op(leftRes, rightRes)
}
func (st *SegmentTree) QueryAll() E { return st.seg[1] }

// 二分查询最大的 right 使得切片 [left:right] 内的值满足 predicate
func (st *SegmentTree) MaxRight(left int, predicate func(E) bool) int {
	if left == st.n {
		return st.n
	}
	left += st.size
	res := st.e()
	for {
		for left&1 == 0 {
			left >>= 1
		}
		if !predicate(st.op(res, st.seg[left])) {
			for left < st.size {
				left <<= 1
				if predicate(st.op(res, st.seg[left])) {
					res = st.op(res, st.seg[left])
					left++
				}
			}
			return left - st.size
		}
		res = st.op(res, st.seg[left])
		left++
		if (left & -left) == left {
			break
		}
	}
	return st.n
}

// 二分查询最小的 left 使得切片 [left:right] 内的值满足 predicate
func (st *SegmentTree) MinLeft(right int, predicate func(E) bool) int {
	if right == 0 {
		return 0
	}
	right += st.size
	res := st.e()
	for {
		right--
		for right > 1 && right&1 == 1 {
			right >>= 1
		}
		if !predicate(st.op(st.seg[right], res)) {
			for right < st.size {
				right = right<<1 | 1
				if predicate(st.op(st.seg[right], res)) {
					res = st.op(st.seg[right], res)
					right--
				}
			}
			return right + 1 - st.size
		}
		res = st.op(st.seg[right], res)
		if right&-right == right {
			break
		}
	}
	return 0
}
0