Chapter 1 Flashcards
what is a binary relation given a set S?
A binary relation R on S is a subset of SxS, or the set of every ordered pair.
What quality holds for you to write S.2 = f(S.1) (not a network)
Write that if, for all S.1 in S, there exists S.2 in s s.t. (S.1, S.2) in R. AKA, every S.1 is “connected” somewhere
R is irreflexive if:
(s,s) not in R for All s in S. AKA, not reflexive
A relation is symmetric if:
(S.1,S.2) in R => (S.2,S.1) in R. Any connection that is inherently 2 way.
Formal def of graph.
A finite nonempty set V = {v.1,v.2,…,v.n} together w/ an irreflexive symmetric relationship r = {v.i,v.j}
Edge set of G: is a set of symmetric pairs
is a set of symmetric pairs, E = {ab, bc}
If e = uv in E (edge set, then: the 3 vocab to describe all this is:
e joins u,v
u,v are incident with e
u,v are adjacent
Edge adjacency:
if uv, vw in E, then these edges are adjacent.
Order, size:
Number of vertices p is the order,
Number of edges q is the size.
Digraph and arcs:
A digraph is a nonempty set v together w/ an irreflexive relation R (not necessarily symmetric). The edges of digraphs are called arcs.
A multigraph:
is a triple (V, E, T) where T: E -> Z+ where T is the function to find redundant edges.
A network is:
a graph or digraph together with a function f: E(G) -> Real. Each edge has a number on it.
Graph with all edges or no edges:
Complete or Null graphs.
A graph G is bipartite (and complete) if:
There exists a partition V = X.bar union Y.bar s.t. every edge is between vertices in X.bar and Y.bar. Complete is bipartite with all possible edges.
The deg(v) is:
the number of edges incident to a vertex v.