summaryrefslogtreecommitdiff
path: root/content/datastructures/dynamicConvexHull.cpp
blob: 27ec89849095b2f908f848b684851ae8e19564ec (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
struct Line {
	mutable ll m, b, p;
	bool operator<(const Line& o) const {return m < o.m;}
	bool operator<(ll x) const {return p < x;}
};

struct HullDynamic : multiset<Line, less<>> { // max über Geraden
	// (for doubles, use INF = 1/.0, div(a,b) = a/b)
	ll div(ll a, ll b) {return a / b - ((a ^ b) < 0 && a % b);}

	bool isect(iterator x, iterator y) {
		if (y == end()) {x->p = INF; return false;}
		if (x->m == y->m) x->p = x->b > y->b ? INF : -INF;
		else x->p = div(y->b - x->b, x->m - y->m);
		return x->p >= y->p;
	}

	void add(ll m, ll b) {
		auto x = insert({m, b, 0});
		while (isect(x, next(x))) erase(next(x));
		if (x != begin()) {
			x--;
			if (isect(x, next(x))) {
				erase(next(x));
				isect(x, next(x));
		}}
		while (x != begin() && prev(x)->p >= x->p) {
			x--;
			isect(x, erase(next(x)));
	}}

	ll query(ll x) {
		auto l = *lower_bound(x);
		return l.m * x + l.b;
	}
};