Complete graph:K4: Difference between revisions
(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) |