Adjacency matrix
Set
context | n∈N |
definiendum | A∈it(n) |
postulate | A∈SquareMatrix(n,N) |
Discussion
If the indices i,j label two vertices of a finite undirected graph, then the value Aij determines the number of edges joining them.
Theorems
The number (An)ij is the number of paths from vi to vj. And so, for example, 12⋅13⋅trA3 is the number of triangles in the graph.