(转载)cpp算法模板

C++算法模板

基础算法

排序

快速排序

1
2
3
4
5
6
7
8
9
10
11
void quickSort(int q[], int l, int r) {
if (l >= r) return;
int i = l - 1, j = r + 1, x = q[l + r >> 1];
while (i < j)
{
do i ++ ; while (q[i] < x);
do j -- ; while (q[j] > x);
if (i < j) swap(q[i], q[j]);
}
quickSort(q, l, j), quickSort(q, j + 1, r);
}

归并排序

1
2
3
4
5
6
7
8
9
10
11
12
13
void mergeSort(int q[], int l, int r) {
if (l >= r) return;
int mid = l + r >> 1;
mergeSort(q, l, mid);
mergeSort(q, mid + 1, r);
int k = 0, i = l, j = mid + 1;
while (i <= mid && j <= r)
if (q[i] <= q[j]) tmp[k ++ ] = q[i ++ ];
else tmp[k ++ ] = q[j ++ ];
while (i <= mid) tmp[k ++ ] = q[i ++ ];
while (j <= r) tmp[k ++ ] = q[j ++ ];
for (i = l, j = 0; i <= r; i ++, j ++ ) q[i] = tmp[j];
}

二分

整数二分

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
bool check(int x) {/* ... */} // 检查x是否满足某种性质

// 区间[l, r]被划分成[l, mid]和[mid + 1, r]时使用:
int bSearch_1(int l, int r) {
while (l < r) {
int mid = l + r >> 1;
if (check(mid)) r = mid; // check()判断mid是否满足性质
else l = mid + 1;
}
return l;
}
// 区间[l, r]被划分成[l, mid - 1]和[mid, r]时使用:
int bSearch_2(int l, int r) {
while (l < r) {
int mid = l + r + 1 >> 1;
if (check(mid)) l = mid;
else r = mid - 1;
}
return l;
}

浮点数二分

1
2
3
4
5
6
7
8
9
10
11
bool check(double x) {/* ... */} // 检查x是否满足某种性质

double bSearch_3(double l, double r) {
const double eps = 1e-6; // eps 表示精度,取决于题目对精度的要求
while (r - l > eps) {
double mid = (l + r) / 2;
if (check(mid)) r = mid;
else l = mid;
}
return l;
}

高精度

高精度加法

1
2
3
4
5
6
7
8
9
10
11
12
13
14
// C = A + B, A >= 0, B >= 0
vector<int> add(vector<int> &A, vector<int> &B) {
if (A.size() < B.size()) return add(B, A);
vector<int> C;
int t = 0;
for (int i = 0; i < A.size(); i ++ ) {
t += A[i];
if (i < B.size()) t += B[i];
C.push_back(t % 10);
t /= 10;
}
if (t) C.push_back(t);
return C;
}

高精度减法

1
2
3
4
5
6
7
8
9
10
11
12
13
// C = A - B, 满足A >= B, A >= 0, B >= 0
vector<int> sub(vector<int> &A, vector<int> &B) {
vector<int> C;
for (int i = 0, t = 0; i < A.size(); i ++ ) {
t = A[i] - t;
if (i < B.size()) t -= B[i];
C.push_back((t + 10) % 10);
if (t < 0) t = 1;
else t = 0;
}
while (C.size() > 1 && C.back() == 0) C.pop_back();
return C;
}

高精度乘低精度

1
2
3
4
5
6
7
8
9
10
11
12
// C = A * b, A >= 0, b >= 0
vector<int> mul(vector<int> &A, int b) {
vector<int> C;
int t = 0;
for (int i = 0; i < A.size() || t; i ++ ) {
if (i < A.size()) t += A[i] * b;
C.push_back(t % 10);
t /= 10;
}
while (C.size() > 1 && C.back() == 0) C.pop_back();
return C;
}

高精度除以低精度

1
2
3
4
5
6
7
8
9
10
11
12
13
// A / b = C ... r, A >= 0, b > 0
vector<int> div(vector<int> &A, int b, int &r) {
vector<int> C;
r = 0;
for (int i = A.size() - 1; i >= 0; i -- ) {
r = r * 10 + A[i];
C.push_back(r / b);
r %= b;
}
reverse(C.begin(), C.end());
while (C.size() > 1 && C.back() == 0) C.pop_back();
return C;
}

离散化

1
2
3
4
5
6
7
8
9
10
11
12
13
14
vector<int> alls; //存储所有待离散化的值
sort(alls.begin(), alls.end()); //将所有值排序
alls.erase(unique(alls.begin(), alls.end()), alls.end()); //去掉重复元素

//二分求出x对应的离散化的值
int find(int x) {
int l = 0, r = alls.size() - 1;
while(l < r) {
int mid = l + r >> 1;
if(alls[mid] >= x) r = mid;
else l = mid + 1;
}
return r + 1;
}

尺取法(双指针)

1
2
3
4
5
6
7
for (int i = 0, j = 0; i < n; i ++ ) {
while (j < i && check(i, j)) j ++ ;
// 具体问题的逻辑
}
//常见问题分类:
//(1) 对于一个序列,用两个指针维护一段区间
//(2) 对于两个序列,维护某种次序,比如归并排序中合并两个有序序列的操作

数论与数学知识

c++求上取整

⌈lp⌉=⌊l+p−1p⌋

快速幂

1
2
3
4
5
6
7
8
9
int qpow(int a, int b, int c){
int res = 1;
while(b){
if(b & 1) res = res * a % c; //不可写成res *= a % c
b >>= 1;
a = a * a % c;
}
return res;
}

逆元

费马小定理求逆元

费马小定理(Fermat’s little theorem)是数论中的一个重要定理,在1636年提出。如果p是一个质数,而整数a不是p的倍数,则有

ap−1≡1(mod p)

对上式变形得

ap−2a≡1(mod p)

则a mod p的逆元是ap−2

接下来通过qpow(a, p - 2, p)即可求出a mod p的逆元

快速幂求逆元

基于费马小定理,求a mod p的逆元。

要求是p是一个质数,并且p与a互质。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
int qPow(int a, int b, int k) {
int ans = 1;
while (b) {
if (b & 1) ans = (LL)ans * a % k;
a = (LL)a * a % k;
b >>= 1;
}
return ans;
}

{
int res = q_pow(a, p - 2, p);
if (a % p) printf("%d\n", res);
else puts("impossible");
}

线性逆元

证明:

线性求解n个数字的逆元,需要找到新元素的逆元同以往求解过逆元的关系。 以下面式子举例,对于要求解逆元的k,模数为p,有: p=ak+b (b<a,k)

进而有: ak+b≡0(modp)

两边同时乘以k-1b-1,得到:

ab−1+k−1≡0(modp)

即 k−1≡−ab−1(modp)

我们知道, a=⌊pk⌋

b=pmodk

因此,有

k−1≡−⌊pk⌋(pmodk)−1

1
2
3
4
5
inv[1] = 1;

for (int i = 2; i <= n; i++) {
inv[i] = (p - p / i) * inv[p % i] % p;
}

求解n个不同数字的逆元

求解n个不同数字的逆元,可以先维护一个前缀积,其最后一项是所有数字的乘积,求该项的逆元即求所有项逆元的乘积。由于逆元的特殊性质,逆元的乘积乘上其中某个元素即会消去对应的元素,因此我们可以借助前缀积来逐个迭代处理出所有数字的逆元。

(∏i=1nai)−1≡∏i=1nai−1(mod p)

(a1a2…an)−1≡a1−1a2−1…an−1(mod p)

且有

∏i=1nai−1∗an≡∏i=1n−1ai−1

于是便可以处理处所有元素的逆元:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
s[1] = a[1];

for (int i = 2; i <= n; i ++) {
s[i] = s[i - 1] * a[i] % p;
}

inv[n] = qpow(s[n],p - 2);

for (int i = n - 1; i >= 1; i --) {
inv[i] = inv[i + 1] * a[i + 1] % p;
}

for (int i = 2; i <= n; i ++) {
inv[i] = inv[i] * s[i - 1] % p;
}

扩展欧几里得算法

1
2
3
4
5
6
7
8
9
10
11
12
13
int exgcd(int a, int b, int &x, int &y)  // 扩展欧几里得算法, 求x, y,使得ax + by = gcd(a, b)
{
if (!b)
{
x = 1; y = 0;
return a;
}
//d始终都是a和b的最大公约数, 倒着传参是为了简化计算
int d = exgcd(b, a % b, y, x);
y -= (a / b) * x;
return d;
//返回d,使得能够在求最大公约数的同时完成x,y的凑整
}

