Complete graph:K4: Difference between revisions

From Graph
(Created page with "{{particular graph}} ==Definition== This graph is defined as the complete graph on a set of size four.")
 
 
(7 intermediate revisions by the same user not shown)
Line 1: Line 1:
{{particular graph}}
{{particular undirected graph}}


==Definition==
==Definition==


This graph is defined as the [[complete graph]] on a set of size four.
This graph, denoted <math>K_4</math> is defined as the [[complete graph]] on a set of size four. It is also sometimes termed the '''tetrahedron graph''' or '''tetrahedral graph'''.
 
==Explicit descriptions==
 
===Descriptions of vertex set and edge set===
 
Vertex set: <math>\{ 1,2,3,4 \}</math>
 
Edge set: <math>\{ \{ 1,2 \}, \{ 1,3 \}, \{ 1,4 \}, \{ 2,3 \}, \{ 2, 4 \}, \{ 3, 4 \} \} </math>
 
===Adjacency matrix===
 
The adjacency matrix is:
 
<math>\begin{pmatrix} 0 & 1 & 1 & 1\\ 1 & 0 & 1 & 1 \\ 1 & 1 & 0 & 1 \\ 1 & 1 & 1 & 0\\\end{pmatrix}</math>
 
The matrix is uniquely defined (note that it centralizes all permutations).
 
==Arithmetic functions==
 
===Size measures===
 
{| class="sortable" border="1"
! Function!! Value !! Explanation
|-
| {{arithmetic function value|size of vertex set|4}} || As <math>K_n, n = 4</math>: <math>n = 4</math>
|-
| {{arithmetic function value|size of edge set|6}} || As <math>K_n, n = 4</math>: <math>\binom{n}{2} = \binom{4}{2} = 6</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 <math>K_n, n= 4 </math>: <math>n - 1 = 3</math>
|-
| {{arithmetic function value|eccentricity of a vertex|1}} || As <math>K_n, n = 4</math>: 1 (true for all <math>n \ge 2</math>, independent of <math>n</math>)
|}
 
===Other numerical invariants===
 
{| class="sortable" border="1"
! Function !! Value !! Explanation
|-
| {{arithmetic function value|clique number|4}} || As <math>K_n, n = 4</math>: <math>n = 4</math>
|-
| {{arithmetic function value|independence number|1}} || As <math>K_n, n = 4</math>: 1 (independent of <math>n</math>)
|-
| {{arithmetic function value|chromatic number|4}} || As <math>K_n, n = 4</math>: <math>n = 4</math>
|-
| {{arithmetic function value|radius of a graph|1}} || Due to vertex-transitivity, the radius equals the eccentricity of any vertex, which has been computed above.
|-
| {{arithmetic function value|diameter of a graph|1}} || Due to vertex-transitivity, the radius equals the eccentricity of any vertex, which has been computed above.
|-
| {{arithmetic function value|odd girth|3}} || As <math>K_n, n = 4</math>: 3 (because <math>n \ge 3</math>)
|-
| {{arithmetic function value|even girth|4}} || As <math>K_n, n = 4</math>: 4 (because <matH>n \ge 4</math>)
|-
| {{arithmetic function value|girth of a graph|3}} || As <math>K_n, n = 4</math>: 3 (because <math>n \ge 3</math>)
|}
 
==Algebraic theory==
 
The adjacency matrix is:
 
<math>\begin{pmatrix} 0 & 1 & 1 & 1\\ 1 & 0 & 1 & 1 \\ 1 & 1 & 0 & 1 \\ 1 & 1 & 1 & 0\\\end{pmatrix}</math>
 
The matrix is uniquely defined (note that it centralizes all permutations). Below are some important associated algebraic invariants:
 
{| class="sortable" border="1"
! Algebraic invariant !! Value !! Explanation
|-
| [[characteristic polynomial of a graph|characteristic polynomial]] || <math>t^4 - 6t^2 - 8t - 3</math> || As <math>K_n, n = 4</math>: <math>(t + 1)^{n-1}(t - n + 1) = (t + 1)^3(t - 3) = t^4 - 6t^2 - 8t - 3</math>
|-
| [[minimal polynomial of a graph|minimal polynomial]] || <math>t^2 - 2t - 3</math> || As <math>K_n, n = 4</math>: <math>(t + 1)(t - n + 1) = t^2 - (n - 2)t - (n - 1) = t^2 - 2t - 3</math>
|-
| rank of adjacency matrix || 4 || As <math>K_n, n = 4</math>: <math>n = 4</math>
|-
| eigenvalues (roots of characteristic polynomial) ||  -1 (multiplicity 3), 3 (multiplicity 1) || As <math>K_n, n = 4</math>: -1 (multiplicity <math>n - 1 = 3</math>), <math>n - 1 = 3</math> (multiplicity 1)
|}

Latest revision as of 21:21, 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

This graph, denoted is defined as the complete graph on a set of size four. It is also sometimes termed the tetrahedron graph or tetrahedral graph.

Explicit descriptions

Descriptions of vertex set and edge set

Vertex set:

Edge set:

Adjacency matrix

The adjacency matrix is:

The matrix is uniquely defined (note that it centralizes all permutations).

Arithmetic functions

Size measures

Function Value Explanation
size of vertex set 4 As :
size of edge set 6 As :

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 :
eccentricity of a vertex 1 As : 1 (true for all , independent of )

Other numerical invariants

Function Value Explanation
clique number 4 As :
independence number 1 As : 1 (independent of )
chromatic number 4 As :
radius of a graph 1 Due to vertex-transitivity, the radius equals the eccentricity of any vertex, which has been computed above.
diameter of a graph 1 Due to vertex-transitivity, the radius equals the eccentricity of any vertex, which has been computed above.
odd girth 3 As : 3 (because )
even girth 4 As : 4 (because )
girth of a graph 3 As : 3 (because )

Algebraic theory

The adjacency matrix is:

The matrix is uniquely defined (note that it centralizes all permutations). Below are some important associated algebraic invariants:

Algebraic invariant Value Explanation
characteristic polynomial As :
minimal polynomial As :
rank of adjacency matrix 4 As :
eigenvalues (roots of characteristic polynomial) -1 (multiplicity 3), 3 (multiplicity 1) As : -1 (multiplicity ), (multiplicity 1)