Complete graph:K4: Difference between revisions

From Graph
No edit summary
 
Line 3: Line 3:
==Definition==
==Definition==


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'''.
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==
==Explicit descriptions==

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 K4 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: {1,2,3,4}

Edge set: {{1,2},{1,3},{1,4},{2,3},{2,4},{3,4}}

Adjacency matrix

The adjacency matrix is:

(0111101111011110)

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

Arithmetic functions

Size measures

Function Value Explanation
size of vertex set 4 As Kn,n=4: n=4
size of edge set 6 As Kn,n=4: (n2)=(42)=6

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 Kn,n=4: n1=3
eccentricity of a vertex 1 As Kn,n=4: 1 (true for all n2, independent of n)

Other numerical invariants

Function Value Explanation
clique number 4 As Kn,n=4: n=4
independence number 1 As Kn,n=4: 1 (independent of n)
chromatic number 4 As Kn,n=4: n=4
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 Kn,n=4: 3 (because n3)
even girth 4 As Kn,n=4: 4 (because n4)
girth of a graph 3 As Kn,n=4: 3 (because n3)

Algebraic theory

The adjacency matrix is:

(0111101111011110)

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

Algebraic invariant Value Explanation
characteristic polynomial t46t28t3 As Kn,n=4: (t+1)n1(tn+1)=(t+1)3(t3)=t46t28t3
minimal polynomial t22t3 As Kn,n=4: (t+1)(tn+1)=t2(n2)t(n1)=t22t3
rank of adjacency matrix 4 As Kn,n=4: n=4
eigenvalues (roots of characteristic polynomial) -1 (multiplicity 3), 3 (multiplicity 1) As Kn,n=4: -1 (multiplicity n1=3), n1=3 (multiplicity 1)