高斯消元法

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
int gauss() {
int c, r;
for (r = 1, c = 1; c <= n; c ++) {
int t = r;
for (int i = r + 1; i <= n; i ++)
if (fabs(a[i][c]) - fabs(a[t][c]) > eps) t = i;
if (fabs(a[t][c]) < eps) continue;
if (t != r) swap(a[t], a[r]);
for (int i = n + 1; i >= c; i --) a[r][i] /= a[r][c];
for (int i = r + 1; i <= n; i ++) {
if (fabs(a[i][c]) > eps)
for (int j = n + 1; j >= c; j --)
a[i][j] -= a[r][j] * a[i][c];
}
r ++;
}
if (r <= n) {
for (int i = r; i <= n; i ++) {
if (fabs(a[i][n + 1]) > eps) return 2; // 代表有无穷多组解
}
return 1; // 代表无解
}
for (int i = n; i >= 1; i --) {
for (int j = i + 1; j <= n; j ++) {
a[i][n + 1] -= a[i][j] * a[j][n + 1];
}
} // 代表有唯一组解
return 0;
}

筛质数

朴素筛法

1
2
3
4
5
6
7
8
void getPrimes(int n) {
for (int i = 2; i <= n; i ++) {
if (!st[i]) {
primes[cnt ++] = n;
}
for (int j = i + i; i <= n; j += i) st[j] = true;
}
}

时间复杂度分析:

每个数的倍数都被筛掉了,因此时间复杂度为:

n2+n3+⋯+nn

=n(12+13+…+1n)

=n(ln(n)+c) 其中c是一个欧拉常数,是一个无限不循环小数,值是0.577左右

质数定理

1~n中有nln(n)个质数

我们可以只用把质数的倍数删掉,这样粗劣的时间复杂度就是n(ln(n))ln(n),但是这只是个粗略的估计,这个估计是不对的,真实的时间复杂度是O(nlog(log(n)))。

这个算法也就是下面的埃氏筛法。

埃氏筛法

1
2
3
4
5
6
7
8
9
10
11
//O(nloglogn)
int getPrimes(int n){
int idx = 1;
for(int i = 2; i <= n; i ++){
if(!st[i]){
prime[idx++] = i;
for(int j = i + i; j <= n; j += i) st[j] = 1;
}
}
return idx - 1;
}

线性筛法

线性筛法在107次方的情况下会比埃氏筛法快一倍左右,在106的情况下两个算法速度差不多。

整体思路:n只会被它的最小质因子筛掉

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
void getPrimes(int n){
for (int i = 2; i <= n; i++) {
if (!st[i]) primes[cnt++] = i;
// primes[j] <= n / i即primes * i <= n,即x <= n
for (int j = 0; primes[j] <= n / i; j ++) {
// 当还没有执行到下面的break语句时
// 由于我们是从小到大枚举所有质数的,且还没有枚举到i的最小质因子
// 所以当前的primes[j]一定是primes[j] * i的最小质因子
// 所以就把primes[j] * i筛掉
st[primes[j] * i] = true;
// 当这段代码执行的时候就意味着primes[j]一定是i的最小质因子
// primes[j]是从小到大枚举的质数,当第一次满足i % primes[j] == 0的时候
// 说明primes[j]就一定是i的最小质因子
// 同时此时primes[j]也一定是primes[j] * i的最小质因子
// 因此上面的筛成立
// 当如果此时再继续向后枚举质数,接下来的质数就不是primes[j] * i的最小质因子了
// 因此要即时break掉
if(i % primes[j] == 0) break;
}
}
}

证明线性:

对于一个合数x,假设primes[j]是x的最小质因子,当i枚举到x/primes[j]的时候,我们就可以在4到18行把x给筛掉。

第五行的判断条件不需要加j <= cnt

因为当i是合数的时候,primes[j]一定会在枚举到i的最小质因子时停下来,而i的最小质因子一定是小于i的,会在i之前被标记为primes,放到primes数组中来。

当i是质数的时候,当primes[j]=i的时候,枚举也会停下来。(是在break的时候停下来)

欧拉函数

ϕ(n): 1~n中和n互质的数的个数

ϕ(6)=2

一个数可以写成很多个质数的乘积的形式:

N=P1α1P2α2…Pkαk

ϕ(N)=N(1−1p1)(1−1p2)…(1−1pk)

上式的证明会用到容斥原理。

那么如何计算从1~N中和N互质的数的个数呢

  • 从1~N中去掉p1,p2,…,pk的所有倍数

    这里面就会多去一部分数,比如一个数可能既是p1的倍数又是p2的倍数

  • 加上所有pi*pj的倍数

    N−NP1−NP1−…−NP1+NP1P2+NP1P3+…

  • 减去所有三个质数的倍数

然后把最上面的式子展开,会发现这两个式子是相等的。

时间复杂度:时间复杂度瓶颈在分解质因数上,分解质因数的时间复杂度是O(N)

代码:

1
2
3
4
5
6
7
8
9
10
11
int euler(int a) {
int res = a;
for (int i = 2; i <= a / i; i ++) {
if (a % i == 0) {
res = res / i * (i - 1);
while (a % i == 0) a /= i;
}
}
if (a > 1) res = res / a * (a - 1);
return res;
}

筛法求欧拉函数

φ(ab)=φ(a)φ(b)gcd(a,b)φ(gcd(a,b))

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
int getEuler(int n){
phi[1] = 1;
for(int i = 2; i <= n; i ++){
if(!st[i]){
prime[cnt ++] = i;
phi[i] = i - 1;
}
for(int j = 0; prime[j] <= n / i; j ++){
st[prime[j] * i] = true;
if(i % prime[j] == 0){
// 此时pj是i的最小质因子,i的质因子中有j了,所以pj*i的所有(1-pj*i的质因子)都在phi[i]中计算过了,因此两者的区别就只有式子开头的N,所以phi[pj * i] = phi[i] * prime[j]
phi[prime[j] * i] = phi[i] * prime[j];
break;
}
// 这里pj - 1就是(1 - 1 / pj) * pj
phi[prime[j] * i] = phi[i] * (prime[j] - 1);
}
}
int res = 0;
for(int i = 1; i <= n; i ++){
res += phi[i];
}
return res;
}

组合数

组合数1

主要思想:Cab=Ca−1b−1×Ca−1b

时间复杂度:O(n^2)

1
2
3
4
5
6
7
8
9
10
int c[N][N];

void init(){
for(int i = 0; i < N; i ++){
for(int j = 0; j <= i; j ++){
if(j == 0) c[i][j] = 1;
else c[i][j] = (c[i - 1][j] + c[i - 1][j - 1]) % mod;
}
}
}

组合数2

预处理阶乘

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
int fact[N], infact[N];//存的分别是i的阶乘及其逆元

// 求a^k mod p
int qPow(int a, int k, int p) {
int res = 1;
while (k) {
if (k & 1) res = (LL)res * a % p;
a = (LL)a * a % p;
k >>= 1;
}
return res;
}

{
fact[0] = infact[0] = 1;
for (int i = 1; i < N; i ++) {
fact[i] = (LL) fact[i - 1] * i % mod;
infact[i] = (LL) infact[i - 1] * qmi(i, mod - 2, mod) % mod;
}
int a, b;
scanf("%d%d", &a, &b);
//这里要及时取模,否则会爆long long
printf("%d\n", (LL) fact[a] * infact[b] % mod * infact[a - b] % mod);
}
}

博弈论

必胜态:从这个状态总是有某种方式走到一个必败态

必败态:从这个状态无论怎么走都是会走到必胜态

如果先手初始处于必败态,那么先手必败,反之先手必胜

SG函数

首先,我们定义一个mex函数(或者称为mex操作):

mex(A): 返回A集合中未曾出现过的最小的自然数

sg(x): 如果处于最终态,则返回0;否则返回该节点可以到达的状态(A集合)中未曾出现过的最小的自然数

图论

最短路

Dijkstra求最短路(朴素版)

Dijkstra算法总体流程:

  1. dist[1] = 0, dist[i] = +∞
  2. for i : 1 ~ n
    • t←不在s中的距离最近的点(其中s表示当前已确定最短距离的点的集合)O(n2)
    • s← t n×O(1)
    • 用t更新其他点的距离 O(m)

朴素版dijkstra算法时间复杂度是O(n2)(其中n代表图中点的个数)

因此适合用于稠密图,即边多点少的图

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
int n, m;
int g[N][N]; //存储图,g[i][j]的值是i到j的距离,因为是稠密图,所以用邻接矩阵来存
int dist[N]; //dist[i]存的是i节点到1节点的最短距离
int st[N]; //st[i]为true说明i节点的值是最小距离

int dijkstra(){
memset(dist, 0x3f, sizeof dist);
dist[1] = 0;
//循环n-1次,即更新n-1次st[?],这样就把1到1~n这n个节点的最短路都算出来了
for(int i = 1; i <= n - 1; i ++){
int t = -1;
//找到未存入最短值且到1节点距离最短的节点t
for(int j = 1; j <= n; j++){
if(!st[j] && (t == -1 || dist[t] > dist[j]))
t = j;
}
//if(t == n) goto end;这个优化只有这题能加,意思是当求得1到n的最短路时,即可break,因为这就是题目所求
st[t] = true;
//用t节点来更新其他节点(不是t的邻点的话他的g[t][j]就为无穷)
for(int j = 1; j <= n; j ++){
dist[j] = min(dist[j], dist[t] + g[t][j]);
}
}
//end:
if(dist[n] == 0x3f3f3f3f) return -1;
return dist[n];
}

