更改

添加523字节 、 2020年8月24日 (一) 15:46
第95行: 第95行:  
Mathematical results concerning cliques include the following.
 
Mathematical results concerning cliques include the following.
 
Mathematical results concerning cliques include the following.
 
Mathematical results concerning cliques include the following.
有关“团”的数学结论包括以下内容。
+
有关团的数学结论包括以下内容。
      第105行: 第105行:  
*The [[Erdős–Faber–Lovász conjecture]] is another unproven statement relating graph coloring to cliques.
 
*The [[Erdős–Faber–Lovász conjecture]] is another unproven statement relating graph coloring to cliques.
   −
* 托兰定理在稠密图中给出了团大小的下界。如果一个图具有足够多的边,则它必然含有较大的团。例如,每个具有n个顶点且超过个边的图形都必然含一个三顶点团。
+
* 托兰定理在'''<font color="#ff8000"> 稠密图Dense graph</font>'''中给出了团大小的下界。如果一个图具有足够多的边,则它必然含有较大的团。例如,每个具有n个顶点且超过个边的图形都必然含一个三顶点团。
* 拉姆齐定理指出,每个图或其补图都包含至少一个具有对数个顶点的团。
+
* '''<font color="#ff8000"> 拉姆齐Ramsey's theorem</font>'''定理指出,每个图或其补图都包含至少一个具有对数个顶点的团。
 
* 根据Moon&Moser(1965)的研究结果,一个具有3n个顶点的图最多可以有3n个极大团。满足此极限要求的图被称为Moon&Moser图K3,3,...,该图相当于托兰图的特例,是托兰定理中的极端情况。
 
* 根据Moon&Moser(1965)的研究结果,一个具有3n个顶点的图最多可以有3n个极大团。满足此极限要求的图被称为Moon&Moser图K3,3,...,该图相当于托兰图的特例,是托兰定理中的极端情况。
 
* 关于Hadwiger的猜想,目前尚未得到证实,其认为图中最大的团子式的大小(即Hadwiger数)与其色数相关。
 
* 关于Hadwiger的猜想,目前尚未得到证实,其认为图中最大的团子式的大小(即Hadwiger数)与其色数相关。
第115行: 第115行:  
Several important classes of graphs may be defined or characterized by their cliques:
 
Several important classes of graphs may be defined or characterized by their cliques:
 
Several important classes of graphs may be defined or characterized by their cliques:
 
Several important classes of graphs may be defined or characterized by their cliques:
由“团”的特性来定义和区分“图”类别的相关描述:
+
由"团"的特性来定义和区分"图"类别的相关描述:
      第129行: 第129行:  
*A [[triangle-free graph]] is a graph that has no cliques other than its vertices and edges.
 
*A [[triangle-free graph]] is a graph that has no cliques other than its vertices and edges.
   −
* 聚类图Cluster graph是图的一种特例,其连接的组成部分视为团。
+
* '''<font color="#ff8000"> 聚类图Cluster graph</font>'''是图的一种特例,其连接的组成部分视为团。
* 框图Block graph是图的一种特例,其双连通的部分视为团。
+
* '''<font color="#ff8000"> 框图Block graph</font>'''是图的一种特例,其双连通的部分视为团。
* 弦图Chordal graph是图的一种特例,其顶点可以按照最佳删除顺序进行排序;也就是说每个顶点的相邻点(即与其构成一个团的另一个顶点)为该顶点的后续点。
+
* '''<font color="#ff8000"> 弦图Chordal graph</font>'''是图的一种特例,其顶点可以按照最佳删除顺序进行排序;也就是说每个顶点的相邻点(即与其构成一个团的另一个顶点)为该顶点的后续点。
* 余图Cograph是图的一种特例,其所有的导出子图均具有以下特性:任何极大团与任何极大独立集都相交于一个独立点。
+
* '''<font color="#ff8000"> 余图Cograph</font>'''是图的一种特例,其所有的导出子图均具有以下特性:任何极大团与任何极大独立集都相交于一个独立点。
* 区间图Interval graph是图的一种特例,其极大团按照一定顺序排列,对于每个顶点v,所有包含其顶点v的团均连续排列。
+
* '''<font color="#ff8000"> 区间图Interval graph</font>'''是图的一种特例,其极大团按照一定顺序排列,对于每个顶点v,所有包含其顶点v的团均连续排列。
* 线图Line graph是图的一种特例,其连边可以被不相交的边团覆盖,从而使得每个顶点恰好属于该覆盖区域中的两个团。
+
* '''<font color="#ff8000"> 线图Line graph</font>'''是图的一种特例,其连边可以被不相交的边团覆盖,从而使得每个顶点恰好属于该覆盖区域中的两个团。
* 完美图Perfect graph是图的一种特例,其导出子图的色数等于此导出子图的团数。
+
* '''<font color="#ff8000"> 完美图Perfect graph</font>'''是图的一种特例,其导出子图的色数等于此导出子图的团数。
* 分裂图Split graph是图的一种特例,其中存在某个团包含至少一个顶点,该顶点为每条边的端点。
+
* '''<font color="#ff8000"> 分裂图Split graph</font>'''是图的一种特例,其中存在某个团包含至少一个顶点,该顶点为每条边的端点。
* 三角形无关图Triangle-free graph是图的一种特例,除了顶点和连边之外,该图不含任何团。
+
* '''<font color="#ff8000"> 三角形无关图Triangle-free graph</font>'''是图的一种特例,除了顶点和连边之外,该图不含任何团。
      第143行: 第143行:  
