Heawood graph: Difference between revisions
(Created page with "{{particular undirected graph}} ==Definition== The '''Heawood graph''' is an undirected graph on 14 vertices that can be described explicitly as the [[defining ingredien...") |
No edit summary |
||
Line 3: | Line 3: | ||
==Definition== | ==Definition== | ||
The '''Heawood graph''' is an [[undirected graph]] on 14 vertices that can be | The '''Heawood graph''' is an [[undirected graph]] on 14 vertices that can be defined in the following equivalent ways: | ||
# [[defining ingredient::Levi graph]] of the [[Fano plane]] (which is the [[projective plane]] over [[field:F2]]). | |||
# It is the unique (up to [[graph isomorphism]]) (3,6)-[[cage]]. | |||
==Arithmetic functions== | ==Arithmetic functions== | ||
Line 15: | Line 18: | ||
|- | |- | ||
| {{arithmetic function value|size of edge set|21}} || As Levi graph of projective plane over <math>\mathbb{F}_q, q = 2</math>: <math>(q + 1)(q^2 + q + 1) = (2 +1)(2^2 + 2 + 1) = 3(7) = 21</math> | | {{arithmetic function value|size of edge set|21}} || As Levi graph of projective plane over <math>\mathbb{F}_q, q = 2</math>: <math>(q + 1)(q^2 + q + 1) = (2 +1)(2^2 + 2 + 1) = 3(7) = 21</math> | ||
|} | |||
===Numerical invariants associated with vertices=== | |||
Since the graph is a [[vertex-transitive graph]], any numerical invariant associated to a vertex must be equal on all vertices of the graph. Below are listed some of these invariants: | |||
{| class="sortable" border="1" | |||
! Function !! Value !! Explanation | |||
|- | |||
| {{arithmetic function value|degree of a vertex|3}} || As Levi graph of projective plane over <math>\mathbb{F}_q, q = 2</math>: <math>q + 1 = 3</math> | |||
|- | |||
| {{arithmetic function value|eccentricity of a vertex|2}} || As Levi graph of a projective plane: 2 (using the fact that any two points are incident on a common line, and any two lines are incident on a common point) | |||
|} | |||
===Other numerical invariants=== | |||
{| class="sortable" border="1" | |||
! Function !! Value !! Explanation | |||
|- | |||
| {{arithmetic function value|clique number|2}} || As a Levi graph, the graph is bipartite, hence triangle-free | |||
|- | |||
| {{arithmetic function value|independence number|7}} || Obviously, since the graph is bipartite, we can choose all the vertices on one side as an independent set. It's easy to show that we can do no better in this case. | |||
|- | |||
| {{arithmetic function value|chromatic number|2}} || As a Levi graph, the graph is bipartite | |||
|- | |||
| {{arithmetic function value|radius of a graph|2}} || Follows from eccentricity of every vertex being 2 | |||
|- | |||
| {{arithmetic function value|diameter of a graph|2}} || Follows from eccentricity of every vertex being 2 | |||
|- | |||
| {{arithmetic function value|girth of a graph|6}} || As Levi graph of a projective plane: 6 | |||
|} | |} |
Revision as of 04:22, 29 May 2012
This article defines a particular undirected graph, i.e., the definition here determines the graph uniquely up to graph isomorphism.
View a complete list of particular undirected graphs
Definition
The Heawood graph is an undirected graph on 14 vertices that can be defined in the following equivalent ways:
- Levi graph of the Fano plane (which is the projective plane over field:F2).
- It is the unique (up to graph isomorphism) (3,6)-cage.
Arithmetic functions
Size measures
Function | Value | Explanation |
---|---|---|
size of vertex set | 14 | As Levi graph of projective plane over : |
size of edge set | 21 | As Levi graph of projective plane over : |
Numerical invariants associated with vertices
Since the graph is a vertex-transitive graph, any numerical invariant associated to a vertex must be equal on all vertices of the graph. Below are listed some of these invariants:
Function | Value | Explanation |
---|---|---|
degree of a vertex | 3 | As Levi graph of projective plane over : |
eccentricity of a vertex | 2 | As Levi graph of a projective plane: 2 (using the fact that any two points are incident on a common line, and any two lines are incident on a common point) |
Other numerical invariants
Function | Value | Explanation |
---|---|---|
clique number | 2 | As a Levi graph, the graph is bipartite, hence triangle-free |
independence number | 7 | Obviously, since the graph is bipartite, we can choose all the vertices on one side as an independent set. It's easy to show that we can do no better in this case. |
chromatic number | 2 | As a Levi graph, the graph is bipartite |
radius of a graph | 2 | Follows from eccentricity of every vertex being 2 |
diameter of a graph | 2 | Follows from eccentricity of every vertex being 2 |
girth of a graph | 6 | As Levi graph of a projective plane: 6 |