Complete Partitions of Graphs

A complete partition of a graph G is a partition of V(G) such that any two classes are connected by an edge. Let cp(G) denote the maximum number of classes in a complete partition of G. This measure was defined in 1969 by Gupta [18], and is known to be NP-hard on several classes of graphs. We obtain the first, and essentially tight, lower and upper bounds on the approximability of this problem. We show that there is a randomized polynomial-time algorithm that given a graph G produces a complete partition of size Omega(cp(G)/root lg vertical bar V(G)vertical bar). This algorithm can be derandomized. We show that the upper bound is essentially tight: there is a constant C > 1, such that if there is a randomized polynomial-time algorithm that for all large U, when given a. graph G with n vertices produces a complete partition into at least C . cp(G)/root lg n classes, then NP subset of RTime(n(O(lg lg n))). The problem of finding a complete partition of a graph is thus the first natural problem whose approximation threshold has been determined to be of the form theta((lg n)(c)) for some constant c strictly between 0 and 1.