堆优化的Dijkstra算法

堆优化版Dijkstra算法总体流程:

  1. dist[1] = 0, dist[i] = +∞
  2. for i : 1 ~ n
    • t←不在s中的距离最近的点(其中s表示当前已确定最短距离的点的集合)O(n)
    • s← t O(n)
    • 用t更新其他点的距离 O(mlog(n))

堆优化版dijkstra算法时间复杂度是O(mlog(n))(其中n代表图中点的个数, m代表边的个数)

因此适合用于稀疏图,即边少点多的图因此适合用于稀疏图,即边少点多的图因此适合用于稀疏图,即边少点多的图

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
37
typedef pair<int, int> PII;

int h[N], e[N], ne[N], idx;
int w[N];
int dist[N];
bool st[N];
int n, m;

void add(int x, int y, int c){
w[idx] = c;
e[idx] = y;
ne[idx] = h[x];
h[x] = idx++;
}

int dijkstra(){
memset(dist, 0x3f, sizeof dist);
dist[1] = 0;
priority_queue<PII, vector<PII>, greater<PII>> heap;
heap.push({0, 1});
while(heap.size()){
PII k = heap.top();
heap.pop();
int ver = k.second, distance = k.first;
if(st[ver]) continue;
st[ver] = true;
for(int i = h[ver]; i != -1; i = ne[i]){
int j = e[i];
if(dist[j] > distance + w[i]){
dist[j] = distance + w[i];
heap.push({dist[j], j});
}
}
}
if(dist[n] == 0x3f3f3f3f) return -1;
else return dist[n];
}

SPFA

spfa算法

底子是: for 所有边a,b,w

1
dist[b] = min(dist[b], dist[a] + w)

流程是: queue ← 1 while queue不空:

  1. t←queue.front(), q.pop();
  2. 更新t的所有出边t⟶wb, q←b;

spfa求最短路不能处理有自环负权和负权环的情况,这两种情况会在while循环中卡住,所以这题数据不太强

1.stl queue

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
37
38
39
int n, m;
int h[N], w[N], e[N], ne[N], idx;
int dist[N];
bool st[N]; // st数组是判断当前节点是否在队列当中,防止重复入队

void add(int a, int b, int c) {
e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx ++ ;
}

int spfa() {
memset(dist, 0x3f, sizeof dist);
dist[1] = 0;
queue<int> q;
q.push(1);
st[1] = true;
while (q.size()) {
int t = q.front();
q.pop();
st[t] = false;
for (int i = h[t]; i != -1; i = ne[i]) {
int j = e[i];
if (dist[j] > dist[t] + w[i]) {
dist[j] = dist[t] + w[i];
if (!st[j]) {
q.push(j);
st[j] = true;
}
}
}
}
return dist[n];
}

{
memset(h, -1, sizeof h);
int t = spfa();
if (t == 0x3f3f3f3f) puts("impossible");
else printf("%d\n", t);
}

循环队列

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
37
38
int n, m, S, T;
int h[N], e[M], w[M], ne[M], idx;
int dist[N], q[N];
bool st[N];

void add(int a, int b, int c) {
e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx++;
}

void spfa() {
memset(dist, 0x3f, sizeof dist);
dist[S] = 0;
// hh指向队头元素,tt指向队尾元素的后一个元素。
int hh = 0, tt = 1;
q[0] = S, st[S] = true;
while(hh != tt){
int t = q[hh++];
if(hh == N) hh = 0;
st[t] = false;
for(int i = h[t]; ~i; i = ne[i]){
int j = e[i];
if(dist[j] > dist[t] + w[i]){
dist[j] = dist[t] + w[i];
if(!st[j]){
q[tt++] = j;
if(tt == N) tt = 0;
st[j] = true;
}
}
}
}
}

{
memset(h, -1, sizeof h);
spfa();
cout << dist[T] << endl;
}

最小生成树

kruskal算法

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
37
38
39
40
41
42
43
int n, m;
int p[N];

struct Edge {
int a, b, w;
bool operator<(const Edge &W) const {
return w < W.w;
}
}edges[M];

int find(int x) {
if (p[x] != x) p[x] = find(p[x]); // 路径压缩
return p[x];
}

int kruskal() {
sort(edges, edges + m); // 将边按照权重从小到大排序
for (int i = 1; i <= n; i ++ ) p[i] = i; // 初始化并查集
int res = 0, cnt = 0;
for (int i = 0; i < m; i ++ ) {
int a = edges[i].a, b = edges[i].b, w = edges[i].w;
a = find(a), b = find(b);
// 判断两个节点是否在同一个连通块中
if (a != b) {
p[a] = b; // 将两个连通块合并
res += w; // 将边权重累加到结果中
cnt ++ ; // 记录加入生成树的边的数量
}
}
if (cnt < n - 1) return INF; // 判断生成树中是否包含n-1条边
return res;
}

{
for (int i = 0; i < m; i ++ ) {
int a, b, w;
scanf("%d%d%d", &a, &b, &w);
edges[i] = {a, b, w};
}
int t = kruskal();
if (t == INF) puts("impossible"); // 无法生成最小生成树
else printf("%d\n", t); // 输出最小生成树的权重
}

Kruskal算法是一种贪心算法,其正确性可以通过贪心选择性质的证明得到。

假设我们要构造一个无向连通图的最小生成树。我们定义一个边集E为“好的”,如果它是某棵最小生成树的子集。我们定义一个边集E为“坏的”,如果它包含了某个环上的边。

首先我们考虑一个引理:对于任何的连通图,E为“好的”,则E中的边是没有环的。

证明:如果E中存在环,则我们可以从中删去任意一条边,得到一个更小的E集合,仍然满足“好的”性质。因此,在“好的”边集中,所有的边都没有构成环。

然后我们考虑另一个引理:对于任何的连通图,令E为“好的”边集合,令e为一条“好的”边,并令E′=E∖e。则E′为某棵生成树的子集。

证明:因为e为“好的”边,所以E中不包含e的时候,E仍然是连通的。因此,E′也是连通的。由于E′中没有环,所以它也是无向无环图,也就是一棵树。此外,E′中有n−1条边,与任何生成树的边数相同,所以E′也是某棵生成树的子集。

有了上面的两个引理,我们可以得到Kruskal算法的正确性证明:

  1. 初始化E为空集;
  2. 将所有边按照权值从小到大排序;
  3. 依次考虑每条边e,如果将其加入E不会产生环,则将其加入E中;
  4. 当加入了n−1条边后,停止算法。此时E即为一棵生成树。

根据引理1,E中所有的边没有环;根据引理2,算法停止时,E为某棵生成树的子集;根据Kruskal算法的贪心选择性质,我们知道E为全局最优的“好的”边集合,因此E中的边必定构成了一棵最小生成树。

因此,Kruskal算法的正确性得证。

LCA(最近公共祖先)

倍增法求LCA的步骤为:

  • 把两个点跳到同一层, 即把下面的x跳到和y同一层
  • 在depth[x] == depth[y]之后,
    1. x == y 则该点就是x和y的最近公共祖先
    2. x != y 即他俩同层但不相同,则继续让两个点同时往上跳,一直跳到他们的最近公共祖先的下面一层

这里跳到最近公共祖先的下一层是因为不这样做的话有可能我们某一次跳过头了,跳过了lca, 来到了lca的某一个祖宗节点上,这样我们就无法判断lca在现处节点下面的哪一层上了

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
37
38
39
40
41
42
43
44
45
46
// depth表示某个节点在树中的深度,其中根节点的dpeth为1, 越往下深度越大。
// fa[i][k]指节点i向上走2^k布所能到达的节点。
// fa的第二个参数,是向上走的最大距离取log下取整,这里是对点数4e4取log得15
int depth[N], fa[N][16];

// 通过宽搜来初始化depth和fa数组。
void bfs(int root) {
queue<int> q;
memset(depth, 0x3f, sizeof depth);
// 这里depth[0] = 0起哨兵作用,以防跳出根节点之上。
depth[0] = 0, depth[root] = 1;
q.push(root);
while (!q.empty()) {
int t = q.front();
q.pop();
for (int i = h[t]; ~i; i = ne[i]) {
int j = e[i];
if (depth[j] > depth[t] + 1) {
depth[j] = depth[t] + 1;
q.push(j);
fa[j][0] = t;
for (int k = 1; k <= 15; k ++) {
fa[j][k] = fa[fa[j][k - 1]][k - 1];
}
}
}
}
}

int lca(int a, int b) {
if (depth[a] < depth[b]) swap(a, b);
for (int k = 15; k >= 0; k --) {
if (depth[fa[a][k]] >= depth[b]) {
a = fa[a][k];
}
// 使a尽量跳到和b同层,并最终一定能跳到。
}
if (a == b) return a;
for (int k = 15; k >= 0; k --) {
if (fa[a][k] != fa[b][k]) {
a = fa[a][k];
b = fa[b][k];
}
}
return fa[a][0];
}

