Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Source. The unnumbered conjecture of §4.2, p. 28, with Example 2, p. 28, of G.-T. Chen, P. Erdős and E. T. Ordman, Clique partitions of split graphs, in: Y. Alavi, D. R. Lick and J. Liu (eds.), Combinatorics, Graph Theory, Algorithms and Applications (Beijing, 1993), World Scientific, Singapore, 1994, pp. 21--30; the edition read is identified on the source card.

Statement

Setting. cp⁡(G)\operatorname{cp}(G) is the least number of cliques of GG containing each edge of GG exactly once, and a split graph GnG_n on nn vertices has rnrn vertices in its clique and (1−r)n(1-r)n in its independent set (pp. 21, 23).

Conjecture (p. 28, §4.2, quoted). "The possibility remains open that more than n2/6+O(n)n^2/6+O(n) cliques may be needed in the range 1/3<r<2/31/3<r<2/3 when approximately 1/41/4 of the connecting edges are absent. We have found no example where more than n2/6+n/6n^2/6+n/6 cliques are actually required, and conjecture that this number will always suffice."

In the corpus's words: the authors conjecture that every split graph on nn vertices has cp⁡≤n2/6+n/6\operatorname{cp}\le n^2/6+n/6. The range 1/3<r<2/31/3<r<2/3 is the one where Lemmas 2 and 3 give only 34(r−r2)n2+O(n)\tfrac34(r-r^2)n^2+O(n), and Example 1 attains n2/6+n/6n^2/6+n/6 when 6∣n6\mid n, so the conjectured bound would be exact for those nn.

Example 2 (p. 28, quoted). "The graph Kn−Kˉn/2K_n-\bar K_{n/2} can be clique partitioned using about n2/8n^2/8 cliques, but it is possible to delete connecting edges so that at least (18+1128)n2(\frac18+\frac1{128})n^2 cliques are needed."

The paper presents Example 2, for r=1/2r=1/2 with exactly a quarter of the connecting edges missing, as showing that deleting connecting edges can increase cp⁡\operatorname{cp}. Its graph splits the clique into 3n/83n/8 and n/8n/8 vertices and deletes every connecting edge to the n/8n/8 part; the paper summarizes an argument, based on methods of its reference [7], for the lower bound 17128n2\tfrac{17}{128}n^2 and then partitions the graph into 15128n2+5128n2=532n2<n2/6\tfrac{15}{128}n^2+\tfrac5{128}n^2=\tfrac5{32}n^2<n^2/6 edges and triangles (p. 29), so the example does not contradict the conjecture. §4.3 (p. 29) discusses why choosing the matchings carefully should do better than Lemma 2 for r=1/2r=1/2, and p. 30 records that the authors' estimate there still exceeds n2/6n^2/6.

Read depth. Claims checked: the conjecture, Example 2 and its stated counts were read on the page images (pp. 28--30). The lower-bound argument for Example 2 was read for its structure only. Nothing here is independently reviewed.

Proof pointer

None: the conjecture is posed, not proved. The paper reports only that no counterexample is known to the authors.

Dependencies

None for the conjecture. Example 2's lower bound uses Lemma 4 of the paper's reference [7], P. Erdős, R. Faudree and E. Ordman, Clique coverings and clique partitions, Discrete Math. 72 (1988), 93--101.

Bears on

Problem 81 asks whether every chordal graph on nn vertices has a clique partition into n2/6+O(n)n^2/6+O(n) cliques. Split graphs are chordal (p. 22), so the conjecture, if true, gives the problem's bound, with linear term n/6n/6, for the split graphs; it says nothing about chordal graphs that are not split.