一个 完全图 的双色着色,恰好包含最少数量的 单色强制三角形(即,最少
,其中
和
分别是红色和蓝色 三角形 的数量),被称为 极图。Goodman (1959) 证明了对于一个极图,
(1)
|
Schwenk (1972) 将方程改写为如下形式
(2)
|
一个 完全图 的双色着色,恰好包含最少数量的 单色强制三角形(即,最少
,其中
和
分别是红色和蓝色 三角形 的数量),被称为 极图。Goodman (1959) 证明了对于一个极图,
(1)
|
Schwenk (1972) 将方程改写为如下形式
(2)
|
Weisstein, Eric W. "Goodman's Formula." 来自 —— 资源。 https://mathworld.net.cn/GoodmansFormula.html