08 2023 档案

浅浅证明一下Dijkstra

摘要：一直都在写dij，证明一下正确性。 **下面的证明在有向图中。** 首先，对于一个点u，假设它的某一条最短路径中，从源点出发，一直到u，将沿路的节点记录下来，u的前一个节点是x（可以认为是u的前驱x）。那么一定有`dist[u]=dist[x]+w[x,u]`。因为一定是从源点走到x，再从x走到阅读全文

posted @ 2023-08-30 22:20 Zlc晨鑫阅读(27) 评论(0) 推荐(0) 编辑

二分图

摘要：二分图有关的都放在这里。 A：图G是二分图 B：图G中不存在奇数环 C：图G可以进行染色注：染色法：对于每一条边

(u, v)

，u和v应染成不同的颜色（放入两个点集），遍历每一条边看下是否有矛盾即可（具体来说，从1个点出发dfs，如果两个点中有一个未染色，就染成符合条件的颜色，否则检查是否为不阅读全文

posted @ 2023-08-29 09:57 Zlc晨鑫阅读(6) 评论(0) 推荐(0) 编辑

【算法提高课】高级数据结构笔记

摘要：### 线段树 - [AcWing 247. 亚特兰蒂斯](https://www.acwing.com/problem/content/249/) 扫描线。阅读全文

posted @ 2023-08-26 20:47 Zlc晨鑫阅读(4) 评论(0) 推荐(0) 编辑

由P7914括号序列（A题）引发的关于区间DP的思考

摘要：和`CF149D Coloring Brackets`（B题）一样，都是关于括号的区间DP。在B题中，有一个细节，就是在枚举断点时枚举到第一个就要`break`，这是为了使每种方案只贡献一次，防止一种方案中有多个符合条件的断点。此题中，因为序列的字符是不变的，所以直接`break`就行了。但是阅读全文

posted @ 2023-08-23 22:00 Zlc晨鑫阅读(19) 评论(0) 推荐(0) 编辑