Академический Документы
Профессиональный Документы
Культура Документы
| d | e | f | g | h | i | j | k | l | m-mh | mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
|2|3|
1-embeddable graph
A graph is 1-embeddable in a surface it it embeds so that every edge crosses at most one other edge.
[DA00]
1-factorization
A partition of the edges into 1-factors. [DA00]
2-3 tree
A balanced tree in which internal nodes have two or three children. [PEB00]
2-3-4 tree
A variant of a B-tree with two, three, or four children for each internal node. [PEB00]
2-connected component
The subgraph on elementary separators. [HN97]
2-isomorphic graphs
Graphs G1 and G2 are 2-isomorphic if there exists a bijection ε : E(G1) →E(G2) through which an
edge in G1 can be identified with an edge in G2 so that
V(G1) = V(G2) . [HN97]
Two graphs G and G' are 2-isomorphic to each other if there exists an one-to-one correspondence
between the edges of G and G' such that the circuit relationships will be preserved. [WM72]
2-tree
A 2-tree t2(p, j) of a connected graph G is a subgraph which satisfies the following conditions:
• t2(p, j) consists of nv – 2 edges, containing all vertices of G, and contains no circuits;
• t2(p, j) consists of two connected parts including the case when a part consists of one isolated
vertex;
• One of two parts contains vertex p and the other contains vertex j .
[WM72]
FIGURE
α -perfect
α (H) = Θ (H) for every induced subgraph H . [DW96]
α -permutation graph
For a permutation α in the symmetric group Sp , the
α -permutation graph of a labeled graph G is the graph union of two disjoint copies of G (say, G1
and G2), together with the edges joining vertex viof Gi with vα (i)of G2 . [EW00]
α , β -chain
A path alternating between colors α and β . [DW96]
FIGURE
β -perfect
α (H) ω (H) ≥ n(H) for every induced subgraph H . [DW96]
γ -perfect
χ (H) = ω (H) for every induced subgraph H . [DW96]
τ -graph
A graph is called a τ -graph if there exist no circuits and no isolated vertices. [WM72]
FIGURE
a, b-tree
A search tree with the restrictions that all leaves are at the same depth and all internal nodes
have between a and b children. More formally a and b are integers such that 2 ≤ a ≤ (b + 1) /
2 . If µ is an internal node with d children, the root has d ≥ 2 , otherwise a≤ d ≤ b .[PEB00]
Abelian group
A group whose binary operation is commutative; i.e., for all elements a and b in the group, ab
= ba . (From Niels Henrik Abel, a pioneer in group theory.) [HC00]
A-cordial graph
Let A be an abelian group. For a ∈A let vf (a) , ef (a) denote the number of vertices and edges,
respectively, which are labelled a . f is a vertex labeling of graph G which induces an edge
labeling defined by f(v, u) = f(v) + f(u) for an edge (v, u) of G . Then G is called A-cordial if
there is a labeling f: V →A such that for all a, b ∈A we have 1 ≥ | vf (a) - vf (b) | and 1 ≥ | ef (a)
- ef (b) | .[IC00]
acyclic
Without cycles. Arises in graphs and networks, as well as in the context of algorithms (e.g., not
cycling back to some previous solution). [HG99]
FIGURE
adjacency list
The adjacency list representation of a graph G consists of n lists one for each vertex vi , 1 ≤ i
≤ n , which gives the vertices to which vi is adjacent. [EW00]
adjacency matrix
Let G = (V, E) be a graph whose vertices have been (arbitrarily) ordered V = {v1, v2 , … , vn}.
The adjacency matrix M = [mij] of G is an n × n matrix with entries mij = 0 if vi vj∉E and mij =
1 if
vi vj ∈E . [MG80]
The n by n binary matrix, say A, to represent node adjacency in a simple graph: A(i, j) = 1 if
node i is adjacent to node j . In the undirected case, A is symmetric. In the directed case, the
adjacency means there is an arc from i to j . In the case of a multigraph, A(i, j) = number of
edges whose endpoints are nodes i and j . [HG99]
FIGURE
adjacency relation
The set E of edges of a graph (V, E) , being a set of unordered pairs of elements of V ,
constitutes a relation on V. Formally, an adjacency relation is any relation which is irreflexive
and symmetric. [EW00]
adjacency set
The set of vertices adjacent to vertex v . [DW96]
FIGURE
adjacency structure
A representation of a graph or digraph which lists, for each vertex, all the vertices that are
adjacent to the given vertex. [WC00]
A characterization of a graph by listing all vertices adjacent to each particular vertex. One
format is the adjacency matrix of the graph.[HC00]
adjacent arcs
Two arcs which have at least one common endpoint. [BC79]
FIGURE
adjacent edges
Edges having at least one vertex in common. [CGM79]
FIGURE
adjacent to identity
If T is a triangulation of a closed 2-manifold, and f is an automorphism of T , then we say that f
is adjacent to the identity if v is adjacent to f(v) for every vertex v of T . [DA00]
algebraic combinatorics
The use of techniques from algebra, topology, and geometry in the solution of combinatorial
problems, or the use of combinatorial methods to attack problems in these areas. [EW00]
algebraic connectivity
The second smallest eigenvalue of the Laplacian matrix of a graph G. This eigenvalue is
greater than 0 iff G is a connected graph. [EW00]
algorithm
A step-by-step method for solving all problems of a given type. [ISEM00]
A systematic procedure guaranteed to produce a result after a finite number of steps.
[CERN97]
1) Any formalized, step-by-step procedure for solving a problem, as in medical diagnosis.
(From the Arab mathematical pioneer al-Khwarizmi.)
2) A set of well-defined directions to perform mathematical operations that lead to the solution
or approximate solution of a given problem. If a potentially infinite number of steps is
required, the process can still qualify as an algorithm if a stopping rule based on solution
accuracy can be given.
3) An abstract procedure to carry out an operation by following a series of precise,
unambiguous steps; often the term algorithm connotes a procedure that is guaranteed to
produce a correct result in an efficient manner.[HC00]
A specific set of instructions for carrying out a procedure or solving a problem, usually with
the requirement that the procedure terminate at some point. Specific algorithms sometimes also
go by the name method, procedure, or technique. The word "algorithm" is a distortion of al-
Khwarizmi, an Arab mathematician who wrote an influential treatise about algebraic methods.
[EW00]
algorithmic complexity
A measure of the complexity of a problem. Typically defined as the size of the smallest
program that computes the given problem or that generates a complete description of it.
[CNA96]
alternating path
A path with alternating free and matched edges. [PEB00]
alternating sequence
A sequence in which
[HN97]
anarboricity
Given a graph G, the anarboricity is the maximum number of line-disjoint nonacyclic
subgraphs whose union is G . [EW00]
ancestor
In a rooted tree, a vertex along the path to the root. [DW96]
If there is a path from vertex x to vertex y in a directed spanning tree, we say that x is an
ancestor of y . [RND77]
annihilation problem
Given acyclic digraph G = (V, A) , collection
{Ai : 1 ≤ i≤ r} of (not necessarily disjoint) subsets of A , function f0 mapping V into {0, 1, 2,
… , r} , where f0(v) = i > 0 means that a token of type i is on vertex v and f0(v) = 0 means that v
is unoccupied. Does player 1 have a forced win in the following game played on G ? A
position is a function f : V→ {0, 1, 2, … , r} with f0 being the initial position and players
alternating moves. A player moves by selecting a vertex v∈V with f(v)> 0 and an arc (v, w)
∈Af(v) , and the move corresponds to moving the token on vertex v to vertex w . The new
position f ' is the same as f except that f ' (v) = 0 and f ' (w) is either 0 or f(v) , depending
respectively, on wether f(w)> 0 or f(w)= 0 . Player 1 wins if and only if player 2 is the first
player unable to move. [GJ79]
antibalanced
The negative of a balanced signed graph. [TZ98]
antichain
Family of pairwise incomparable items (under an order relation). [DW96]
anticlique
Stable set. [DW96]
anticycling rule
A rule that prevents cycling, such as Bland's rule for linear programming.[HG99]
antihamiltonian digraph
A digraph D that contains a Hamiltonian anticycle. [CL96]
antihole
Induced subgraph isomorphic to the complement of a cycle. [DW96]
antimagic graph
A graph with n edges labeled with distinct elements {1, 2, … , n} so that the sum of the edge
labels at each vertex differ. [EW00]
antiparallel edges
Directed edges with the same endpoints but in opposite direction. [SE79]
FIGURE
approximation algorithm
Polynomial-time algorithm with bounded performance ratio. [DW96]
approximation scheme
Let A be an NPO problem. An algorithm T is said to be an approximation scheme for A if, for
any instance x of A and for any rational ε > 1 , T(x, ε ) returns a feasible solution of x whose
performance ratio is at most ε . [CK00]
Family of approximation algorithms with arbitrarily good performance ratio. [DW96]
arbitrated digraph
A digraph in which for every two vertices v1 and v2 there is a vertex v (called an arbiter) such
that there are directed paths from v to v1 and from v to v2 . [SE79]
arc capacity
The non-negative integer ci associated with each arc ui of a graph G which may be regarded as
the maximum permissible value of the flow in the arc ui . [BC79]
arc list
A representation of a digraph using the arcs of the digraph. Can be an unordered listing of the
ordered pairs, or a pair of ordered lists with the starting vertex in one list and the ending vertex
in the corresponding position of the second list. [WC00]
arc weight
A weight assigned to the arc of a digraph.
assignment problem
Choose an assignment of people to jobs so as to minimize total cost. The ordinary model is that
of a matching problem. Although the usual assignment problem is solvable in polynomial time
(as a linear program), important extensions are the following NP-complete problems:
Quadratic assignment (QAP), Multi-dimensional assignment. [HG99]
The problem of finding a maximum (or minimum) weight matching in a weighted, bipartite
graph. [PEB00]
asteroidal triple
A collection of three vertices, each pair of which is connected by a path that does not meet the
third vertex or any of its neighbors. [BW97]
FIGURE
asymmetric digraph
A directed graph having no symmetric pair of directed edges. [EW00]
FIGURE
augmenting path
A path with alternating free and matched edges which begins and ends with free vertices. Used
to augment (improve or increase) a matching or flow.[PEB00]
A simple path from source s to sink t , which is not necessarily directed, but it can be used to
advance flow from s to t . [SE79]
automorphism group
A group of automorphisms of G . [BW97]
The group of isomorphisms from a graph G to itself. [SL99]
automorphism
A one-to-one mapping φ of V(G) onto itself with the property that φ (v) and φ (w) are
adjacent if and only if v and w are. [BW97]
An isomorphism between a graph G and itself. [CL96]
A permutation of the vertices that preserves the adjacency relation. [DW96]
AVL tree
A balanced binary tree where the height of the two subtrees (children) of a node differs by at
most one. [PEB00]
B*-tree
A B-tree in which nodes are kept 2/3 full by redistributing keys to fill two child nodes, then splitting
them into three nodes. [PEB00]
B+-tree
A B-tree in which keys are stored in the leaves. [PEB00]
back edge
An edge of a digraph not in the DFS-tree. [RND77]
balance = satisfaction
The property of a subgraph or edge set that it contains no half edge and every polygon is positive (in
a signed graph), has gain equal to the identity (in a gain graph), or belongs to the balanced-polygon
class BΩ (in a biased graph). [TZ98]
balanced = satisfied
Having the property of balance. Balance is an undirected concept. Applied to a signed or gain
digraph it means balance of the underlying undirected graph. [TZ98]
balanced chord
A chord whose union with the polygon is balanced. [TZ98]
balanced graph
Average vertex degree in a subgraph of G is maximized by G itself. [DW96]
balanced k-partite
Having part-sizes differing by at most one. [DW96]
balanced polygon
In a signed or gain graph, a polygon whose sign/gain is the group identity. [TZ98]
balanced tree
A tree where no leaf is much farther away from the root than any other leaf. Different balancing
schemes allow different definitions of "much farther" and different amounts of work to keep them
balanced. [PEB00]
balancing edge
Edge of an unbalanced graph whose deletion leaves a balanced graph. [TZ98]
bandwidth
The bandwidth of a graph G is the minimum bandwidth among adjacency matrices of graphs
isomorphic to G . The bandwidth of a matrix
M = (mij) is the maximum value of | i – j | such that mij is nonzero. [EW00]
The minimum, over vertex numberings by distinct integers, of the maximum difference between
labels of adjacent vertices. [DW96]
bandwidth problem
Given a digraph G = (V, A) and positive integer
K ≤ | V | , is there a linear ordering of V with bandwidth K or less? [GJ79]
bar
The term in rigidity theory for the edges of a graph. [EW00]
bar-visibility graph
One-dimensional analogue of a rectangle-visibility graph. [DA00]
barycenter
Vertex minimizing the sum of distances to other vertices. [DW96]
batch net
Extended hybrid Petri net with a new kind of batch places and batch transitions. [PM99]
BD-tree
A binary tree which organizes multidimensional points by splitting off regular subintervals.
[PEB00]
Bellman-Ford algorithm
An efficient algorithm to find the shortest paths from a single source vertex to all other vertices in a
weighted, directed graph. The time complexity is O(VE) , where E is the number of edges. [PEB00]
Berge graph
A graph with no induced subgraph isomorphic to an odd cycle or to the complement of an odd cycle.
[BW97]
FIGURE
Berge's theorem
A matching is maximal iff it contains no augmenting path. [EW00]
best possible
Fails to be true when some condition (usually on a parameter) is loosened.[DW96]
bias circuit
A balanced polygon, contrabalanced handcuff or theta graph, or a loose edge; here a half edge is
treated like an unbalanced loop, so (for instance) a graph consisting of two half edges and a simple
connecting path is a bias circuit. [TZ98]
bias matroid
Matroid whose circuits are the balanced polygons and contrabalanced bicycles. [TZ98]
biased graph
Graph together with a linear subclass B = B( p ) of its polygons; these are called the "balanced''
polygons. (That is, the number of balanced polygons in a theta subgraph is never exactly 2.) The
"bias'' is the unbalanced polygons, so more balanced is less biased. [TZ98]
bichromatic graph
A graph with edges of two possible colors, usually identified as red and blue. [EW00]
bicircular matroid
Matroid whose circuits are the bicycles of the graph. A half edge acts like a loop. [TZ98]
biclique = complete bipartite graph
biconnected
2-connected. [DW96]
bicubic graph
Bipartite cubic graph. [HC00]
FIGURE
Bidiakis cube
The 12-vertex graph consisting of a cube in which two opposite faces (say, top and bottom) have
edges drawn across them which connect the centers of opposite sides of the faces in such a way that
the orientation of the edges added on top and bottom are perpendicular to each other. [EW00]
FIGURE
bidirected edge
Edge such that each end has been independently oriented. Bidirection can be represented by signing
the edge ends as follows: + represents an end entering its vertex while - represents an exiting end.
[TZ98]
FIGURE
bigraphical sequences
Two finite sequences s1 and s2 of nonnegative integers are called bigraphical if there exists a bipartite
graph G with partite sets V1 and V2 such that s1 and s2 are the degrees in G of the vertices in V1 and V2
, respectively. [CL96]
bin packing
Suppose the numbers S = { a1 , … , an} are drawn uniformly and independently from the interval [0,
1] . The numbers must be placed in bins, each having capacity 1. [DW96]
binary heap
A complete binary tree where every node has a key more extreme (greater or less) than or equal to
the key of its parent. [PEB00]
binary matrix
Having all entries 0 or 1. [DW96]
FIGURE
binary matroid
Representable over the two-element field. [DW96]
binding number
The binding number of a graph G is defined by
bind(G) = minimum |N(S)| / | S | , where the minimum is over non-empty, proper subsets S of V(G) ,
with N(S) not all of V(G) . [SL99]
binomial coefficient
The number of ways to choose a subset of size k from an n-element set, equal to n! / [ k! (n - k)! ] .
[DW96]
binomial heap
A priority queue made of a forest of binomial trees with the heap property numbered k = 0, 1, 2, ..., n
, each containing either 0 or 2k nodes. Each tree is formed by linking two of its predecessors, by
joining one at the root of the other. [PEB00]
binomial tree
An ordered tree of order k ≥ 0 , that is Bk , has a root with k children where the ith child is binomial
tree of order k – i . [PEB00]
bintree
A regular decomposition k-d tree for region data. [PEB00]
biparticity
Number of bipartite subgraphs needed to partition the edges. [DW96]
bipartite matching
1) A perfect matching between vertices of a bipartite graph, that is, a subgraph which pairs every
vertex with exactly one other vertex.
2) The problem of finding such a matching. [PEB00]
bipartition
A partition of the vertex set into two independent sets. [DW96]
Birkhoff diamond
A particular reducible configuration for the Four Color Problem. [DW96]
FIGURE
Bislit cube
The 8-vertex graph consisting of a cube in which two opposite faces have diagonals oriented
perpendicular to each other.[EW00]
FIGURE
bit complexity
The number of single operations (of addition, subtraction, and multiplication) required to complete
an algorithm. [EW00]
Bk tree
A binomial tree of order (height) k . [PEB00]
block graph
Intersection graph of blocks.[DW96]
blocking flow
A flow function in which any directed path from the source to the sink contains a saturated edge.
[PEB00]
blossom
An odd length cycle which appears during a matching algorithm on general graphs. [PEB00]
FIGURE
blue-empty graph
An extremal graph in which the forced triangles are all the same color. [EW00]
b-matching
Given a constraint vector b, a subgraph H with
dH(v) ≤ b(v) for all v . [DW96]
bond
A connection between components in a bond graph. [KMR90]
FIGURE
bond = cutset
bond graph
A mechanism for studying dynamic systems consisting of subsystems linked together by lines
representing power bonds. [KMR90]
FIGURE
bond matroid
Dual of the cycle matroid of a graph. [DW96]
book
A collection of pages identified along the boundary of the half-planes. Books provide another
topological space in which to graphs. Every graph embeds in a book with three pages, so it is
common to put some restrictions on how the graph is drawn. [DA00]
book embedding
A decomposition of G into outerplanar graphs with consistent ordering of the vertices (as on the
spine of a book). [DW96]
bouquet
A graph consisting of one vertex and some number of loops. [DW96]
FIGURE
box
A rectilinear parallelopiped with sides parallel to the coordinate axes. [DW96]
boxicity
Minimum dimension in which G is the intersection graph of boxes. [DW96]
branch vertex
A vertex of degree at least 3. [DW96]
branching
A directed graph in which each vertex has indegree one except for a single vertex (root) with
indegree 0. [DW96]
FIGURE
A breadth-first algorithm will first search the area closest to the starting point, moving farther away
only when everything close has already been looked at. [ISEM00]
Brooks’ theorem
x(G) ≤ d(G) for connected graphs, except for cliques and odd cycles. [DW96]
B-tree
A special m-ary balanced tree used in databases because their structure allows records to be inserted,
deleted, and retrieved with guaranteed worst-case performance. [PEB00]
cactus
A graph in which every edge appears in at most one cycle. [DW96]
FIGURE
capacity
The maximum flow that may be sent through an edge or a vertex. [PEB00]
capacity constraint
The property that the flow on every edge of a flow network is no more than the edge's capacity.
More formally, for all edges e, f(e) ≤ u(e) , where f(e) is the flow on e and u(e) is its capacity.
[PEB00]
cardinality
The number of elements in a finite set. [BC79]
Cartan integer
For the ith and jth roots in a given root system, the quantity 2(ai aj )/(aj aj ) , where ( · ) denotes the
usual (Euclidean) dot product. By theorem, these numbers are integers. [HC00]
Cartan matrix
For a given root system, the matrix whose (i, j)th entry is the Cartan integer relating the ith and jth
roots. [HC00]
Catalan number
The Catalan numbers are an integer sequence {Cn} which appears in tree enumeration problems of
the type "In how many ways can a regular n-gon be divided into n – 2 triangles if different
orientations are counted separately?'' [EW00]
The Catalan number, C(n), is the number of ways a polygon with n sides can be triangulated with
no additional vertices. [DA00]
causal stroke
A short perpendicular line in a bond graph made at one end of a bond or port line. It indicates the
direction in which the effort signal is directed.[KMR90]
FIGURE
Cayley graph
The representation of a group as a network of directed segments, where the vertices correspond to
elements and the segments to multiplication by group generators and their inverses. [EW00]
A Cayley graph has vertex set the elements of a group G and edge set determined by a balanced
generating set X . [DA00]
FIGURE
Cayley map
A Cayley map M is an embedding of a Cayley graph in an oriented surface such that the local
rotation at each vertex is described by the same permutation p of X . [DA00]
Cayley tree
A tree in which each non-leaf node has a constant number of branches. [EW00]
FIGURE
Cayley’s formula = Cayley's theorem
There are nn-2 labeled trees on n vertices. [DW96]
The number of spanning trees for n distinct vertices is nn-2 . [SE79]
centroid point
A point in a weighted tree that has minimum weight for the tree. The set of all centroid points is
called a tree centroid. [EW00]
FIGURE
certificate
For any graph property P and graph G, a certificate for G is a graph G' such that G has property P
if and only if G' has the property. [PEB00]
chain = path
characteristic polynomial
Characteristic polynomial of the adjacency matrix of the graph (whose roots are the eigenvalues).
[DW96]
child
A child of a vertex (called the parent) is an adjacent vertex one level lower on the tree. [DMP00]
A node which is one edge further away from a given node in a rooted tree. [EW00]
Neighbor of a rooted tree vertex not on the path to the root. [DW96]
FIGURE
chord = link
If T is a tree of a graph, then an edge not included in T is called a chord relative to T. [CGM79]
Edge joining two nonconsecutive vertices of a path or cycle . [DW96]
FIGURE
chordless cycle
An induced cycle of length at least 4. [DW96]
The fewest number of colors necessary to color the vertices of graph or regions of a surface.
[EW00]
chromatic polynomial
A monic polynomial in k of degree n, in which the coefficients alternate in sign, the constant
coefficient is 0, and the coefficient of kn-1 is –m . [BW97]
A function p(G, λ ) whose value is the number of ways the vertices of a graph G with n vertices
can be properly colored with λ or fewer distinct colors (or, analogously, the number of ways a
map with n regions can be properly colored with λ or fewer distinct colors). [HC00]
A polynomial of a graph π G(z) which counts the number of ways to color g with exactly z colors.
[EW00]
chromatic reccurence
Reccurence relation for chromatic polynomial. [DW96]
circle graph
An undirected graph which is isomorphic to the intersection graph of a finite collection of chords
of a circle.[MG80]
circuit = cycle
circuit matrix
Let G be a finite directed graph with n enumerated edges and m enumerated circuits, with assigned
orientations around the circuits. The circuit matrix Bc associated with G is an m × n matrix whose
(i,j)-th entry is:
(i) +1, if the j-th edge is in the i-th circuit and its orientation agrees with the circuit orientation;
(ii) -1, if the j-th edge is in the i-th circuit and its orientation does not agree with the circuit
orientation;
(iii) 0, if the j-th edge is not in the i-th circuit.
If G is an undirected graph, the (i,j)-th entry of Bc is 1 if the j-th edge is in the i-th circuit and is 0
otherwise. [HC00]
circuit of a matroid
A circuit of a matroid M = (S, r) is a subset of Ssuch that r(X) < | X | , but r(Y) = | Y | for every
subset Y of X . [SL99]
circuit subspace
The subspace of the vector space associated with a graph G which consists of all circuits and edge-
disjoint unions of circuits of G .[HC00]
circuit vector
A vector f on E(G) corresponding to a circuit of G with a specified orientation:
f(ei) = +1 (− 1) if ei is in the circuit and agrees with (opposes) the orientation of the circuit, and
f(ei) = 0 if ei is not in the circuit. [HN97]
circuit-free graph
A graph which has no simple circuits. [SE79]
FIGURE
circulant graph
A graph of n vertices in which the i-th vertex is adjacent to the (i + j)-th and (i – j)-th vertices for
each j in a list l . [EW00]
Having an adjacency matrix with constant diagonals, constructed as equally-spaced vertices on a
circle with adjacency depending only on distance. [DW96]
FIGURE
circular-arc graph
An intersection graph of arcs of a circle. [DW96]
circulation
A flow in a network such that the net flow at each vertex is 0. [DW96]
class
The word "class" has many specialized meanings in mathematics in which it refers to a group of
objects with some common property. [EW00]
class APX
An NPO problemA belongs to the class APX if it is approximable within ε , for some constant
ε > 1 . Clearly, the following inclusions hold:
FPTAS ⊆ PTAS ⊆ APX ⊆ NPO . [CK00]
class FPTAS
An NPO problemA belongs to the class FPTAS if it admits a fully polynomial-time approximation
scheme, that is, an approximation scheme whose time complexity is bounded by q( | x | , 1 / (ε -
1)) where q is a polynomial. Clearly, the following inclusions hold: FPTAS ⊆ PTAS ⊆ APX ⊆
NPO . [CK00]
class NP
The class of all problems that can be solved in by nondeterministic algorithms that run in
polynomial time. [RND77]
class NPO
The class NPO is the set of all NP optimization problems. [CK00]
class P
The class of all problems that can be solved by a polynomial-time algorithm. [RND77]
class PTAS
An NPO problem A belongs to the class PTAS if it admits a polynomial-time approximation
scheme, that is, an approximation scheme whose time complexity is bounded by q( | x | ) where q
is a polynomial. Clearly, the following inclusions hold:
FPTAS ⊆ PTAS ⊆ APX ⊆ NPO . [CK00]
classifiable digraph
A completely connected digraph G(V, E) in which the vertex set V can be partitioned into two
nonempty classes, A and B , such that all the edges connecting between them are directed from A
to B . [SE79]
FIGURE
claw
The graph K1, 3 . [DW96]
FIGURE
claw-free graph
Having no induced K1, 3 . [DW96]
clique cover
A set of cliques covering the vertices
(minimum size = d(G) ). [DW96]
clique decomposition
A partition of the edges into cliques. [DW96]
FIGURE
clique graph
The clique graph of a given graph G is the graph intersection of the family of cliques of G. A graph
G is a clique graph iff it contains a family F of complete subgraphs whose graph union is G , such
that whenever every pair of such complete graphs in some subfamily F' has a nonempty graph
intersection, the intersection of all members of F' is not empty. [EW00]
FIGURE
clique identification
A perfection-preserving operation. [DW96]
clique number
The order of a maximum clique. [BW97]
The size of the largest complete subgraph of G . [MG80]
The number of vertices in the largest clique of G . [EW00]
clique problem
Find the largest clique in an undirected graph. [PEB00]
Given a graph G = (V, E) and positive integer
K ≤ | V | , does G contain a clique of size K or more? [GJ79]
clique tree
An intersection representation of a chordal graph, consisting of a host tree with a bijection between
its vertices and the maximal cliques of G such that the cliques containing each vertex form a
subtree of the host. [DW96]
closed ear
A path between two (possibly equal) old vertices through new vertices. [DW96]
closed neighborhood
A vertex and all its neighbors. [DW96]
FIGURE
closed trail
A trail where v0 = vr . [BW97]
closed walk
A walk where v0 = vr . [BW97]
A walk is closed if the initial vertex is also the terminal vertex. [SL99]
closure
The closure of a graph G with n vertices, denoted by c(G) , is the graph obtained from G by
repeatedly adding edges between non-adjacent vertices whose degrees sum to at least n, until this
can no longer be done. [WC00]
closure of a matroid
A subset A of S is closed or a flat or a subspace of M if for all elements x of S \ A , r(A∪ {x}) = 1 +
r(A) . If x is an element of S and A is a subset of S and r(A∪ {x}) = r(A) we say that x depends on
A and write x ~ A . For a subset A of S , let s(A) = {x : x ~ A} . We call s(A) the closure of A .
[SL99]
closure operator
An operator that is expansive, order-preserving, and idempotent. [DW96]
clusterability
The property of being clusterable. [TZ98]
| # | a | b | c-cn | co | cp-cz | d | e | f | g | h | i | j | k | l | m-
mh | mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
| cocycle | common | component | connectivity | contraction | cover |
cobase
A base of the dual matroid. [DW96]
cobase of a matroid
Compliment of a base relative to S . [HN97]
cocircuit
A circuit of the dual matroid. [DW96]
cocritical pair
A non-edge whose addition increases the clique number. [DW96]
cocycle matroid
The dual of a cycle matroid. [DW96]
coforest
The complement relative to the edge set of a forest. [HN97]
FIGURE
cographic matroid
A cographic matroid is the dual of a graphic matroid. [SL99]
collaboration graph
One can also look at mathematical collaborations as a graph – an array of points connected
by lines. Every mathematician is represented as a point, with the Erdos point somewhere near
the center. Any two mathematicians who have collaborated on a paper are joined by a line.
The result is monstrous tangle that snares nearly all mathematicians, with tentacles reaching
into computer science, the physical and biological sciences, economics, and even the social
sciences. [IP00]
FIGURE
collapsed graph
A graph is "collapsed" in two ways:
by removing each vertex of degree one and the edge to that vertex
by replacing with a single edge each vertex of degree 2 and its two incident edges.
[ISEM00]
collection = set
coloop
A single edged cutset. [HN97]
FIGURE
color class
In a given coloring of a graph G, a set consisting of all those vertices assigned the same
color. [CL96]
color-critical graph
A graph such that every proper subgraph has smaller chromatic number. [DW96]
color pair
A color pair of a triangulation T is a pair of vertices that have the same color for every 4-
coloring of T . [DA00]
column matroid
Matroid whose independent sets are the linearly independent subsets of the matrix A.
[DW96]
combination
A situation in which the order of selecting various items does not matter. [DMP00]
combinatorial algorithms
Algorithms for performing computations on discrete finite mathematical structures. [RND77]
combinatorial computing
The field of discrete mathematics dealing with the problem of how to carry out computations
on discrete mathematical structures. [RND77]
combinatorial optimization
Let N = {1, ..., n} and consider a finite collection of subsets, say {S1 , S2 , ..., Sm}. For each
subset there is an objective function value, f(Sk) , and the problem is to optimize f(Sk) .
Typically, the feasible subsets are represented by inclusion or exclusion of members such
that they satisfy certain conditions. This then becomes a special class of integer programs
whose decision variables are binary valued: x(i, k) = 1 if the i-th element is in Sk ; otherwise,
x(i, k) = 0 . Here are some examples:
• assignment
• covering, cutting stock
• knapsack
• matching
• packing, partitioning
• routing
• sequencing, scheduling (jobs), shortest path, spanning tree
[HG99]
combinatorics
The branch of mathematics studying the enumeration, combination, and permutation of sets
of elements and the mathematical relations which characterize these properties.[EW00]
comma-free code
No code word is a prefix of another. [DW96]
competition graph
Graph obtained from a directed graph D by u ↔ v if u , v have a common out-neighbor in D .
[DW96]
complete digraph
A digraph D is called complete if for every two distinct vertices u and v at least one of the
arcs (u, v) and (v, u) is present in D . [CL96]
FIGURE
complexity class
Any of a set of computational problems with the same bounds ( ) on time and space, for
deterministic and nondeterministic machines. [PEB00]
complexity class NP
The class of languages that can be accepted by a nondeterministic Turing machine in
polynomial time. [PEB00]
complexity class P
The class of languages that can be accepted by a deterministic Turing machine in polynomial
time. [PEB00]
complexity theory
The theory of classifying problems based on how difficult they are to solve. A problem is
assigned to the P-problem (polynomial time) class if the number of steps needed to solve it is
bounded by some power of the problem's size. A problem is assigned to the NP-problem
(nondeterministic polynomial time) class if it permits a nondeterministic solution and the
number of steps of the solution is bounded by some power of the problem's size. [EW00]
computational complexity
Computational complexity measures the time and memory resources that a computer requires
in order to solve a problem. A somewhat more robust measure may be defined by invoking
the Universal Turing Machine. The computational complexity of a problem is then defined as
the time it takes for the fastest program running on a universal computer (as measured in
number of computing steps) to compute the solution to the problem. [CNA96]
concurrent flow
A multi-commodity flow in which the same fraction of the demand of each commodity is
satisfied. [PEB00]
cone graph
A graph Cn + K'm , where Cn is a cyclic graph and Km is a complete graph. [EW00]
conflict graph
Graph whose vertices are the bridges of a cycle (bridges conflict if they have three common
endpoints or four alternating endpoints on the cycle). [DW96]
conflicting chords
Two chords whose endpoints alternate on a specified cycle. [DW96]
conjecture = hypothesis
conjugate partition
Two partitions of n such that one gives the row sizes and the other the column sizes of a
Ferrers diagram. [DW96]
connected digraph
A digraph is connected if its underlying graph is connected. [BW97]
A digraph in which there are no isolated nodes (i.e., nodes of indegree 0 or outdegree 0).
[EW00]
A directed graph is connected if for every pair of vertices in the graph there is an undirected
path joining the vertices. [SW87]
FIGURE
connected graph
A graph is connected if there is a path connecting every pair of vertices. A graph that is not
connected can be divided into connected components (disjoint connected subgraphs). [CC99]
A graph thast is not separated. [WM72]
FIGURE
connected network
In the undirected case, a graph is connected if, for any pair of nodes, there is a path that
contains both of them. In a directed graph, or network, the path may be required to be
directed (i.e., follow the orientations of the arcs), in which case the network is strongly
connected; or, the path may be allowed to ignore the arc orientations, in which case the
network is weakly connected. [HG99]
connected vertices
Two vertices are said to be connected when a path between them exists. [ISEM00]
connection relation
Relation on the vertex set of a graph satisfied by any two vertices that are connected by a
path. [DW96]
connectivity matrix
A matrix A* = [aij*] where aij* = 1 if there is a path in a digraph G = (V, E) from i to j and
aij* = 0 if not. [RND77]
connectivity pair
An ordered pair (a, b) of nonnegative integers such that there is some set of a points and b
edges whose removal disconnects the graph and there is no set of a − 1 nodes and b edges or
a nodes and b− 1 edges with this property. [EW00]
conservation constraint
For a flow, the condition of the net flow = 0 at a vertex . [DW96]
construction procedure
A procedure for iteratively building members of a class of graphs from a small base graph or
graphs. [DW96]
contrabalanced
Having no balanced polygons (and no loose edges). [TZ98]
contracted vertex
The new vertex resulting from the contraction of an edge. [DW96]
contractible graph
The graph H that can be obtained from a graph G by a succession of edge contractions.
[BW97]
The contraction of an edge { vi , vj} of a graph is the graph obtained by replacing the two
nodes vi and vj with a single node v such that v is adjacent to the union of the nodes to which
vi and vj were originally adjacent. [EW00]
FIGURE
converse
For a digraph D , the converse orients each edge in the opposite direction as in D . [DW96]
FIGURE
convex embedding
A plane graph in which every bounded face is a convex set and the outer boundary is a
convex polygon. [DW96]
convex function
Satisfies the inequality
f(qa + (1-q) b) ≤ qf(a) + (1-q) f(b) for all a, b and
0 ≤ q ≤ 1 . [DW96]
convex quadrilateral
Does not have one point in the triangle formed by the other three. [DW96]
convex sequence
A sequence of points in the plane such that the segments joining consecutive points yield the
graph of a convex function. [DW96]
corank
If a graph G has n vertices, m edges and c components, then the rank of G is the rank of
M(G) and this is n – c . The corank of G ism – n + c .[SL99]
cordial graph
A graph is called cordial if it is possible to label its vertices with 1's and 0's such that the
induced edge labels computed as the difference of vertex labels at the end-points satisfy the
global conditions on the graph that the number of vertices (edges) labeled with ones and
zeros are balanced, i.e., differ at most by one. Cordial labelings were introduced by I. Cahit
as a weakened version of graceful and harmonious labelings. [IC00]
cordial labeling
A labeling is called cordial if it is possible to label the vertices of a graph with 1's and 0's
such that the induced edge labels computed as the difference of vertex labels at the end-
points satisfy the global conditions on the graph that the number of vertices (edges) labeled
with ones and zeros are balanced, i.e., differ at most by one. Cordial labelings were
introduced by I. Cahit as a weakened version of graceful and harmonious labelings. [IC00]
correct algorithm
An algorithm that will give the required output and no other output. [BC79]
cospanning tree
The (spanning) subgraph of G having all the vertices of G and exactly those edges of G not in
a spanning tree T . [HC00]
FIGURE
cost
Name of the objective function for many weighted minimization problems. [DW96]
cotree
The complement relative to the edge set of a tree. [HN97]
The cotree T* of a spanning tree T in a connected graph G is the spacing subgraph of G
containing exactly those edges of G which are not in T . [EW00]
FIGURE
countable graph
A graph in which vertex set V(G) and edge set E(G) are finite or countably infinite. [BW97]
coupled colorings
Coupled colorings of graphs on surfaces: simultaneous colorings of the vertices and faces of
a graph so that incident or adjacent elements receive different colors. [DA00]
FIGURE
cover
A family of subsets of whose union contains the given set (and which contains no duplicated
subsets). [EW00]
Coxeter graph
A graph with one vertex for each of the roots in a root system (as for a Lie algebra), such that
the number of edges joining the i-th and j-th vertices equals the Cartan integer relating the i-
th and j-th roots. [HC00]
FIGURE
Coxeter-Dynkin diagram
A labeled graph whose nodes are indexed by the generators of a Coxeter group having (Pi ,
Pj) as an edge labeled by Mij whenever Mij> 2 , where Mij is an element of the Coxeter matrix.
Coxeter-Dynkin diagrams are used to visualize Coxeter groups. A Coxeter-Dynkin diagram
is associated with each rational double point. [EW00]
Coxeter group
A group generated by the elements Pi with i in
{1, 2, ... , n}, subject to the relations (PiPj) M ij = 1 , where Mij are the elements of a Coxeter
matrix. [ODC00]
Coxeter matrix
A Coxeter matrix of rank n is an n × n matrix M with Mii = 1 and Mij = Mji > 1 (possibly
infinite) for all i and j in {1, 2, ... , n} . [ODC00]
critical block
A graph G is a critical block if G is a block and for every vertex v, the graph G – v is not a
block. [CL96]
critical edge
Edge whose deletion increases the independence number. [DW96]
critical graph
Used with respect to many graph properties, indicating that the deletion of any vertex (or edge,
depending on context) destroys the property. [DW96]
critical path
A critical path of the network is a path of greatest length from the source S to the sink T .
[ISEM00]
When a graph is used to model project scheduling, the critical path is a path from the start to
the finish which passes through all of the tasks which are critical to completing the project in
the shortest amount of time. [DMP00]
A longest path in a network, where length units are time durations. The nodes represent tasks,
and the arcs represent precedence constraints. The path is critical because the associated tasks
determine the total completion time of the project. Moreover, at least one of their duration
times must decrease in order to decrease the total completion time. [HG99]
A path in the PERT chart from the start node to the termination node having maximal sum of
arc weights.
critically 2-connected
Deletion of an edge destroys 2-connectedness. [DW96]
crossing number
The minimum number of crossings of edges in any drawing of a given graph. [BW97]
Given a "good" graph (i.e., one for which all intersecting edges intersect in a single point and
arise from four distinct vertices), the crossing number is the minimum possible number of
crossings with which the graph can be drawn. A graph with crossing number 0 is a planar
graph. [EW00]
The crossing number of G , cr(G) , is the minimum number of pairwise crossings over all
planar drawings. [DA00]
cubical graph
The polyhedral graph corresponding to the connectivity of the cube. [EW00]
FIGURE
current vector
A vector on E(G) that is orthogonal to the rows of the incidence matrix of G (that satisfies
Kirchhoff's current equations Ax = 0). [HN97]
cut capacity
The sum of the capacities of arcs belonging to the cut. [BC79]
Given a network N and a cut C (that divides the vertices of N into two sets C1 and C2), then the
cut capacity is the sum of the capacities of all dipaths from C1 to C2 . [HC00]
cutset = bond
Minimal separating set of edges. [SE79]
A minimal set of edges, the removal of which will increase the number of connected
components in the remaining subgraph. [HC00]
A set S of edges of a graph G that has the following properties:
[WM72]
If G = (V, E) is a connected graph, then a cutset for G is a set of edges S which has the
following properties:
(V, E – S) is not connected.
For any proper subset T of S , (V, E – T) is connected. [SW87]
FIGURE
cutset matrix
Let G be an oriented graph of ρ maximal connected subgraphs. A submatrix of an exhaustive
cutset matrix Qe of G is called a cutset matrix of G if Q consists of nv – ρ rows of Qeand the
rank of Q is nv – ρ . [WM72]
cutset subspace
The subspace of the vector space associated with a graph G consisting of all cutsets and edge-
disjoint unions of cutsets of G . [HC00]
cutset vector
A crossing edge set vector where the crossing edge set is a cutset. [HN97]
Cutter
The player in the Shannon switching game who deletes edges. [DW96]
cycle edge
An edge that lies on a cycle. [CL96]
cycle graph
A graph that consists of the vertices and edges of a
n-gon. [BW97]
cycle matroid
The matroid whose circuits are the cycles of G. [DW96]
cycle rank
Dimension of cycle space; number of edges - number of vertices + number of components.
[DW96]
cycle space
The cycle space of G (over F) is the null space of the incidence matrix M(G). The cycle space
and the cocyle space are orthogonal, but for some choices of fields are not necessarily disjoint.
[SL99]
The nullspace of the incidence matrix, the set of even subgraphs. [DW96]
cyclic edge
The edge which is not separating.
cyclic graph
A directed graph with at least one cycle. [CGM79]
A graph of n nodes and n edges such that node i is connected to the two adjacent nodes i + 1
and i – 1 (mod n), where the nodes are numbered
0, 1, ..., n – 1 . [EW00]
FIGURE
cyclic triple
The 3-node tournament. [EW00]
FIGURE
cyclically k-edge-connected
Cyclic edge connectivity at least k . [DW96]
| # | a | b | c-cn | co | cp-cz | d
| e | f | g | h | i | j | k | l | m-mh
| mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
| degree | diameter | directed | distance | dual | dynamic |
daughter = offspring
DAWG = directed acyclic word graph
d-complete graph
A directed graph is d-complete if every pair of its vertices is joined by an arc. [CGM79]
d-diagonal coloring
A vertex coloring such that each pair of d-diagonally adjacent vertices get different colors. [DA00]
de Bruijn graph
A graph whose nodes are sequences of symbols from some alphabet and whose edges indicate the
sequences which might overlap. [EW00]
Digraph encoding possible transitions between n-ary m-tuples as additional characters are
received. [DW96]
FIGURE
decagon
A polygon having ten sides. [HC00]
decahedral graph
A polyhedral graph having 10 vertices. [EW00]
decision problem
A problem which requires a simple "yes" or "no" answer. [MG80]
decision tree
A binary tree used to represent an algorithm for sorting by comparisons. The leaves of the tree
represent the possible outcomes (orderings), while the other vertices represent test questions which
have a yes or no answer. [WC00]
decomposable graph
A graph which can be expressed as a nontrivial composition of some of its induced subgraphs.
[MG80]
decomposition
A collection {Hi} of nonempty subgraphs such that
Hi = 〈 Ei〉 for some (nonempty) subset Ei of E(G) , where { Ei} is a partition of E(G) .[CL96]
An expression of G as a union of edge-disjoint subgraphs. [DW96]
degeneracy graph
An undirected graph, where the nodes represent bases and edges their adjacency. The degeneracy
graph is a way to probe deeply into a degenerate extreme point. Among other things, it reveals
good pivot steps through the point enroute to an optimum, and it provides a clear, efficient
approach to sensitivity analysis. [HG99]
degenerate graph
A finite graph with no edges. [CGM79]
FIGURE
degree = valence
Of a vertex, the number of edges connected to it.
Of a graph, the maximum degree of any vertex. [PEB00]
degree list
The set of degrees of the vertices of G, often arranged in non-decreasing order. [BW97]
degree matrix
A diagonal matrix corresponding to a graph that has the vertex degree of vi in the i-th position.
[EW00]
degree of a graph
Degree of a graph, the maximum degree of any vertex. [PEB00]
degree of a vertex
Degree of a vertex is the number of edges incident on it with selfloops counted twice. [HN97]
The degree of a vertex is the number of edge ends at that vertex. In a digraph (directed graph) the
degree is usually divided into the in-degree and the out-degree (whose sum is the degree of the
vertex in the underlying undirected graph). [CC99]
degree of freedom
The number of parameters which may be independently varied. [EW00]
degree sequence
A sequence d1 , d2 , … , dn of nonnegative integers is called a degree sequence of a graph G if the
vertices of G can be labelled v1 , v2 , … , vn so that
deg vi = di .[CL96]
The sequence of vertex degrees, usually indexed in non-increasing order regardless of vertex order.
[DW96]
degree set
The set of integers which make up a degree sequence. Any set of positive integers is the degree set
for some graph. [EW00]
degree-sum formula
Σ d(v) = 2 e(G) . [DW96]
deletion
The process or the result of deleting a (possibly void) set of vertices and/or edges from a graph.
The result is a subgraph. [TZ98]
demand
Sink constraint in transportation network. [DW96]
dendrite
A system of line segments connecting a given set of points. [EW00]
density
Ratio of number of edges to number of vertices. [DW96]
dependent set
In matroids, a set containing circuits. [DW96]
depth
The distance from a leaf to the root. [PEB00]
depth-first algorithm
A depth-first algorithm explores the graph by looking for new vertices further and further away
from the starting point, taking closer vertices only when no more can be found far away. [ISEM00]
Backtracking search from a vertex. [DW96]
depth-first traversal
A search algorithm of a graph which explores the first son of a node before visiting its brothers.
[EW00]
descendant
A child of a node in a tree, any of the children of the children, etc. [PEB00]
If there is a path from vertex x to vertex y in a directed spanning tree, we say that y is a descendant
of x . [RND77]
detachment
Graph obtained from G by a sequence of splits: splitting a vertex v into an independent set, with
the k new vertices inheriting the k sets of a partition of the edges incident to v . [DW96]
deterministic algorithm
An algorithm in which for any given state there is at most one valid next state. [RND77]
DFS forest
A rooted forest formed by depth first search. [PEB00]
DFS tree
The directed spanning tree that results from depth-first search on a simple, connected, undirected
graph. [RND77]
dichroic polynomial
A polynomial in two variables for abstract graphs. [EW00]
diconnected
A digraph having a (u, v)-path for every ordered pair of vertices u, v . [DW96]
Focuses on the interaction between a Petri net model and a continuous model which is a set of
differential algebraic equations (DAE). It can be seen as an extension of hybrid automata. [PM99]
digital tree
A tree for storing strings in which nodes are organized by substrings common to two or more
strings. [PEB00]
Dijkstra tree
The shortest path-spanning tree from a vertex of a graph. [EW00]
Dijkstra’s algorithm
An algorithm to find the shortest paths from a single source vertex to all other vertices in a
weighted, directed graph. All weights must be nonnegative.[PEB00]
A computer scientist named Edsger W. Dijkstra proposed in 1959 this algorithm for finding a path
of least total weight between two vertices in a weighted graph. [ISEM00]
Dilworth’s theorem
Maximum number of pairwise incomparable elements equals minimum number of totally ordered
subsets needed to cover all elements. [DW96]
dining philosophers
Suppose some philosophers surround a table. Adjacent philosophers share one fork. Philosophers
spend time thinking or trying to eat. A philosopher must have both forks on their left and right to
eat. Clearly adjacent philosophers cannot eat at the same time. The problem is to find an algorithm
for taking forks which prevents deadlock, starvation, etc. [PEB00]
FIGURE
Dinitz conjecture
Each bipartite graph G is d(G)-list-edge-colorable.[DW96]
dioctogon
A polygon with 16 sides. [HC00]
Dirac's theorem
A graph with n ≥ 3 vertices in which each vertex has valency ≥ n / 2 has a Hamiltonian circuit.
[EW00]
Dirac's theorems
Theorem 1. Let G be a 2-connected graph with minimum degree d. Then G contains a cycle of
length at least min{2d,|V(G)|} .
Theorem 2. Let G be a k-connected graph, k > 1 . Then any k vertices of G are contained together
on some cycle. [SL99]
direct sum
The union of disjoint sets, denoted by X ⊕Y . [HN97]
directed forest
A set of directed spanning trees. [RND77]
directed M-graph
An oriented graph is called a directed M-graph of type M(i× j) if it satisfies the following
conditions:
d + (v) = d − (v) for all vertices except i and j ;
d + (i) = d − (i) + 1 ;
d − (j) = d + (j) + 1 .
[WM72]
directed path
A sequence of edges e1 , e2 , … such that the end vertex of ei-1 is the start vertex of ei . [SE79]
Let P be a connected directed M-graph of type
M(i × j) . If d + (v) = 1 for all vertices except j and
d + (j) = 0 , then P is a directed path from i to j . [WM72]
A sequence of vertices a1 a2 … an in which (ai , ai+1) is an edge.[SW87]
FIGURE
directrix = cycle
disc
In a surface of genus 0, the region bounded by a simple closed curve. [DW96]
disconnected graph
A graph with more than one component. [DW96]
A graph that is not connected. [BW97]
A 0-connected graph, i.e., a graph having at least one node of degree 0 . [EW00]
FIGURE
disconnecting set
A set of edges E1 ∈ E such that after the removal of E1 the residual graph G1(V, E - E1) is no longer
connected. [CGM79]
A set of edges whose deletion makes some vertex unreachable from some other vertex. [DW96]
FIGURE
discrete mathematics
The branch of mathematics dealing with objects which can assume only certain "discrete" values.
Discrete objects can be characterized by integers, whereas continuous objects require real
numbers. The study of how discrete objects combine with one another and the probabilities of
various outcomes is known as combinatorics. [EW00]
discrete system
Organized collection of objects. [BC79]
disjoint sets
The sets which do not have common elements. [HN97]
disjoint union
If G and G' are disjoint graphs, then their disjoint union G∪G' is the graph with vertex set
V(G) ∪ V(G') and edge set E(G) ∪ E(G') . [BW97]
disjointness graph
Complement of intersection graph. [DW96]
distance
The length of the shortest path from vertex a to vertex b . [RND77]
distance graph
Let D be a set of positive numbers containing 1, then the D-distance graph X(D) on a nonempty
subset X of Euclidean space is the graph with vertex set X and edge set {(x, y) : d(x, y) ∈ D} ,
where d(x, y) is the Euclidean distance between vertices x and y. [EW00]
distance matrix
A matrix whose ij-entry is 1 if d(i, j) = h and 0 otherwise. [BW97]
distance-preserving embedding
Mapping f: V(G) → V(H) so that
dH(f(u), f(v)) = dG(u, v) . [DW96]
distance-regular graph
A graph is distance-regular, if for each non-negative integer k, the number aij(k) of ij-walks of
length k depends only on the distance d(i, j) between the vertices i and j. [BW97]
A connected graph G is called distance-regular if there are integers bi , ci , i = 0, … , d such that for
any two vertices x, y ∈D at distance i = d(x, y), there are exactly cineighbors of y ∈ Gi-1(x) and bi
neighbors of y ∈Gi+1(x) . [EW00]
distance-transitive graph
A connected graph G is distance-transitive if, given two pairs (x1, y1) and (x2, y2) of vertices with
d(x1, y1) = d(x2, y2) , where d is the graph distance, there is an automorphism of G carrying the first
pair to the second. [BW97]
divorce digraph
A binary relation associated with an instance of the stable marriage problem. Stable marriages
correspond to vertices with outdegree 0 in the divorce digraph. [EW00]
dodecagon
A polygon with 12 sides. [HC00]
dodecahedral graph
The polyhedral graph corresponding to the connectivity of the vertices of a dodecahedron. The
dodecahedral graph has 20 nodes, 30 edges, vertex connectivity 3, edge connectivity 3, graph
diameter 5, graph radius 5, and girth 5 . [EW00]
FIGURE
dodecahedron
Planar graph with 20 vertices, 30 edges, and 12 faces. [DW96]
FIGURE
domatic number
If the domatic number of a graph G = (V, E) is K , then V can be partitioned into K disjoint sets
V1 , ... , VK such that each Vi is a dominating set of G .[GJ79]
dominating number
The number of vertices in a minimal dominating set. [ISEM00]
domination number
The minimum power among the dominating sets of G. [CL96]
double jump
The phenomenon that the structure of the random graph in model A is markedly different for
probability functions of the form c/n with c < 1, c = 1, and c > 1 .[DW96]
double star
A tree T which contains exactly two vertices that are not end-vertices. [CL96]
FIGURE
double torus
The (orientable) surface with two handles. [DW96]
double triangle
K4 - e . [DW96]
FIGURE
drawing of a graph
A drawing of a graph in the plane has the vertices placed at distinct points and the edges
represented by homeomorphs of [0,1] joining their endpoints such that:
no edge contains a vertex other than its endpoints,
no two adjacent edges share a point other than their common endpoint, and
two nonadjacent edges share at most one point at which they cross transversally.
[DA00
FIGURE
dual edge
The edge of the dual graph G* corresponding to each e of a planar graph G . [DW96]
dual graph
A dual graph G2 of a graph G1 is one in which a vertex set V2 replaces the faces enclosed by the
vertex set V1 and its associated edges in the graph G1. This set V2 is connected by edges that
intersect the edges of G1 so that one edge in G2 uniquely intersects with one edge in G1. [CGM79]
The dual of a planar graph G, is a graph with a vertex for each region in G and an edge between
vertices for each pair of adjacent regions. The new edge crosses the edge in G which is the
boundary between the adjacent regions. [PEB00]
The dual D of a planar graph G is constructed as follows:
Draw a vertex in D for every region in G .
Draw an edge connecting a pair of vertices in D if these two regions in G share a border.
[ISEM00]
FIGURE
dual matroid
The dual of a B-matroid M = (S, B) is the structure M* = (S, B*) , where B*={S \ X: X∈B} .[SL99]
dual problem
For a problem max cTx such that Ax ≤ b and x ≥ 0 , the dual is min yTb such that yA ≥ c and y
≥ 0 .[DW96]
duplication of vertex
Adding x' with N(x') = N(x) .[DW96]
dynamic network
A network with dynamic device characteristic. [HN97]
e
| # | a | b | c-cn | co | cp-cz | d | | f | g | h | i | j | k | l | m-mh
| mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
| edge | eigenvalue | embedding | Eulerian cycle | exhaustive | extremal |
ear
Path between old vertices through new vertices. [DW96]
ear decomposition
Construction of G from a cycle by addition of ears. [DW96]
easy problem
A problem for which a polynomial-bounded algorithm has been founded. [BC79]
e-cordial labeling
A labeling of a graph with e edges is called e-cordial if it is possible to label the edges with
numbers from the set N = {0, 1} and when the induced vertex labels f(v) computed by f(v)
= Σ ∀u f(u, v) (mod 2 ) , where v ∈V and {u, v} ∈E so that the conditions 1 ≥ | vf (0) - vf
(1) | and 1 ≥ | ef (0) - ef(1) | are satisfied, where vf(j) and ef(j) , j = 0, 1 are, respectively,
denote the number of vertices and edges labeled with 0's and 1's. The graph G is called e-
cordial if it admits an e-cordial labeling. [IC00]
e-cordial graph
The graph G is called e-cordial if it admits an e-cordial labeling. [IC00]
edge block
A connected graph, not edgeless, that has no edge cutpoints. [TZ98]
FIGURE
edge choosability
Minimum k such that G is k-edge-choosable. [DW96]
edge coloring
An edge coloring of a graph refers to the choice and arrangement of colors for the edges.
Formally, an edge coloring of a graph is a one-to-one function from the set of the graphs's
edges into the set of all colors. [ISEM00]
An assignment of labels to the edges. [DW96]
FIGURE
edge component
A maximal connected subgraph that contains an edge. A loose edge is an edge component
but an isolated vertex is not. [TZ98]
FIGURE
edge contraction
An edge-contraction on a graph G is the process of removing an edge e and identifying its
incident vertices v and w in such a way that the resulting vertex is incident to those edges
(other than e) which were originally incident to v or w . That is, after the contraction, the
resulting graph H has one less vertex because v = w, and at least one less edge since edge e
has been removed, and if there is any other vertex of G, say x, that is connected to both v
and w, then those two edges are merged in H into one edge connecting x to v = w .[HC00]
edge cover = hitting set
Let G = (V, E) be an undirected graph. A subset
A ⊆ V is called an edge cover if for every edge xy ∈E , either x∈A or y ∈A or both.
[MG80]
Let S be a collection of subsets of a finite set X . The smallest subset Y of X that meets
every member of S is called the edge cover, or hitting set. However, some authors call any
such set a edge cover, and then refer to the minimum edge cover. [EW00]
edge covering
The partitioning of a graph into sets of chains or circuits that collectively include all the
edges in a graph. [CGM79]
FIGURE
edge end
An end of an edge may be considered to be an object in itself. Each end is incident with
exactly one vertex. [TZ98]
edge-graceful graph
Let f be an edge labeling of G where
f : E(G) → {1, 2, … ,e}, e = | E(G) | is one-to-one and f induces a label on the vertices
f(v) = Σ uv ∈ E(G) f(uv) (mod n) , where n is the number of vertices of G . The labeling f is
edge-graceful if all vertex labels are distinct modulo n in which case G is called an edge-
graceful graph. Along many results on the graphs an important conjecture asserts that all
trees with an odd number of vertices are edge-graceful. [IC00]
edge-graceful labeling
Let f be an edge labeling of G where
f : E(G) → {1, 2, … ,e}, e = | E(G) | is one-to-one and f induces a label on the vertices
f(v) = Σ uv ∈ E(G) f(uv) (mod n) , where n is the number of vertices of G . The labeling f is
edge-graceful if all vertex labels are distinct modulo n in which case G is called an edge-
graceful graph. [IC00]
edge number
The number of edges in a graph. [EW00]
edge reconstructible
A graph that can be determined (up to isomorphism) by knowing the multiset of subgraphs
obtained by deleting single edges. [DW96]
edge sequence
A finite sequence of adjacent and not necessarily distinct edges that are traversed in going
from v0 to vn .[CGM79]
edge train
A sequence of edges with the following properties:
• For any edge e other than the first and the last edges in the sequence, one endpoint
of e is an endpoint of the preceding edge and the other endpoint of e is an endpoint
of the succeeding edge.
• One endpoint of the first edge is and endpoint of the succeeding edge and the other
endpoint of the first edge is the initial vertex.
• One endpoint of the last edge is and endpoint of the preceding edge and the other
endpoint is the final vertex.
• Every edge appears exactly once.
[WM72]
FIGURE
edge transitive
The group of isomorphisms from a graph G to itself is the automorphism group of G,
Aut(G) . A graph G is edge-transitive if Aut(G) acts transitively on E(G) . [SL99]
Existence of a permutation for each pair e, f ∈E(G) that maps e to f . [DW96]
edge-width
The edge-width of the embedding is the length of the shortest noncontractible cycle in the
graph. The edge-width is no smaller than the face-width. [DA00]
Edmonds' map
A nonreflexible regular map of genus 7 with eight vertices, 28 edges, and eight heptagonal
faces. [EW00]
effort
Intensive power variable in a bond graph, one of the two complementary variables. See
also flow. [KMR90]
FIGURE
EFT = earliest finish time
eigenvector
A vector x such that Ax = λ x for some constant λ . [DW96]
electrical network
A structured object obtained by the interconnection of a collection of multiterminal
devices. [HN97]
An ordered pair (G, D) where G is a directed graph on the edge set E and D is a device
characteristic. [HN97]
elegant graph
Additive versions of graceful graphs are harmonious graphs and exact modular additive
analogue versions of graceful graphs are called elegant graphs. Let Zn be the additive group
of integers modulo n and let G be a graph with n vertices. The graph G is said to be elegant
if it is possible to label the vertices of G with distinct elements Zn so that on labeling the
edges with the sums of their endpoint labels, these edge labels are distinct and range over
Zn - {0} . An interesting result on elegant graphs is that the path with n vertices is elegant
for all values of n except for n = 4 . [IC00]
element
A vertex or an edge of a graph. [CL96]
elementary chain
A chain which does not traverse any node more than once. [BC79]
elementary path
A path which does not traverse any node more than once. [BC79]
elementary separator
The edges of a graph can be partitioned into blocks such that within each block every pair
of distinct edges can be included in some circuit and edges belonging to different blocks
cannot be included in the same circuit (each coloop would form a block by itself). Such a
block is called an elementary separator of the graph. [HN97]
empty graph
An empty graph on n nodes consists of n isolated nodes with no edges. [EW00]
FIGURE
empty set
The set with no elements. [HN97]
end block
A block containing exactly one cut-vertex of G . [CL96]
endpoint of an edge
Vertex to which the edge is incident. [TZ98]
enumeration problem
The problem of determining (or counting) the set of all solutions to a given problem.
[EW00]
equal sets
The sets which have the same members. [HN97]
equipartite
Having part-sizes differing by at most one. [DW96]
equitable coloring
Having color classes differing in size by at most one. [DW96]
equitable graph
Equitable labeling of graphs is an natural generalization of cordial labelings. Label the
vertices of a graph G with labels 0, 1, …, k , where k < e , (e is the number of the edges).
The induced edge labels is given by the absolute difference of the vertex labels at its end-
points. Then the graph G is called (k + 1)-equitable if the number of vertex (edge) labels is
balanced. [IC00]
equitable labeling
Equitable labeling of graphs is an natural generalization of cordial labelings. Label the
vertices of a graph G with labels 0, 1, …, k , where k < e , (e is the number of the edges).
The induced edge labels is given by the absolute difference of the vertex labels at its end-
points. [IC00]
equivalence
As a graph, a union of disjoint cliques. [DW96]
equivalence relation
Reflexive, symmetric, and transitive relation. [DW96]
equivalent vertices
Vertices whose neighborhoods are equal. [MG80]
FIGURE
Erdös number
Mathematicians assign Erdös the number 0. People who have coauthored a paper with him
are given the number 1. As of May 1996, there were 462 such coauthors. Another 4,566
people have the number 2 because they wrote a paper not with Erdös himself but with
someone who wrote a paper with Erdös. The Erdös number 3 goes to anyone who has
collaborated with someone who has written a paper with someone who coauthored a paper
with Erdös, and so on. Thus, any person not yet assigned an Erdös number who has written
a joint mathematical paper with a person having an Erdös number n earns the Erdös
number n + 1 . Anyone left out of this assignment process has the Erdös number infinity.
[IP00]
Distance from Erdös in the collaboration graph of mathematicians. [DW96]
Erdös-Stone theorem
A generalization of Turįn's theorem to non-complete graphs. [EW00]
Euclidean graph
A weighted graph in which the weights are equal to the Euclidean lengths of the edges in a
specified embedding. [EW00]
Euclidean Steiner tree
A tree of minimum Euclidean distance connecting a set of points, called terminals, in the
plane. This tree may include points other than the terminals, which are called Steiner
points. [PEB00]
Euler's formula
A formula relating the number of edges, and nodes of a graph to the number of regions into
which it will divide the plane. Let G be a connected planar graph with n nodes and e edges
which divides the plane into r regions. Then any one of n, e, and r may be determined from
the other two by the relation n – e + r = 2 . [ODC00]
even cycle
Cycle with an even number of edges (or vertices). [DW96]
FIGURE
even cycle matroid = lift matroid = even polygon matroid = factor matroid
even graph
Graph with all vertex degrees even. [DW96]
FIGURE
even pair
Vertex pair x, y such that every chordless x, y-path has even length. [DW96]
even polygon matroid = lift matroid = even cycle matroid = factor matroid
even triangle
Triangle T such that every vertex has an even number of neighbors in T . [DW96]
even vertex
A vertex with even degree. [CL96]
FIGURE
evolution
The model of generating random graphs by successively adding random edges . [DW96]
existence problems
A category of discrete mathematics which deals with whether a given problem has a
solution or not. [DMP00]
expander
A graph in which each set S of vertices that is not too big has many neighbors outside S .
[BW97]
expansion
In a 3-regular graph, subdividing two edges and joining the two new vertices by an edge.
[DW96]
expansion lemma
Adding a vertex of degree k to a k-connected graph preserves k-connectedness. [DW96]
expansive property
For a function σ on the subsets of a set, the requirement that X ⊆ σ (X) for all X .
[DW96]
expected complexity
The average order of the running time over all problems of a given size. [BC79]
exponential function
Any function which is the sum of constants times other constants to the power of the
argument: f(x) = Σ ci bi xpi.
In complexity theory, the measure of computation, m(n) (usually execution time or
memory space), is bounded by an exponential function of the problem size, n . [PEB00]
extended k-d-tree
A spatial access method where successive levels are split along different dimensions into
nonoverlapping cells. Objects are indexed in all cells they intersect. [PEB00]
exterior region
The unbounded region in a plane graph. [DW96]
extreme vertex
A vertex whose neighborhood is complete. [MG80]
extroverted edge
Bidirected link or loop whose ends are both directed toward the endpoints. [TZ98]
f
| # | a | b | c-cn | co | cp-cz | d | e | | g | h | i | j | k | l | m-mh
| mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
| feedback | finite | flat | forest | frustrated | fundamental |
face = region
The undivided area enclosed by the set of edges E and vertices V, when the vertices V are
embedded in a common plane. [CGM79]
Open sets into which the points of the plane not on G are partitioned. [BW97]
Part of a plane enclosed by minimal cycle or maximal cycle of a graph. In last case the face is a
part of the plane outside of the maximal cycle (also called infinite face).
face-width
The face-width of a graph G embedded in a surface S is the minimum number of points in C
intersect G taken over all noncontractible C in S . [DA00]
factor of a graph
Any spanning subgraph of a graph G. [CL96]
Given an assignment f of a nonnegative integer to each vertex of an undirected graph G, an f-
factor of G is a spanning subgraph H of G such that the degree in H of each vertex v of G is f(v)
.[HC00]
factorable graph
A graph is said to be factorable into the factors
G1 , G2 , … , Gt if these factors are pairwise edge-disjoint and ∪E(Gi) = E(G) . [CL96]
factorization
A set of factors G1 , G2 , … , Gt of a factorable graph G = G1⊕G2⊕ … ⊕Gt . [CL96]
An expression of G as the edge-disjoint union of spanning subgraphs. [DW96]
family
A mapping from an index set I to the collection of all subsets of S. [HN97]
fan
A spread in which each node has a finite number of children. [EW00]
Fary embedding
A representation of a planar graph as a planar straight line graph in which no two edges cross.
[ODC00]
Fary's theorem
A planar graph has a straight-line embedding in the plane. [DW96]
fat triangle
A multigraph with three vertices and k copies of each pair as edges. [DW96]
fathom
Arises in directed tree search. A node is fathomed if it is determined that no completion from
this point could produce a better solution than one already obtained. This could happen by
bounding the objective, or it can happen by determining there is no feasible solution with the
partial specifications corresponding to the node. [HG99]
F-covering
Covering by subgraphs in the family F . [DW96]
F-decomposition
Decomposition using subgraphs in the family F . [DW96]
F-decomposition number
Minimum number of graphs in an F-decomposition of G . [DW96]
feasible flow
A flow f is said to be feasible if and only if
fi ≤ ci (i = 1, 2, … , m) where ci is a capacity of the arc ui . [BC79]
A network flow satisfying edge-constraints and having net flow 0 at each internal vertex.
[DW96]
feasible solution
A choice of values for the variables that satisfies all the constraints in an optimization problem.
[DW96]
Ferrers diagram
Diagram of a partition of an integer, with qi positions in the i-th row, where q1 ≥ … ≥ qk and
Σ qi = n . [DW96]
Ferrers digraph
A digraph (loops allowed) with no x, y, z, w (not necessarily distinct) such that x → y and z→w
but
z /→ y and x /→w ; equivalently, the successor sets or predecessor sets are ordered by inclusion;
equivalently, the adjacency matrix has no 2 × 2 permutation submatrix [DW96]
f-factor
A spanning subgraph with d(v) = f(v) .[DW96]
Fibonnacci heap
A heap made of a forest of trees. [PEB00]
Fiedler vector
The eigenvector corresponding to the second smallest eigenvalue (i.e., the algebraic
connectivity) of the Laplacian matrix of a graph G . The Fiedler vector is used in spectral graph
partitioning. [EW00]
finitary tree
A tree with a finite number of children at every node. [PEB00]
FIGURE
finite algorithm
An algorithm that will terminate in a finite number of steps. [BC79]
finite graph
A graph with a finite number of vertices and edges. [CGM79]
A graph with a finite vertex set.
FIGURE
finite set
A set having only a finite number of elements. [BC79]
first-order hybrid Petri nets
Consist of continuous places holding fluid, discrete places containing a non-negative integer
number of tokens, and either discrete or continuous transitions. The continuous flows have
constant rates and the fluid content of each continuous place varies linearly with time. [PM99]
Fleury's algorithm
An elegant algorithm for constructing an Eulerian circuit. [EW00]
flexible graph
A graph G is said to be flexible if the vertices of G can be moved continuously so that
the distances between adjacent vertices are unchanged,
at least two nonadjacent vertices change their mutual distances.
[EW00]
flow
A flow in a network N with source set X , sink set Y , and capacity function c is a function f
from the arcs of N to the nonnegative real numbers such that
0 ≤ f (a) ≤ c(a) for every arc a of N, and
for each vertex v of V(N) – (X ∪Y) , the sum of the values of f on the arcs directed toward v
equals the sum of the values of f on the arcs directed away from v. Ordinarily, the flow on any
arc directed toward a vertex in X is zero, as is the flow on any arc directed away from a vertex
in Y . [HC00]
A vector f on E(G) satisfying the following conditions:
f satisfies Kirchhoff's Current Equation;
the net outward flow at the source s is nonnegative and at the sink t is nonpositive;
0 ≤ f(e) ≤ c(e) ∀ e ∈E(G) . [HN97]
An assigment of values to variables for each arc of a network. [DW96]
flow conservation
The property that no vertex, except the source and sink, of a flow network creates or stores
flow. More formally, the incoming flow is the same as the outgoing flow, or, the net flow is 0.
[PEB00]
flow function
An assignment of flow values to the edges of a flow network that satisfies flow conservation,
skew symmetry, and capacity constraints. [PEB00]
The tuple (G, c, s, t) where c : E(G) →R+ is a real nonnegative capacity function on the edges of
G and s and t are two vertices of G called source and sink, respectively. [HN97]
A weighted, directed graph with two specially marked nodes, the source s and the sink t , and a
capacity function which maps edges to positive real numbers, u: E | → R+.[PEB00]
flower
Consists of a stem (alternating path from an unsaturated vertex) and a blossom (odd cycle with
a near-perfect matching). [DW96]
FIGURE
Floyd's algorithm
An algorithm for finding the shortest path between two vertices. [EW00]
Floyd-Warshall algorithm
An algorithm to solve the all pairs shortest path problem in a weighted, directed graph by
multiplying adjacency-matrix representation of the graph multiple times. The edges may have
negative weights, but no negative weight cycles. [PEB00]
Folkman graph
A graph which is edge-transitive but not vertex-transitive, and has the minimum possible
number of nodes (20) for a nontrivial graph satisfying these properties. [EW00]
forcibly Hamiltonian
A degree sequence such that every simple graph with that degree sequence is Hamiltonian.
[DW96]
Ford-Fulkerson method
Given a flow function and its corresponding residual graph (a maximum-flow problem), select
a path from the source to the sink along which the flow can be increased and increase the flow.
Repeat until when there are no such paths. [PEB00]
fork
A node of tree T which is the endpoint of two or more branches. [EW00]
FIGURE
fractional arboricity
Given a graph G, the fractional arboricity of G is
max H⊆ G |E(H)| / |(V(H)| - ω (H)) where ω (H) is the number of components of H , | S | is the
number of elements in set S , and the maximum is taken over all subgraphs H of G for which |
V(H)| > ω (H) . [HC00]
framework
Consider a finite collection of points p = (p1 , … , pn) , pi ∈ Rd Euclidean space (known as a
configuration) and a graph G whose vertices correspond to pairs of points that are constrained
to stay the same distance apart. Then the graph G together with the configuration p, denoted
G(p), is called a framework. [EW00]
fraternal orientation
An orientation such that two vertices are adjacent if they have a common successor. [DW96]
free edge
An edge which is not in a matching. [PEB00]
free matroid
Matroid in which every set of elements is independent. [DW96]
free tree
A tree which is not rooted, i.e., a normal tree with no node singled out for special treatment.
[EW00]
FIGURE
free vertex
A vertex not on a matched edge in a matching, or, one which has not been matched. [PEB00]
friendship theorem
If every pair of people in a set have exactly one common friend in the set, then someone is
everyone's friend. [DW96]
Frucht graph
The smallest cubic graph whose automorphism group consists only of the identity element.
[EW00]
FIGURE
frustrated = unbalanced
Not balanced. [TZ98]
frustration index
Minimum size of a deletion set: least number of edges that must be removed from a signed,
gain, or biased graph in order to leave a balanced graph. [TZ98]
f-soluble
Having an edge weighting so that the sum of the weights incident to v is f(v) . [DW96]
functional graph
A functional graph is a digraph in which each vertex has outdegree one, and can therefore be
specified by a function mapping {1, … , n} onto itself. [EW00]
FIGURE
fundamental cutset
A unique cutset contained in e ∪ fcwhere fc is a coforest of G and e ∈f .[HN97]
A fundamental cutset corresponding to the edge e is a cutset formed in a special manner by the
removal of the edge e from a spanning tree. [SW87]
FIGURE
fuzzy graph
A graph with fuzzy edges or nodes. [PEB00]
| # | a | b | c-cn | co | cp-cz | d | e | f | g
| h | i | j | k | l | m-mh
| mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
| genus | good | graph | graphic | Grundy |
gain digraph
A directed graph with a gain function. That is, the function should be interpreted in the
undirected graph as a gain function rather than a weight function, and the properties studied
should be gain-graph-like. (Note that "balance" of a gain digraph means the underlying gain
graph is balanced. That is, all polygons, not only digraph cycles, must be considered.) [TZ98]
gain function
The function Φ : E →G that assigns gains to the links and loops. [TZ98]
gain group
The value group of the gain function of Φ . [TZ98]
galaxy
A forest, every component of which is a (nontrivial) star.[CL96]
FIGURE
game tree
A graph representation of different strategic outcomes in a game. Each node or vertex
represents an action space, and action spaces are connected by directed edges representing
consequences of particular actions. [HC00]
A tree that arises from the backtrack examination of all possible move sequences. [RND77]
gammoid
A matroid on E generated from vertex sets F, E in a digraph by letting independent sets be
those that can be saturated by a set of disjoint paths starting in F . [DW96]
GBD-tree
A generalized BD-tree, hence the name, which stores spatially extended objects as a
hierarchy of minimum bounding boxes. It is a balanced multiway tree which serves as a
spatial access method. [PEB00]
gear graph
A wheel graph with a vertex added between each pair of adjacent vertices. [EW00]
general graph
A graph with loops allowed. [BW97]
FIGURE
generalized network
A network in the usual sense of network flow theory, but in which each edge has a gain: a
positive (occasionally, merely nonzero) real number such that the inflow to the edge is
multiplied by the gain in order to get the outflow. [TZ98]
The genus η (G) of a graph G is the genus of the orientable surface S of least genus, such
that G can be topologically embedded in S (such an embedding is a minimal embedding).
[HC00]
The genus of a graph is the minimum number of handles that must be added to the plane to
embed the graph without any crossings. [EW00]
genus of a surface
A number of "handles" placed on a sphere, or, equivalently, a number of "holes" inserted in a
sphere. [CL96]
geodetic graph
A graph is said to be geodetic if, given any two vertices v1 and v2 , there exists a unique path
between v1 and v2 of minimal length. [HC00]
girth
The length of the shortest graph cycle (if any) in a graph. Acyclic graphs are considered to
have infinite girth. [EW00]
good algorithm
Runs in polynomial time. [DW96]
good characterization
Characterization of a class that is checkable in polynomial time. [DW96]
good coloring
Often means proper coloring. [DW96]
gossip problem
Minimize the number of calls so that each vertex transmits to every other by an increasing
path. [DW96]
gossip scheme
An ordered graph that has an increasing path from each vertex to every other vertex. [DW96]
graceful graph
A graph that admits a graceful labeling. [CL96]
A simple graph with e edges is graceful if there is one-to-one function l: V(G) {0, 1, 2, . . . ,
e} with the property that the set { | l(u) - l(v) | : uv∈E(G)} includes e different numbers. It is
conjectured that every finite tree is graceful. [HC00]
graceful labeling
The labeling of vertices of G with distinct elements from the set {0,1,…, m} in such a way
that the induced edge labeling, which prescribes the integer
|i – j| to the edge joining vertices labelled i and j, assigns the labels 1, 2, … , m to the edges of
G . [CL96]
An assignment of distinct integers to vertices such that
the integers are between 0 and e(G) , and
the differences between the labels at the endpoints of the edges yield the integers 1, … ,
e(G) .
[DW96]
graceful tree
A tree with a graceful labeling. [DW96]
gracefulness
The smallest positive integer k for which it is possible to label the vertices of G with distinct
elements from the set {0,1,…, k} in such a way that distinct edges receive distinct labels.
[CL96]
Graham's number
The smallest dimension n of a hypercube such that if the lines joining all pairs of corners are
two-colored, a planar complete graph K4 of one color will be forced. Stated colloquially, this
is equivalent to considering every possible committee from some number of people n and
enumerating every pair of committees. [EW00]
graph
A set of items connected by edges. Each item is called a vertex or node. Formally, a graph is
a set of vertices and a relation between vertices, adjacency. Graphs are usually represented G
= (V, E) , where V is the set of vertices, and E is the set of edges. If the graph is undirected,
adjacency is symmetric. If the graph does not allow self-loops, adjacency is irreflexive.
[PEB00]
A finite non-empty set V(G) of elements called vertices and a finite set E(G) of distinct
unordered pairs of distinct elements of V(G) called edges. [BW97]
A graph G is a triple (V(G), E(G), iG) where V(G) is a finite set of vertices, E(G) is a finite set
of edges and iG is an incidence function which associates with each edge a pair of vertices,
not necessarily distinct, called its endpoints or end vertices. [HN97]
A nonempty set T together with a set S of ordered or unordered pairs of its elements
(vertices). Unordered pairs of vertices (a, b) ∈S are called edges of a graph, ordered pairs are
called arcs or oriented edges. Usually it is assumed that (a, a) ∉S for arbitray a ∈T .
FIGURE
graph automorphism
An automorphism of a graph is a graph isomorphism with itself. [EW00]
graph concentration
Contracting a graph by removing a subset of the vertices. [PEB00]
graph difference
The graph difference of graphs G and H is the graph with adjacency matrix given by the
difference of adjacency matrices of G and H . A graph difference is defined when the orders
of G and H are the same. [EW00]
graph drawing
The problem of representing a graph in a plane "neatly," for instance with a minimum
number of edge crossings. [PEB00]
FIGURE
graph isomorphism
An isomorphism between two graphs is a one-to-one mapping between their two sets of
vertices. [EW00]
graph power
The k-th power of a graph G is a graph with the same set of vertices as G and an edge
between two vertices iff there is a path of length at most k between them. [EW00]
FIGURE
graph product
The product G = G1 × G2 of graphs G1 and G2 with disjoint vertex sets V1 and V2 and edge
sets E1 and E2 is the graph with vertex set V1× V2and
u = (u1 , u2) adjacent with v = (v1 , v2) whenever
[u1 = v1 and u2 adj v2 ] or [u2 = v2 and u1 adj v1 ] . [EW00]
graph section
A section of a graph obtained by finding its intersection with a plane. [EW00]
graph sum
The graph sum of graphs G and H is the graph with adjacency matrix given by the sum of
adjacency matrices of G and H . A graph sum is defined when the orders of G and H are the
same. [EW00]
FIGURE
graph theory
The mathematical study of the properties of the formal mathematical structures called graphs.
[EW00]
A part of discrete mathematics for studying the properties of graphs and their various
generalizations.
graph two-coloring
Assignment of each edge of a graph to one of two color classes ("red" or "green"). [EW00]
FIGURE
graphic matroid
Matroid whose independent sets are the acyclic subsets of E(G) . [DW96]
A B-matroid M = (S, B) is graphic if there exists a graph G with edge set S such that B is the
collection of maximal edge sets of G which do not support a cycle of G . [SL99]
Matroid whose circuits are the polygons of the graph (for an ordinary graph). [TZ98]
graphical partition
A partition { a1 , … , an } is called graphical if there exists a graph G having degree
sequence
{ a1 , … , an } .[EW00]
graphoid
A graphoid consists of a set M of elements together with two collections C and D of
nonempty subsets of M , called circuits and cocircuits respectively, such that
For any C ∈ C and D ∈ D , | C ∩ D | ≠ 1 .
No circuit properly contains another circuit and no cocircuit properly contains another
cocircuit.
For any painting of M with colors exactly one element green and the rest either red or blue,
there exists either (a) a circuit C containing the green element and no red elements, or (b) a
cocircuit D containing the green element and no blue elements. [EW00]
greedy algorithm
An algorithm which always takes the best immediate, or local, solution while finding an
answer. Greedy algorithms will always find the overall, or globally, optimal solution for
some problems, but may find less-than-optimal solutions for some instances of other
problems. [PEB00]
A fast non-backtracking algorithm to find a good feasible solution by iteratively making a
heuristically good choice. [DW96]
greedy coloring
With respect to some vertex ordering, color each vertex with the least-indexed color not
already appearing among the neighbors of the vertex being colored. [DW96]
greedy heuristic
An algorithmic technique in which an optimization problem is solved by finding locally
optimal solutions. [PEB00]
grid drawing
A graph drawing in which each vertex is represented by a point with integer coordinates.
[PEB00]
grid graph
An m × n grid graph Gm,n is the product of path graphs on m and n vertices. [EW00]
FIGURE
Grinberg condition
Necessary condition for Hamiltonian cycles in planar graphs: summing (length-2) over the
inside faces or over the outside faces yields the same total. [DW96]
Grötsch graph
The smallest triangle-free 4-chromatic graph. [DW96]
FIGURE
Grundy number
The maximum number of colors in an application of the greedy coloring algorithm. [DW96]
Guthrie's problem
The problem of deciding if four colors are sufficient to color any map on a plane or sphere.
[EW00]
FIGURE
| # | a | b | c-cn | co | cp-cz | d | e | f | g | h
| i | j | k | l | m-mh
| mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
| handcuff | head | heuristics | hole | hypothesis |
Hadwiger conjecture
A k-chromatic graph has a subgraph contractible to Kk (true for "almost all" graphs). [DW96]
Hadwiger number
The smallest number k for which some component of the graph can be contracted to the
complete graph Kk . [BW97]
Hajos conjecture
A k-chromatic graph contains a homeomorph of Kk (false beyond k = 5). [DW96]
Hajós number
The Hajós number h(G) of a graph G is the maximum k such that G contains a subdivision of
the complete graph Kk . [EW00]
half edge
Edge with one end, thus one endpoint. [TZ98]
FIGURE
Hall's theorem
A necessary and sufficient condition for the existence of a system of distinct representatives.
[DW96]
Hamiltonian anticycle
A spanning semicycle of a digraph D containing no subpath of length 2. [CL96]
Hamiltonian closure
Graph obtained by successfully adding edges between vertices whose degree-sum is as large as
the number of vertices. [DW96]
A cycle that includes each vertex of the directed graph exactly once. [CGM79]
Hamiltonian factorization
A factorization of G such that every factor is a Hamiltonian cycle of G . [CL96]
Hamiltonian graph
A graph possessing a Hamiltonian circuit. By convention, the trivial graph on a single node is
considered Hamiltonian, but the connected graph on two nodes is not. [EW00]
A graph G is Hamiltonian if it has a cycle that includes every vertex of G . [BW97]
FIGURE
Hamiltonian path = Hamiltonian chain
A path that includes every vertex of G. [BW97]
Elementary chain that connects two vertices of the graph and includes all other vertices of the
graph.
FIGURE
Hamiltonian-connected graph
A graph G is Hamiltonian-connected if for every pair u, v of distinct vertices of G, there exists
a Hamiltonian u-v path. [CL96]
Hamming ball
A Hamming ball of radius r centered at vertex v consists of all vertices w such that the
distance
d(v, w) < r , together with some vertices at distance r . [BW97]
handle
Addition to a surface to increase genus. [DW96]
Hanoi graph
A graph Hn arising in conjunction with the towers of Hanoi problem. [EW00]
FIGURE
Harary bipartition
A bipartition of the vertex set so that an edge is negative iff its endpoints lie in different parts.
[TZ98]
Harary graph
The smallest k-connected graph Hk,n with n vertices, having kn/2 edges, where x is
the ceiling function. [EW00]
k-connected n-vertex graph with minimal number of edges. [DW96]
FIGURE
hard problem
A problem is said to be hard if the existence of a fast algorithm for its solution implies that the
NP-complete problems are easy. [BC79]
H-cordial graph
A graph with e edges is called H-cordial if it is possible to label the edges with the numbers
from the set N = {+1 , -1} in such a way that at each vertex v the algebraic sum of the labels on
the edges incident with v is either +K or -K and the inequalities 1 ≥ | vf(+K) - vf(-K) | and 1 ≥ |
ef(+1) - ef(-1) | are also satisfied, where vf(j) and ef(j) are, respectively, the number of vertices
and edges labeled with j . [IC00]
heap
A tree where every node has a key more extreme (greater or less) than the key of its parent.
[PEB00]
Heawood graph
The 6-cage. [CL96]
The seven-color torus map on 14 nodes. [EW00]
FIGURE
Heawood's formula
The chromatic number of a graph embedded on the oriented surface with γ handles is at most
1/2(7 + (1 + 48γ )1/2 ) . [DW96]
Helly number
For some universe, the number k such that the sets in F have a common intersection. [DW96]
Helly property
A family {Ti}i∈ Iof subsets of a set T is said to satisfy the Helly property if J⊆I and Ti∩Tj≠ 0
for all i, j ∈J implies that ∩ j ∈ JTj≠ 0 . [MG80]
The property of the real line (or trees) that any collection of pairwise intersecting subsets has a
common intersection point. [DW96]
heptadaidecagon
A polygon with seventeen sides. [HC00]
heptagon
A polygon with seven sides. [HC00]
heptahedral graph
A polyhedral graph on seven nodes. [EW00]
FIGURE
hereditary class
A class F for which every induced subgraph of a graph in F is also in F. [DW96]
hereditary family
A family F of sets such that every subset of a member of F is in F . [DW96]
hereditary system
A system consisting of a hereditary family and the alternative ways of specifying the family.
[DW96]
heuristics
In mathematical programming, this usually means a procedure that seeks a solution but does
not guarantee it will find one. It is often used in contrast to an algorithm, so branch and bound
would not be considered a heuristic in this sense. In AI, however, a heuristic is an algorithm
(with some guarantees) that uses a heuristic function to estimate the "cost" of branching from a
given node to a leaf of the search tree. [HG99]
Based on or involving trial and error. Convincing without being rigorous. [EW00]
heuristic function
This is used to guide the search, as a human would do. In this sense, it is a rule of thumb.
Formally, in AI, a heuristic function is defined on the state of a search tree and is used in the
evaluation of nodes for expansion in what is sometimes called a best-first directed tree search
strategy. [HG99]
heuristic search
In mathematical programming, this is any (purposeful) search procedure to seek a solution to a
global optimization problem, notably to combinatorial optimization. In AI, this is a (partially)
informed search (vs. blind search), using a heuristic function for guidance. Two types of
(blind) search methods are breadth-first search and depth-first search.
A specific class of local heuristic search algorithms is the greedy algorithm. Another type is the
n-Opt for the TSP. Here are heuristic search strategies that are based on some biological
metaphor:
[HG99]
hexagon
A polygon figure with six sides. [HC00]
hexahedral graph
A polyhedral graph on six vertices. [EW00]
FIGURE
H-free
Having no copy of H as an induced subgraph. [DW96]
Hoffman-Singleton graph
The 7-regular Moore graph of girth 5 (and of order 50). [CL96]
The only graph of diameter 2, girth 5, and valency 7 . [EW00]
FIGURE
hole
A chordless cycle in a graph. [DW96]
FIGURE
homeomorph
A graph obtained from another by inserting new nodes along existing edges. [ODC00]
FIGURE
homomorphic graphs
Two graphs are homeomorphic if they can both be obtained from a common graph by a
sequence of replacing edges by simple chains. In appearance, homeomorphic graphs look like
ones that have extra vertices added to or removed from edges. [WC00]
Two graphs are homomorphic if they can be made isomorphic by inserting new vertices of
degree 2 into edges. [PEB00]
homeomorphism = homomorphism
A homeomorphism is an injective (one-to-one), continuous transformation of one topological
space onto another whose inverse is also continuous.[PR98]
homomorphism = homeomorphism
Hopfield network
John Hopfield in the early 1980's investigated a particular kind of neural network which is now
commonly referred to as the Hopfield network or Hopfield model. In the Hopfield network,
there are no special input or output neurons (see McCulloch-Pitts), but all are both input and
output, and all are connected to all others in both directions (with equal weights in the two
directions). Input is applied simultaneously to all neurons which then output to each other and
the process continues until a stable state is reached, which represents the network output.
[CERN97]
H-subdivision
A graph obtained from H by subdivisions. [DW96]
hub
The central point in a wheel graph Wn. The hub has degree n – 1 .[EW00]
FIGURE
Hungarian method
An alghorithm for solving the assignment problem. [DW96]
Husimi tree
A graph in which every block is a clique. [DW96]
hybrid analysis
The analysis of electrical networks where unknowns involve both voltages and currents.
[HN97]
hybrid bond graph
Bond graph which contains junctions that act as ideal switches and that are controlled by local
finite state machines. [PM99]
hypercube
A Cartesian product of copies of K2 . [DW96]
FIGURE
hyperedge
A connection between two or more vertices of a hypergraph. A hyperedge connecting just two
vertices is simply a usual edge. [EW00]
hypergraph
Hypergraph H is a pair (V(H), E(H)) where V(H) is the set of vertices of H and E(H) is a family
of subsets of V(H)called the hyperedges of H . [HN97]
A set of nodes (or vertices), say V, plus a set of edges, say E, such that each member of E is a
subset of V. When each member of E has exactly 2 nodes, [V, E] is a graph. The hypergraph is
a convenient mathematical way to describe relations that involve more than two objects
(nodes). [HG99]
hyperplane
In a matroid, a maximal closed proper subset of the ground set. [DW96]
hypobase
In a matroid, a maximal set containing no base. [DW96]
hypohamiltonian
A non-Hamiltonian graph whose vertex-deleted subgraphs are all Hamiltonian. [DW96]
FIGURE
hypothesis = conjecture
A proposition that is consistent with known data, but has been neither verified nor shown to be
false. [EW00]
hypotraceable graph
A non-traceable graph whose vertex-deleted subgraphs are all traceable. [DW96]
i
| # | a | b | c-cn | co | cp-cz | d | e | f | g | h | | j | k | l | m-mh |
mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
| identity | incident | independent | integer | intersection | isolated | isomorphism |
icosahedral graph
The polyhedral graph whose nodes have the connectivity of the icosahedron. The icosahedral
graph has 12 vertices, 30 edges, vertex connectivity 5, edge connectivity 5, graph diameter 3,
graph radius 3, and girth 3 . [EW00]
FIGURE
icosahedron
Planar graph with 12 faces, 30 edges, and 20 vertices. [DW96]
Icosian game
The problem of finding a Hamiltonian circuit along the edges of an dodecahedron, i.e., a path
such that every vertex is visited a single time, no edge is visited twice, and the ending point is
the same as the starting point. The puzzle was distributed commercially as a pegboard with
holes at the nodes of the dodecahedral graph. The Icosian game was invented in 1857 by
William Rowan Hamilton. [EW00]
FIGURE
identical graphs
Two graphs G1 = (V1, E1, i1) and G2 = (V2, E2, i2) are identical if and only if V1 = V2 , E1 = E2
and i1= i2 . [HN97]
identification
An operation replacing two vertices by a single vertex with the combined incidences (same
as contraction if the vertices are adjacent). [DW96]
identity graph
A graph with no automorphisms except the identity. [BW97]
idiosyncratic polynomial
The idiosyncratic polynomial is the characteristic polynomial of the matrix that results from
replacing all zeroes in the adjacency matrix by some variable, y . (This is a two variable
polynomial.) [SL99]
i-interval representation
A function on the vertex set such that each f(v) is the union of at most t real intervals and u
↔wif and only if f(u) ∩f(w) ≠ Ø . [DW96]
imperfect graph
Having an induced subgraph with chromatic number exceeding clique number.
[DW96]
incidence
An edge joining two vertices is said to be incident with both vertices. [CGM79]
FIGURE
incidence matrix
A matrix, say M, that represents the incidence of edges or arcs to nodes in a graph or
network. In the undirected case, M is binary valued: if edge k has endpoints i and j, M(i, k) =
M(j, k) = 1 and
M(r, k) = 0 for r ≠ i , j . In the directed case, the entry -1 indicates the tail: if the arc is
directed from i to j , M(i, k) = -1 and M(j, k) = 1. [HG99]
Incidence matrix of a connected graph is obtained from an exhaustive incidence matrix by
deleting any one row. [WM72]
FIGURE
incidence set
An incidence set of a vertex is the set of edges incident on the vertex.[HC00]
FIGURE
incident
Vertex v and edge e are incident if v ∈e . Edges are incident if they intersect. [DW96]
incomparability graph
The complement of a comparability graph. [DW96]
increasing path
A path via successively later edges. [DW96]
indecomposable graph
A graph which is not decomposable. [MG80]
independent edges
Two edges in a graph G are independent if they are not adjacent. [CL96]
FIGURE
independent vertices
A set of vertices V of a graph G with edges E is independent if it contains no edges. [EW00]
indifference graph
Representable by assigning weights to vertices such that u↔v if and only if | f(u): f(v)| ≤ 1 .
[DW96]
induced subgraph
If S is a subset of V, the subgraph induced by S is the graph with vertex set S and an edge set
consisting of all the edges of G which join vertices of S. [SW87]
FIGURE
inefficient algorithm
An algorithm which is not polynomial-bounded. [BC79]
infinite face
Infinitely large exterior face to graph G embedded in a plane. [CGM79]
infinite graph
A graph in which vertex set V(G) and edge set E(G) may not be finite. [BW97]
initial endpoint
The node xi of an arc (xi, xj) . [BC79]
in-order traversal
A technique for recursively processing the nodes of a tree in which the left subtree is
processed first, then the root, and finally the right subtree. [PEB00]
integer programming
Linear program plus requirement that variables be integer-valued. [DW96]
integral drawing
A graph drawn such that the edges have only integer lengths. It is conjectured that every
planar graph has an integral drawing. [EW00]
integrality theorem
In a network with integer edge capacities, there is an optimal flow expressible as units of
flow along source/sink paths. [DW96]
interior vertex
A vertex in the tree which is not a leaf. [SW87]
FIGURE
interlacing theorem
The eigenvalues {λ i} of G and {ξ i} of G – xsatisfy λ 1 ≥ ξ 1 ≥ λ 2 ≥ … ≥ λ n≥ ξ n
for each vertex x . [DW96]
internal vertices
For a path, the non-endpoints. For a plane, the vertices that do not belong to the boundary of
the exterior face. [DW96]
internally-disjoint paths
Paths intersecting only at endpoints. [DW96]
intersection graph
Let F be a family of nonempty sets. The intersection graph of F is obtained by representing
each set in F by a vertex and connecting two vertices by an edge if and only if their
corresponding sets intersect . [MG80]
Let S be a set and F = { S1, … , Sp } a nonempty family of distinct nonempty subsets of S
whose union is ∪ p1 Si= S . The intersection graph of F is denoted Ω ( F ) and defined by V
(Ω ( F ) ) = F , with Si and Sj adjacent whenever i ≠ j and Si ∩Sj ≠ 0 . Then a graph G is an
intersection graph on S if there exists a family F of subsets for which G and Ω ( F ) are
isomorphic graphs. [EW00]
intersection number
The intersection number ω (G) of a given graph G is the minimum number of elements in a
set S such that G is an intersection graph on S . [EW00]
intersection of matroids
The hereditary system whose independent sets are the common independent sets in the
matroids. [DW96]
intersection representation
An assignment of a set Sv to each vertex v such that u ↔ v if and only if Su∩ Sv≠ Ø . [DW96]
interval graph
An undirected graph G whose vertices can be put into one-to-one correspondence with a set
of intervals of a linearly ordered set (like the real line) such that two vertices are connected
by an edge of G if and only if their corresponding intervals have nonempty intersection.
[MG80]
A graph whose vertices can be mapped to distinct intervals in the real line such that two
vertices in the graph have an edge between them if and only if their corresponding intervals
overlap. [CK00]
interval number
Minimum t such that G has a t-interval representation. [DW96]
interval representation
A collection of intervals whose intersection graph is G . [DW96]
intractable problem
A problem for which no algorithm can exist which computes all instances of it in polynomial
time. [PEB00]
in-tree
A directed tree in which each edge is oriented toward the root. [DW96]
intrinsically linked
A graph is intrinsically linked if any embedding of it in 3-D contains a nontrivial link.
[EW00]
FIGURE
introverted edge
Bidirected link or loop whose ends are both directed inward, away from the endpoints.
[TZ98]
FIGURE
irreducible graph
A graph is irreducible for a given surface if the graph does not embed on that surface, but
every edge-deleted subgraph does so embed. [DA00]
isolated vertex
A vertex of degree 0. [BW97]
A vertex of a graph that has no edge incident on it. [HC00]
Vertex (or edge) incident to no (other) edge. [DW96]
FIGURE
isometric embedding
A distance-preserving mapping of V(G) into V(H) . [DW96]
isomorphic
The term "isomorphic" means "having the same form" and is used in many branches of
mathematics to identify mathematical objects which have the same structural properties.
Objects which may be represented (or embedded) differently but which have the same
essential structure are often said to be "identical up to an isomorphism". The statement " A is
isomorphic to B " is denoted A ≅ B . [EW00]
FIGURE
isomorphic decomposition
Decomposition into isomorphic subgraphs. [DW96]
isomorphic graphs
Two graphs GA = (VA , EA) and GB = (VB , EB) are said to be isomorphic, written GA ≅ GB , if
there is a one-to-one, onto correspondence f : VA →VB such that (v, w) ∈EA if and only if (f(v),
f(w)) ∈EB . [RND77]
Two graphs G and G' are isomorphic to each other if there exists an one-to-one
correspondence between the edges of G and G' such that the incidence relationships will be
preserved.[WM72]
FIGURE
isomorphism
Isomorphism is a very general concept which appears in several areas of mathematics.
Informally, an isomorphism is a map which preserves sets and relations among elements. The
statement " A is isomorphic to B " is denoted A ≅ B . [EW00]
isthmus = bridge
i-switching
Seidel switching when i vertices are switched. [TZ98]
j
| # | a | b | c-cn | co | cp-cz | d | e | f | g | h | i | | k | l | m-mh
| mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
Johnson's algorithm
An algorithm to solve the all pairs shortest path problem in a sparse weighted, directed graph.
[PEB00]
k-arc-connected graph
Same as k-edge-connected for digraphs. [DW96]
k-choosable graph
For all lists of size k assigned to vertices of G, there is a proper coloring that selects a color for
each vertex from its list. [DW96]
k-closure problem
Given a digraph G = (V, A) and positive integer
K ≤ | V | , is there a subset V ' ⊆ Vwith | V' | ≥ Ksuch that for all (u, v)∈A either u ∈ V ' or v∉
V ' ?[GJ79]
k-coloring
• The assignment of k colors (or any distinct marks) to the vertices of a graph.
• The assignment of k colors to the edges of a graph. A coloring is a proper coloring if no
two adjacent vertices or edges have the same color.
[PEB00]
k-connected graph
A graph G is said to be k-connected if there does not exist a set of k vertices whose removal
disconnects the graph, i.e., the vertex connectivity of G is ≥ k . [EW00]
k-connectivity
A non-complete graph G is k-connected if for every proper subset Y of V(G) with fewer than k
elements, G – Y is connected. [SL99]
k-cordial graph
An A-cordial graph where A = Zk . K-cordial graphs generalize harmonious, elegant and cordial
graphs. [IC00]
k-critical graph
Most commonly color-critical with chromatic number k . [DW96]
k-cube
The graph whose vertices correspond to the sequences (a1, a2, … , ak.) , where each ai = 0 or 1,
and whose edges join those pairs of vertices that correspond to sequences differing in just one
place. [BW97]
k-cycle
A cycle of length k , consisting of k vertices and k edges. [DW96]
k-d-B-tree
A data structure which splits multidimensional spaces like an adaptive k-d tree, but balances
the resulting tree like a B-tree. [PEB00]
k-d-tree
A multidimensional search tree for points in k dimensional space. Levels of the tree are split
along successive dimensions at the points. [PEB00]
k-edge coloring
An edge coloring where k colors are used. [CL96]
FIGURE
k-edge-choosable graph
For all lists of size k assigned to edges of G, there exists a proper edge-coloring that selects a
color for each edge from its list. [DW96]
k-edge-connected graph
A graph is k-edge-connected if there does not exist a set of k edges whose removal disconnects
the graph. The maximum edge connectivity of a given graph is the smallest degree of any
node, since deleting these edges disconnects the graph. Complete bipartite graphs have
maximum edge connectivity. [EW00]
Kempe chain
In forbidding a minimal counterexample to the four color theorem, a path between two vertices
of a cycle that alternates between two colors. [DW96]
kernel
In a digraph, an independent out-dominating set. [DW96]
kernel problem
Given a digraph G = (V, A) , does G have a kernel? [GJ79]
k-factor
A spanning k-regular subgraph. [DW96]
k-factorable graph
A graph G is k-factorable if it is the union of disjoint k-factors. [EW00]
k-factorization
A decomposition of a graph into k-factors. [DW96]
k-flow
A k-flow in a graph assigns to each edge a direction and a value 0 , 1 , ... , k – 1 such that at
each vertex the sum of the flows directed in equals the sum of the flows directed out. [DA00]
k-graph
The graph obtained by dividing a set of vertices
{1, … , n} into k – 1 pairwise disjoint subsets with vertices of degree n1 , ... , n k-1 , satisfying
n = n1 + ... + n k-1and with two vertices joined iff they lie in distinct vertex sets. [EW00]
k-linked
A stronger condition than k-connected, in which for every choice of two k-tuples of vertices
(u1, …, uk) and (v1 , …, vk) , there exists a set of k internally disjoint paths connecting
corresponding vertices ui , vi . [DW96]
knapsack problem
An integer program of the form, Max{cx: x in Z + and ax≤ b}, where a > 0. The original
problem models the maximum value of a knapsack that is limited by volume or weight (b),
where xj = number of items of type j put into the knapsack at unit return cj , that uses aj units per
item.
The group knapsack problem has this form, except that it pertains to Gomory's corner
polyhedron problem for general integer programming.
The multi-dimensional knapsack problem has more constraints (e.g., volume and weight), Ax
≤ b , where A ≥ 0 with Ae > 0 and e'A > 0.[HG99]
König-Egervary theorem
Maximum matching equals minimum vertex cover for bipartite graphs.[DW96]
Kozyrev-Grinberg theory
A theory of Hamiltonian circuits. [EW00]
k-partite tournament
A digraph obtained by orienting the edges of a complete k-partite graph. [CL96]
FIGURE
k-regular graph
A graph with all vertices of degree k . [BW97]
FIGURE
Kruskal's algorithm
An algorithm for computing a minimum spanning tree. It maintains a set of partial minimum
spanning trees, and repeatedly adds the shortest edge in the graph whose vertices are in
different partial minimum spanning trees. [PEB00]
Grows a minimum weighted spanning tree by iteratively adding the cheapest edge in the graph
that does not complete a cycle. [DW96]
k-set
Set of size k . [DW96]
k-spanner
A spanning subgraph G' of G such that, for any pair of vertices u and v , the length of the
shortest path between u and v in G' is at most k times the distance between u and v in G .
[CK00]
k-subset
Subset of size k . [DW96]
k-total coloring
A coloring that uses k colors. [CL96]
FIGURE
k-trestle
Given a 3-connected graph G , a k-trestle is a 2-connected spanning subgraph of G of
maximum degree k . Thus a Hamilton cycle is a 2-trestle. Trestles were originally studied by
Barnette who was interested in determining the structure of 3-connected planar graphs (they
are not Hamiltonian in general). [DA00]
k-uniform hypergraph
Having each edge of size k . [DW96]
Kuratowski reduction theorem
Every nonplanar graph is a supergraph of an expansion of the utility graph GU= K 3,3 (i.e., the
complete bipartite graph on two sets of three vertices) or the complete graph K5 . [EW00]
Kuratowski subgraph
Subdivision of K5 or K3, 3 .[DW96]
Kuratowski's theorem
A graph is nonplanar if and only if it contains a subgraph homeomorphic to K3, 3 or K5 .[CC99]
k-way tree
A tree with k or fewer children for each node. [PEB00]
label
Labels are just the names we give vertices and edges so we can tell them apart. Usually, we
use the integers 1, 2, ... , n as the labels of a graph or digraph with n vertices. The assignment
of label to vertex is arbitrary. [WC00]
FIGURE
labeled graph
A graph which has labels associated with each edge or each vertex. [PEB00]
A finite graph whose vertices are numbered; a graph G of n vertices together with a one-to-
one mapping Φ , called a labeling, from the vertex set of G onto the set {1, 2, 3, . . . , n} .
[HC00]
FIGURE
labeled tree
A tree with its nodes labeled. [EW00]
FIGURE
labeling
A one-to-one mapping Φ from the vertex set of G onto the set {1, 2, 3, . . . , n} . [HC00]
labeling algorithm
A class of algorithms for path-related problems on graphs and networks. [HG99]
ladder graph
A graph consisting of two rows of paired nodes each connected by an edge. [EW00]
FIGURE
lattice
A set S that contains x ∩ y and x ∪ y for all x, y in S. [HG99]
lattice graph
A lattice with n nodes on a side. [EW00]
FIGURE
lattice of flats
The set of balanced flats in the matroid of a graph or a signed, gain, or biased graph, ordered
by inclusion. [TZ98]
lattice path
A path composed of connected horizontal and vertical line segments, each passing between
adjacent lattice points. A lattice path is therefore a sequence of points P0 , P1 , ..., Pn with n
≥ 0 such that each Pi is a lattice point and Pi+1 is obtained by offsetting one unit east (or west)
or one unit north (or south). [EW00]
lattice point
A point at the intersection of two or more grid lines in a point lattice. [EW00]
lattice polygon
A polygon whose whose vertices are points of a point lattice. [EW00]
layered graph
A connected graph where "layers" L0 , ..., Lkpartition the vertices. Each edge, which has a
nonnegative integral weight, connects only vertices in successive layers. The width is the
greatest number of vertices in any layer, i.e., MAX i=0 k | Li | . [PEB_00]
leaf = pendant vertex = terminal vertex = terminal node = end vertex = endpoint = eve
A terminal or "bottom" item of a tree, i.e., an item with no child. More formally, a vertex
with degree one. [PEB00]
A vertex of outdegree 0. [SW87]
1-valent vertex. [DW96]
The first or last vertex of a path, trail, walk, or edge. [DW96]
Hanging vertex of a tree.
A vertex of a graph incident to exactly one edge.
FIGURE
leaf block
A block containing only one cut-vertex. [DW96]
length
The number of edges (counted with multiplicity, if necessary), the sum of the edge lengths.
[DW96]
level
In a rooted tree, the vertices at the same distance from the root are said to be at the same
level. The root is considered to be at level 0 and the height of the tree is the maximum level.
[WC00]
Levi graph
The unique 8-cage graph consisting of the union of the two leftmost subgraphs. It has 45
nodes, 15 edges, and all nodes have degree 3. [EW00]
FIGURE
lift circuit
A balanced polygon, the union of two vertex-disjoint unbalanced polygons, a contrabalanced
tight handcuff or theta graph, or a loose edge; here a half edge is treated like an unbalanced
loop, so (for instance) a graph consisting of two half edges is a lift circuit. [TZ98]
lift matroid = even cycle matroid = even polygon matroid = factor matroid
Matroid whose circuits are the even polygons and the handcuffs with two odd polygons (and
the loose edges). A half edge acts like a loop. [TZ98]
Matroid whose circuits are the balanced polygons and the contrabalanced theta subgraphs,
tight handcuffs, and pairs of vertex-disjoint polygons. [TZ98]
lift minor
The result of a sequence of deletions and lift contractions. [TZ98]
limb
A limb of a tree at a vertex v is the union of one or more branches at v in the tree. v is then
called the base of the limb. [EW00]
line = edge
linear
Any function which is a constant times the argument plus a constant: f (x) = c1 x + c0 .
In complexity theory, the measure of computation, m(n) (usually execution time or
memory space), is bounded by a linear function of the problem size, n .
[PEB00]
linear matroid
Matroid whose independent sets are the sets of independent columns of some matrix over a
field. [DW96]
linear programing
Problem of optimizing a linear function with linear constraints. [DW96]
linear quadtree
A quadtree implemented as a single array of nodes. [PEB00]
link contraction
Contraction of a balanced set. [TZ98]
link minor
The result of a sequence of deletions and link contractions. [TZ98]
literal
A logical (Boolean ) variable or its negation. [DW96]
lobster
A tree having a path from which every vertex has distance at most 2. [DW96]
local coloring
A local coloring is a 4-coloring of each star of a vertex such that the colorings agree (up to an
arbitrary permutation) on overlapping stars. This coloring is equivalent to the usual vertex 4-
coloring for a planar graph, but is not equivalent for non-simply-connected surfaces. [DA00]
local connectivity
Minimum number of vertices whose deletion separates a nonadjacent pair. [DW96]
local path-multiplicity
Maximal number of pairwise internally disjoint
x, y-paths. [DW96]
local rotation
The (clockwise) cyclic permutation of the edges incident with each vertex from 1 to n .
[DA00]
local search
Technique for solving optimization problems by successively making small changes in a
feasible solution. [DW96]
logarithmic
Any function which is a constant times the logarithm of the argument: f(x) = c log x .
In complexity theory, when the measure of computation, m(n) (usually execution time or
memory space), is bounded by a logarithmic function of the problem size, n .
[PEB00]
longest path
INSTANCE: Graph G = (V, E) .
SOLUTION: Simple path in G , i.e., a sequence of distinct vertices v1 , v2 , … , vm such that,
for any
1 ≤ i ≤ m , (vi , vi+1) ∈E .
MEASURE: Length of the path, i.e., the number of edges in the path. [CK00]
longest path problem
Given a graph G = (V, E) , weight w(e) ∈Z+for each e ∈E , positive integer K and specified
vertices s, t∈V , is there a simple path in G from s to t of length K or more? [GJ79]
loop = self-loop
An edge that connects a vertex to itself. [CC99]
An arc whose endpoints are coincident. [BC79]
An edge that is incident with only one vertex. [CGM79]
An edge of a graph which starts and ends at the same vertex. [PEB00]
An edge (a, a).
FIGURE
loose edge
Edge with no ends, thus no endpoints. [TZ98]
| # | a | b | c-cn | co | cp-cz | d | e | f | g | h | i | j | k | l | m-
mh | mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
| marriage | matching | matroid | max | maximal | maximum | maximum flow |
maximum matching | metric |
magic graph
An edge-magic graph is a labeled graph with n edges labeled with distinct elements {1, 2, … , n}
so that the sum of the edge labels at each vertex is the same. A vertex-magic graph labeled
vertices which give the same sum along every straight line segment. [EW00]
FIGURE
magic labeling
It is conjectured that every tree with n edges whose nodes are all trivalent or monovalent can be
given a "magic" labeling such that the integers 1, 2, ... , n can be assigned to the edges so that the
sum of the three meeting at a node is constant. [EW00]
Malhotra-Kumar-Maheshwari blocking flow algorithm
Given a flow function and its corresponding residual graph (a maximum-flow problem), select a
vertex with the least throughput and greedily push the maximum flow from it to the sink. This is
repeated until all vertices are deleted. [PEB00]
M-alternating path
A path alternating between edges in M and not in M .[DW96]
map
A 3-connected plane graph. [BW97]
mapping
An arrangement f : X → Y , denoted by f ( ⋅ ) , which associates with each element x ∈X the
element y ∈Y .[HN97]
Markov chain
A finite state machine with probabilities for each transition, that is, a probability that the next
state is sj given that the current state is si . Equivalently, a weighted, directed graph in which the
weights corresponding to the probability of that transition. In other words, the weights are
nonnegative and the total weight of outgoing edges is positive. If the weights are normalized, the
total weight, including self-loops, is 1. [PEB00]
Markov's inequality
For a nonnegative random variable,
Prob(X ≥ t) ≤ E(X)/t . [DW96]
marriage problem
Given a set of boys and a set of girls where each girl knows some of the boys, under what
conditions can all girls get married, each to a boy she knows? [CL96]
matched edge
An edge which is in a matching. [PEB00]
matched vertex
A vertex on an matched edge in a matching, or, one which has been matched. [PEB00]
matching number
The number of edges in a maximum size matching in a graph G.[HC00]
matching problem
Given a graph, a matching is a subgraph with the property that no two edges are incident to the
same node. Subject to certain restrictions, the problem is to find a feasible matching that
optimizes some objective, such as minimizing the total cost of the edges in the matching. A
perfect matching is when each node is incident with exactly one edge.
The assignment problem is a classical perfect matching, whereby the graph is bipartite (nodes are
two sets: people and jobs), and the matching must have all nodes (every person must do a job,
and every job must be done). Then, the matching corresponds precisely to an assignment since
each job node is incident with exactly one person node in the matching. Further, the cost of each
such matching is precisely the total cost of the corresponding assignment, so this min-cost
matching problem is the same as the assignment problem.
Another type of matching problem, called maximum matching, is to find a matching with the
greatest number of nodes. Unlike the assignment problem, the maximum matching problem is
NP-complete. [HG99]
matchstick graph
A planar graph whose edges are all unit line segments. [EW00]
matrix
An array of symbols arranged in rows and columns. [HC00]
FIGURE
matroid
Let E = {e1 , e2 , ... , em} be a finite set, and let F be a family of subsets of E: then F is a matroid if
it satisfies
ei in F for each i ;
if G is in F, and if H is a non-empty subset of G, then H is in F ;
for each S that is a subset of E, if G and H are two members of F contained in S and maximal
with this property, then | G | = | H | .
[ODC00]
There are many definitions of matroids. A matroid M = (S, I) is a finite set S , together with a
collection of subsets I of S such that
the empty set is in I ;
if X is in I, then any subset of X is in I ; and
if X and y are in I with | Y | > | X | , then there is some element y in Y \ X such that X∪ {y} is
in I .
[SL99]
max-heap property
Each node in a tree has a key which is less than or equal to the key of its parent. [PEB00]
maximal clique
A maximal vertex set inducing a clique. [DW96]
maximal cycle
A simple cycle surrounding whole graph.
FIGURE
maximal flow
A feasible flow in a network whose value is as large as possible. [BC79]
maximal P-object
For a property P, no object of the same type properly containing this object also has property P.
[DW96]
maximum clique
INSTANCE: Graph G = (V, E) .
SOLUTION: A clique in G , i.e. a subset V' ⊆Vsuch that every two vertices in V' are joined by
an edge in E .
MEASURE: Cardinality of the clique | V' | . [CK00]
A clique of maximum order in G . [BW97]
maximum cut
INSTANCE: Graph G = (V, E) .
SOLUTION: A partition of V into disjoint sets V1 and V2 .
MEASURE: The cardinality of the cut, i.e., the number of edges with one end point in V1 and
one endpoint in V2 . [CK00]
maximum degree
The maximum degree among the vertices of G. [CL96]
maximum directed cut
INSTANCE: Directed graph G = (V, A) .
SOLUTION: A partition of V into disjoint sets V1 and V2 .
MEASURE: The cardinality of the cut, i.e., the number of arcs with one end point in V1 and one
endpoint in V2 . [CK00]
maximum flow
A feasible network flow of maximum value , or the value itself. [DW96]
maximum flow, minimum cut theorem = max-flow min-cut theorem
maximum H-matching
INSTANCE: Graph G = (VG , EG) and a fixed graph H = (VH , EH) with at least three vertices in
some connected component.
SOLUTION: A H-matching for G , i.e., a collection of disjoint subgraphs G1 , G2 , … , Gk of G ,
each isomorphic to H .
MEASURE: Cardinality of the H-matching, i.e., the number of disjoint subgraphs Gi . [CK00]
maximum k-cut
INSTANCE: Graph G = (V, E) , a weight function
w : E → N , and an integer k ∈ [ 2 … | V | ] .
SOLUTION: A partition of V into k disjoint sets
F = { C1 , C2 , … , Ck } .
MEASURE: The sum of the weight of the edges between the disjoint sets
Σ 1 k-1 Σ i+1 kΣ v1 ∈C i , v2 ∈C jw({v1, v2}) . [CK00]
maximum matching
A matching of maximal cardinality. [CL96]
maximum P-object
For a property P, no larger object of the same type also has property P. [DW96]
McCulloch-Pitts neuron
A basic building block of neural networks. It receives one or more inputs and produces one or
more identical outputs, each of which is a simple non-linear function of the sum of the inputs to
the neuron. The non-linear function is typically a threshold or step function which is usually
smoothed (i.e. a sigmoid) to facilitate learning. [CERN97]
FIGURE
McGee graph
The unique 7-cage graph consisting of the union of the two certain subgraphs. It has 24 nodes, 36
edges, and all nodes have degree 3. [EW00]
FIGURE
Menger's theorem
Minimax characterizations of connectivity by number of pairwise internally-disjoint or edge-
disjoint paths between pairs of vertices. [DW96]
meta-heuristic
This is a general framework for heuristics in solving hard problems. The idea of "meta" is that of
level. An analogy is the use of a meta-language to explain a language. For computer languages,
we use symbols, like brackets, in the meta-language to denote properties of the language being
described, such as parameters that are optional. Examples of meta-heuristics are:
Besides parameters that define specific algorithms with each framework, these meta-heuristics
also require some concept of representation, which is problem dependent. [HG99]
method
A particular way of doing something, sometimes also called an algorithm or procedure. [EW00]
metric
A real-valued symmetric nonnegative binary function that is 0 only when the arguments are
equal and satisfies the triangle inequality. [DW96]
metric representation
An isometric embedding into a Cartesian product. [DW96]
Meyniel graph
Graph in which every odd cycle of length at least 5 has at least two chords. [DW96]
FIGURE
M-graph
A graph in which there exist exactly two vertices of odd degree. [WM72]
FIGURE
mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
| minimal | minimum | minimum cut | minimum edge | minimum general | minimum
linear | minimum ratio | minimum spanning | minimum vehicle | minor |
mincut
Let G = G (V, E) be a (not necessarily simple) undirected edge-weighted graph with nonnegative
weights. A cut C of G is any nontrivial subset of V, and the weight of the cut is the sum of
weights of edges crossing the cut. A mincut is then defined as a cut of G of minimum weight.
The problem is NP-complete for general graphs, but polynomial-time solvable for trees. [EW00]
min-heap property
Each node in a tree has a key which is greater than or equal to the key of its parent. [PEB00]
minimal balancing set = minimal deletion set
An edge set whose deletion makes the graph balanced but which has no such proper subset.
[TZ98]
minimal block
A graph G is a minimal block if G is a block and for every edge e , the graph G – e is not a block.
[CL96]
minimal cover
A minimal cover is a cover for which removal of any single member destroys the covering
property. [EW00]
minimal cycle
Simple cycle induced by the edges of a face.
minimal P-object
For a property P, no object of the same type properly contained in this object also has property P.
[DW96]
minimally 2-connected
Any edge deletion destroys 2-connectedness. [DW96]
minimum bandwidth
INSTANCE: Graph G = (V, E) .
SOLUTION: A linear ordering of V , i.e. a one-to-one function f : V→ {1, 2, … , | V |} .
MEASURE: The bandwidth of the ordering
max (u, v) ∈ E | f(u) – f(v) | . [CK00]
minimum cut
The smallest set of edges in an undirected graph which separate two distinct vertices. That is,
every path between them includes some member of the set. [PEB00]
A network cut having minimum value, or the value of such cut. [DW96]
minimum degree
Minimum of the vertex degrees. [DW96]
minimum flow
A legal flow for which the total flow is minimum. [SE79]
minimum k-center
INSTANCE: Complete graph G = (V, E) and distances d( vi , vj ) ∈N satisfying the triangle
inequality.
SOLUTION: A k-center set, i.e., a subset C ⊆V with | C | = k .
MEASURE: The maximum distance from a vertex to its nearest center max v∈ V min c∈ C d( v, c) .
[CK00]
minimum k-cut
INSTANCE: Graph G = (V, E) , a weight function
w : E → N , and an integer k ∈ [ 2 … | V | ] .
SOLUTION: A partition of V into k disjoint sets
F = { C1 , C2 , … , Ck } .
MEASURE: The sum of the weight of the edges between the disjoint sets
Σ 1 k-1 Σ i+1 kΣ v1 ∈C i , v2 ∈C jw({v1, v2}) . [CK00]
minimum k-median
INSTANCE: Complete graph G = (V, E) and distances d(e) ∈N .
SOLUTION: A k-median set, i.e., a subset V' ⊆V with | V' | = k .
MEASURE: The sum of the distances from each vertex to its nearest median Σ v∈V min w∈ V ' d(
v, w) . [CK00]
minimum k-supplier
INSTANCE: Complete graph G = (V, E) , distances d(vi , vj) ∈N satisfying the triangle
inequality, center construction cost c(v) ∈N and usage weight w(v) for each v ∈ V , cost bound
L∈N .
SOLUTION: A supplier set of legal cost, i.e., a subset S ⊆V such that Σ v ∈ S c(v) ≤ L .
MEASURE: The maximum weighted distance from a vertex to its nearest supplier
max v∈ V min s∈ S w(e) d( v, s ) . [CK00]
minimum multicut
INSTANCE: A graph G = (V, E) , a set S⊆V× V of source-terminal pairs, and a weight function
w : E →N .
SOLUTION: A multi-cut, i.e., a set E' ⊆E such that the removal of E' from E disconnects si from
ti for every pair ( si , ti ) ∈S .
MEASURE: The weight of the cut Σ e ∈ E ' w(e) . [CK00]
minimum P-object
For a property P, no smaller object of the same type also has property P. [DW96]
minor = subcontraction
Graph or matroid obtained by a sequence of deletions and contractions. [DW96]
minor graph
A sort of subgraph which Kuratowski means when he says "contain". It is roughly a small graph
which can be mapped into the big one without merging vertices. [EW00]
minor of a graph
A graph F is a minor of a graph G if F can be obtained from a subgraph of G by a sequence of
deletions and contractions of edges. [BW97]
mixed graph
A graph that contains both directed and undirected edges. [HC00]
mi | mj-mz |
| n | o | p | q | r | s-so | sp-sz | t | u | v | w | xyz |
| modular | multigraph | mutual |
Möbius climber
The Möbius climber was designed by Gerald Harnett, a mathematics professor at Florida
Atlantic University in Boca Raton, with the assistance of Jerome Schwartz and Sean Powers. It
consists of 64 triangles linked together and mounted so that, at any one point, the twisted
structure appears to have four sides, but overall turns out to have just two. [IP00]
FIGURE
Möbius ladder
The graph obtained by adding to an even cycle the chords between vertex pairs at maximum
distance on the cycle (can be drawn as a ladder with a twist). [DW96]
The Mobius ladder of order 2n , M n , is the 3-regular graph with a Hamiltonian cycle (1, 2, ...,
2n, 1) and edges joining vertex i to i + n , i = 1, ... , n .[DA00]
Möbius strip
The nonorientable surface obtained by identifying two opposite sides of a rectangle using
opposite orientation. [DW96]
FIGURE
model A
Probability distribution making the graphs with vertex set [n] equally likely. [DW96]
model B
Probability distribution making the graphs with vertex set [n] and m edges equally likely.
[DW96]
modular function
Let S be a finite set. Let f : 2S →R , f is said to be a modular function if
f(X) + f(Y) = f(X ∪ Y) + f(X ∩ Y)∀X , Y⊆S.[HN97]
monochromatic
In a coloring, a set having all elements the same color. [DW96]
Moore graph
(r, g)-cage of order f0 (r, g) .[CL96]
FIGURE
Morishima matrix
Square matrix A for which there is a set S so that
aij ≥ 0 if i and j are both in S or both not in S and
aij ≤ 0 otherwise. [TZ98]
MST = minimum spanning tree
M-tree
A tree not having the complete bipartite graph K1, 2 with base at the vertex of degree two as a
limb. [EW00]
multidigraph
A digraph with more than one arc in the same direction to join two vertices. [CL96]
multiple edges
Two or more edges joining the same pair of vertices. [BW97]
Two or more edges with the same endpoints and the same sign or gain. (Whether to count a
negative loop and a half edge at the same vertex as multiple edges is not clear and may depend
on the context.) [TZ98]
A pair (a, b) contained two or more times in the edge set S .
FIGURE
multiway tree
A tree with any number of children for each node. [PEB00]
FIGURE
M-unsaturated
Vertex not belonging to an edge of M . [DW96]
mutual reachability
An equivalence relation on vertices of a digraph. [DW96]
n, k, c-expander
Bipartite graph with partite sets of size n and degree at most k such that each set S with at most
half the vertices of the first partite set has at least
(1 + c(1-| S |/n)| S |) neighbors. [DW96]
n, k, c-magnifier
n-vertex graph of maximum degree k in which each set S with at most half the vertices has at
least c| S | neighbors outside S . [DW96]
n-ary heap
A complete tree where every node has a key more extreme (greater or less) than the key of its
parent. Each node has n or fewer children. [PEB00]
n-ary sequence
Ordered list of elements from a set of size n, with repetition allowed. [DW96]
n-ary tree
Rooted tree with at most n children at each internal node. [DW96]
A rooted tree in which every vertex has either 0 or m offspring. When m = 2, these are called
binary trees. [WC00]
A directed tree in which the out-degree of each vertex is at most n, where n is some fixed
positive integer; equivalently, a rooted tree in which each vertex has at most n successors.
[HC00]
n-connected graph
A graph whose connectivity is greater than or equal to some fixed positive integer n; i.e., a
graph that remains connected even if any n – 1 edges are removed, but for which there exists a
disconnecting set of n edges.[HC00]
A type of greedy algorithm for combinatorial optimization problems where there is measure of
nearness between neighbors. An example is the traveling salesman problem, where the
procedure is to choose the next city to be one that is nearest the current city in the sequence.
[HG99]
nearest-insertion
TSP heuristic to grow a cycle. [DW96]
near-perfect matching
A matching of size (n(G) – 1) / 2 . [DW96]
negation set
An edge set whose negation makes the graph balanced. [TZ98]
negative degree
The number of negative incidents on the vertex. [CGM79]
negative girth
The length of a shortest negative polygon. [TZ98]
negative incidence
If the orientation of an arc is from vertex v1 to vertex v2, then the arc is said to be negatively
incident at v2 . [CGM79]
neighborhood = neighbors
The set of all vertices of G adjacent to the vertex v . [BW97]
The vertices adjacent to a given vertex. [DW96]
FIGURE
neighbors = neighborhood
net flow
At a vertex, the sum of flows on exiting edges minus the sum of flows on entering edges.
[DW96]
network
A weighted digraph; i.e., a directed graph, each of whose arcs has been assigned a quantity
(called a weight or capacity) such as a real number, vector, or tensor. The theory of networks
has applications in management and engineering sciences. [HC00]
A network consists of the following data:
A finite digraph G(V, E) with no self-loops and no parallel edges.
Two vertices s (the source) and t (the sink) are specified.
Each edge e ∈ E is assigned a non-negative number c(e) called the capacity of e .
[SE79]
network flow
A vector f = [ f1 , f2 , … , fm ] of m real numbers (where m is the number of arcs in a graph G)
such that
each element fi of f , which is called the flow in arc ui , is non-negative;
for every node xi of G, the sum of the flows in arcs incident to xi is equal to the sum of the
flows in arcs incident from xi .
[BC79]
network flow problem
The network flow problem considers a graph G with a set of sources S and sinks T and for
which each edge has an assigned capacity (weight), and then asks to find the maximum flow
that can be routed from S to T while respecting the given edge capacities. [EW00]
network flows
This is an assignment of arc values, called flows, say f(k) for the k-th arc, that satisfy two types
of constraints:
arc bounds, L ≤ f ≤ U , and
node balances, flow out of node i − flow into node i = b(i) . The flow out of node i can be
expressed as Sum k{f(k): T(k) = i} , and the flow into node i can be expressed as Sum k{f(k):
H(k) = i} .
If b(i) < 0 , -b(i) is a supply at node i (called a supply node); if b(i) > 0 , b(i) is a demand at
node i (called a demand node). If b(i) = 0 , node i is simply a transshipment node, and the
balance equation says that the flow into node i must equal the flow out of node i . Another way
to express the node flow balance equations is with the node-arc incidence matrix: Mf = b .
[HG99]
node = vertex
A vertex in a directed graph. [CGM79]
A vertex of a graph. In network applications, vertices are called nodes and edges are called
branches. [HC00]
FIGURE
NOHO
"No one hears his own information", a gossiping condition. [DW96]
nonagon
A polygon having nine sides. [HC00]
nonahedral graph
A polyhedral graph having nine vertices. [EW00]
nondeterministic algorithm
An algorithm for which a state may determine many next states and which follows up on each
of the next states simultaneously. [MG80]
Allowed to "guess" by having parallel computaion paths. [DW96]
nonorientable surface
A surface with only one side. [DW96]
FIGURE
nonorientable genus
The nonorientable genus of a graph G , h(G) , is the minimum number h such that G embeds on
the surface formed by adding h crosscaps to the sphere. [DA00]
nonplanar
Having no embedding on the plane. [DW96]
nonplanar graph
A graph that is not planar. [ISEM00]
FIGURE
nonterminal vertex
In graph theory, a vertex of degree not equal to one. In a rooted tree, a vertex having at least
one successor. [HC00]
nontrivial graph
A graph that is not trivial. [ISEM00]
Having at least one edge. [DW96]
NP
The class of problems for which answers can be checked for correctness by an algorithm
whose run time is polynomial in the size of the input. Note that this doesn't require or imply
that an answer can be found quickly, only that any claimed answer can be verified or refuted
quickly. "NP" is the class which a Nondeterministic machine accepts in Polynomial time.
[PEB00]
The class of problems solvable by deterministic polynomial algorithms. [DW96]
NP-complete
The class of problems for which answers can be checked for correctness by an algorithm
whose run time is polynomial in the size of the input (it is NP) and no other NP problem is
more than a polynomial factor harder. Informally, a problem is NP-complete if answers can be
verified quickly and a quick algorithm to solve this problem can be used to solve all other NP
problems quickly. [PEB00]
Problems are divided into two categories: those for which there exists an algorithm to solve it
with polynomial time complexity, and those for which there is no such algorithm. We denote
the former class of problems by P . There are problems for which no known algorithm exists
that solves it in polynomial time, but there is also no proof that no such algorithm exists.
Among these problems that are not known to be in P (or in ~P), there is a subclass of problems
known as NP-complete: those for which either all are solvable in polynomial time, or none are.
A fundamental member of the NP-complete class is the satisfiability problem. It is an open
question whether NP = P, and most regard the NP-complete problems as having exponential
time complexity. [HG99]
NP-complete problem
A problem which is both NP (solvable in nondeterministic polynomial-time) and NP-hard (any
other NP-problem can be translated into this problem). [EW00]
NP-hard
A complexity class of problems that are intrinsically harder than those that can be solved by a
Turing machine in nondeterministic polynomial time. When a decision version of a
combinatorial optimization problem is proven to belong to the class of NP-complete problems,
which includes well-known problems such as satisfiability, traveling salesman, bin packing,
etc., an optimization version is NP-hard. [PEB00]
An optimization problem that relies upon the solution of an NP-complete problem. In that
sense, NP-hard problems are at least as hard as NP-complete problems. Here are some NP-hard
problems:
• Bin packing
• Covering, Cutting stock
• Knapsack
• Packing, Partitioning, Pooling
• Traveling Salesman
• Vehicle routing
[HG99]
NP-hard problem
A problem is NP-hard if an algorithm for solving it can be translated into one for solving any
other NP-problem (nondeterministic polynomial time) problem. NP-hard therefore means "at
least as hard as any NP-problem", although it might, in fact, be harder. [EW00]
NP optimization problem
An NP optimization problem A is a fourtuple
(I, sol, m, goal) such that
I is the set of the instances of A and it is recognizable in polynomial time.
Given an instance x of I , sol(x) denotes the set of feasible solutions of x . These solutions
are short, that is, a polynomial p exists such that, for any
y ∈ sol (x) ,| y | ≤ p ( | x | ) . Moreover, it is decidable in polynomial time whether, for any x
and for any y such that | y | ≤ p ( | x | ) , y ∈ sol (x) .
Given an instance x and a feasible solution y of x , m(x, y) denotes the positive integer
measure of y . The function m is computable in polynomial time and is also called the objective
function.
goal ∈ {max, min} .
[CK00]
NP-problem
A problem is assigned to the NP (nondeterministic polynomial time) class if it is solvable in
polynomial time by a nondeterministic Turing machine. [EW00]
null flow
A flow in which all arc flows are 0. [BC79]
null graph
The graph with n vertices and no edges. [BW97]
The empty graph containing no vertices or edges. [EW00]
FIGURE
null tree
A tree which is empty.
A tree whose leaf nodes all have a null value.[PEB00]
nullity
The nullity N = ne – nv + ρ where ne is the number of edges, nv is the number of vertices, and
ρ is the number of maximal connected subgraphs of G . [WM72]
The number of edges in a coforest. [HN97]
numbering
A bijection between V(G) and [n(G)] .[DW96]
FIGURE
obstruction
Forbidden substructure. [DW96]
octagon
A polygon with eight sides. [HC00]
octahedral graph
A polyhedral graph on eight nodes. Also used to refer to the 6-vertex polyhedral graph having
the connectivity of the octahedron. It has 6 nodes, 12 edges, vertex connectivity 4, edge
connectivity 4, graph diameter 2, graph radius 2, and girth 3. [EW00]
FIGURE
octtree
A tree to index three dimensions. Each node has either eight children or no children. [PEB00]
odd antihole
Complement of an odd hole. [DW96]
odd component
Component with an odd number of vertices. [DW96]
odd cycle
Cycle with an odd number of edges (vertices). [DW96]
FIGURE
odd girth
The length of a shortest odd polygon. [TZ98]
odd graph
An odd graph On is a graph having vertices given by the (n-1)-subsets of {1, … , 2n-1} such
that two vertices are connected by an edge iff the associated subsets are disjoint. O2 is
isomorphic to the complete graph K3 and O3 is the Petersen graph. [EW00]
odd hole
Chordless odd cycle. [DW96]
FIGURE
odd vertex
A vertex with odd degree. [CL96]
FIGURE
odd walk
Walk of odd length. [DW96]
FIGURE
online algorithm
An online algorithm is one that obtains a solution for an online problem. Typically, this is a
heuristic that obtains a "good" solution because there is not enough time to guarantee
optimality. [HG99]
open chain
A chain with distinct endpoints. [BC79]
FIGURE
open path
A path whose endpoints are distinct. [BC79]
open walk
Walk in which the end-vertices differ. [DW96]
opposite graph
A graph formed from a given digraph by exchanging the orientations of all arcs.
FIGURE
optimal tour
A solution to the traveling salesman problem or Chinese postman problem. [DW96]
FIGURE
optimization problems
A category of discrete mathematics which focuses on finding a best solution for a particular
problem. [DMP00]
order
The number n of vertices of G . [BW97]
The cardinality of the vertex set of a graph. [CL96]
A measurement of size or degree. [HC00]
ordered multigraph
A multigraph with an order relation (usually linear) on the edges. [DW96]
ordered pair
Two elements x and y from a given set, where x is designated to be the first and y the second
member of the pair; equivalently, an n-tuple with n = 2. Denoted (x ,y) . In general, (x,y) ≠
(y,x) .[HC00]
ordered tree
A tree where the children of every node are ordered, that is, there is a first child, second child,
third child, etc. . [PEB00]
A rooted tree in which the order of the subtrees is significant. [EW00]
ordering
A reflexive, antisymmetric, transitive binary relation on a set X ; usually denoted ≤ . [HC00]
order-preserving property
Requirement that X ⊆ Y implies σ (X) ⊆ σ (Y) for a function on the subsets of a set. [DW96]
order-requirement network
An order-requirement network is a weighted digraph, or network, that has these characteristics:
It contains two special vertices, the starting vertex and the terminating vertex. They are
usually designated by S and T . These vertices are sometimes also called the source and the
sink.
No edges end at the source; no edges begin at the sink. In other words, the indegree of the
source and the outdegree of the sink are 0.
[ISEM00]
ordinary edge
A link or loop. [TZ98]
FIGURE
ordinary graph
Graph whose edges are links and loops only: no half or loose edges. Parallel edges are allowed.
[TZ98]
FIGURE
Ore graph
A graph G in which the sums of the degrees of nonadjacent vertices is greater than the number
of nodes n for all subsets of nonadjacent vertices. [EW00]
FIGURE
Ore's theorem
If a graph G has n ≥ 3 vertices such that every pair of the n vertices which are not joined by an
edge has a sum of valences which is ≥ n , then G is Hamiltonian. [EW00]
orientable surface
A surface with two distinct sides. [DW96]
orientation
An assignment of a direction to each edge of a graph. A graph which has been given an
orientation is called an oriented graph, and is a digraph. [WC00]
FIGURE
orientation of a circuit
An alternating sequence of vertices and edges of a circuit subgraph without repetitions except
for the first vertex being also the last. [HN97]
oriented cycle
A path in a graph from the certain vertex to the same vertex.
FIGURE
orthogonal drawing
A graph drawing in which each edge is represented by a polyline, each segment of which is
parallel to a coordinate axis. [PEB00]
Otter's theorem
In any tree, the number of dissimilar points minus the number of dissimilar lines plus the
number of symmetry lines equals 1. [EW00]
out-branching
A rooted spanning tree in a directed graph, such that there is a path from the root to each
vertex. [PEB00]
outdegree = exterior semidegree = outgoing degree
Outdegree of a vertex v is the number of arcs in D of the form vw . [BW97]
In a directed graph, we say that a vertex has outdegree x if there are (exactly) x edges leaving
that vertex. [ODC00]
The number of edges that are connected to vertex v and whose orientations are away from
vertex v . [WM72]
outerplane graph
A particular embedding of an outerplanar graph. [DW96]
out-of-kilter algorithm
Applies to network flows, where the balance equations hold every iteration, but bounds and
duality (optimality) conditions could be violated. The dual prices, often called potentials in this
context, are modified along with flows so as to move closer to both primal and dual feasibility.
[HG99]
overlap graph
A graph whose vertices may be put into one-to-one correspondence with a collection of
intervals on a line such that two vertices are adjacent in G if and only if their corresponding
intervals overlap (not just intersect). [MG80]
packing number
The maximum number of something findable in a graph without violation some condition P .
[DW96]
page
One of the outerplanar subgraphs in a book embedding. [DW96]
A closed half-plane. [DA00]
panconnected graph
A connected graph G of order n is called panconnected if for every pair u , v of distinct vertices
of G , there exists a u-v path of length l for each l satisfying d(u, v) ≤ l ≤ n . [CL96]
pancyclic graph
A simple graph on n vertices is pancyclic if it contains cycles of all lengths 3, 4,..., n . [SL99]
A connected graph G of order n ≥ 3 is called pancyclic if G contains a cycle of length l for each
l satisfying 3 ≤ l ≤ n .[CL96]
FIGURE
parallel arcs
Arcs having the same endpoints. [CGM79]
parallel edges
Edges with the same endpoints. [HN97]
FIGURE
parallel elements
Non-loops in a matroid that form a set of rank 1. [DW96]
parent
An item of a tree which refers to one or more child items which are conceptually on the next
level "down" or farther from the root. [PEB00]
FIGURE
parity
Odd or even. [DW96]
parity subgraph
Subgraph H such that dH(v) ≡ dG(v) mod 2 for all
v ∈ V(G) .[DW96]
partial graph
A graph which is left after removing from the graph a subset of its arcs. [BC79]
partite set
Block of a vertex partition, often called a "part" of a k-partite graph. [DW96]
partition
A collection of pairwise disjoint subsets whose union is S . [HN97]
partition matroid
Matroid induced by a partition of the ground set in which a set is independent if and only if it has
at most one element from each block of the partition. [DW96]
partitionable graph
Graph with aw + 1 vertices such that each graph formed by deleting one vertex is colorable by w
stable sets of size a and coverable by a cliques of size w. [DW96]
path = chain
A sequence of vertices from one vertex to another using the arcs. The length of a path is the
number of arcs used, or the number of vertices used minus one. A simple path cannot visit the
same vertex twice. A closed path has the same first and last vertex.
More formally, a path is a sequence of vertices in a digraph of the form {x0 , x1 , ..., xn} such that
xi and xi+1 are adjacent for i = 0, ... , n – 1 . In a simple path all the xi are distinct. In a closed path,
x0 = xn .
Path is used by some authors to mean a simple chain in a graph. [WC00]
A chain (more commonly called a path ) in a graph is a sequence {x1 , x2 , x3 , ... , xk} of nodes
such that {[x1 , x2], [x2 , x3], ... , [xk-1 , xk]} are edges of the graph. In a non-simple graph (one with
repeated edges) it is necessary to impose the condition that no edge occur in the sequence more
than it's repetition number. In a simple graph, each edge can appear at most once. [ODC00]
path addition
A step in an ear decomposition. [DW96]
path decomposition
Expression of a graph as a union of edge-disjoint paths. [DW96]
FIGURE
path graph
The intersection graph of a family of paths in a tree. [MG80]
A tree with two nodes of valency 1, and the other nodes of valency 2. [EW00]
FIGURE
P-coloring
A vertex partition into subsets inducing graphs with property P . [DW96]
p-critical graph
An imperfect graph whose proper induced subgraphs are all perfect. [DW96]
pendant edge
A bridge incident with an end-vertex. [CL96]
FIGURE
pentagon
A polygon with five sides, usually convex. [HC00]
pentahedral graph
A polyhedral graph on five nodes. There are two topologically distinct pentahedral graphs,
corresponding to the skeletons of the square pyramid and triangular dipyramid. [EW00]
FIGURE
perceptron
This term is sometimes used to refer to a single McCulloch-Pitts neuron, but may also refer to a
network of neurons in which the output(s) of some neurons are connected through weighted
connections to the input(s) of other neurons. [CERN97]
percolation network
A (usually infinite) network whose edges have been randomly assigned values of 1 or 0 (called
conducting or insulating links, respectively). The percolation problem for a given network is to
determine the number or concentration of conducting links required for the network to become
conducting. [HC00]
percolation theory
Percolation theory deals with fluid flow (or any other similar process) in random media. If the
medium is a set of regular lattice points, then there are two types of percolation. A site
percolation considers the lattice vertices as the relevant entities; a bond percolation considers the
lattice edges as the relevant entities. [EW00]
percolation threshold
The critical fraction of lattice points which must be filled to create a continuous path of nearest
neighbors from one side to another. [EW00]
perfect 1-factorization
A 1-factorization is perfect if the union of any two 1-factors (color classes) is a Hamilitonian
cycle. [DA00]
perfect graph
A graph G is called perfect if the chromatic number χ (H) and the clique number ω (H) are
equal,
χ (H) = ω (H) , for each induced subgraph H of G . [CL96]
A simple graph G such that, for every vertex-induced subgraph H of G, if m is the largest integer
for which there is a subgraph of H isomorphic to the complete graph Km , then m is at most the
chromatic number of H . [HC00]
A graph G such that for every induced subgraph of G, the size of the largest clique equals the
chromatic number. [EW00]
FIGURE
periphery
A subgraph of G induced by its peripheral vertices. [CL96]
Petersen graph
The complement of the line graph of K5 . [BW97]
A graph on ten vertices; all nodes have degree three. [ODC00]
FIGURE
Petersen's theorem
Every cubic graph with no cut edges has a perfect matching. [HC00]
Petri net
A graphical representation of concurrent systems in terms of tokens, places and transition bars.
[CERN97]
Abstract model used to represent parallel systems and processes. Typically described using
directed graphs (i.e. graphs whose edges are depicted by arrows showing a direction of
information flow). More precisely, a petri net is a seven-tuple
(P, T, V, f, g, N, m), where
P is a nonempty finite set of nodes,
T is a nonempty finite set of transitions,
V is a valuation space {0, 1},
f is a binary function used in determining the connections from nodes to transitions
(i.e. f : P × T – V , and if f ( p, t ) = 1 then node P connects to transition T , otherwise not),
g is a binary function used in determining the transitions to connect to nodes (i.e. g : T × P –
V and a connection is made from t to p if and only if g ( t, p ) = 1),
N is a set of markings {0,1,2,...}, and
m is the initial marking function, m: P – N .[CNA96]
FIGURE
pit
A balanced polygon with no balanced chord. [TZ98]
planar graph
A graph that can be drawn on a plane so that its edges intersect only at their end vertices; i.e., a
graph that can be embedded on a plane. [HC00]
A graph which has a representation in the plane as a plane graph. [SE79]
FIGURE
planarization
The process of transforming a graph into a planar graph. More formally, the transformation
involves either removing edges (planarization by edge removal), or replacing pairs of
nonincident edges by 4-stars (planarization by adding crossing vertices). In both cases, the aim of
planarization is minimize the number of edge removals or replacements. [PEB00]
plane
A surface S with the property that the straight line joining any two points of S is also contained in
S . [HC00]
plane graph
A drawing of a graph in the plane in such a way that each vertex is represented by a point and
each edge is represented by a continuous line connecting the two points which represent its end
vertices and no two lines, which represent edges, share any points except in their ends. [SE79]
A planar graph that has been drawn on the plane. [HC00]
FIGURE
plane tree
A tree embedded in the plane. [BW97]
FIGURE
planted tree
A rooted tree in which the root has degree 1. [BW97]
FIGURE
Plateau's problem
The problem in calculus of variations to find the minimal surface of a boundary with specified
constraints (usually having no singularities on the surface). In general, there may be one,
multiple, or no minimal surfaces spanning a given closed curve in space. The problem is named
for the Belgian physicist who solved some special cases experimentally using soap films and
wire frames. [EW00]
Platonic graph
The graphs corresponding to the vertices and edges of the five regular solids – the tetrahedron,
cube, octahedron, dodecahedron and icosahedron. [BW97]
FIGURE
Platonic solids
The five three-dimensional regular polytopes: the regular tetrahedron, cube, octahedron,
dodecahedron, and icosahedron. [ODC00]
point lattice
A regularly spaced array of points falling along regularly spaced line. The grid lines can be
oriented to form unit cells in the shape of a square, rectangle, hexagon, etc. However, unless
otherwise specified, point lattices are generally taken to refer to points in a square array, i.e.,
points with coordinates (m, n, …) , where m, n, ... are integers. Such an array is often called a
grid or a mesh. Point lattices are frequently simply called "lattices". [EW00]
point on periphery
A vertex with maximum separation. [CGM79]
poise gains
Gains in Z whose value on a directed edge is 1 in the edge's direction (thus, -1 in the opposite
direction) and on an undirected edge is 0. [TZ98]
polar graph
Graph with a polarity. [TZ98]
polarity
An assignment to each vertex of two poles, each edge end belonging (or "being incident") to one
pole. [TZ98]
polygon
A closed plane figure having straight sides. A regular polygon has equal sides and equal angles.
[PR98]
poly-killer graph
Minimal subgraph with the property that it cannot occur in any graph with a polyhedral
embedding. [DA00]
polymatroid
Let N be a finite set and let f be a submodular function on the subsets of N with f(Ø) = 0 . The
polymatroid associated with (N, f) is the polytope:
{x in R n: Sum j{xj: j∈ S} ≤ f(S) for all S∈ N} .
[HG99]
polynema
A polynema of order n is Kyrmse's term for a connected graph having n edges. An n-polynema
must therefore have either n or n + 1 nodes. [EW00]
FIGURE
polynomial
Any function which is the sum of constants times powers of the argument: f (x) = Σ ci xpi .
In complexity theory, the measure of computation, m(n) (usually execution time or memory
space), is bounded by a polynomial function of the problem size, n . [PEB00]
polynomial time
When the execution time of a computation, m(n) , is no more than a polynomial function of the
problem size, n . More formally m(n) = O(nk) where k is a constant. [PEB00]
polynomial-bounded algorithm
An algorithm running time of which is bounded by a function of order sk , where s is the problem
size and k is a constant. [BC79]
positive degree
The number of positive incidents at the vertex. [CGM79]
positive incidence
If the orientation of an arc is from vertex v1 to vertex v2, then the arc is said to be positively
incident at v1. [CGM79]
potential vector
A vector λ that assigns a value to each node of G from which a voltage vector v can be derived:
power set
The set of all sets. [BC79]
power variables
The variables in a bond graph that are forced to be identical when two multiports are connected.
The product of the two power variables (effort and flow) considered as functions of time is the
instantaneous power flowing between the two multiports. [KMR90]
P-problem
A problem is assigned to the P (polynomial time) class if the number of steps is bounded by a
polynomial. [EW00]
predecessor
A vertex x in a directed graph is called a predeccessor of another vertex y if there is an edge
directed from x to y . [RND77]
FIGURE
primal graph
The dual of the dual graph. [CGM79]
prime-distance graph
A distance graph with distance set given by the set of prime numbers. [EW00]
primitive graph
A graph is said to be primitive if there exists an integer m such that there is a chain of length m
from each vertex vi to every other vertex vj . [CGM79]
FIGURE
Prim's algorithm
An algorithm for computing a minimum spanning tree. It builds upon a single partial minimum
spanning tree, at each step adding an edge connecting the vertex nearest to but not already in the
current partial minimum spanning tree. [PEB00]
problem
A question to be answered, a requirement to be fulfilled, or a best possible situation or structure
to be found. [MG80]
problem size
A measure of the amount of input data. [BC79]
procedure
A specific prescription for carrying out a task or solving a problem. Also called an algorithm,
method, or technique. [EW00]
projective plane
A projective plane is derived from an affine plane by the addition of points "at infinity".
[ODC00]
FIGURE
proper ancestor
If there is a nonempty path (i.e., x ≠ y) from vertex x to vertex y in a directed spanning tree, we
say that x is an proper ancestor of y . [RND77]
proper coloring
A vertex coloring or edge coloring of a graph in which no two adjacent vertices or edges have
the same color. [PEB00]
FIGURE
proper cover
A cover of a set X which does not contain the entire set X itself as a subset. [EW00]
proper cutset
A minimal cutset. [CGM79]
FIGURE
proper descendant
If there is a nonempty path (i.e., x ≠ y) from vertex x to vertex y in a directed spanning tree, we
say that y is an proper descendant of x. [RND77]
proper subgraph
A subgraph of G not identical to it. [HN97]
proper subset
Any subset of A which is not equal to A . [BC79]
P-set cycle
A subgraph which is either a directed circuit or a VDU of directed circuits and which contains all
vertices in a given oriented graph. [WM72]
pseudocut
A set of edges equal to U = S ⊕ (e') where S is either a cutset containing edge e' or the empty set.
[WM72]
pseudodigraph
A digraph with parallel arcs and loops. [CL96]
pseudograph
Informally, a pseudograph is a graph with multiple edges (or loops) between the same vertices
(or the same vertex). Formally: a pseudograph is a set V of vertices along, a set E of edges, and a
function f from E to {{u, v} | u, v in V} . (The function f shows which vertices are connected by
which edge.) An edge is a loop if f(e) = {u} for some vertex u in V. [CC99]
A non-simple graph in which both loops and multiple edges are permitted. [EW00]
Generalization of a multigraph, in which besides the multiple edges also loops (edges (a, a)) are
permitted.
FIGURE
pseudosymmetrical graph
A graph is pseudosymmetrical if the number of arcs directed away from any vertex is the same
as the number of arcs directed toward it. [CGM79]
P-tree
A spatial access method that defines hyperplanes, in addition to the orthogonal dimensions,
which node boundaries may parallel. Space is split by hierarchically nested polytopes
(multidimensional boxes with nonrectangular sides). The R-tree is a special case which has no
additional hyperplanes.
A spatial access method which splits space by hierarchically nested polytopes. The R-tree is
a special case in which all polytopes are boxes.
[PEB00]
quadtree
A tree having four branches at each node. Quadtrees are used in the construction of some
multidimensional databases (e.g., cartography, computer graphics, and image processing).
[EW00]
A tree where each node is split along all d dimensions, leading to 2d children. [PEB00]
quartic graph
A 4-regular graph. The unique quartic graph on five nodes is the complete graph K5 . [EW00]
FIGURE
quintic graph
A 5-regular graph. The only quintic graph on n ≤ 7 nodes is the complete graph K6 . [EW00]
FIGURE
R-tree
A spatial access method which splits space with hierarchically nested, and possibly
overlapping, boxes. The tree is height-balanced. [PEB00]
R+-tree
A spatial access method which splits space with hierarchically nested boxes. Objects are
indexed in each box which intersects them. The tree is height-balanced. [PEB00]
R*-tree
A spatial access method which splits space in hierarchically nested, possibly overlapping,
boxes. The tree is height-balanced. It is similar to the R-tree, but reinserts entries upon
overflow, rather than splitting. [PEB00]
Ramsey number
For positive integers s and t , the Ramsey number r(s, t) is the least positive integer n such
that G contains either s mutually adjacent vertices or an independent set of t vertices.
[CL96]
The minimum number of vertices v = R (m, n) such that all undirected simple graphs of
order v contain a clique of order m and an independent set of order n . The Ramsey number
gives the solution to the party problem, which asks the minimum number of guests that
must be invited so that at least m will know each other or at least n will not know each
other. [EW00]
The Ramsey number r(k1 , ... , km) is the minimum integer n such that every m-edge-
colouring of Kn contains a complete subgraph on kivertices, with all edges of colour i , for
some i . [SL99]
Ramsey theory
The mathematical study of combinatorial objects in which a certain degree of order must
occur as the scale of the object becomes large. Ramsey theory is named after Frank
Plumpton Ramsey, who did seminal work in this area before his untimely death at age 26 in
1930. [EW00]
random graph
A graph that has vertices v1, v2, … , vn and possible edges occur independently, each with
probability p . [BW97]
The probability space whose elements are different labelled graphs with vertex set {v1 , v2 ,
…. , vn} . [CL96]
A random graph is a graph in which properties such as the number of nodes, edges, and
connections between them are determined in some random way. [EW00]
FIGURE
rank of a graph
The rank of a graph R = nv − ρ , where nv is the number of vertices and ρ is the number of
maximal connected subgraphs in the graph. [WM72]
rank of a matroid
The rank function of a matroidM = (S, I) is a function r from the set of subsets of S to the
set of integers, defined by r(A) = max{|X|: X ⊆A and X∈I} , for every subset A of S . The
rank of the matroid M , denoted r(M) , is the rank of S . [SL99]
rank polynomial
For a graph G, possibly containing loops and multiple edges, we define the rank
polynomial R(G; x, y) by the following properties:
R(G; x, y) = (1 + y) R(G - e; x, y) if e is a loop,
R(G; x, y) = (1 + x) R(G.e; x ,y) if e is a cut edge,
R(G; x, y) = R(G - e; x, y) + R(G.e; x, y) otherwise; and
R(G; x, y) = 1 if G has no edges. [SL99]
r-branching
Branching rooted at r . [DW96]
reachable
A vertex v is reachable from another vertex u if there is a path of any length from u to v .
[PEB00]
FIGURE
recursion
A recursive process is one in which objects are defined in terms of other objects of the
same type. Using some sort of recurrence relation, the entire class of objects can then be
built up from a few initial values and a small number of rules. [EW00]
recursive algorithm
A recursive algorithm is one that calls or makes use of itself. An important part of a
recursive algorithm is a termination condition that, once it is met, will cause the algorithm
to cease calling itself and stop. [ISEM00]
reduced graph
If an edge e is removed from a given graph G , the resulting graph, denoted G ' (e) is
referred to as a reduced graph. [WC00]
reentrant circuit
A graph cycle which terminates at the starting point. [EW00]
reference vertex
The vertex corresponding to the row in an exhaustive incidence matrix which has been
deleted. [WM72]
region = face
regular graph
A graph in which all vertices have the same degree. [CGM79]
A graph is said to be regular of degree r if all local degrees are the same number r . A 0-
regular graph is an empty graph, a 1-regular graph consists of disconnected edges, and a 2-
regular graph consists of disconnected cycles. The first interesting case is therefore 3-
regular graphs, which are called cubic graphs . Similarly, 4- and 5-regular graphs are called
quartic and quintic graphs, respectively. [EW00]
FIGURE
regular map
A map on a surface is regular if the order of the automorphism group of the map is 2 | E(G)
| for oriented surfaces and 4 | E(G) | for nonorientable surfaces. Regular maps have the
largest possible automorphism groups over all embeddings of a graph (in the orientable
case the embedding must preserve an orientation of the surface). [DA00]
restriction
The restriction to an edge set S is the spanning subgraph whose edge set is the specified set.
[TZ98]
return arc
An arc of infinite capacity which joins the source and sink of the network. [BC79]
Riddell's formula
Riddell's formula for unlabeled graphs is the Euler transform relating the number of
unlabeled connected graphs on n nodes satisfying some property with the corresponding
total number (not necessarily connected) of graphs on n nodes.
Riddell's formula for labeled graphs is the exponential transform relating the number of
labeled connected graphs on n nodes satisfying some property with the corresponding total
number (not necessarily connected) of labeled graphs on n nodes. [EW00]
right-threaded tree
A variant of a threaded tree in which only the right thread, i.e. link to the predecessor, of
each node is maintained. [PEB00]
rigid graph
A framework (or graph) is rigid iff continuous motion of the points of the configuration
maintaining the bar constraints comes from a family of motions of all Euclidean space
which are distance-preserving. [EW00]
ring product
The ring product
A ⊗ B = min {α p⊕ β q ; α p ∈A , β q ∈B} , where A and B are collections of sets. [WM72]
r(n)-approximate algorithm
Let A be an NPO problem and let T be an algorithm that, for any instance x of A , returns a
feasible solution T(x) of x . Given an arbitrary function r : N → (1, ) , we say that T is an
r(n)-approximate algorithm for A if, for any instance x , the performance ratio of the
feasible solution T(x) with respect to x verifies the following inequality: R(x, T(x)) ≤ r ( | x
| ) . If an NPO problem admits an r(n)-approximate polynomial-time algorithm we say that
it is approximable within r(n) . [CK00]
Robertson graph
The unique (4, 5)-cage graph, which has 19 vertices. [EW00]
FIGURE
Robertson-Seymour theorem
A generalization of the Kuratowski reduction theorem by Robertson and Seymour, which
states that the collection of finite graphs is well-quasi-ordered by minor embeddability,
from which it follows that Kuratowski's "forbidden minor'' embedding obstruction
generalizes to higher genus surfaces. [EW00]
root of a digraph
A digraph G(E, V) is said to have a root r if r∈V and every vertex v ∈V is reachable from
r . [SE79]
FIGURE
root vertex
A vertex v in a directed graph G such that there are directed paths from v to all the
remaining vertices of G . If G is a tree, there is at most one root vertex; if there is a root
vertex in a tree G , it has indegree zero and every other vertex of G has indegree one.
[HC00]
FIGURE
rooted forest
A graph in which each component is a rooted tree. [BW97]
FIGURE
rooted graph
A graph with one vertex distinguished from the rest. The distinguished vertex is called a
root. [BW97]
FIGURE
rotation
The collection of local rotations is called a rotation. Rotations are well known to
correspond 1-1 with embeddings of Kn in an oriented surface. [DA00]
route
An n-route is defined as a walk of length n with specified initial point in which no line
succeeds itself. [EW00]
A finite sequence of edges of a graph
(a0, a1), (a1, a2), … , (an-1, an) connecting the vertices a0 and an and passing the vertices a1 ,
a2 , … , an-1 .
routing problem
Finding a path or cycle in a network. An easy routing problem is the shortest path; a hard
one is the TSP. One prevalent class, with many variations, is vehicle routing. [HG99]
r-regular digraph
A digraph D is called r-regular or regular of degree r if outdegree v = indegree v = r .
[CL96]
r-regular graph
A graph where degree v = r for all vertices
(outdegree v = indegree v = r in case of a digraph).
r-staset
Stable set of size r. [DW96]
s, t-numbering
A numbering of the vertices of a graph such that from each vertex there is a path to s through
successfully lower-indexed vertex and a path to t through successively higher-indexed vertices.
[DW96]
sandwitch theorem
The Lovasz number γ (G) of a graph G satisfies
ω (G) ≤ γ (G) ≤ χ (G) , where ω (G) is the clique number and χ is the minimum number
of colors needed to color the vertices of G . [EW00]
satisfaction = balance
satisfied = balanced
saturated arc
An arc in the flow network in which the flow is equal to the capacity. [BC79]
saturated edge
An edge in a flow network which has the maximum possible flow. [PEB00]
saturated vertex
A vertex in a graph which is on an edge of a matching is said to be saturated. Given a matching
M , if X is a set of vertices saturated by M , then M is said to be an X-saturating matching.
[WC00]
scapegoat tree
A binary search tree which needs no balance information. Search time is logarithmic, and the
amortized cost of update is logarithmic. [PEB00]
Schlegel graph
A graph corresponding to polyhedra skeletons. [EW00]
FIGURE
S-component
Subgraph of G induced by S ∪ Vi , where Vi is the vertex set of a component of G – S . [DW96]
score sequence
The score sequence of a tournament is a monotonic nondecreasing sequence of the outdegrees
of the vertices. [EW00]
search tree
The tree formed by a branch and bound algorithm strategy. It is a tree because at each
(forward) branching step the problem is partitioned into a disjunction. A common one is to
dichotomize the value of some variable, x ≤ v or x ≥ v + 1. This creates two nodes from the
parent: left child and right child. [HG99]
Seidel matrix
A n × n matrix S = Jn – 2A – In , where Jn is n× n all-1 matrix, A is the adjacency matrix, and
In is n × n unity matrix. [BW97]
self-complementary graph
A graph which is isomorphic to its graph complement. [EW00]
FIGURE
self-loop = loop
semicycle
The semiwalk is called a semicycle if u0 = uk , where k ≥ 3 , and the vertices u0 , u1 , … , uk are
distinct. [CL96]
semimodular function
Submodular or supermodular function. [HN97]
semipath
The u-v semiwalk is a u-v semipath if the vertices
u0 , u1 , … , ukare distinct. [CL96]
semiwalk
A u-v semiwalk in a digraph D is a finite, alternating sequence u = u0 , a1 , u1 , a2 , … , uk-1 , ak ,
uk = v of vertices and arcs, beginning with u and ending with v, such that either ai = (ui-1 , ui) or
ai = (ui , ui-1) for i = 1, 2, … , k . [CL96]
separable graph
A graph that is not connected or has at least one cut vertex; equivalently, a graph of
connectivity at most 1. [HC00]
A connected graph is said to be separable if there exists a vertex p and a way to cut the vertex
into two such that the graph becomes separated without producing isolated vertices. [WM72]
A graph that contains an articulation point. [RND77]
FIGURE
separating edge
An edge of a graph is separating if a path from a point A to a point B must pass over it.
Separating edges can therefore be viewed as either bridges or dead ends. [EW00]
An edge which deletion causes the increase of the number of components of a graph.
FIGURE
separator
The union of elementary separators. [HN97]
sequential graph
A connected graph having n edges is said to be sequential if it is possible to label the nodes i
with distinct integers fi in {0, 1, 2, … , n – 1} such that when edge (i, j) is labeled fi + fj , the set
of edge labels is a block of n consecutive integers. [EW00]
series edges
Let endpoints of edge e1 be u1 and u2 and endpoints of edge e2 be v1 and v2 where u1 ≠ u2 and v1
≠ v2 .Then e1 and e2 are said to be in series if u2 = v1 and no other edges have u2 as their
endpoints. [WM72]
set = collection
A group specified by the elements (or members) that belong to it. [HN97]
FIGURE
shift graph
Graph on the 2-subsets of [n] having {i, j} adjacent to {j, k} when i < j < k . [DW96]
shortest path
In a graph or network, this is a path from one node to another whose total cost is the least
among all such paths. The "cost" is usually the sum of the arc costs, but it could be another
function (e.g., the product for a reliability problem, or max for a fuzzy measure of risk). There
are some particular labeling algorithms given. [HG99]
shorting an edge
Deleting edge e and coinciding two vertices, which are the endpoints of edge e, to make one
vertex. [WM72]
sibling
Two nodes connected to the same node which are same distance from the root in a rooted tree
are called siblings. [EW00]
sieve
A combinatorial programming technique that takes a finite set and eliminates all the members
of that set that are not of interest. [RND77]
signature = signing
signing = signature
A sign labelling of the edges (except half and loose edges). [TZ98]
FIGURE
simple chain
An edge sequence in which the vertices are distinct. [CGM79]
A path in a graph in which all edges are distinct.
FIGURE
simple graph
A graph with multiple edges and loops excluded. [BW97]
A (usually finite) set of vertices V and set E of unordered pairs of distinct elements of V called
edges. [CC99]
A graph for which at most one edge connects any two nodes. Unless stated otherwise, the
unqualified term "graph" usually refers to a simple graph. A non-simple graph with no loops
but which can contain more than one edge between any two points is called a multigraph.
[EW00]
FIGURE
simple path
A path which repeats no vertex. [PEB00]
A path which does not traverse any arc more than once. [BC79]
A sequence of adjacent edges
(v1, v2), (v2, v3), … , (vk-2, vk-1), (v k-1 , v k), in which all the vertices v1 , v2 , … , vk are distinct
except possibly v1 = vk . [RND77]
FIGURE
simplicial vertex
A vertex x of G whose adjacency set induces a complete subgraph of G . [MG80]
sink
A vertex, or node, in a directed graph which has no outgoing edges, more formally, one with
out-degree 0. [PEB00]
In a directed graph, a vertex with outdegree 0.
In a flow graph, a vertex that may have a net flow into the vertex. In this case, the
outdegree of the vertex may exceed 0.
[HC00]
FIGURE
site percolation
A percolation which considers the lattice vertices as the relevant entities. [EW00]
six-color theorem
To color any map on the sphere or the plane requires at most six colors. This number can easily
be reduced to five, and the four-color theorem demonstrates that the necessary number is, in
fact, four. [EW00]
size
The number of edges, sometimes used for the number of vertices. [DW96]
skew partition
A partition X, Y of V(G) such that G[X] and G[Y] are disconnected. [DW96]
skew symmetry
The property that the flow is the same amount, but reversed direction, starting from either
vertex of every edge of a flow network. More formally, for an edge e = (v,w) , f (v,w) = - f (w,v)
, where f (a,b) is the flow from a to b . [PEB00]
snake
A simple circuit in the d-hypercube which has no chords (i.e., for which all snake edges are
edges of the hypercube). [EW00]
snark
A cubic graph of class two whose girth is at least 5. [CL96]
solution
An answer, a best possible situation or structure to found for a problem. [MG80]
solvable problem
A computational problem that can be solved by a Turing machine. The problem may have a
nonbinary output. [PEB00]
son = offspring
source
A vertex, or node, in a directed graph which has no incoming edges, more formally, one with
in-degree 0. [PEB00]
In a directed graph, a vertex with indegree 0.
In a flow graph, a vertex which may have a net flow out of the vertex. In this case, the
indegree of the vertex may exceed 0.
In a network, any of a set of vertices designated as sources.
[HC00]
FIGURE
source/sink cut
A partition of the vertices of a network into sets S, T such that S contains the source and T
contains the sink. [DW96]
| # | a | b | c-cn | co | cp-cz | d | e | f | g | h | i | j | k | l | m-mh |
mi | mj-mz |
spanning cycle
A cycle in a graph that contains all the vertices of the graph. [ISEM00]
spanning cycle
')"FIGURE
spanning forest = skeleton
spanning graph
A spanning graph for G = (V, E) is a subgraph
G' = (V', E') such that V' = V . [SW87]
spanning graph
')"FIGURE
spanning set
A set whose span (in a hereditary system on E) is E . [DW96]
spanning tree
A connected, acyclic subgraph containing all the vertices of a graph. [PEB00]
sparse graph
A graph in which the number of edges is much less than the possible number of edges, that
is, the number of vertices squared. [PEB00]
sparse graph
')"FIGURE
sparsification
Technique for designing dynamic graph algorithms, which when applicable transform a
time bound of T(n,m) onto O(T(n,n)) , where m is the number of edges and n is the number
of vertices of the given graph. [PEB00]
sparsity
The fraction of zeroes in a matrix. If A is m by n , and A(i, j) ≠ 0 for k of its elements, its
sparsity is k / mn . Large linear programs tend to be very sparse, increasing as the
dimensions get large. For example, consider the standard transportation problem with s
sources and d destinations. This has m = (s + d) constraints and n = sd variables. Each
column, however, has exactly 2 nonzeroes since A is the incidence matrix of the network,
so its sparsity is 2n / mn, or simply 2/m , which decreases as the number of sources and/or
destinations grows large. The sparsity of a simple graph (or network) is the sparsity of its
adjacency matrix. More generally, the sparsity of a multigraph refers to the average degree
of its nodes. [HG99]
sphericity
Minimum dimension in which G is the intersection graph of spheres. [DW96]
splay tree
A binary search tree in which operations that access nodes restructure the tree. [PEB00]
A self-organizing data structure which uses rotations to move any accessed key to the root.
This leaves recently accessed nodes near the top of the tree, making them very quickly
searchable. [EW00]
split graph
An undirected graph G = (V, E) which has a partition V = S + K of its vertex set V into a
stable set S and a complete set K. [MG80]
A graph whose vertices can be covered by a clique and an independent set. [DW96]
splittance
The minimum number of edges to be added to an arbitrary undirected graph or erased from
it to produce a split graph. [MG80]
splitting tree
A spanning tree T of a connected graph G is a splitting tree if at most one component of G
– E(T) has odd size. [CL96]
spread
A tree having an infinite number of branches and whose nodes are sequences generated by
a set of rules. [EW00]
square graph
The cycle graph C4 . [EW00]
square graph
')"FIGURE
square of a graph
The second power. [DW96]
s-t cut
A partitioning of the vertices of a flow network into S and T such that the source is in S and
the sink is in T . [PEB00]
stack tree
A binary tree where no node, except the root, has more than one non-leaf child. Note: This
topology is used to define simple, fault-tolerant, acyclic networks. [PEB00]
The n-star graph is a tree on n +1 nodes with one node having valency n and the others
having valency 1. [EW00]
star
')"FIGURE
star-cutset
Vertex cut inducing a subgraph containing a dominating vertex. [DW96]
star-cutset lemma
No p-critical graph has a star-cutset. [DW96]
start vertex
The first endpoint of a directed edge. [SE79]
state transition diagram = STD
A diagram consisting of circles to represent states and directed line segments to represent
transitions between the states. One or more actions may be associated with each transition.
The diagram represents a Finite State Machine. [CERN97]
state transition diagram
')"FIGURE
static graph
The gain graph of a periodic graph. [TZ98]
static network
A network with static device characteristic. [HN97]
Steiner point A point that is not part of the input set of points, for instance, a point
computed to construct a Steiner tree. A point with a particular geometric relation to a
triangle.
[PEB00]
Steiner problem
Find a subgraph of a graph, say G' = [V',E'] , such that V' contains V* (a specified subset of
nodes), and Sum{c(e): e∈E'} is minimized. It is generally assumed c≥ 0 . When |V*| = 2 ,
this is the shortest path problem. When |V*| = |V|, this is the (minimum) spanning tree
problem. [HG99]
Steiner ratio
For a given variant of the Steiner tree problem, the maximum possible ratio of the length of
a minimum spanning tree of a set of terminals to the length of an optimal Steiner tree of the
same set of terminals. [PEB00]
Steiner tree
The Steiner tree of some subset of the vertices of a graph G is a minimum-weight
connected subgraph of G that includes all the vertices. It is always a tree. Steiner trees have
practical applications, for example, in the determination of the shortest total length of wires
needed to join some number of points. [EW00]
A minimum-weight tree connecting a designated set of vertices, called terminals, in a
weighted graph or points in a space. The tree may include non-terminals, which are called
Steiner vertices or Steiner points. [PEB00]
Steiner tree
')"FIGURE
A Steiner triple system (STS) is a collection of points and triples of these points such that
every pair occurs in exactly one triple. [DA00]
Steinitz's theorem
A graph G is the edge graph of a polyhedron iff G is a simple planar graph which is 3-
connected. [EW00]
3-connected planar graphs have onely one embedding in the plane (more precisely, onely
one dual graph). [DW96]
Stern-Brocot tree
A special type of binary tree obtained by starting with the fractions 0/1 and 1/0 and
iteratively inserting (m + m') / (n + n') between each two adjacent fractions m / m' and n /
n' . [EW00]
Stern-Brocot tree
')"FIGURE
stochastic algorithm
A stochastic algorithm is one whose algorithm map is a random variable. Unlike the
meaning in computer science, most people in mathematical programming mean an
algorithm whereby an iterate is selected by some random mechanism. One example is
simulated annealing. When xk is a random variable, there is a meaning to convergence that
differs from ordinary (deterministic) sequences. [HG99]
straight-line drawing
A graph drawing in which each edge is represented by a straight line segment. [PEB00]
straight-line drawing
')"FIGURE
strength
Of a theorem, the fraction of the time when the conclusion holds that the hypotheses also
holds. [DW96]
strict digraph
Digraph with at most one copy of each ordered pair, and no loops. [DW96]
strict digraph
')"FIGURE
strictly balanced
Average vertex degree is strictly greater than average vertex degree of any subgraph.
[DW96]
strong component
Maximal strongly connected subdigraph. [DW96]
strong digraph
A digraph D is strong if for every pair u, v of vertices of D, there is both a u-v path and a v-
u path. [CL96]
strong digraph
')"FIGURE
strong orientation
Orientation of G in which each vertex is reachable from every other. [DW96]
strong orientation
')"FIGURE
The conjecture that a graph is perfect iff neither the graph nor its complement contains an
odd cycle of length at least five as an induced subgraph. [EW00]
strong product
A graph product with vertex set V(G1) × V(G2) and edge set (u1 , v1) ↔ (u2 , v2) if u1 = u2 or
u1↔ u2 and v1 = v2 or v1 ↔v2 . [DW96]
structural balance
Balance of a signed graph associated to a social structure like a small social group, a
kinship or marriage system, etc. [TZ98]
subconstituent
The subgraph induced by a vertex neighborhood or by a vertex nonneighborhood. [DW96]
subcontraction = minor
subdigraph
A subgraph of a directed graph. [DW96]
subdigraph
')"FIGURE
subdivision
The operation of replacing an edge by a 2-edge path through a new vertex. [DW96]
subdivision graph
A graph obtained by a sequences of subdivisions. [DW96]
subeulerian graph
A graph G is called subeulerian if it is possible to add edges to G to obtain an Eulerian
graph. [CL96]
subgraph
A subgraph of a graph G = (V(G), E(G)) is a graph H = (V(H), E(H)) such that V(H) ⊆
V(G) and
E(H) ⊆ E(G) . [BW97]
A subset T1 ⊂ T of the vertex set T of a given graph G = G(T, S) together with maximal
subset
S1 = {(a, b) : (a, b) ∈ S and a, b ∈ T1} of the edge set S .
subgraph
')"FIGURE
Given two graphs G1 = (V1 , E1) and G2 = (V2 , E2) , does G1 contain a subgraph isomorphic
to G2 ? [GJ79]
submodular function
Let N be a finite set and let f be a function on the subsets of N into R . Then, f is submodular
if it satisfies: f(S∪T) ≤ f(S) + f(T) - f(S ∩T) for
S , T ⊆ N . [HG99]
submodularity property
The property of having a submodular rank function. [DW96]
subset
The set B is said to be subset of A , B ⊆A , if every element of B is an element of A .
[BC79]
subtraction of graphs
G1 − G2 : a subgraph of G1 obtained by deleting all edges which are also in G2 . [WM72]
subtree
A tree T ' whose vertices and edges form subsets of the vertices and edges of a given tree T
. [EW00]
subtree representation
Assigns subtrees of a host tree to each vertex of a chordal graph so that vertices are
adjacent if and only if the corresponding subtrees intersect. [DW96]
successor
For u in a digraph, a vertex v with u →v . [DW96]
suffix tree
A compact representation of a trie corresponding to the suffixes of a given string where all
nodes with one child are merged with their parents. [PEB00]
sum For cycles and cocycles, taken modulo 2. For a graph, the disjoint union. For matroids
on disjoint sets, the matroid on their union whose independent sets are all unions of an
independent set from each.
[DW96]
supbase
A set of elements containing a base. [DW96]
supereulerian
A graph G is called supereulerian if it is possible to remove edges from G to obtain an
Eulerian graph. [CL96]
supergraph
If G' is a subgraph of G , then G is said to be a supergraph of G' . [EW00]
supermodular function
Let S be a finite set. Let f : 2S →R , f is said to be a supermodular function if
f(X) + f(Y) ≤ f(X ∪ Y) + f(X ∩ Y)∀X , Y⊆S . [HN97]
superregular graph
A regular graph that is null or whose subconstituents are all superregular. [DW96]
supersink
A vertex, or node, in a directed graph which is reachable from all other vertices. [PEB00]
supersource
A vertex, or node, in a directed graph from which all other vertices are reachable. [PEB00]
supply
Source constraint in a transportation network. [DW96]
surface
A compact orientable 2-manifold. [CL96]
sweep subgraph
The curbs available for sweeping in the streetsweeper problem. [DW96]
switched bond graph
Bond graph extended with an ideal switch element. [PM99]
switching class = Seidel switching class
An equivalence class of simple graphs under Seidel switching. [TZ98]
switching equivalence
The relation between two simple graphs that one is obtained from the other by Seidel
switching. [TZ98]
symmetric difference
An operation between the sets A and B such that
A ⊕ B = {x| x∈ (A ∪ B) , x ∉ (A ∩B)} . [RND77]
symmetric digraph
A digraph is called symmetric if, whenever (u, v) is an arc of D , then (v, u) is also an arc of
D . [CL96]
Szekeres-Wilf theorem
χ (G) ≤ 1 + max H ⊆ G δ (H) . [DW96]
tabu search
This is a meta-heuristic to solve global optimization problems, notably combinatorial
optimization, based on multi-level memory management and response exploration. It requires
the concept of a neighborhood for a trial solution (perhaps partial). [HG99]
Tait coloring
A 3-coloring of graph edges so that no two edges of the same color meet at a vertex. [EW00]
For a planar cubic graph, a proper 3-edge-coloring. [DW96]
FIGURE
Tait cycle
A set of circuits going along the edges of a graph, each with an even number of edges, such
that just one of the circuits passes through each vertex. [EW00]
FIGURE
Tarry's algorithm
Procedure for exploring a maze. [DW96]
technique
A specific method of performing an operation. The terms algorithm, method, and procedure are
also used interchangeably. [EW00]
telegraph problem
Directed version of gossip problem with one-way transmissions. [DW96]
Tellegen's theorem
Any voltage vector of G is orthogonal to every current vector of G . [HN97]
terminal
The set of points in a plane or vertices in a graph defining endpoints of a Steiner tree. [PEB00]
terminal edge
A cut edge incident with a leaf. [DW96]
FIGURE
terminal endpoint
The node xj of an arc (xi , xj) . [BC79]
terminal vertices
Two vertices of odd degree in a M-graph. [WM72]
ternary matroid
Representable over the field with three elements. [DW96]
tetragon
A polygon having four sides or angles; a quadilateral or quadrangle.[HC00]
FIGURE
tetrahedral graph
The unique polyhedral graph on four nodes which is also the complete graph K4. The
tetrahedral graph has 4 nodes, 6 edges, vertex connectivity 4, edge connectivity 3, graph
diameter 1, graph radius 1, and girth 3. [EW00]
FIGURE
thrackle
A graph formed by a collection of curves in the plane, with the property that the curves
corresponding to any pair of edges meet in a single point, which is either an endpoint of both
edges or a place where the two curves cross. Every planar straight line graph thrackle has at
most as many edges as vertices; Conway's thrackle conjecture states that this is true even for
curved thrackles. [ODC00]
A thrackle is a drawing of a graph such that every pair of nonadjacent edges cross. The name is
coined by John Conway, who notes that a thrackle is also a tangle of fishing line. [DA00]
thrackle conjecture
If a graph can be thrackled, then its number of edges is not greater than its number of vertices.
[DA00]
threaded tree
A binary search tree in which each node uses an otherwise-empty left child link to refer to the
node's in-order predecessor and an empty right child link to refer to its in-order successor.
[PEB00]
threshold dimension
Minimum number of threshold graphs whose union is G . [DW96]
threshold function
A function t of n such that some property almost always or almost never occurs, depending on
whether a particular parameter belongs to o(t) or to ω (t) . [DW96]
threshold graph
Having a threshold t and a vertex weighting ω such that u / ↔ v if and only if w(u) + w(v) ≤ t
. Many other characterizations, including absence of a 2-switch and existence of a construction
ordering by adding isolated or dominating vertices. [DW96]
timetable problem
Given a set of hours in the week, a collection of n teachers, each of whom is available to teach
during some subset of the set of hours, a set of m classes, each of which can be scheduled only
during certain hours of the week, and an n × m matrix of nonnegative integers in which the ij-
th element is the number of hours the i-th teacher must teach the j-th class. Determine if it is
possible to assign meeting times and teachers to the classes so that every class meets during the
required hours, every teacher can be at his classes, there is only one teacher per class, and no
teacher has two classes simultaneously. [RND77]
to cover
A graph G covers a graph H if there exists a graph map f from G to H such that the edges
incident with a vertex v map bijectively to those incident with
u = f(v) . [DA00]
to dominate
A vertex v in a graph G is said to dominate itself and each of its neighbors. [CL96]
topological graph
A simple unlabeled graph whose connectivity is considered purely on the basis of topological
equivalence, so that two edges (v1, v2) and (v2, v3) joined by a node v2 of degree two are
considered equivalent to the single edge (v1, v3) .[EW00]
topological ordering
A labelling of the vertices with consecutive integers so that every arc is directed from a smaller
label to a larger label. [WC00]
topological sort
This sorts the nodes in a network such that each arc, say k-th, has Tail(k) < Head(k) in the
renumbered node indexes. This arises in a variety of combinatorial optimization problems,
such as those with precedence constraints. If the nodes cannot be topologically sorted, the
network does not represent a partially ordered set. This means, for example, there is an
inconsistency in the constraints, such as jobs that cannot be sequenced to satisfy the asserted
precedence relations. [HG99]
A topological sort is a permutation p of the vertices of a graph such that an edge {i , j} implies
that i appears before j in p . Only directed acyclic graphs can be topologically sorted. [EW00]
topology digraph
An unlabeled transitive digraph with n nodes. [EW00]
toroidal
For a graph, having a 2-cell embedding on the torus.
For a topological parameter, the version using the torus in place of the plane (toroidal
thickness, crossing number etc.).
[DW96]
torus
The (orientable) surface with one handle. [DW96]
total coloring
An assignment of colors to the elements (vertices and edges) of G so that adjacent elements
and incident elements of G are colored differently. [CL96]
A labeling of both the vertices and edges. [DW96]
FIGURE
total graph
The total graph T(G) of a graph G has a vertex for each edge and vertex of G, and edge in T(G)
for every edge-edge and vertex-edge adjacency in G . Total graphs are generalizations of line
graphs. [EW00]
The intersection graph of the sets in V(G) ∪E(G) for some G . [DW96]
totally unimodular
A matrix in which all square submatrices have determinant 0 or ± 1 . [DW96]
toughness
The minimum t such that | S | ≥ tc(G – S) , where S is any vertex cut and c(G – S) is the
number of components of the subgraph obtained by deleting S . [DW96]
tournament
A complete directed graph. The term "tournament" also refers to an arrangement by which
teams or players play against certain other teams or players in order to determine who is the
best. [EW00]
A directed graph in which any two vertices are joined by exactly one arc. Such graphs can be
used to record the results of games in which draws are not allowed. Each team is represented
by a vertex, and the arc joining any two given teams is directed toward the loser; the number of
wins for a particular team is the out-degree of the vertex representing the team. A tournament
cannot contain more than one source or sink. [HC00]
FIGURE
tournament matrix
A matrix for a round-robin tournament involving n players competing in n (n - 1) / 2 matches
(no ties allowed) having entries aij= 1 if player i defeats player j , aij= -1 if player i loses to
player j , and
aij = 0 if i = j . [EW00]
trace
Sum of the diagonal elements of a matrix. [DW96]
traceable graph
A graph G is traceable if it has a path that includes every vertex of G . [BW97]
Having a Hamiltonian path. [DW96]
FIGURE
tractable problem
A problem which has an algorithm which computes all instances of it in polynomial time.
[PEB00]
trail
A walk with all edges distinct. [BW97]
A trail is a walk that allows repeated vertices but not edges. [TZ98]
FIGURE
transitive closure
The transitive closure of a digraph G(E, V) is a digraph G'(E, V) such that there is an edge u
→v in G' if and only if there is a (non-empty) directed path from u to v in G . [SE79]
For a digraph D, the digraph with u →w whenever there is a path from u to w in D .
For a relation R , the relation S with xSy whenever there is a sequence x0 , …, xk with x =
x0Rx1R … Rxk = y . [DW96]
FIGURE
transitive digraph
A graph G is transitive if any three vertices (x, y, z) such that edges (x, y), (y, z) ∈G imply (x, z)
∈G . Unlabeled transitive digraphs are called topologies. [EW00]
transitive graph
A graph G is called n-transitive with n ≥ 1 if it has an n-route and if there is always a graph
automorphism of G sending each n-route onto any other n-route. [EW00]
transitive reduction
The transitive reduction of a directed graph G is the directed graph G' with the smallest number
of edges such for every path between vertices in G, G' has a path between those vertices.
Informally G' is the minimal graph with the connectivity as G . [PEB00]
transitive tournament
A tournament T is transitive if whenever (u, v) and
(v, w) are arcs of T , then (u, w) is also an arc of T . [CL96]
transitive triple
The 3-node tournament. [EW00]
FIGURE
transportation constraints
Supplies and demands. [DW96]
transportation problem
Find a flow of least cost that ships from supply sources to consumer destinations. This is a
bipartite network, N = [S*T, A] , where S is the set of sources, T is the set of destinations, and
A is the set of arcs. In the standard form, N is bi-complete (A contains all arcs from S to T), but
in practice networks tend to be sparsely linked. Let c(i, j) be the unit cost of flow from i in S to
j in T, s(i) = supply at i-th source, and d(j) = demand at j-th destination. Then, the problem is
the linear program:
Minimize Sum ij{c(i, j) x(i, j): i∈ S, j ∈T}: x≥ 0,
Sum j{x(i, j): j ∈T} ≤ s(i) for all i∈S ;
Sum i{x(i, j): i ∈S} ≥ d(j) for all j∈T .
The decision variables (x) are called flows, and the two classes of constraints are called supply
limits and demand requirements, resp. (Some authors use equality constraints, rather than than
the inequalities shown.) An extension is the capacitated transportation problem, where the
flows have bounds: x ≤ U .[HG99]
Generalization of the assignment problem with supplies at each source and demands at each
destination. [DW96]
transposition graph
A graph in which nodes correspond to permutations and edges are placed between
permutations that differ by exactly one transposition. All cycles in transposition graphs are of
even length, making them bipartite. [EW00]
FIGURE
transshipment problem
This is an extension of the transportation problem whereby the network is not bipartite.
Additional nodes serve as transshipment points, rather than provide supply or final
consumption. The network is N= [V, A] , where V is an arbitrary set of nodes, except that it
contains a non-empty subset of supply nodes (where there is external supply) and a nonempty
subset of demand nodes (where there is external demand). A is an arbitrary set of arcs, and
there could also be capacity constraints. [HG99]
Ordered set (x1, x2, … , xn) of n elements composed from the representatives of the fixed sets
H1, H2, … , Hn where xk ∈ Hk for all k .
transversal matroid
A matroid whose elements are one partite set of a bipartite sets and whose independent sets are
those that can be saturated by matchings. [DW96]
Find a path through a weighted graph which starts and ends at the same vertex, includes every
other vertex exactly once, and minimizes the total cost of edges. Less formally, find a path for
a salesman to visit every listed city at the lowest total cost. [PEB00]
A problem in graph theory requiring the most efficient (i.e., least total distance) Hamiltonian
circuit a salesman can take through each of cities. No general method of solution is known, and
the problem is NP-hard. [EW00]
Find a shortest path through every fixed vertex exactly once given the distances between the
vertices.
FIGURE
treap
A binary search tree in which nodes have another key, called the priority. Operations also keep
nodes in heap order with regard to the priority. The name comes from "tree" and "heap".
[PEB00]
tree
An acyclic connected graph. [CL96]
A connected subgraph having nv(G) vertices and
nv(G) – 1 edges. [WM72]
An undirected graph where every pair of vertices of the graph is connected by exactly one
chain. [CGM79]
A forest of a connected graph. [HN97]
A tree is a mathematical structure which can be viewed as either a graph or as a data structure.
The two views are equivalent, since a tree data structure contains not only a set of elements,
but also connections between elements, giving a tree graph. Trees were first studied by Cayley
(1857).
A tree graph is a set of straight line segments connected at their ends containing no closed
loops (cycles). In other words, it is a simple, undirected, connected, acyclic graph (or,
equivalently, a connected forest). [EW00]
A connected graph without cycles.
FIGURE
tree centroid
The set of all centroid points in a weighted tree. [EW00]
tree contraction
Contracting a tree by removing some of the nodes. [PEB00]
tree root
Any vertex selected as a start vertex of the tree.
FIGURE
tree traversal
A technique for processing the nodes of a tree in some order. [PEB00]
triangle
A cycle of length 3. [BW97]
A 3-cycle. [CL96]
FIGURE
triangle graph
The cycle graph C3 , which is also the complete graph K3. [EW00]
FIGURE
triangle inequality
The property that a complete weighted graph satisfies weight (u,v) ≤ weight (u,w) + weight
(w,v) for all vertices u, v, w. Informally, the graph has no short cuts. [PEB00]
d(x, y) + d(y, z) ≥ d( x, z) . [DW96]
triangle-free
Not having K3 as a subgraph. [DW96]
FIGURE
triangle-free graph
A graph with no cycles of length 3. [BW97]
FIGURE
triangular chord
Chord of length two along a path or cycle. [DW96]
triconnected graph
A graph in which there are exactly three paths between any pair of distinct vertices. [PEB00]
trie
A digital search tree represented in a special way. [RND77]
A tree for storing strings in which each edge is labeled by characters. Common prefixes are
represented by tree branches, and the unique suffixes are stored at the leaves. [PEB00]
tripartite graph
In a tripartite graph, the vertices are partitioned into three sets (partitions) so that no two
vertices contained in any one partition are adjacent. [ISEM00]
trivalent
Having degree 3. [DW96]
trivial graph
Graph with no edges (some authors restrict to one vertex). [DW96]
FIGURE
trivial path
A path of length 0. [TZ98]
trivial trail
A trail of length 0. [TZ98]
trivial walk
A walk of length 0. [TZ98]
Turan theorem
Characterization of the complete r-partite graphs as the largest graphs of a given order with no
(r+1)-clique. [DW96]
Tutte polynomial
For a graph G , possibly containing loops and multiple edges, we define the Tutte polynomial
T(G; x, y) by the following properties:
T(G; x, y) = y T(G - e; x, y) if e is a loop,
T(G; x, y) = x T(G.e; x, y) if e is a cut edge,
T(G; x, y) = T(G - e; x, y) + T(G.e; x, y) otherwise, T(G; x, y) = 1 if G has no edges. [SL99]
Tutte-Coxeter graph
The 8-cage. [CL96]
twig
Let a cotree of a spanning tree T in a connected graph G be denoted T*. Then the edges of G
which are not in T* are called its twigs. [EW00]
FIGURE
twins
Vertices having the same neighborhood (false twins are adjacent vertices with the same closed
neighborhoods). [DW96]
FIGURE
two-graph
A two-graph (V, ∆ ) is a graph on nodes V with a collection ∆ of unordered triples of the
vertices (the so-called "odd triples") such that each 4-tuple of V contains an even number of
elements of ∆ as subsets. [EW00]
u,v-walk
A walk from u to v . [DW96]
Ulam's conjecture
Let graph G have p vertices vi and graph H have p vertices ui , where p ≥ 3 . Then if for each i ,
the subgraphs Gi = G – vi and Hi = H – ui are isomorphic, then the graphs G and H are
isomorphic. [EW00]
ultrametric tree
An edge-weighted tree T(V, E) with n leaves such that, for any pair of leaves i and j , dijT≥ M [i, j]
where dijTdenotes the sum of the weights in the path between i and j . [CK00]
unavoidable set
A collection of configurations such that every graph in a specified class contains some
configuration in the collection. [DW96]
unbalanced = frustrated
undirected edge
Edges in graphs are undirected (as opposed to those in digraphs). [CC99]
undirected edge
')"FIGURE
undirected path
A sequence of vertices in which either (ai , ai+1) or (ai+1 , ai) is an edge. [SW87]
undirected path
')"FIGURE
unicursal circuit
A circuit in which an entire graph is traversed in one route. An example of a curve which can be
traced unicursally is the Mohammed sign.
[EW00]
unicursal circuit
')"FIGURE
unicursal graph
Connected graph in which it is possible to traverse all edges exactly once in a continuous
manner. [CGM79]
unicursal graph
')"FIGURE
unicyclic graph
A connected graph containing exactly one cycle. [EW00]
unicyclic graph
')"FIGURE
uniform matroid
A matroid on [n] in which the independent sets are those of size at most k . [DW96]
unilateral digraph
A digraph D is unilateral if for every pair u, v of vertices of D, there is either a u-v path or a v-
upath. [CL96]
unilateral digraph
')"FIGURE
unilateral surface
A nonorientable two-dimensional manifold (e.g., the Möbius strip or Klein bottle) that has only
one side. [HC00]
unilateral surface
')"FIGURE
unimodular matrix
For matrices, having determinant 0 , +1 , or –1 . [DW96]
A graph whose vertex set is the union of the vertices in G1and G2 and whose edge set is the union
of the edges in G1 and G2 (written G1 + G2 if the vertex sets are disjoint). [DW96]
union of graphs
')"FIGURE
union of matroids
The union of matroids M1, …, Mk is the hereditary system whose independent sets are
{I1 ∪ … ∪Ik: Ii∈Ii} . [DW96]
The graph with vertex set ℜ 2 in which points are adjacent if the distance between them is 1.
[DW96]
unitransitive graph
A graph G is n-unitransitive if it is connected, cubic, n-transitive, and if for any two n-routes W1
and W2 , there is exactly one automorphism α of G such that α W1 =W2 . [EW00]
unitransitive graph
')"FIGURE
unlabeled graph
A graph in which individual nodes have no distinct identifications except through their
interconnectivity. Graphs in which labels (which are most commonly numbers) are assigned to
nodes are called labeled graphs. Unless indicated otherwise by context, the unmodified term
"graph" generally refers to an unlabeled graph. [EW00]
unlabeled graph
')"FIGURE
unsolvable problem
A computational problem that cannot be solved by a Turing machine. The associated function is
called an uncomputable function. [PEB00]
valence = degree
value of a flow
The net flow out of the source or into the sink. [DW96]
Vamos matroid
A particular nonlinear matroid with eight elements. [DW96]
vertex = node
A vertex is located at the end of an edge and is usually represented pictorially by a dot. [DMP00]
An element of one of two (usually finite) sets of elements that determine a graph; i.e., an element
of the vertex set. [HC00]
An end point of the edge of a graph or an isolated point in a graph.
FIGURE
vertex arboricity
The minimum number of subsets into which V(G) can be partitioned so that each subset induces an
acyclic subgraph. [CL96]
vertex basis
A vertex basis of a digraph G = (V, E) is a minimal subset B ⊆ V with the property that there is a
path of length zero or more to every vertex in V from some vertex in B . [RND77]
vertex coloring
An vertex coloring of a graph refers to the choice and arrangement of colors for the vertices.
Formally, a vertex coloring of a graph is a one-to-one function from the set of the graphs's vertices
into the set of all colors. [ISEM00]
FIGURE
vertex critical
Deletion of any vertex changes the parameter. [DW96]
vertex degree = local degree = valency = local vertex degree = vertex order
The number of edges which touch the vertex. Directed graphs have two types of degrees, known as
the indegree and outdegree. [EW00]
FIGURE
vertex multiplication
A replacement of vertices of G by independent sets such that copies of x and y are adjacent if and
only if xy ∈ E(G) . [DW96]
vertex partition
A partition of the vertex set. [DW96]
FIGURE
vertex set
The set of elements on which the graph is defined. [DW96]
vertex switching
Seidel switching of a single vertex. [TZ98]
Vizing's theorem
χ ′ ≤ ∆ + 1 . [DW96]
voltage vector
A vector on E(G) that is linearly dependent on the rows of the incidence matrix of G. [HN97]
walk
A path in which edges may be repeated. [PEB00]
A finite, nonempty, alternating sequence of vertices and edges v0 , e1 , v1 , e2 , . . . , vk-1 , ek , vk
in a graph G such that vi -1 and vi are the end vertices of the edge ei , 1 ≤ i≤ k . v0 and vk are the
end or terminal vertices of the walk; all other vertices are internal vertices. Edges and
vertices may appear more than once. A walk is open if v0≠ vk ; otherwise it is closed.
[HC00]
FIGURE
weak product
A graph product with vertices V(G1) × V(G2) and edges (u1 , v1) ↔ (u2 , v2) if and only if
u1↔ u2and v1↔ v2 . [DW96]
web graph
A graph formed by connecting several concentric wheel graphs along spokes. [EW00]
weight
A number wij associated with the edge (i, j) of a graph G . [RND77]
FIGURE
weight matrix
A matrix W = [wij] where wij is the weight of the edge from vertex i to vertex j . The weigths
of the nonexistent edges are generally set to 0 or 1 , depending on the application. [RND77]
weighted graph
A graph which has a weight, or numeric value, associated with each edge. Some applications
require all weights to be nonnegative or to be positive. [PEB00]
FIGURE
Wiener index
The sum of the pairwise distances between vertices. [DW96]
worst-case complexity
The maximum order of the running time taken over all problems of a given size. [BC79]