图论相关的基本定义（自用）

基本定义

在图论中，二分图(bipartite graph)是一个图，它的点可以被划分为两个不相交的独立集。
split图(split graph)是一个图，它的点可以被划分为团和独立集。
弦图(chordal graph)是一个图，对于每个长度大于等于4的圈，圈中的每个不相邻的点都有边连接。弦图有时候也被称为三角化图。实际split图也是弦图。
正则图(regular graph)是一个图，每个点都有一样数量的邻居，即每个点的度数都一样。点度数为δ的正则图称为δ-正则图。
δ-界度图(bounded degree graph)是一个图，每个点的邻居个数不超过δ。δ-正则图也是δ-界度图。
稀疏图(sparse graph)是一个图，满足|E| = O(|V |)。
一个图被划分成两部分，我们称为二分。两部分中间的连接边数，称为割大小，图的平衡二分的最小割称为二分宽度。计算二分对一般图是NP-完全的，即使在正则图上也是NP-完全的 [5].

完美消除序列(Perfect Elimination Ordering)

单纯点（simplicial vertex）
设N(v)表示与点v相邻的点集。一个点称为单纯点当{v}+N(v)的诱导子图为一个团。

任何一个弦图都至少有一个单纯点，不是完全图的弦图至少有两个不相邻的单纯点。

B-bounded graphs

When a graph problem is restricted to the class of graphs with maximum degree at most B, called also as B-bounded graphs, we use the acronym B in the notation

Set Cover problem

Let X be any non-empty set and C be a family of subsets of X. For the set system (X, C),aset C ⊆ C is called a cover of X, if every element of X belongs to at least one element of C The MIN SET COVER problem is to find a minimum cardinality cover of X for a given set system (X, C).

私有邻点的定义：

star

A star is a tree on n vertices with one vertex having degree n−1, called central vertex, and the other n−1 vertices having degree 1.

comb

A comb is a tree obtained by joining a single pendant edge to each vertex of a path. In comb, the path is called backbone and the pendant vertices are called teeth.
A vertex v of G is said to be a pendant vertex if deg(v) = 1 and is called isolated vertex if deg(v) = 0. An edge of G is said to be a
pendant edge if one of its vertices is a pendant vertex.
pendant edge：某一个连接的顶点度为1

割边和割点

$w(G-e)>w(G)$，w指连通分量

定理：
一个连通图是树当且仅当它的每条边都是割边。
e是G的割边当且仅当e不包含在G的一个圈中。


定理：
设v是树G的顶点，则v是G的割点当且仅当$d(v)>1$

控制集

匹配控制集

完全控制集和独立控制集、连通控制集

Let G be a simple graph. A set I of vertices is called independent if no two vertices from I are adjacent by an edge in G.
A dominating set D in a graph G is an independent dominating set if the subgraph GD of G induced by D has no edges; D
is a total dominating set if GD has no isolated vertices; and D is a connected dominating set if GD is a connected graph.
------Approximation hardness of dominating set problems in bounded degree graphs

没有孤立的顶点意味着连通，那么连通控制集和完全控制集有什么区别呢？
连通控制集要求只有一个连通分量，但是完全控制集可以有多个连通分量

最大极小控制集

所有的极小控制集中，找出一个基数最大的。
极小控制集：找不到任何一个子集也是控制集。当前控制集去掉一个顶点就不再是控制集。

特殊图

阈值图（threshold graphs）

split图的一个子类，顶点的邻点有包含关系

C：团
I：独立集

chain graphs

二部图的一个子类，顶点的邻点有包含关系

split graphs

顶点集能够分为一个团和一个独立集

仙人掌图（cactus）

圈不相交的图。

区间图（interval graphs）

block graph

块的定义： 不存在割点的极大连通子图
块图： 是弦图的一个子类，且所有的块都是完全图，且不存在与$K_4-e$同构的结构

所有的块图都可以转换为一棵树

star convex bipartite graphs and comb convex bipartite graphs（星凸二部图）