平衡树学习笔记
定义什么叫平衡树？就是看起来很平衡的树。它是一种中序遍历有序的一棵搜索树，满足左儿子的权值<自身权值<右儿子的权值它是递归定义的。
定义什么叫平衡树？就是看起来很平衡的树。它是一种中序遍历有序的一棵搜索树，满足左儿子的权值<自身权值<右儿子的权值它是递归定义的。
差分约束系统，就是给定一些 $ x_i - x_j >= d $ 的不等式，求出其中的一组解。我们可以转化为最短路来解决该类问题。
概念我们先来明确一些概念。子图图G=(V，E)，G’=(V’，E’)中，若V’ ∈ V，E’ ∈ E，并且E’中的边所关联的顶点都在V’中，则称图G’是图G的子图强连通性对有向图G=(V,E)而言，若对于G中任意两个顶点Vi和Vj（Vi≠Vj ），都有一条从Vi到Vj的（有向路径），同时还有一条从Vj到Vi的(有向)路径，则称有向图G是强连通的强连通分量（SCC）有向图强连通的 极大 子图
定义分层图最短路问题，一般是指我们在可以进行分层的图上进行最短路。 一般模型是： 在图上，有k次机会可以直接通过一条边，问起点与终点之间的最短路径。 题目链接