dfs版本预处理

同时顺便求出每个节点向上对应步数的最小的边权

1
2
3
4
5
6
7
8
9
10
11
12
13
14
void dfs(int u, int fa) {
depth[u] = depth[fa] + 1;
f[u][0] = fa;
for (int i = 1; 1 << i < depth[u]; i ++) {
f[u][i] = f[f[u][i - 1]][i - 1];
minv[u][i] = min(minv[f[u][i - 1]][i - 1], minv[u][i - 1]);
}
for (int i = h[u]; ~i; i = ne[i]) {
int j = e[i];
if (j == fa) continue;
minv[j][0] = w[i];
dfs(j, u);
}
}

欧拉路径与欧拉回路

欧拉路径:如果在一张图中,可以从一点出发遍历所有的边,每条边只能遍历一次,那么遍历过程中的这条路径就叫做欧拉路径。

欧拉回路:通过图中所有边恰好一次且行遍所有顶点的回路称为欧拉回路。

dfs

dfs变形:在普通的dfs中,我们通常选择对点进行判重,但在求欧拉路径的时候,因为存在环,所以一个点可能被遍历多次,因此我们采取对边判重。

dfs删边优化:因为欧拉路径中每条边只走一次,因此我们可以在每条边被遍历之后把它删除,以节省判重时间,达到时间上的优化。

注意遍历时要写成i = h[u],可以考虑节点1有3个自环(有向边)。 写i = h[u]的话在遍历完三条边回溯的时候,接下来要遍历的边都是h[u] = -1,即遍历结束,保证了每条边都被遍历一次,且时间是线性的。 如果写i = ne[i]的话,则在回溯到第二条边的遍历for循环时,接下来还是会枚举到ne[i],即第三条边(之后会在第三条边的for循环中continue出来)。

img

上图即为dfs的遍历顺序,可以发现蓝色的边倒序即是欧拉路径。

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
int n, m, type, cnt, ans[M];
int used[2 * M];
int in[N], out[N];
int h[N], e[2 * M], ne[2 * M], idx;

void addEdge(int a, int b) {
e[idx] = b, ne[idx] = h[a], h[a] = idx ++;
}

void dfs(int u) {
// 注意这里要写成i = h[u]
for (int i = h[u]; ~i; i = h[u]) {
if (used[i]) {
h[u] = ne[i];
continue;
}
used[i] = 1;
if (type == 1) used[i ^ 1] = 1; // 若为无向图,则将反向边判重
h[u] = ne[i];
dfs(e[i]);
if (type == 1) {
if (i % 2) ans[++cnt] = -(i + 1) / 2;
else ans[++cnt] = (i + 2) / 2;
}
else ans[++cnt] = i + 1;
}
}

fleury

img

感觉和dfs算法基本一致,该算法在有桥的时候时间复杂度为O(m2)。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
vector<PII> G[10000];

void dfs(int u) {
while (G[u].size()) {
pii p = G[u].back();
G[u].pop_back();
if (vis[p.scd]) {
continue;
}
vis[p.scd] = 1;
dfs(p.fst);
}
stk[++top] = pr[u];
}

数据结构

链表

单链表(静态)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
//head是头指针,e存权值,ne存下一个节点,idx分配节点
int head, e[N], ne[N], idx;

void init(){
head = -1; //链表中最后一个节点的ne始终是-1
idx = 0;
}

void add_to_head(int x){ //在头结点前建立节点
e[idx] = x;
ne[idx] = head;
head = idx ++;
}

void add_to_k(int k, int x){
e[idx] = x;
ne[idx] = ne[k];
ne[k] = idx ++;
}

void remove(int k){
ne[k] = ne[ne[k]];
}

双链表

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
int r[N], l[N], e[N], idx;

//1节点和0节点相当于变相的head指针,没有e值
void init(){
r[0] = 1;
l[1] = 0;
idx = 2;
}

//在k节点的右边插入值为x的节点
void insert(int k, int x){
e[idx] = x;
l[idx] = k;
r[idx] = r[k];
l[r[k]] = idx; //必须先做这个,否则后面的r[k]会被修改掉
r[k] = idx;
idx ++;
}

void remove(int k){
r[l[k]] = r[k];
l[r[k]] = l[k];
}

队列

一般队列

1
2
3
4
5
6
7
8
9
10
11
12
13
14
int hh = 0, tt = -1;
int q[N];

void push(int x) {
q[++tt] = x;
}

void pop() {
hh++;
}

int front() {
return q[hh];
}

循环队列

主要在bfs及spfa算法中使用

1
2
3
4
5
6
7
8
9
10
11
12
13
void bfs(int x) {
int q[N];
int hh = 0, tt = 0;
q[tt++] = x;
st[x] = true;
while (hh != tt) {
int t = q[hh++];
if (hh == N) hh = 0;
for () {

}
}
}

单调队列

以滑动窗口为例

1
2
3
4
5
6
7
8
9
10
11
12
13
int n, k; // k代表滑动窗口的长度
int a[N], q[N];
int hh, tt;

{
hh = 0, tt = -1;
for (int i = 1; i <= n; i ++) {
if (hh <= tt && q[hh] < i - k + 1) hh ++;
while (hh <= tt && a[q[tt]] >= a[i]) tt --;
q[++ tt] = i;
if(i >= k) printf("%d ", a[q[hh]]);
}
}

一般栈

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
int m;
int stack[N], tt;

void push(int x) {
stack[++ tt] = x;
}

void pop() {
tt --;
}

bool empty() {
if (tt > 0) return false;
return true;
}

int query() {
return stack[tt];
}

表达式求值

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
37
38
39
40
41
stack<int> num;
stack<char> op;

void eval(){
auto b = num.top(); num.pop();
auto a = num.top(); num.pop();
auto c = op.top(); op.pop();
int x;
if(c == '+') x = a + b;
else if (c == '-') x = a - b;
else if (c == '*') x = a * b;
else x = a / b;
num.push(x);
}

{
unordered_map<char, int> pr{{'+', 1}, {'-', 1}, {'*', 2}, {'/', 2}};
string str;
cin >> str;
for (int i = 0; i < str.size(); i ++) {
auto c = str[i];
if (isdigit(c)) {
int x = 0, j = i;
while (j < str.size() && isdigit(str[j]))
x = x * 10 + str[j ++] - '0';
i = j - 1;
num.push(x);
}
else if (c == '(') op.push(c);
else if (c == ')') {
while (op.top() != '(') eval();
op.pop();
}
else {
while (op.size() && pr[op.top()] >= pr[c]) eval();
op.push(c);
}
}
while (op.size()) eval();
cout << num.top() << endl;
}

单调栈

1
2
3
4
5
6
7
8
9
10
11
12
13
14
int stk[N], tt;
int n;
int a[N];

{
cin >> n;
for (int i = 1; i <= n; i ++) scanf("%d", &a[i]);
for (int i = 1; i <= n; i ++) {
while (tt && stk[tt] >= a[i]) tt --;
if (tt) cout << stk[tt] << ' ';
else cout << -1 << ' ';
stk[++ tt] = a[i];
}
}

KMP

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
int n, m;
char s[1000010], p[100010];
int ne[100010];
// ne[1] = 0, ne[2]的值不确定,注意next数组的定义可能会有多种
// 有些定义下的ne[2]的值必定是1

{
cin >> n >> p + 1 >> m >> s + 1;
//构造next数组,存储最大公共前后缀
//i从2开始,默认ne[1] = 0.
for (int i = 2, j = 0; i <= n; i ++) {
//求ne[i]的时候ne[i - 1]已经求出来了, 此时j和i-1对齐
while (j && p[i] != p[j + 1]) j = ne[j]; //j回滚到当前前缀串的最大公共前缀串
if (p[i] == p[j + 1]) j ++; //p[i]与p[j + 1]匹配成功,可以匹配下一个位置, 这里让匹配好的j(p串匹配好的字符数)变成j + 1
ne[i] = j;
}
//匹配sp
for (int i = 1, j = 0; i <= m; i ++) {
while (j && s[i] != p[j + 1]) j = ne[j];
if (s[i] == p[j + 1]) j++;
if (j == n) {
printf("%d ", i - j);
j = ne[j];
}
}
}

TRIE

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
const int N = 100010; //存的是所有节点的最大个数

int n;
int son[N][26], cnt[N], idx;

void insert(char str[]) {
int p = 0; // 每次从根节点开始找
for (int i = 0; str[i]; i ++) {
int u = str[i] - 'a';
if (!son[p][u]) son[p][u] = ++idx;
p = son[p][u];
}
cnt[p] ++; //标记不是打在要插入的字符串的最后一个字母对应的节点的下一个节点上的***
}

int query(char str[]) {
int p = 0;
for (int i = 0; str[i]; i ++) {
int u = str[i] - 'a';
if (!son[p][u]) return 0;
p = son[p][u];
}
return cnt[p];
}

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
int n;
int h[N], pk[N], kp[N];
int idx, len; //idx是用来维护第几个插入堆中的点

