图论
该定义也可以用图论的语言表述如下：设formula_16，那么formula_17，且formula_18。