A set of vertices and a set of unordered and ordered pairs of vertices; denoted by . An unordered pair of vertices is said to be an edge, while an ordered pair is said to be an arc. A graph containing edges alone is said to be non-oriented or undirected; a graph containing arcs alone is said to be oriented or directed. A pair of vertices can be connected by two or more edges (arcs of the same direction) and such edges (arcs) are then said to be multiple. An arc (or edge) can begin and end at the same vertex, in which case it is known as a loop. (A "graph" is sometimes understood to be a graph without loops or multiple edges; in such a case a graph with multiple edges is said to be a multi-graph, whereas one containing both multiple edges and loops is said to be a pseudo-graph.)
Vertices connected by an edge or a loop are said to be adjacent. Edges with a common vertex are also called adjacent. An edge (arc) and any one of its two vertices are said to be incident. One says that an edge connects two vertices and , while an arc begins at the vertex and ends at the vertex . Each graph can be represented in Euclidean space by a set of points, corresponding to the vertices, which are connected by lines, corresponding to the edges (or the arcs) of the graph. In three-dimensional space any graph can be represented in such a way that the lines corresponding to edges (arcs) do not intersect at interior points.
There are various ways of specifying a graph. Let be the vertices of a graph and let be its edges. The adjacency matrix corresponding to is the matrix in which the element equals the number of edges (arcs) which join the vertices and (go from to ) and if the corresponding vertices are not adjacent. In the incidence matrix of the element if the vertex is incident to the edge , and if the vertex and the edge are not incident. A graph can be specified by lists, for example, by specifying pairs of vertices connected by edges (arcs) or by specifying the set of vertices adjacent to each vertex. Two graphs and are called isomorphic if there is a one-to-one correspondence between the sets of vertices and the sets of edges which preserves the incidence relationship (see also Graph isomorphism).
A subgraph of a graph is defined as a graph with set of vertices and set of edges (arcs) , each one of which is incident with vertices from only. A subgraph is said to be generated or induced by the subset if it is a graph with set of vertices and ordered set of edges (arcs) , where consists of by all edges of which connect vertices of . A skeleton subgraph or spanning subgraph contains all vertices of and some subset of its edges (arcs) . A sequence of edges is called an edge progression or walk connecting the vertices and . An edge progression is called a chain or trail if all its edges are different and a simple chain or path if all its vertices are different. A closed (simple) chain is also called a (simple) cycle. A graph is said to be connected if any pair of its vertices is connected by an edge progression. A maximal connected subgraph of a graph is said to be a connected component. A disconnected graph has at least two connected components (see also Graph, connectivity of a).
The length of an edge progression (chain, simple chain) is equal to the number of edges in the order in which they are traversed. The length of the shortest simple chain connecting two vertices and in a graph is said to be the distance between and . In a connected undirected graph the distance satisfies the axioms of a metric. The quantity is called the diameter, while a vertex for which assumes its minimum value is called a centre of . A graph can contain more than one centre or no centre at all.
The degree of a vertex of a graph , denoted by , is the number of edges incident with that vertex. If a (loop-free) graph has vertices and edges, then . A vertex is said to be isolated if and terminal or pendant if . A graph all vertices of which have the same degree (equal to ) is said to be regular of degree . A complete graph has no loops and each pair of vertices is connected by exactly one edge. Let a graph be free from loops or multiple edges; then the complementary graph to is the graph in which and vertices are adjacent in only if they are not adjacent in . A graph which is complementary to a complete graph consists of isolated vertices and is known as empty. Many characteristics of a graph and of its complement are related. In a directed graph one defines, for each vertex , the output (or out) and the input (or in) (semi-) degree as the number of arcs issuing from and entering this vertex, respectively. A complete directed graph is known as a tournament. To each graph can be assigned a number of graphs which are derived from of . Thus, the edge graph of is the graph whose vertices correspond to the edges of and two vertices are adjacent in if and only if the corresponding edges of are adjacent. In the total graph of the vertices correspond to the elements of , i.e. to vertices and edges, and two vertices in are adjacent if and only if the corresponding elements in are adjacent or incident. Many properties of carry over to and . Many generalizations of the concept of a "graph" are known, including that of a hypergraph and of a network graph.
With the aid of suitable operations it is possible to construct a graph from simpler graphs, to pass from a graph to simpler ones, to subdivide a graph into simpler ones, to pass from one graph to another in a given class of graphs, etc. The most common one-place operations include the removal of an edge (the vertices of the edge are preserved), the addition of an edge between two vertices of a graph, the removal of a vertex together with its incident edges (the graph obtained by removal of a vertex from a graph is often denoted by ), the addition of a vertex (which may be connected by edges with certain vertices of the graph), the contraction of an edge — identification of a pair of adjacent vertices, i.e. removal of a pair of adjacent vertices and addition of a new vertex which is adjacent to those vertices of the graph which were adjacent to at least one of the vertices which have been removed, and subdivision of an edge — removal of an edge and addition of a new vertex which is joined by an edge to each vertex of the edge which has been removed.
Two-place operations over a graph are employed in a number of problems in graph theory. Let and be graphs such that and . The union of and is the graph with set of vertices and set of edges . The product of and is the graph whose set of vertices is the Cartesian product , any two of the vertices and being adjacent if and only if either and is adjacent to , or and is adjacent to . For example, any graph is the union of its connected components; a graph known as the -dimensional unit cube can be recursively defined by the product operation
where is the graph consisting of a pair of vertices connected by one edge. These operations can also be defined for intersecting graphs, in particular for subgraphs of a given graph. The addition modulo of two graphs and is defined as the graph with set of vertices and set of edges . Other many-place operations on graphs are also employed.
For certain classes of graphs it is possible to find simple operations, a repeated application of which makes it possible to pass from any graph in the given class to any other graph in the same class. With the aid of the operation shown in Fig. ait is possible to pass from any graph to any other graph within the class of graphs with the same set of degrees.
The operation shown in Fig. bmakes it possible to pass from any triangulation to any other triangulation within the class of planar triangulations (cf. Graph, planar).
The description and study of certain classes of graphs also involves operations and sets of graphs making it possible to obtain any graph of a given class. Operations on graphs are also employed to construct graphs with given properties, to calculate numerical characteristics of graphs, etc. (cf. Graph, numerical characteristics of a).
The concept of a "graph" is employed in defining mathematical ideas such as a control system, in certain definitions of an algorithm, of a grammar, etc. The exposition of a number of mathematical theories becomes more easily understood if geometric representations of graphs are employed, e.g. the theory of Markov chains. The concept of a "graph" is widely employed in the formulation and description of various mathematical models in economics, biology, etc.
|||C. Berge, "The theory of graphs and their applications" , Wiley (1962) (Translated from French)|
|||O. Ore, "Theory of graphs" , Amer. Math. Soc. (1962)|
|||A.A. Zykov, "The theory of finite graphs" , 1 , Novosibirsk (1969) (In Russian)|
|||F. Harary, "Graph theory" , Addison-Wesley (1969) pp. Chapt. 9|
There is as yet no universally accepted terminology in graph theory. In the English literature there are basically three schools of terminology: the French school typified by Berge's books  and [a1], the Canadian school typified by the books [a2] and [a3] and the American (especially Michigan) school typified by the books  and [a4]. Some of the terminology used in the present article differ from all these.
|[a1]||C. Berge, "Graphs and hypergraphs" , North-Holland (1973) (Translated from French)|
|[a2]||J.A. Bondy, U.S.R. Murthy, "Graph theory with applications" , Macmillan (1976)|
|[a3]||W.T. Tutte, "Graph theory" , Addison-Wesley (1984)|
|[a4]||M. Behzad, G. Chartrand, L.L. Foster, "Graphs and digraphs" , Prindle, Weber & Schmidt (1979)|
|[a5]||R.J. Wilson, "Introduction to graph theory" , Longman (1985)|
Graph. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Graph&oldid=14848