Additionally, many other mathematical constructions involve cliques in graphs. Among them,
 
Additionally, many other mathematical constructions involve cliques in graphs. Among them,
 
Additionally, many other mathematical constructions involve cliques in graphs. Among them,
 
Additionally, many other mathematical constructions involve cliques in graphs. Among them,
此外,还有许多其他数学结构与图论的团有关。它们包括,
+
此外,还有许多其他数学结构与图论的"团"有关。它们包括,
      第153行: 第153行:  
*The [[Intersection number (graph theory)|intersection number]] of a graph is the minimum number of cliques needed to cover all the graph's edges.
 
*The [[Intersection number (graph theory)|intersection number]] of a graph is the minimum number of cliques needed to cover all the graph's edges.
 
*The [[clique graph]] of a graph is the [[intersection graph]] of its maximal cliques.
 
*The [[clique graph]] of a graph is the [[intersection graph]] of its maximal cliques.
* 图G的团复形属于抽象复形,其中图G的每个团都为单纯形。
+
* 图G的'''<font color="#ff8000"> 团复形Clique complex</font>'''属于'''<font color="#ff8000"> 抽象复形Abstract simplicial complex</font>''',其中图G的每个团都为单纯形。
* 单纯形图可记为无向图κ(G),它具有图G中每个团的一个顶点,以及一个连边,并且该连边通过一个顶点将两个不同的团相连。
+
* '''<font color="#ff8000"> 单纯形图Simplex graph</font>'''可记为无向图κ(G),它具有图G中每个团的一个顶点,以及一个连边,并且该连边通过一个顶点将两个不同的团相连。
* 团相加指的是将两个图合并,沿着他们共有团的顶点和连边融合形成。
+
* '''<font color="#ff8000"> 团相加Clique-sum</font>'''指的是将两个图合并,沿着他们共有团的顶点和连边融合形成。
* 团宽度是图复杂性的一个概念,是用来说明图结构复杂性的一个参数。该图由最少数量的不同定点标签组成,并通过以下操作建立:
+
* '''<font color="#ff8000"> 团宽度Clique-width</font>'''是图复杂性的一个概念,是用来说明图结构复杂性的一个参数。该图由最少数量的不同定点标签组成,并通过以下操作建立:
 
# 1.将两个已标记的图拆开,使其不相交;
 
# 1.将两个已标记的图拆开,使其不相交;
 
# 2.重新标记;
 
# 2.重新标记;
 
# 3.根据给定的标记,连接所有成对顶点。
 
# 3.根据给定的标记,连接所有成对顶点。
* 图的交叉数指的是能覆盖图所有连边所需的最小团数。
+
* 图的'''<font color="#ff8000"> 交叉数Intersection number</font>'''指的是能覆盖图所有连边所需的最小团数。
* 图G的团图指的是该图的极大团的交图。主要为了展示图G的团结构。
+
* 图G的'''<font color="#ff8000"> 团图Clique graph</font>'''指的是该图的极大团的交图。主要为了展示图G的团结构。
* 从概念上来说,完全子图与完全图细分,以及完全图子式密切相关。尤其是Kuratowski定理和Wagner定理,它们就是通过禁用完全图、完全二分图细分和完全二分图子式来描述平面图特征的。
       
961

个编辑