Complete graph:K4: Difference between revisions

From Graph
No edit summary
Line 3: Line 3:
==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'''.


==Arithmetic functions==
==Arithmetic functions==

Revision as of 19:48, 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.

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)