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. is the least number of cliques of containing each edge of exactly once, and a split graph on vertices has vertices in its clique and in its independent set (pp. 21, 23).
Conjecture (p. 28, §4.2, quoted). "The possibility remains open that more than cliques may be needed in the range when approximately of the connecting edges are absent. We have found no example where more than 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 vertices has . The range is the one where Lemmas 2 and 3 give only , and Example 1 attains when , so the conjectured bound would be exact for those .
Example 2 (p. 28, quoted). "The graph can be clique partitioned using about cliques, but it is possible to delete connecting edges so that at least cliques are needed."
The paper presents Example 2, for with exactly a quarter of the connecting edges missing, as showing that deleting connecting edges can increase . Its graph splits the clique into and vertices and deletes every connecting edge to the part; the paper summarizes an argument, based on methods of its reference [7], for the lower bound and then partitions the graph into 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 , and p. 30 records that the authors' estimate there still exceeds .
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 vertices has a clique partition into cliques. Split graphs are chordal (p. 22), so the conjecture, if true, gives the problem's bound, with linear term , for the split graphs; it says nothing about chordal graphs that are not split.