void hswap(int a, int b){
swap(h[a], h[b]);
swap(pk[a], pk[b]);
swap(kp[pk[a]], kp[pk[b]]);
}

void up(int u){
while(u / 2 && h[u] < h[u / 2]){
hswap(u, u / 2);
u /= 2;
}
}

void down(int u){
int t = u;
if(u * 2 <= len && h[u * 2] < h[t]) t = u * 2;
if(u * 2 + 1 <= len && h[u * 2 + 1] < h[t]) t = u * 2 + 1;
if(u != t){
hswap(u, t);
down(t);
}
}

void insert(int x){
h[++len] = x;
pk[len] = ++idx;
kp[idx] = len;
up(len);
}

void delmin(){
hswap(1, len);
len --;
down(1);
}

void del(int u){
hswap(u, len);
len --;
down(u);
up(u);
}

// void del(int k){
// int t = kp[k];
// hswap(kp[k], len);
// len --;
// up(t);
// down(t);
// }

void change (int u, int x){
h[u] = x;
up(u), down(u);
}

并查集

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
//p[i]存储i节点的祖宗节点,d[i]存储i节点到祖宗节点的距离
int p[N], d[N];

//初始化
void init() {
for (int i = 0; i <= n; i ++) {
p[i] = i;
d[i] = 0;
}
}

//找祖宗节点,同时更新d数组
int find(int x) {
if (x != p[x]) {
int t = find(p[x]);
//x到祖宗的距离=x到p[x]的距离+p[x]到祖宗的距离
//这里的距离更新仅仅是更新的d[x]正确(找祖先)的情况下,在做并差集合并时还得手动更新
d[x] = d[x] + d[p[x]];
p[x] = t;
}
return p[x];
}

int find (int x) {
if(x != p[x]) p[x] = find(p[x]);
return p[x];
}

哈希表

模拟

拉链法
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
int h[N], e[N], ne[N], idx;

void insert(int x) {
int k = (x % N + N) % N;
e[idx] = x;
ne[idx] = h[k];
h[k] = idx++;
}

bool find(int x) {
int k = (x % N + N) % N;
for(int i = h[k]; i != -1; i = ne[i]){
if(e[i] == x)
return true;
}
return false;
}
开放寻址法
1
2
3
4
5
6
7
8
9
10
11
12
const int N = 200003, null = 0x3f3f3f3f;

int a[N];

int find(int x) {
int k = (x % N + N) % N;
while(a[k] != null && a[k] != x){
k ++;
if(k == N) k = 0;
}
return k;
}

树状数组和线段树

树状数组

“树状数组的下标从1开始,不可以从0开始,因为lowbit(0)=0时会出现死循环”

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
int n, m;
int a[N];
int tr[N];

int lowbit(int x) {
//lowbit这个函数的功能就是求某一个数的二进制表示中最低的一位1,举个例子,
//x = 6,它的二进制为110,那么lowbit(x)就返回2,因为最后一位1表示2
return x & -x;
}

void add(int x, int v) {
for(int i = x; i <= n; i += lowbit(i)) tr[i] += v;
}

int query(int x) { //求1~x的和
int res = 0;
for(int i = x; i; i -= lowbit(i)) res += tr[i];
return res;
}

线段树

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
37
38
39
int n, m;
int w[N];
struct Node{
int l, r;
int sum;
}tr[N * 4];

void pushup(int u) {
tr[u].sum = tr[u << 1].sum + tr[u << 1 | 1].sum;
}

void build(int u, int l, int r) {
if (l == r) tr[u] = {l, r, w[r]};
else {
tr[u] = {l, r};
int mid = l + r >> 1;
build(u << 1, l, mid), build(u << 1 | 1, mid + 1, r);
pushup(u);
}
}

int query(int u, int l, int r) {
if (tr[u].l >= l && tr[u].r <= r) return tr[u].sum;
int mid = tr[u].l + tr[u].r >> 1;
int sum = 0;
if (l <= mid) sum = query(u << 1, l, r);
if (r > mid) sum += query(u << 1 | 1, l, r);
return sum;
}

void modify(int u, int x, int v){
if (tr[u].l == tr[u].r) tr[u].sum += v;
else{
int mid = tr[u].l + tr[u].r >> 1;
if (x <= mid) modify(u << 1, x, v);
else modify(u << 1 | 1, x, v);
pushup(u);
}
}

树链剖分(重链剖分)

将树中任意一条路径转化为O(logn)段连续区间

  1. 将一棵树转化为一个序列
  2. 树中路径转化为logn段连续区间

dfs序(dfn):优先遍历重儿子,即可保证重链上所有点的编号是连续的,注意这里的dfs是按照优先遍历重儿子来的dfs序

定理:树中任意一条路径均可拆分成O(logn)条重链,即可拆分成O(logn)段连续区间

重儿子:某个节点的所有子树中size最大的那个的父节点是当前节点的重儿子,其他节点为轻儿子

重边:重儿子往他的父节点去的边

轻边:其他所有边

重链:重边构成的极大的一条链

重儿子所在的重链的top是他往上的轻儿子,轻儿子所在的重链的top是他自己

img

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
int w[N], h[N], e[M], ne[M], idx;
int id[N], nw[N], cnt;
int dep[N], sz[N], top[N], fa[N], son[N];

// 预处理出来每个点的重儿子,深度,所在子数大小
void dfs1(int u, int father, int depth) {
dep[u] = depth, fa[u] = father, sz[u] = 1;
for (int i = h[u]; ~i; i = ne[i]) {
int j = e[i];
if (j == father) continue;
dfs1(j, u, depth + 1);
sz[u] += sz[j];
if (sz[son[u]] < sz[j]) son[u] = j;
}
}

// 算出每个节点的dfn序,每个节点所在的重链的顶点是谁
void dfs2(int u, int t) {
id[u] = ++cnt, nw[cnt] = w[u], top[u] = t;
if (!son[u]) return;
dfs2(son[u], t);
for (int i = h[u]; ~i; i = ne[i]) {
int j = e[i];
if (j == fa[u] || j == son[u]) continue;
dfs2(j, u);
}
}

树上启发式合并

用同一套数组(当然也可以是其他数据结构)来记录所有子树的信息,在更新新的子树信息前把当前子树的信息存下来。

一般地思考的话,我们可以在每次算完当前子树信息,将要回溯的时候,把数组全部清空,但是这样时间复杂度会达到n^2级别,因此考虑优化。

结论:每次先算轻儿子为根的子树,再算重儿子为根的子树,利用重儿子为根的子树的信息来更新当前节点为根的子树的信息。并且在算完轻儿子为根的子树的信息后清空信息。这样可以把时间复杂度压缩为O(logn)

为什么呢?

考虑每个节点对答案的贡献次数,即搜索次数, 即这个点所在的所有子树中,有多少棵会被遍历。由遍历策略导致,只有轻儿子为根的子树才会被重复遍历。因此贡献次数取决于当前节点所在的子树中有多少棵子树是他父节点的轻儿子。换句话来说,就是当前节点到根节点的路径中,有多少条边是轻边。由树链剖分的性质可知最多有logn条轻边。

为什么是logn条轻边呢?

因为我们从当前点往上走,每走一条轻边,子树的元素个数至少乘2,因为上面的父节点会有重儿子且不是当前节点。所以最多只能走logn条轻边。

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
void dfs0(int u, int fa) {
sz[u] = 1;
for (int i = h[u]; ~i; i = ne[i]) {
int j = e[i];
if (j == fa) continue;
dfs0(j, u);
sz[u] += sz[j];
if (sz[j] > sz[son[u]]) son[u] = j;
}
}

// pson代表当前u的重儿子,即不要重复算重儿子的部分
void update(int u, int fa, int sign, int pson) {
cnt[c[u]] += sign;
if (cnt[c[u]] > mx) mx = cnt[c[u]], sum = c[u];
else if (cnt[c[u]] == mx) sum += c[u];
for (int i = h[u]; ~i; i = ne[i]) {
int j = e[i];
if (j == fa || j == pson) continue;
update(j, u, sign, pson);
}
}

// op代表u是重儿子还是轻儿子
void dfs(int u, int fa, int op) {
for (int i = h[u]; ~i; i = ne[i]) {
int j = e[i];
if (j == fa || j == son[u]) continue;
dfs(j, u, 0);
}
if (son[u]) dfs(son[u], u, 1);
update(u, fa, 1, son[u]);
ans[u] = sum;
if (!op) update(u, fa, -1, 0), sum = mx = 0;
}

莫队

基础莫队

本质是通过排序优化了普通尺取法的时间复杂度。

考虑如果某一列询问的右端点是递增的,那么我们更新答案的时候,右指针只会从左往右移动,那么i指针的移动次数是O(n)的。

当然,我们不可能让左右端点都单调来做到总体O(n)。

考虑对左端点进行分块。

莫队排序: 左端点按照分块的编号来排,如果分块编号不同的话编号较小的靠前,如果相同的话右端点小的在前。可以证明这样排完序的话时间复杂度可以做到O(nn)。

