A complete -partite graph is a k-partite graph (i.e., a set of graph vertices decomposed into disjoint sets such that no two graph vertices within the same set are adjacent) such that every pair of graph vertices in the sets are adjacent. If there are , , ..., graph vertices in the sets, the complete -partite graph is denoted . The above figure shows the complete tripartite graph .
The notation is sometimes used to mean (Brouwer et al. 1989, p. 478).
A graph that is complete -partite for some is called a complete multipartite graph (Chartrand and Zhang 2008, p. 41). Complete multipartite graphs can be recognized in polynomial time via finite forbidden subgraph characterization since complete multipartite graphs are -free (where is the graph complement of the path graph ).
The complete multipartite graph of shape , , ... is implemented in the Wolfram Language as CompleteGraph[p, q, ...].
A Turán graph is a complete multipartite graph whose partite sets are as nearly equal in cardinality as possible (Gross and Yellen 2006, p. 476).
Special cases are summarized in the following table.
complete graph | |
complete bipartite graph | |
star graph | |
complete tripartite graph | |
-cone graph | |
complete graph | |
cocktail party graph | |
octahedral graph | |
16-cell graph |
The complete -partite graph with has a Hamilton [quasi-Hamilton] decomposition iff and is even [odd] (Bosák 1990, p. 124).