图论基础

图论基础

注———
本文是作者在学习过程中对知识的归纳总结，知识内容来自王义合先生主编的《离散数学引论》第六章–图的基本概念

正文——

6.1**图论的产生**
–七桥问题

问题描述：能否找到一条这样的路，使得它不重复经过每一个点，并且最终返回到起点？
然而没有人能找到这样的一条路，也没有人证明出不存在这样的路。
1736年，欧拉引入了图的概念，从而解决了这个问题。证明方法将在后文中介绍。
后来，图的概念开始被用于各种领域如物理、化学等。

6.2**基本定义**
1.G=(V,E)称为图：V是图的顶点(vertex)集，E是图的边(edge)集。
图实际上是顶点之间二元关系的集合。
2.顶点v、u邻接：{v，u}∈E
3.若|V|=p,|E|=q,则称G是一个(p,q)图
4.伪图：允许有环和多重边的图
环——–连接一个顶点和其自身的边，这样的边成为环。
多重边—两个顶点之间存在多条边。（七桥问题就是基于一个多重图）
5.零图：E=Ø的图称为零图
6.对称弧：x={u,v}和y={v,u}都属于E时，x、y称为一对对称弧
7.**子图**G=(V,E)是一个图，若F∈E,则称H=(V,F)为G的生成子图
**极大子图**G的子图H有某种性质，而G中不存在与H具有同种性质且包含于H的真子图，则称H为G具有此种性质的极大子图。 <