这样我们把区间分成了n块,每块的长度都是n,在每一块内部,所有查询的右端点是递增的。

右指针:在每一块内部,右端点递增,所以右端点走的总数不会超过n(注意每一块内部放的是左端点,右端点是完全有可能超出这个块的范围的,因此这里为n),一共有n块,所以右端点总共走的次数不会超过nn。

左指针:先考虑每一次询问:

  1. 左指针在块内部移动,块的长度是n,因此最多只会移动n次。
  2. 左指针在相邻两块之间移动,最坏是从第一个块的左端点移动到第二个块的右端点,因此最坏移动2n次。

因为有q次询问,所以1是qn,2是2n。 因为一共有n个块,我们从前往后要跨过n−1次,每次最多是2n,所以时间复杂度是2n。

所以总时间复杂度为O(qn)。

玄学优化

奇数块:块内按照右端点从小到大排。

偶数快:块内按照右端点从大到小排。

二者可以互换。

前一段从左到右滚,右端点从左滚到了右边接近n的位置,下一次从右到左滚,可以更方便一些,相当于更加顺路了。

如果我们块的大小是a的话,那么块的数量就是na,那么r的复杂度就是nan=n2a,l的复杂度是qa(只考虑块内),总复杂度为两者之和,当两者相等时取得最小值,解得a=n2q。

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
// 代码为统计一段区间上是否有不相同的数,没有输出yes
int n, q;
int a[N];
vector<array<int, 3>> v;
int cnt[210];
int ans[N];
int len;

int get(int x) {
return x / len;
}

void adds(int x, int &res) {
if (!cnt[x]) res ++;
cnt[x] ++;
}

void del(int x, int &res) {
cnt[x] --;
if (!cnt[x]) res --;
}

void solve() {
cin >> n >> q;
len = max(1, (int)sqrt((double)n * n / q));
for (int i = 1; i <= n; i ++) {
cin >> a[i];
a[i] += 100;
}
for (int i = 1; i <= q; i ++) {
int l, r;
cin >> l >> r;
v.push_back({i, l, r});
}
auto cmp = [&](array<int, 3> &a, array<int, 3> &b) {
int i = get(a[1]), j = get(b[1]);
if (i != j) return i < j;
return a[2] < b[2];
};
sort(v.begin(), v.end(), cmp);
// i是右指针,j是左指针
for (int k = 0, i = 0, j = 1, res = 0; k < q; k ++) {
int id = v[k][0], l = v[k][1], r = v[k][2];
while (i < r) adds(a[++ i], res);
while (i > r) del(a[i --], res);
while (j < l) del(a[j ++], res);
while (j > l) adds(a[-- j], res);
ans[id] = res;
}
for (int i = 1; i <= q; i ++)
if (ans[i] == 1) cout << "YES\n";
else cout << "NO\n";
}

对顶堆

双set版本

双set用来实现元素的删除操作比优先队列要考虑的细节要少,所以一般用双set来实现对顶堆。

因为奇偶对应的中位数位置不一样,所以一般要进行奇偶讨论。

s1为大根堆,s2为小跟堆,我们实现的时候保证两个堆里面的元素个数相同,堆的大小始终为偶数,其中mid来维护中位数。

当当前维护了奇数个元素时,对顶堆由s1,s2,mid共同组成,其中mid代表游离在set之外的中位数。

当当前维护了偶数个元素时,对顶堆由s1,s2共同维护,mid指向两个堆的堆顶之一。

flag用来标记当前元素个数是奇数还是偶数个。如果是奇数个的话flag为1。

img

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
multiset<int> s1, s2;
int sum_l, sum_r, mid;
int flag = 0;

void init() {
s1.clear();
s2.clear();
s1.insert(-LLF);
s2.insert(LLF);
sum_l = sum_r = mid = 0;
flag = 0;
}

void add(int x) {
if (!flag) {
int a = *(--s1.end());
int b = *s2.begin();
if (a <= x && x <= b) {
mid = x;
}
else if (a > x) {
s1.erase(s1.find(a));
s1.insert(x);
sum_l += x - a;
mid = a;
}
else if (b < x) {
s2.erase(s2.find(b));
s2.insert(x);
sum_r += x - b;
mid = b;
}
}
else {
if (x >= mid) {
s1.insert(mid);
sum_l += mid;
s2.insert(x);
sum_r += x;
}
else {
s2.insert(mid);
sum_r += mid;
s1.insert(x);
sum_l += x;
}
}
flag ^= 1;
}

void del(int x) {
int a = *(--s1.end());
int b = *s2.begin();
if (!flag) {
if (a >= x) {
s1.erase(s1.find(x));
sum_l -= x;
s2.erase(s2.find(b));
sum_r -= b;
mid = b;
}
else {
s2.erase(s2.find(x));
sum_r -= x;
s1.erase(s1.find(a));
sum_l -= a;
mid = a;
}
}
else {
if (mid == x) {}
else if (x > mid) {
s2.erase(s2.find(x));
s2.insert(mid);
sum_r += mid - x;
}
else {
s1.erase(s1.find(x));
s1.insert(mid);
sum_l += mid - x;
}
mid = 0;
}
flag ^= 1;
}

堆带删除操作版

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
bool inh[N];
priority_queue<PII> fh;
priority_queue<PII, vector<PII>, greater<>> sh;
int fsize, rsize;

void insert(int i) {
inh[i] = 1;
while (sh.size() && !inh[sh.top().second]) sh.pop();
while (fh.size() && !inh[fh.top().second]) fh.pop();
sh.emplace(a[i], i);
while (fh.size() && sh.size() && fh.top().first > sh.top().first) {
res += sh.top().first - fh.top().first;
fh.push(sh.top());
sh.push(fh.top());
fh.pop();
sh.pop();
while (sh.size() && !inh[sh.top().second]) sh.pop();
while (fh.size() && !inh[fh.top().second]) fh.pop();
}
if (sh.size() && fsize < k) {
++fsize;
res += sh.top().first;
fh.push(sh.top());
sh.pop();
while (sh.size() && !inh[sh.top().second]) sh.pop();
while (fh.size() && !inh[fh.top().second]) fh.pop();
}
}

void del(int i) {
while (sh.size() && !inh[sh.top().second]) sh.pop();
while (fh.size() && !inh[fh.top().second]) fh.pop();
inh[i] = 0;
if (!sh.size() || a[i] < sh.top().first) --fsize, res -= a[i];
}

堆仅插入版

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
priority_queue<int> q1; // 大根堆
priority_queue<int, vectoor<int>, greater<>> q2; // 小根堆

void insert(int x) {
if (!q2.size() || x > q2.top()) q2.push(x);
else q1.push(x);
if (q1.size() > q2.size() + 1) {
q2.push(q1.top());
q1.pop();
}
if (q2.size() > q1.size() + 1) {
q1.push(q2.top());
q2.pop();
}
}

主席树(可持久化权值线段树)

主要适用于解决在线区间第k小数问题。

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
struct Node {
int lson, rson;
int cnt;
}tr[N * 17 * 18];
int root[N];
int c[N];
int idx;

int insert(int p, int l, int r, int x) {
int q = ++idx;
tr[q] = tr[p];
if (l == r) {
tr[q].cnt ++;
return q;
}
int mid = l + r >> 1;
if (x <= mid) tr[q].lson = insert(tr[p].lson, l, mid, x);
else tr[q].rson = insert(tr[p].rson, mid + 1, r, x);
tr[q].cnt = tr[tr[q].lson].cnt + tr[tr[q].rson].cnt;
return q;
}

int query(int q, int p, int l, int r, int k) {
if (l == r) return l;
int cnt = tr[tr[q].lson].cnt - tr[tr[p].lson].cnt;
int mid = l + r >> 1;
if (k <= cnt) return query(tr[q].lson, tr[p].lson, l, mid, k);
else return query(tr[q].rson, tr[p].rson, mid + 1, r, k - cnt);
}

查询中位数的时候直接取个数较多的堆的堆顶即可。

动态规划

最长上升子序列

1.朴素版本

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
int n;
int a[N];
int dp[N]; //dp中存的是以a[i]结尾的子序列的集合中最长的子序列的长度

{
for(int i = 1; i <= n; i ++){
dp[i] = 1;
for(int j = 1; j < i; j ++){
if(a[j] < a[i]){
dp[i] = max(dp[i], dp[j] + 1);
}
}
}
int ans = 0;
for(int j = 1; j <= n; j ++) ans = max(ans, dp[j]);
cout << ans;
}

2.1模拟栈版本

1
2
3
4
5
6
7
8
9
10
11
12
{
vector<int> arr(n);
vector<int> stk;//模拟堆栈
stk.push_back(arr[0]);
for (int i = 1; i < n; ++i) {
if (arr[i] > stk.back()) //如果该元素大于栈顶元素,将该元素入栈
stk.push_back(arr[i]);
else //替换掉第一个大于或者等于这个数字的那个数
*lower_bound(stk.begin(), stk.end(), arr[i]) = arr[i];
}
cout << stk.size() << endl;
}

