如果正整数n≥3, 在n个顶点的完全图K_n中
(1) 至少需要f(n)个K₃子图，才可以覆盖K_n的每一条边
其中当n≡1, 3(mod 6)时，f(n)=(n²-n)/6
当n≡5(mod 6)时，f(n)=(n²-n+4)/6
当n≡2, 4(mod 6)时，f(n)=(n²+2)/6
当n≡0(mod 6)时，f(n)=n²/6
(2) 最多可以选出g(n)个K₃子图，使得任意两个之间没有公共边
其中当n≡1, 3(mod 6)时，g(n)=(n²-n)/6
当n≡5(mod 6)时，g(n)=(n²-n-8)/6
当n≡0, 2(mod 6)时，g(n)=(n²-2n)/6
当n≡4(mod 6)时，g(n)=(n²-2n-2)/6
(1) 至少需要f(n)个K₃子图，才可以覆盖K_n的每一条边
其中当n≡1, 3(mod 6)时，f(n)=(n²-n)/6
当n≡5(mod 6)时，f(n)=(n²-n+4)/6
当n≡2, 4(mod 6)时，f(n)=(n²+2)/6
当n≡0(mod 6)时，f(n)=n²/6
(2) 最多可以选出g(n)个K₃子图，使得任意两个之间没有公共边
其中当n≡1, 3(mod 6)时，g(n)=(n²-n)/6
当n≡5(mod 6)时，g(n)=(n²-n-8)/6
当n≡0, 2(mod 6)时，g(n)=(n²-2n)/6
当n≡4(mod 6)时，g(n)=(n²-2n-2)/6
