摘要：
1. 图论： 最短路 差分约束 最小生成树 最小树形图 Tarjan 有向图强连通分量 无向图割点和桥 2-SAT（不太能考了，可以不看） 二分图匹配（匈牙利） 二分图带权匹配（KM） 2. 字符串： hash KMP 扩展KMP Manacher Trie AC自动机 后缀自动机 3. 数论： 欧 阅读全文
摘要：
gate \(A*\)，有$90pts$的骗分算法。 \(f[i] = g[i] + h[i]\) \(bfs\)，节点按$f[i]$排序； $g[i]$即为当前距离，$h[i]$为该点到终点$t$的最短距离。 首先建反向边，求出$t$到每个点的最短距离$h[i]$。 \(bfs\)，对于每个结构体 阅读全文
摘要：
单源最短路 \(Dijkstra\) 堆优化，用距离最小的点更新其他节点。 不能处理有负权边的图。 \(O(mlogn)\) void dijkstra(int s) { priority_queue <pair<int,int>,vector<pair<int,int> >,greater<pai 阅读全文
摘要：
gate 差分约束系统用来解决： 给出$n$个变量$x_1...x_n$，$m$个形如$x_i-x_j \le k$（$k$为任意常量）的式子， 求$x_1...x_n$的一组可行解。 将式子变形为$x_i\le x_j + k$，发现刚好符合三角形不等式$dis[v]\le dis[u]+w[i] 阅读全文