2.2二分写法

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
int n;
int a[N];
int q[N];

{
int len = 0;
for (int i = 0; i < n; i ++) {
int l = 0, r = len;
while (l < r) {
int mid = l + r + 1 >> 1;
if (q[mid] < a[i]) l = mid;
else r = mid - 1;
}
len = max(len, r + 1);
q[r + 1] = a[i];
}
printf("%d\n", len);
}

附:最长不下降子序列

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
void subseq1(int a[], int l, int r) { // 对原数组的每个下标i(从1开始),求以a[i]结尾的最长不下降子序列长度
int len = 0;
// q下标从2开始才放如元素,q[i]是有长度为i-1的子序列的最小的末尾值
for (int i = l; i <= r; i ++) {
int ll = l, rr = len + 1;
while (ll < rr) {
int mid = ll + rr + 1 >> 1;
if(q[mid] <= a[i]) ll = mid;
else rr = mid - 1;
}
len = max(len, rr);
q[rr + 1] = a[i];
}
// 二分求出以a[i]结尾的最长不下降子序列长度
for (int i = l; i <= r; i ++) {
int l2 = 2, r2 = len + 1;
while (l2 < r2) {
int mid = l2 + r2 + 1 >> 1;
if(q[mid] <= a[i]) l2 = mid;
else r2 = mid - 1;
}
dp1[i] = l2 - 1;
}
}

背包问题

01背包

状态表示:f[i][j]:在前i个物品中选,总体积不超过j的最大价值。

01背包问题的二维代码
1
2
3
4
5
6
7
8
9
10
11
{
//动态规划问题一般下标从1开始,便于从0的情况递推结果。
for (int i = 1; i <= n; i ++) {
for (int j = 1; j <= m; j ++) {
f[i][j] = f[i - 1][j];
if (j >= v[i]) {
f[i][j] = max(f[i][j], f[i - 1][j - v[i]] + w[i]);
}
}
}
}
01背包一维优化
1
2
3
4
5
6
7
{
for (int i = 1; i <= n; i ++) {
for (int j = m; j >= v[i]; j --) {
f[j] = max(f[j], f[j - v[i]] + w[i]);
}
}
}

完全背包问题

特征:一个物品可以选无数次。

状态表示:f[i][j]表示从前i个物品里选择(一个物品可以选多次),总体积不超过j的最大价值。

完全背包问题的三重循环代码
1
2
3
4
5
6
7
8
9
{
for (int i = 1; i <= n; i ++) {
for (int j = 1; j <= m; j ++) {
for (int k = 0; k * v[i] <= j; k ++) {
f[i][j] = max(f[i][j], f[i - 1][j - k * v[i]] + k * w[i]);
}
}
}
}
二重循环二维的优化过程
1
2
3
4
5
// 01
f[i][j] = max(f[i][j], f[i - 1][j - k * v[i]] + k * w[i]);
// 完全
f[i][j] = max(f[i - 1][j], f[i - 1][j - v[i]] + w[i], f[i - 1][j - 2 * v[i]] + 2 * w[i], .....)
f[i][j - v[i]] = max(f[i - 1][j - v[i]], f[i - 1][j - 2 * v[i]] + 1 * w[i], .....)

三式代入二式,得: f[i][j] = max(f[i - 1][j],f[i][j - v[i]] + w[i]);

1
2
3
4
5
6
7
8
9
10
{
for (int i = 1; i <= n; i ++) {
for (int j = 1; j <= m; j ++) {
f[i][j] = f[i - 1][j];
if (j >= v[i]) {
f[i][j] = max(f[i][j], f[i][j - v[i]] + w[i]);
}
}
}
}
完全背包一维最终优化
1
2
3
4
5
6
7
{
for (int i = 1; i <= n; i ++) {
for (int j = v[i]; j <= m; j ++) {
f[j] = max(f[j], f[j - v[i]] + w[i]);
}
}
}

多重背包1

特征:一个物品有严格的次数限制。 状态表示:f[i][j]表示从前i个物品里选择(一个物品有严格的次数限制),总体积不超过j的价值;

多重背包问题的三重循环代码
1
2
3
4
5
6
7
8
9
10
11
12
//s[i]表示第i种物品共有s[i]个
int f[N][N], s[N], v[N], w[N];

{
for (int i = 1; i <= n; i ++) {
for (int j = 1; j <= m; j ++) {
for (int k = 0; k <= s[i] && k * v[i] <= j; k ++) {
f[i][j] = max(f[i][j], f[i - 1][j - k * v[i]] + k * w[i]);
}
}
}
}
多重背包问题一维优化代码
1
2
3
4
5
6
7
8
9
{
for (int i = 1; i <= n; i ++) {
for (int j = m; j >= v[i]; j --) {
for (int k = 0; k <= s[i] && k * v[i] <= j; k ++) {
f[j] = max(f[j], f[j - k * v[i]]+ k * w[i]);
}
}
}
}
多重背包问题打包版

利用二进制优化的思想,把同一种类型的物品按照2的不同次幂个为一组进行打包,从而优化时间复杂度。

时间复杂度:O(nmlogs)

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
// s[i]存储第i种物品的个数
// a, b数组存的是原体积和原价值
int a[N], b[N];
int v[N], w[N], s[N];

{
int cnt = 0;
for (int i = 1; i <= n; i ++) {
int k = 1;
int ss = s[i];
while (k <= s) {
cnt ++;
v[cnt] = k * a[i];
w[cnt] = k * b[i];
s -= k;
k *= 2;
}
if (s > 0) {
cnt ++;
v[cnt] = s * a;
w[cnt] = s * b;
}
}
for (int i = 1; i <= cnt; i ++) {
for (int j = m; j >= v[i]; j --) {
f[j] = max(f[j], f[j - v[i]] + w[i]);
}
}
}
多重背包单调队列优化

时间复杂度:O(nm)

