
In
graph theory
In mathematics and computer science, graph theory is the study of ''graph (discrete mathematics), graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of ''Vertex (graph ...
, a lattice graph, mesh graph, or grid graph is a
graph whose
drawing
Drawing is a Visual arts, visual art that uses an instrument to mark paper or another two-dimensional surface, or a digital representation of such. Traditionally, the instruments used to make a drawing include pencils, crayons, and ink pens, some ...
,
embedded in some
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
, forms a
regular tiling. This implies that the
group of
bijective transformations that send the graph to itself is a
lattice in the group-theoretical sense.
Typically, no clear distinction is made between such a graph in the more abstract sense of graph theory, and its drawing in space (often the plane or 3D space). This type of graph may more shortly be called just a lattice, mesh, or grid. Moreover, these terms are also commonly used for a finite section of the infinite graph, as in "an 8 × 8 square grid".
The term lattice graph has also been given in the literature to various other kinds of graphs with some regular structure, such as the
Cartesian product
In mathematics, specifically set theory, the Cartesian product of two sets and , denoted , is the set of all ordered pairs where is an element of and is an element of . In terms of set-builder notation, that is
A\times B = \.
A table c ...
of a number of
complete graphs.
Square grid graph
A common type of lattice graph (known under different names, such as grid graph or square grid graph) is the graph whose vertices correspond to the points in the plane with
integer
An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
coordinates, being in the range , being in the range , and two vertices being connected by an edge whenever the corresponding points are at distance 1. In other words, it is the
unit distance graph for the integer points in a rectangle with sides parallel to the axes.
[
]
Properties
A square grid graph is a Cartesian product of graphs
In graph theory, the Cartesian product of graphs and is a graph such that:
* the vertex set of is the Cartesian product ; and
* two vertices and are adjacent in if and only if either
** and is adjacent to in , or
** and is adjace ...
, namely, of two path graphs with ''n'' − 1 and ''m'' − 1 edges.[ Since a path graph is a median graph, the latter fact implies that the square grid graph is also a median graph. All square grid graphs are bipartite, which is easily verified by the fact that one can color the vertices in a checkerboard fashion.
A path graph is a grid graph on the grid. A grid graph is a 4-cycle.]
Every planar graph
In graph theory, a planar graph is a graph (discrete mathematics), graph that can be graph embedding, embedded in the plane (geometry), plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. ...
''H'' is a minor of the ''h'' × ''h'' grid, where .
Grid graphs are fundamental objects in the theory of graph minors because of the grid exclusion theorem. They play a major role in bidimensionality theory.
Other kinds
A triangular grid graph is a graph that corresponds to a triangular grid.
A Hanan grid graph for a finite set of points in the plane is produced by the grid obtained by intersections of all vertical and horizontal lines through each point of the set.
The rook's graph (the graph that represents all legal moves of the rook chess piece
A chess piece, or chessman, is a game piece that is placed on a chessboard to play the game of chess. It can be either White and Black in chess, white or black, and it can be one of six types: King (chess), king, Queen (chess), queen, Rook (ches ...
on a chessboard) is also sometimes called the lattice graph, although this graph is different from the lattice graph described here because all points in one row or column are adjacent. The valid moves of the fairy chess piece the wazir form a square lattice graph.
See also
* Lattice path
* Pick's theorem
* Integer triangles in a 2D lattice
* Regular graph
References
{{reflist
Planar graphs
Graph families