# GraphComplement

gives the graph complement of the graph g.

GraphComplement[{vw,}]

uses rules vw to specify the graph g.

# Details and Options • The graph complement has the same vertices and edges defined by two vertices being adjacent only if they are not adjacent in g.
• GraphComplement works with undirected graphs, directed graphs, multigraphs, and mixed graphs.

# Examples

open allclose all

## Basic Examples(2)

Graph complement of cycle graphs:

Graph complement of directed graphs:

## Scope(6)

GraphComplement works with undirected graphs:

Directed graphs:

Multiple graphs:

Mixed graphs:

Use rules to specify the graph:

GraphComplement works with large graphs:

## Properties & Relations(7)

The complement of a CompleteGraph is an edgeless graph:

The complement of the complement is the original graph (for simple graphs):

The complement of the graph can be obtained from its adjacency matrix:

An independent vertex set of the graph is a clique of its complement graph:

The complement of the line graph of is a Petersen graph:

The graph union of any simple graph and its complement is a complete graph:

The graph intersection of any graph and its complement is an empty graph:

Introduced in 2010
(8.0)
|
Updated in 2014
(10.0)
2015
(10.3)