# Bivariegated graph

In graph theory, a bivariegated graph is a graph whose vertex set can be partitioned into two equal parts such that each vertex is adjacent to exactly one vertex from the other set not containing it. In a bivarigated graph G with 2n vertices, there exists a set of n independent edges such that no odd number of them lie on a cycle of G.

## Examples

The Petersen graph, shown below, is a bivariegated graph: if one partitions it into an outer pentagon and an inner five-point star, each vertex on one side of the partition has exactly one neighbor on the other side of the partition. More generally, the same is true for any generalized Petersen graph formed by connecting an outer polygon and an inner star with the same number of points; for instance, this applies to the Möbius–Kantor graph and the Desargues graph.

Any hypercube graph, such as the four-dimensional hypercube shown below, is also bivariegated.

However, the graph shown below is not bivariegated. Whatever you choose the three independent edges, one of them is an edge of a cycle.

## Bivariegated trees

A tree T with 2n vertices, is bivariegated if and only if the independence number of T is n, or, equivalently, if and only if it has a perfect matching.

## Generalizations

The k-varigated graph, k ≥ 3, can be defined similarly. A graph is said to be k-varigated if its vertex set can be partitioned into k equal parts such that each vertex is adjacent to exactly one vertex from every other part not containing it.