深度理解链式前向星_链式前向星什么意思-CSDN博客

本文链接：https://blog.csdn.net/m0_73085893/article/details/141421073

1. 链式前向星定义与原理

1.1 链式前向星概念

链式前向星是一种用于存储图的边信息的数据结构，它结合了边集数组和邻接表的特点，提供了一种高效的图遍历方式。在链式前向星中，每条边通过一个节点来表示，每个节点包含三个基本属性：指向的顶点 to，边的权重 w（如果有的话），以及指向同起点下一条边的指针 next。

链式前向星的核心思想是将所有以某个顶点为起点的边通过指针连接起来，形成一个链表。这样，可以通过一个头指针数组 head[] 快速访问到每个顶点的出发边，其中 head[i] 存储的是顶点 i 出发的第一条边的索引。

1.2 与邻接表的比较

链式前向星与邻接表在存储图的边信息上有一定的相似性，但也存在明显的区别：

存储方式：邻接表通常使用动态数据结构（如链表或动态数组）来存储每个顶点的所有邻接点，而链式前向星则是使用静态数组来存储边信息，并以链表的形式将同起点的边连接起来。
空间效率：链式前向星由于其静态数组的特性，在边数较多时可能比邻接表更加节省空间，因为它不需要为每个顶点的邻接点动态分配内存。
时间效率：链式前向星在遍历某个顶点的所有邻接边时，可以达到与邻接表相似的时间效率，即 O(m) 的时间复杂度，其中 m 是边的数量。
灵活性：邻接表在添加或删除边时更加灵活，因为它可以动态地调整数据结构的大小。而链式前向星一旦初始化了边的数量，就无法动态地增减边，除非重新构建整个数据结构。

以下是使用 Mermaid 绘制的链式前向星的数据结构图：

在这个图中，每个顶点都通过边信息节点连接到它的邻接点，而 next 指针则指向同起点的下一条边。NULL 表示链表的结束。

2. 链式前向星的数据结构

2.1 边的表示方法

链式前向星在数据结构上使用边集数组来表示图中的每一条边。每条边通过一个结构体来表示，通常包含以下三个基本属性：

to: 表示边的终点节点。
next: 指向以同一起点发出的下一条边的索引，用于形成链表。
w (可选): 如果是带权图，表示边的权重。

例如，对于边的表示方法，可以使用如下结构体定义：

struct Edge {
    int to;
    int next;
    int w; // 权重，对于无权图可以省略
};

在链式前向星中，每条边通过next指针串联起来，形成一个以特定节点为起点的链表。这种表示方法使得对于任意一个节点，可以快速遍历其所有出边。

2.2 头结点数组作用

头结点数组（通常命名为head数组）在链式前向星中扮演着重要的角色。它是一个数组，其中每个元素对应图中的一个节点，存储了以该节点为起点的第一条边在边集数组中的索引。这样，可以通过头结点数组快速定位到任一节点的出边链表的起始位置。

头结点数组的初始化通常为-1，表示没有与之对应的起点边。在添加边时，更新head数组，使得head[u]指向从节点u出发的第一条边的索引。这样，可以通过以下循环来遍历节点u的所有邻接点：

for (int i = head[u]; i != -1; i = edge[i].next) {
    // 访问节点u的邻接点edge[i].to
}

这种结构的优势在于，对于每个节点，可以快速地开始遍历其所有出边，而不需要像邻接表那样从头开始搜索，从而提高了遍历效率。同时，头结点数组也方便了边的插入操作，因为新边只需要更新head数组和相应的next指针即可。

3. 链式前向星的实现

3.1 结构体定义

链式前向星的数据结构主要依赖于结构体的定义，它通常包含三个基本属性：目标顶点、边的权值以及指向同起点下一条边的指针。以下是链式前向星结构体的一般定义方式：

struct Edge {
    int to;    // 目标顶点
    int w;     // 边的权值，若无权值可省略
    int next;  // 同起点下一条边的索引
} edge[MAX_EDGES]; // 假设最大边数为 MAX_EDGES

在这个结构体中，to 表示当前边所指向的顶点编号，w 表示边的权重（如果有的话），而 next 则指向以相同顶点为起点的下一条边的索引。这种结构体的定义方式使得链式前向星在添加边和遍历时都非常高效。

3.2 加边函数实现

链式前向星的加边操作是通过一个专门的函数来实现的，该函数负责将新的边添加到适当的位置，并更新相关的数据结构。以下是加边函数的一个基本实现示例：

void addEdge(int from, int to, int w) {
    edge[cnt].to = to;
    edge[cnt].w = w;
    edge[cnt].next = head[from]; // 将新边插入到以 from 为起点的链表头部
    head[from] = cnt++; // 更新头指针，并递增边的计数器
}