图的基本概念和存储

卡老师kkk

于 2023-01-18 17:09:54 发布

阅读量156

点赞数

分类专栏： study 文章标签：算法图论数据结构

本文链接：https://blog.csdn.net/luyihong666/article/details/128728398

版权

study 专栏收录该内容

19 篇文章 0 订阅

订阅专栏

文章介绍了图的基本概念，包括有向图与无向图的定义，边的类型，权值，路径，连通图，子图，生成树等。此外，还讨论了图的两种存储方法——邻接矩阵和邻接表，并提及了图的同构问题及其重要性，以及判断图是否同构的一些方法和必要条件。

摘要由CSDN通过智能技术生成

图的基本概念

1、基本概念

图：简单的说，图是一个用线或边连接在一起的顶点或节点的集合，严格的说，图是有限顶点V和边E的有序对。

图的表示：一般使用圆圈表示顶点，使用线段表示边，一条边连接两个不同的顶点。有些边是带方向的称为有向边，当顶点v到u含有一条有向边，就画一个箭头从v指向u，使用元组（v，u）表示；而没有方向的边称为无向边，当顶点v到u含有一条有向边，就画一条线段从v指向u，使用元组（v，u）表示。例如下面分别是有向图和无向图。

图根据边的分类分为有向图和无向图，有向图的边是有向边，它就像公路的单行道一样，只能从一个方向到另一个方向。无向图的边是无向边，当然它就像双向车道一样可以互相到达，而且两个顶点是没有区别的。

当且仅当（u，v）是图的边，称顶点v和u是邻接的。边（u，v）关联于顶点u和v。对于无向图这种邻接和关联是对等的，而有向图是单向的，它仅仅从u到v。

权：在图的一些应用中，可能要为每条边赋予一个表示大小的值，这个值就称为权。例如从城市A到城市B存在一条公路，而可以使用权表示这条公路的距离。

路径：一个顶点序列i1，i2…ik是图的一条路径，当且仅当边（i1，i2）（i2，i3）…(ik-1,ik)都在图中。如果除了第一个顶点和最后一个顶点之外，其余的顶点均不相同，那么这条路径称为简单路径。

连通图：设图G是无向图，当且仅当G的每一对顶点之间都有一条路径，则称G是连通图。

子图：如果图H的顶点和边的集合是图G的子集，那么称图H是图G的子图。

生成树：如果图H是图G的子图，且他们的顶点集合相同，并且H是没有环路的无向连通图（即一棵树），则称H是G的一棵生成树。

二分图：图G的顶点被分为两个子集，而且每条边只能从一个子集到另一个子集。例如：

强连通图：图G是一个有向图，当且仅当每一对不同的顶点u，v，从u到v和v到u都有一条有向路径。

自环：边链接的两个点是同一个点
重编：无向图中两点之间有多条边链接，有向图中两点之间同一方向的便超过两条

完全图：简单图，无向图（每个顶点与其余n-1个顶点有边相连），
有向图（每个顶点都有连接到其余n-1个顶点的边）
竞赛图：竞赛图是一定义在有向图上的概念，图中每对不同的顶点通过单个有向边连接，即每对顶点间都有一条有向边。
设 D 为 n 阶有向简单图，若 D 的基图为 n 阶无向完全图，则 D 为 n 阶竞赛图。

2 图的存储

//邻接矩阵
int n,m;
int a[N+5][N+5];
int main(){
    cin>>n>>m;
    for(int i=1;i<=m;i++){
        int x,y;
        cin>>x>>y;
        a[x][y]=a[y][x]=1;
    }
}

//邻接表-vector
int n,m;
vector<int> edge[N+5];
int main(){
    cin>>n>>m;
    for(int i=1;i<=m;i++){
        int x,y;
        cin>>x>>y;
        edge[x].push_back(y);
        edge[y].push_back(x);
    }
}
//邻接表-指针
int n,m,l=0;
struct Node{
    Node *next;
    int where;
}*head[N+5],a[2*M+5];
void addedge(int ,int y){
    a[++l].where=y;
    a[l].next=head[x];
    head[x]=&a[l];
}

图的同构

为什么要研究图的同构

●图的结构决定图的本质特征，结构相同的图会有类似的性质，因而需要研究图的同构问题