_1个树formula_10，且formula_10有formula_12个顶点。 Ringel猜想可以被表述为：完全图formula_13能否被分解成一些完全相同的formula_1阶树。 对于足够大的formula_1，这个结论是成立的。完全图的匹配数按照它们的阶数排列，由telephone numbers给出： 1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, 35696, 140152, 568504, 2390480, 10349536, 462067