
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
Graph may refer to:
Mathematics
*Graph (discrete mathematics), a structure made of vertices and edges
**Graph theory, the study of such graphs and their properties
*Graph (topology), a topological space resembling a graph in the sense of discret ...
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
Euclidean Plane (mathematics), plane Tessellation, tilings by convex regular polygons have been widely used since antiquity. The first systematic mathematical treatment was that of Johannes Kepler, Kepler in his (Latin language, Latin: ''The Har ...
. This implies that the
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic iden ...
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 graph
In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices i ...
s.
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 graph
In the mathematical field of graph theory, a path graph (or linear graph) is a graph whose vertices can be listed in the order such that the edges are where . Equivalently, a path with at least two vertices is connected and has two termina ...
s with ''n'' − 1 and ''m'' − 1 edges.[ Since a path graph is a ]median graph
In graph theory, a division of mathematics, a median graph is an undirected graph in which every three vertex (graph theory), vertices ''a'', ''b'', and ''c'' have a unique ''median'': a vertex ''m''(''a'',''b'',''c'') that belongs to shortest pat ...
, 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
A chessboard is a game board used to play chess. It consists of 64 squares, 8 rows by 8 columns, on which the chess pieces are placed. It is square in shape and uses two colours of squares, one light and one dark, in a chequered pattern. During p ...
) 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
A fairy chess piece, variant chess piece, unorthodox chess piece, or heterodox chess piece is a chess piece not used in conventional chess but incorporated into certain chess variants and some unorthodox chess problems, known as fairy chess. Compar ...
the wazir form a square lattice graph.
See also
* Lattice path
In combinatorics, a lattice path in the -dimensional integer lattice of length with steps in the Set (mathematics), set , is a sequence of Vector (mathematics and physics), vectors such that each consecutive difference v_i - v_ lies in .
A l ...
* Pick's theorem
* Integer triangles in a 2D lattice
* Regular graph
In graph theory, a regular graph is a Graph (discrete mathematics), graph where each Vertex (graph theory), vertex has the same number of neighbors; i.e. every vertex has the same Degree (graph theory), degree or valency. A regular directed graph ...
References
{{reflist
Planar graphs
Graph families