結果

問題 No.876 Range Compress Query
ユーザー sgswsgsw
提出日時 2021-08-12 23:10:13
言語 Go
(1.22.1)
結果
AC  
実行時間 589 ms / 2,000 ms
コード長 3,936 bytes
コンパイル時間 14,339 ms
コンパイル使用メモリ 221,848 KB
実行使用メモリ 31,340 KB
最終ジャッジ日時 2024-04-10 04:00:19
合計ジャッジ時間 19,595 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,816 KB
testcase_01 AC 3 ms
6,812 KB
testcase_02 AC 2 ms
6,812 KB
testcase_03 AC 3 ms
6,944 KB
testcase_04 AC 2 ms
6,940 KB
testcase_05 AC 1 ms
6,940 KB
testcase_06 AC 4 ms
6,944 KB
testcase_07 AC 3 ms
6,940 KB
testcase_08 AC 3 ms
6,940 KB
testcase_09 AC 3 ms
6,944 KB
testcase_10 AC 3 ms
6,944 KB
testcase_11 AC 589 ms
31,316 KB
testcase_12 AC 473 ms
29,156 KB
testcase_13 AC 450 ms
29,260 KB
testcase_14 AC 541 ms
29,392 KB
testcase_15 AC 361 ms
29,228 KB
testcase_16 AC 522 ms
31,340 KB
testcase_17 AC 517 ms
29,276 KB
testcase_18 AC 565 ms
29,236 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

package main

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

var wg = bufio.NewScanner(os.Stdin)

const (
	inf            = int(1e18)
	initialBufSize = int(1e6)
	maxBufSize     = int(1e6)
)

var buf []byte = make([]byte, initialBufSize)

// greatest common divisor (GCD) via Euclidean algorithm
func GCD(a, b int) int {
	for b != 0 {
		t := b
		b = a % b
		a = t
	}
	return a
}

func init() {
	wg.Split(bufio.ScanWords)
	wg.Buffer(buf, maxBufSize)
}

func nextInt() int {
	wg.Scan()
	i, e := strconv.Atoi(wg.Text())
	if e != nil {
		panic(e)
	}
	return i
}

/*
Monoid-Structure should be decleared some-where else.
-> op(Monoid,Monoid)Monoid & ide()Monoid is required.
*/

type Monoid interface {
	get() interface{}
	op(Monoid) Monoid
	ide() Monoid
}

type SegTree struct {
	op   func(Monoid) Monoid /* op */
	e    func() Monoid       /*identity*/
	d    []Monoid
	_d   []Monoid
	n    int /* size*/
	log  int
	size int
}

func Gen(monoid Monoid, n interface{}) (SegTree, bool) {

	seg := SegTree{op: monoid.op, e: monoid.ide, d: []Monoid{}, _d: []Monoid{}, n: 0, log: 0, size: 0}
	collect := true

	switch T := n.(type) {
	case int:
		seg.d = make([]Monoid, n.(int))
		for i := range seg.d {
			seg.d[i] = seg.e()
		}

	case []Monoid:
		_ = T
		seg.d = make([]Monoid, len(n.([]Monoid)))
		copy(seg.d, n.([]Monoid))

	default:
		collect = false
		return seg, collect
	}
	seg.n = len(seg.d)
	for ord := 0; (1 << ord) < seg.n; {
		ord++
		seg.log = ord
	}
	seg.size = 1 << seg.log
	seg._d = make([]Monoid, 2*seg.size)
	for i := range seg._d {
		seg._d[i] = seg.e()
	}

	for i := 0; i < seg.n; i++ {
		seg._d[seg.size+i] = seg.d[i]
	}
	for i := seg.size - 1; i > 0; i-- {
		seg._update(i)
	}
	return seg, collect
}

func (seg SegTree) _update(k int) {
	seg._d[k] = seg._d[2*k].op(seg._d[2*k+1])
}

func (seg SegTree) Set(p int, x Monoid) {
	//a[p] -> x
	p += seg.size
	seg._d[p] = x
	for i := 1; i <= seg.log; i++ {
		seg._update(p >> i)
	}
}

func (seg SegTree) Get(p int) Monoid {
	// a[p]
	return seg._d[p+seg.size]
}

func (seg SegTree) OverWrite(p int, f func(Monoid) Monoid) {
	p += seg.size
	m := seg._d[p]
	seg._d[p] = f(m)
	for i := 1; i <= seg.log; i++ {
		seg._update(p >> i)
	}
}

func (seg SegTree) Prod(l, r int) Monoid {
	//op(a[l..r))
	sml := seg.e()
	smr := seg.e()
	l += seg.size
	r += seg.size
	for l < r {
		if l&1 == 1 {
			sml = sml.op(seg._d[l])
			l++
		}
		if r&1 == 1 {
			r--
			smr = seg._d[r].op(smr)
		}
		l >>= 1
		r >>= 1
	}
	return sml.op(smr)
}

func (seg SegTree) All_prod() Monoid {
	return seg._d[1]
}

//独自のモノイド定義
type monoid struct {
	num int
	val int
}

func (m monoid) get() interface{} {
	return m
}
func (x monoid) op(y Monoid) Monoid {
	a := x.get().(monoid)
	b := y.get().(monoid)
	return monoid{a.num + b.num, a.val + b.val}
}

func (m monoid) ide() Monoid {
	return monoid{0, 0}
}

func main() {
	n, q := nextInt(), nextInt()
	a := make([]int, n)
	for i := 0; i < n; i++ {
		a[i] = nextInt()
	}
	b := make([]Monoid, n)
	for i := 0; i < n; i++ {
		if i+1 < n {
			switch a[i+1] - a[i] {
			case 0:
				b[i] = monoid{0, 0}
			default:
				b[i] = monoid{a[i+1] - a[i], 1}
			}
		} else {
			b[i] = monoid{inf, 1}
		}
	}

	seg, _ := Gen(monoid{}, b)

	for i := 0; i < q; i++ {
		switch nextInt() {

		case 1:
			l, r, x := nextInt(), nextInt(), nextInt()
			l--
			r--
			if l-1 >= 0 {
				a := seg.Get(l - 1).(monoid)
				switch a.num + x {
				case 0:
					seg.Set(l-1, monoid{num: a.num + x, val: 0})
				default:
					seg.Set(l-1, monoid{num: a.num + x, val: 1})
				}
			}
			if r < n-1 {
				a := seg.Get(r).(monoid)
				switch a.num - x {
				case 0:
					seg.Set(r, monoid{a.num - x, 0})
				default:
					seg.Set(r, monoid{a.num - x, 1})
				}
			}
		case 2:
			l, r := nextInt(), nextInt()
			if l == r {
				fmt.Printf("%d\n", 1)
				continue
			}
			l--
			r--
			ans := seg.Prod(l, r).(monoid).val
			ans++
			fmt.Printf("%d\n", ans)

		default:
			os.Exit(1)
		}

	}
}
0