Skip to content

Main Navigation首页博客标签归档

核心知识体系

外观

Sidebar Navigation

动态规划

01背包

DAG上DP

DP 学习路径

SOS DP

划分型动态规划

动态规划各类型的梳理

动态规划常见优化思路梳理

动态规划进阶：单调队列、斜率优化与分治优化

区间DP（一）

多重背包

完全背包

换根DP

数位DP（一）

期望DP与概率DP

树形DP(二)

树形DP通用思路

树形DP（一）

状压DP （一）

矩阵优化动态规划

矩阵快速幂优化DP

线性DP

线段树优化DP

背包泛讲

自动机 DP 与字符串 DP

计数DP

记忆化搜索

轮廓线 DP 与插头 DP

基础算法

Flood Fill

三分

二分

二分答案与分数规划

排序算法

贪心

贪心算法进阶

递归

搜索

01-BFS

BFS

DFS

回溯

搜索进阶

Y言蔽之

三维随机游走为何“乐不思蜀”？—— 论返回原点概率之谜

为什么期望DP通常是倒推？

二分中的边界条件与实现模式

什么是凸包

何时构建反图？图论中的逆向思维

最长上升子序列的三种经典解法

状态压缩是什么

解空间是什么

链式前向星是什么？

字符串

AC自动机

KMP 算法

Manacher 算法

Trie树

后缀数组

后缀树

后缀自动机

字符串哈希

扩展KMP算法（Z-Algorithm）

图论

2-SAT

拓扑排序

斯坦纳树

最大独立子集问题

欧拉图

欧拉路径与欧拉回路：存在性充要条件及其证明

矩阵树定理

图的匹配

匈牙利算法

图的连通性

Tarjan全家桶

圆方树

缩点

图论基础

图的存储

图论基础

图论概念梳理

图论速讲

最短路

Bellman-Ford 算法

Bellman-Ford与SPFA算法的正确性证明

K短路

分层图：处理带状态最短路

单源次短路

同余最短路

多源最短路

差分约束

迪杰斯特拉

树

DFS树

Tarjan树上最短路

基环树

树上启发式合并

树上差分

树上最近公共祖先（LCA）问题

树上随机游走

树分治

树基础

树的中心

树的直径

树的重心

树链剖分

虚树

重链剖分

生成树

Kruskal 算法

Kruskal 重构树

最小树形图

最小生成树

网络流

Dinic 算法

Edmonds-Karp算法

最大权闭合子图

环

SPFA与负环

最小环

实战技巧

bitset基础

STL的运用

二分搜索中的边界条件

凸性

子集问题解析

快慢指针

数据结构通用技巧

构造题专题学习笔记

算法杂项

MEX的常见用法和性质

数据结构

FHQ-Treap

Splay 树：均摊分析与序列维护

ST表

Treap

ZKW线段树

单调栈

单调队列

可持久化线段树（一）

平衡树泛讲

并查集

数组妙用

权值树状数组

李超树的直观理解

李超线段树

树状数组

笛卡尔树

线段树分治

线段树合并

线段树基础（一）

线段树基础（二）

线段树应用（一）

语言基础

C++ 运算符优先级

算法思想

倍增思想

分块思想

分治

前缀和与差分

哈希

带修莫队

扫描线算法

数据范围反推算法复杂度

整体二分

树上莫队

滑动窗口

离散化

莫队（一）

虚点与虚树

解题思想

贪心入门

转化思想

预处理思想

CCF初赛资料

CSP模拟卷

提高组 CSP-S 2025 初赛模拟卷（一）

CSP知识点

提高组知识点初赛（一）

提高组知识点初赛（七）

提高组知识点初赛（三）

提高组知识点初赛（九）

提高组知识点初赛（二）

提高组知识点初赛（五）

提高组知识点初赛（八）

提高组知识点初赛（六）

提高组知识点初赛（十）

提高组知识点初赛（四）

普及组知识点初赛（一）

普及组知识点初赛（七）

普及组知识点初赛（三）

普及组知识点初赛（九）

普及组知识点初赛（二）

普及组知识点初赛（五）

普及组知识点初赛（八）

普及组知识点初赛（六）

普及组知识点初赛（十）

普及组知识点初赛（四）

单选题

【初赛】快问快答（一）

知识点快问快答 (三)

知识点快问快答 (二)

CSP专题知识

DAG上的各类问题

二叉树上的二级结论

二叉树的遍历

位运算

冒泡排序

前中后缀表达式

动态规划（一）

原码反码补码

双指针

各种排序算法剖析

哈夫曼编码

子序列与子串问题

广度优先搜索

引用与指针

排列组合二十个题型

最大公约数问题

栈与队列

树上问题的二级结论

深度优先搜索

筛法

精选二十道时间复杂度分析

计算机中信息存储的单位

计算机常识

进制

链表

高精度

程序题

初赛程序题专项（一）

初赛程序题专项（三）

初赛程序题专项（二）

初赛程序题专项（四）

阅读程序专项训练（一）

真题

CSP2025初赛

2025 CSP-J1 解析（非官方版）

2025 S1 解析

CSP-2025-S1

数学

其他

拟阵

欧拉公式

博弈论

组合博弈论基础

数学基础

位运算基础

复数

快速幂

多项式与生成函数

Lagrange 反演

卷积优化背包与字符串匹配

多项式多点求值

多项式平移

多项式牛顿迭代

常系数齐次线性递推

快速傅立叶变换

快速数论变换

快速沃什变换

指数生成函数

生成函数浅谈

抽象代数

域论

环论

群论

群论（一）

数学思维

卷积在卷什么？

反演

导数

概率论与期望

概率基础

马尔可夫不等式

数论

BSGS及其扩展

GCD卷积

LCM卷积

Meissel-Lehmer 算法

Min_25 筛

NOIP数论复习

Pell 方程

Powerful Number 筛

Stern–Brocot 树

三种方式证明裴蜀定理

中国剩余定理

二次剩余

二次域

分解质因数

升幂引理

升幂引理证明

卢卡斯定理

原根

威尔逊定理

扩展中国剩余定理

扩展欧几里得算法

数论分块

数论基础

数论学习大纲

数论完结篇

数论常见公式的证明（详细版）

数论知识点梳理

最大公约数

杜教筛

模运算的解释

欧拉函数与欧拉定理

洲阁筛

离散对数问题

素数

素数筛

线性同余方程

莫反的几种证明

莫比乌斯反演

贝祖定理(裴属定理)

阶乘取模

组合数学

Cayley 公式

DAG 计数

Min-max 容斥

Pólya 计数

Ramsey定理

下降幂多项式与斯特林数

伯努利数

卡特兰数简介

图论计数

圆排列、错排列与多重集上的排列组合

容斥原理

容斥的艺术

康托展开

恩特林格数

斐波那契数列

斯特林数

欧拉数（Eulerian Number）

母函数

组合数学与图论

组合数学速讲

组合数的性质

范德蒙卷积

范德蒙德卷积的相关讨论

贝尔数

错位排列

鸽巢原理

线性代数

线性代数基础（一）

线性代数基础（二）

高斯消元

首页
核心知识体系
最短路
Bellman-Ford与SPFA算法的正确性证明

Bellman-Ford与SPFA算法的正确性证明

2026-04-23

Power by 岱陌存理 & 三金家的Y同学（果壳一只羊）

DAMON THRONE