具有唯一K_k- 因子的最大图

这里考虑的是简单图.图 G 的 K_k-因子是 G 的这样一种支撑子图,它的每个连通片皆同构于 k 个节点的完全图 K_k.本文给出:如果 G 具有唯一的 K_k-因子,则|E(G)|≤n^2·k(k-1)/2;进而,对于|E(G)|=n^2·k(k-1)/2的图 G 完全确定了 G 的结构.