[![img](https://cdn.acwing.com/media/article/image/2023/04/15/226750_2e51f2afdb-_~948ZKD1S1S%7B~4(4~%7BLS_Z2.png)](https://cdn.acwing.com/media/article/image/2023/04/15/226750_2e51f2afdb-_~948ZKD1S{~4(4~{LS_Z2.png)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
int f[N];
int g[N]; // g是f的滚动数组
int v[N], w[N], s[N];

{
for (int i = 1; i <= n; i ++) {
memcpy(g, f, sizeof f); //把上一层的f存在g里
for (int j = 0; j < v[i]; j ++) {
int hh = 0, tt = -1;
//滑动窗口长度为s,不包括f[k]本身,因此f[k] = max(f[k], max(others))
for (int k = j; k <= m; k += v[i]) {
if (hh <= tt && q[hh] < k - s[i] * v[i]) hh ++;
if (hh <= tt) f[k] = max(f[k], g[q[hh]] + (k - q[hh]) / v[i] * w[i]);
//由图中表达式知g数组中的值都是不包含w的,这里我们进行比较只需比较绝对值
//因此只要营造出递减数列的效果即可
while (hh <= tt && g[q[tt]] - (q[tt] - j) / v[i] * w[i] <= g[k] - (k - j) / v[i] * w[i]) tt --;
q[++tt] = k;
}
}
}
}

分组背包问题

特征:一组物品只能选择其中的一个。

状态表示:f[i][j]表示从前i组物品里选择(一组物品最多只能选择其中的一个),总体积不超过j的最大价值; 状态计算:f[i][j]=max(f[i-1][j],f[i-1][j-w[i][k]]+v[i][k])(解释;表示从前i组物品里选择体积不超过j的物品价值的最大值是从要么不选这个物品,和要么选择这个组中第k个物品的价值之间进行选择)

分组背包问题一维优化代码
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// w[i][j]代表第i组物品中的第j个的价值,v同
int w[N][N],v[N][N];
// s[i]代表第i组物品有多少个
int f[N],s[N];

{
for (int i = 1; i <= n; i ++) {
for (int j = m; j >= 0; j --) {
for (int k = 1; k <= s[i]; k ++) {
if (v[i][k] <= j) {
f[j] = max(f[j], f[j - v[i][k]] + w[i][k]);
}
}
}
}
return 0;
}

背包问题中总体积最多/恰好/最少为j, 以求最大值为例(3是最小值)

  1. 体积最多为j:memset(f, 0, sizeof f), v >= 0
  2. 体积恰好为j:memset(f, -0x3f, sizeof f), ,f[0] = 0, v >= 0
  • 怎么保证是恰好装满,通过初始化来实现, 如果不存在使f[i]满足是恰好装满的,那么这个f[i] = -INF, 即一个非法答案,就不会影响最终的计算。
  1. 体积至少为j:memset(f, -0x3f, sizeof f), f[0] = 0
  • f[i][j]: 从前i件物品中选,总体积至少为j的最小价值。
1
2
3
4
5
6
7
8
9
memset(f, 0x3f, sizeof f);

{
for (int i = 1; i <= n; i ++) {
for (int j = m; j >= 0; j --) {
f[j] = min(f[j], f[max(0, j - v[i])] + w[i]);
}
}
}

有依赖的背包问题

f[u][j]: 表示在以u为根的子树中选,且先选出u(因为其他节点都依赖u, 这样表示状态会简单一点,可以往分组背包(其实也不完全是分组背包,也就物品组和枚举决策的概念上比较像分组背包)上面套),总体积不超过j的最大价值。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
void dfs(int u) {
// 相当于分组背包问题中的物品组
for (int u = h[u]; ~i; i = ne[i]) {
int son = e[i];
dfs(son);
// 先求一下所有子树中的最大价值, 故先在最大体积中把当前节点去掉
// 枚举体积
for (int j = m - v[u]; j >= 0; j --) {
// 枚举决策,这里以选取体积为多少讨论决策
for (int k = 0; k <= j; k ++) {
f[u][j] = max(f[u][j], f[u][j - k] + f[son][k]);
}
}
}
// 最后记得把当前节点加上
for (int j = m; j >= v[u]; j --) f[u][j] = f[u][j - v[u]] + w[u];
for (int j = v[u] - 1; j >= 0; j --) f[u][j] = 0;
}

dfs(root);

另一种模板:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
int f[110][110];//f[x][v]表达选择以x为子树的物品,在容量不超过v时所获得的最大价值
vector<int> g[110];
int v[110], w[110];
int n, m, root;

void dfs(int x) {
for (int i = v[x]; i <= m; i ++) f[x][i] = w[x];//点x必须选,所以初始化f[x][v[x] ~ m]= w[x]
for (int i = 0; i < g[x].size(); i ++) {
int y = g[x][i];
dfs(y);
for (int j = m; j >= v[x]; j --)//j的范围为v[x]~m, 小于v[x]无法选择以x为子树的物品
{
for (int k = 0; k <= j - v[x]; k ++)//分给子树y的空间不能大于j-v[x],不然都无法选根物品x
{
f[x][j] = max(f[x][j], f[x][j - k] + f[y][k]);
}
}
}
}

混合背包问题

由于01背包、完全背包、多重背包的转移方程只和当前的第i个物品的类型有关,与前面的物品无关,所以可以对不同的类型物品独立地使用不同的状态转移方程。

随机算法

模拟退火

源自冶金术语,将材料加热后再经特定速率冷却的技术,目的是增大晶粒体积,减少晶格中的缺陷,以改变材料的物理性质。

材料中的原子原来会停留在使内能有局部最小值的位置,加热使能量变大,原子会离开原来的位置,随机在其他位置游走,退火冷却时速度较慢,使得原子有较多可能可以移动到内能比原先更低的位置。

img

1
2
3
4
5
6
7
8
9
10
void simulate_anneal() {
PDD cur(rdd(0, 10000), rdd(0, 10000));
// t为退火温度,也即随机范围。
for (double t = 1e4; t > 1e-4; t *= 0.9) {
PDD np(rdd(cur.first - t, cur.first + t), rdd(cur.second - t, cur.second + t));
double dt = calc(np) - calc(cur);
// 如果新点距离更小,则跳到新点,否则以一定概率跳到新点。
if (exp(-dt / t) > rdd(0, 1)) cur = np;
}
}

计算几何

前置知识

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
1. 前置知识点
(1) pi = acos(-1);
(2) 余弦定理 c^2 = a^2 + b^2 - 2abcos(t)

2. 浮点数的比较
const double eps = 1e-8;
int sign(double x) // 符号函数
{
if (fabs(x) < eps) return 0;
if (x < 0) return -1;
return 1;
}
int cmp(double x, double y) // 比较函数
{
if (fabs(x - y) < eps) return 0;
if (x < y) return -1;
return 1;
}

3. 向量
3.1 向量的加减法和数乘运算
3.2 内积(点积) A·B = |A||B|cos(C)
(1) 几何意义:向量A在向量B上的投影与B的长度的乘积。
(2) 代码实现
double dot(Point a, Point b)
{
return a.x * b.x + a.y * b.y;
}
3.3 外积(叉积) AxB = |A||B|sin(C)
(1) 几何意义:向量A与B张成的平行四边形的有向面积。B在A的逆时针方向为正。
(2) 代码实现
double cross(Point a, Point b)
{
return a.x * b.y - b.x * a.y;
}
3.4 常用函数
3.4.1 取模
double get_length(Point a)
{
return sqrt(dot(a, a));
}
3.4.2 计算向量夹角
double get_angle(Point a, Point b)
{
return acos(dot(a, b) / get_length(a) / get_length(b));
}
3.4.3 计算两个向量构成的平行四边形有向面积
double area(Point a, Point b, Point c)
{
return cross(b - a, c - a);
}
3.4.5 向量A顺时针旋转C的角度:
Point rotate(Point a, double angle)
{
return Point(a.x * cos(angle) + a.y * sin(angle), -a.x * sin(angle) + a.y * cos(angle));
}
4. 点与线
4.1 直线定理
(1) 一般式 ax + by + c = 0
(2) 点向式 p0 + vt
(3) 斜截式 y = kx + b
4.2 常用操作
(1) 判断点在直线上 A x B = 0
(2) 两直线相交
// cross(v, w) == 0则两直线平行或者重合
Point get_line_intersection(Point p, Vector v, Point q, vector w)
{
vector u = p - q;
double t = cross(w, u) / cross(v, w);
return p + v * t;
}
(3) 点到直线的距离
double distance_to_line(Point p, Point a, Point b)
{
vector v1 = b - a, v2 = p - a;
return fabs(cross(v1, v2) / get_length(v1));
}
(4) 点到线段的距离
double distance_to_segment(Point p, Point a, Point b)
{
if (a == b) return get_length(p - a);
Vector v1 = b - a, v2 = p - a, v3 = p - b;
if (sign(dot(v1, v2)) < 0) return get_length(v2);
if (sign(dot(v1, v3)) > 0) return get_length(v3);
return distance_to_line(p, a, b);
}
(5) 点在直线上的投影
Point get_line_projection(Point p, Point a, Point b)
{
Vector v = b - a;
return a + v * (dot(v, p - a) / dot(v, v));
}
(6) 点是否在线段上
bool on_segment(Point p, Point a, Point b)
{
return sign(cross(p - a, p - b)) == 0 && sign(dot(p - a, p - b)) <= 0;
}
(7) 判断两线段是否相交
bool segment_intersection(Point a1, Point a2, Point b1, Point b2)
{
double c1 = cross(a2 - a1, b1 - a1), c2 = cross(a2 - a1, b2 - a1);
double c3 = cross(b2 - b1, a2 - b1), c4 = cross(b2 - b1, a1 - b1);
return sign(c1) * sign(c2) <= 0 && sign(c3) * sign(c4) <= 0;
}
5. 多边形
5.1 三角形
5.1.1 面积
(1) 叉积
(2) 海伦公式
p = (a + b + c) / 2;
S = sqrt(p(p - a) * (p - b) * (p - c));
5.1.2 三角形四心
(1) 外心,外接圆圆心
三边中垂线交点。到三角形三个顶点的距离相等
(2) 内心,内切圆圆心
角平分线交点,到三边距离相等
(3) 垂心
三条垂线交点
(4) 重心
三条中线交点(到三角形三顶点距离的平方和最小的点,三角形内到三边距离之积最大的点)
5.2 普通多边形
通常按逆时针存储所有点
5.2.1 定义
(1) 多边形
由在同一平面且不再同一直线上的多条线段首尾顺次连接且不相交所组成的图形叫多边形
(2) 简单多边形
简单多边形是除相邻边外其它边不相交的多边形
(3) 凸多边形
过多边形的任意一边做一条直线,如果其他各个顶点都在这条直线的同侧,则把这个多边形叫做凸多边形
任意凸多边形外角和均为360°
任意凸多边形内角和为(n−2)180°
5.2.2 常用函数
(1) 求多边形面积(不一定是凸多边形)
我们可以从第一个顶点除法把凸多边形分成n − 2个三角形,然后把面积加起来。
double polygon_area(Point p[], int n)
{
double s = 0;
for (int i = 1; i + 1 < n; i ++ )
s += cross(p[i] - p[0], p[i + 1] - p[i]);
return s / 2;
}
(2) 判断点是否在多边形内(不一定是凸多边形)
a. 射线法,从该点任意做一条和所有边都不平行的射线。交点个数为偶数,则在多边形外,为奇数,则在多边形内。
b. 转角法
(3) 判断点是否在凸多边形内
只需判断点是否在所有边的左边(逆时针存储多边形)。
5.3 皮克定理
皮克定理是指一个计算点阵中顶点在格点上的多边形面积公式该公式可以表示为:
S = a + b/2 - 1
其中a表示多边形内部的点数,b表示多边形边界上的点数,S表示多边形的面积。
6.
(1) 圆与直线交点
(2) 两圆交点
(3) 点到圆的切线
(4) 两圆公切线
(5) 两圆相交面积

作者:yxc
链接:https://www.acwing.com/activity/content/code/content/635453/
来源:AcWing