wiki中对Best定理的描述:戳这里
在图论中,Best定理计算的是有向图的欧拉回路个数。
这个定理命名由四个发明者的名字首字母拼成, deBruijn, van Aardenne-Ehrenfest, Smith and Tutte
设G = (V, E)是一个有向图,一条欧拉回路就是找一条路径,起点和终点相同,每条边有有且经过一次, 在1736,欧拉证明了一幅图存在欧拉回路的充要条件是图是联通的且每个点的入度等于出度。
设
e
c
(
G
)
ec(G)
ec(G)表示欧拉路径的数量,
d
e
g
(
v
)
deg(v)
deg(v)表示点v的入度(入度和出度要相等),
t
s
(
G
)
{t}_{s}(G)
ts(G) 表示以s点为根的外向树的个数
e
c
(
G
)
=
t
s
(
G
)
∏
v
∈
V
(
d
e
g
(
v
)
−
1
)
!
ec(G)={t}_{s}(G)\prod_{v\in V}^{}(deg(v)-1)!
ec(G)=ts(G)v∈V∏(deg(v)−1)!
至于怎么计算外向树的个数,这要用到MatrixTree定理
基尔霍夫矩阵K=度数矩阵D−邻接矩阵A
无向图的度数矩阵就是每个点自己的度数
有向图的度数矩阵就是每个点自己的入度
邻接矩阵是表示u−>v边的个数的矩阵
重边:按照边数计算,自环:不计入度数
无向图生成树计数:c=|K的任意1个n−1阶主子式|
有向图外向树计数:c=|去掉根所在的那阶得到的主子式|