結果
| 問題 |
No.777 再帰的ケーキ
|
| コンテスト | |
| ユーザー |
ikd
|
| 提出日時 | 2020-05-03 10:49:06 |
| 言語 | Nim (2.2.0) |
| 結果 |
AC
|
| 実行時間 | 440 ms / 2,000 ms |
| コード長 | 1,817 bytes |
| コンパイル時間 | 4,740 ms |
| コンパイル使用メモリ | 67,908 KB |
| 実行使用メモリ | 20,368 KB |
| 最終ジャッジ日時 | 2024-06-11 16:03:33 |
| 合計ジャッジ時間 | 7,531 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 33 |
ソースコード
import strutils, algorithm, sequtils, math, sugar
type SegmentTree[T] = object
n: int
dat: seq[T]
e: T
multiply: proc(a, b: T): T
proc initSegmentTree[T](n: int, e: T, f: proc(a, b: T): T): SegmentTree[T] =
let nn = nextPowerOfTwo(n)
var dat = newSeqWith(nn * 2 - 1, e)
return SegmentTree[T](n: nn, dat: dat, e: e, multiply: f)
proc get[T](this: SegmentTree[T], i: int): T =
return this.dat[i + this.n - 1]
proc update[T](this: var SegmentTree[T], i: int, x: T) =
var k = i + this.n - 1
this.dat[k] = x
while k > 0:
k = (k - 1) div 2
this.dat[k] = this.multiply(this.dat[k * 2 + 1], this.dat[k * 2 + 2])
proc query[T](this: SegmentTree[T], ql, qr, i, il, ir: int): T =
if ql <= il and ir <= qr:
return this.dat[i]
if qr <= il or ir <= ql:
return this.e
let m = (il + ir) div 2
return this.multiply(
this.query(ql, qr, i * 2 + 1, il, m),
this.query(ql, qr, i * 2 + 2, m, ir))
proc query[T](this: SegmentTree[T], ql, qr: int): T =
return this.query(ql, qr, 0, 0, this.n)
let read = iterator: string {.closure.} =
while true:
for s in stdin.readLine.split:
yield s
proc main() =
let n = read().parseInt
type P = tuple[a, b, c: int]
var cakes = newSeq[P]()
for i in 0..<n:
let a, b, c = read().parseInt
cakes.add((a, b, c))
var bs = newSeq[int]()
for p in cakes:
bs.add(p.b)
bs.sort(cmp)
bs = bs.deduplicate(isSorted = true)
proc map(b: int): int =
return bs.lowerBound(b)
let m = bs.len
var seg = initSegmentTree[int64](
m,
0.int64,
proc(x, y: int64): int64 = max(x, y))
cakes.sort((p, q: P) => (if p.a == q.a: cmp(p.b, q.b) else: cmp(q.a, p.a)))
for p in cakes:
let i = map(p.b)
let h = seg.query(i + 1, m)
seg.update(i, max(seg.get(i), h + p.c))
echo seg.query(0, m)
main()
ikd