0x13 链式前向星

简介：acm常用的一种存图的算法。

 

这里我抄下书:

在一个具有n个点m条边的有向图结构中，我们可以把每条边所属的"类别"定义为该边的起点序号，这样所有的边就被分为n类，其中第x类边由"起点是x点出发的边组成"。通过表头head[x]，我们可以定位到第x类对应的链表，从而访问到从x出发的所有的边。

 

这里举个例子，我们有一个图，5个顶点，6条边
(1,2) ,(2,3) ,(2,5) ,(3,5) ,(5,4) ,(5,1) 

根据起点分类

起点是1 : (1, 2)

起点是2: (2, 5)， (2, 3)  

起点是3: (3, 5)

起点是4: 无

起点是5: (5, 1) , (5, 4)

宏观信息如下图。

 

接下来是是我们通过数组来模拟链表存图的结构。

head和next数组存储的数组的下标，ver数组存储的是每条边的终点，如图

 

//加入有向边(x, y), 权值为z
void add(int x, int y, int z) {
    ver[++tot] = y;
    edge[tot] = z;
    next[tot] = head[x];
    head[x] =tot;
}

//访问从x出发的所有边
for (int i = head[x]; i; i = next[i]) {
    int y = ver[i];
    int z = edge[i];
    //找到一条有向边(x, y), 权值为z
}

同样对于无向图，我们每条边当成两条有向边插入即可。

对于无向图，有个技巧是，我们可以初始化tot=1，这样每对边的tot分别为:2和3、4和5、6和7...

这样对下标进行 xor 1 的运算，就可以得到另一条边。

也就是说:如果ver[i]是第i条边的终点，那么ver[i xor 1]就是第i条边的起点.