Karteikarten
Graph Theory Definitions Weeks 1-5
Karten in diesem Stapel (74)
- 1EdgeAn edge is an unordered pair of vertices
i.e. {v, w} € E - 2Adjacent (for vertices and edges)Two vertices v, w € V are adjacent if there is an edge between v and w.
Two edges e, f € E are adjacent if they have a common endpoint - 3Neighbours NeighbourhoodNeighbours of x are the vertices adjacent to x.
The set of adjacent vertices of x is called the neighbourhood of x, N(x). - 4A vertex is incident to an edge ifthe vertex is an endpoint of the edge
- 5The complement of GThe complete graph K (v(G)) minus G.
- 6Coprime GraphVertices are joined by an edge if the gcd of the edges is 1
- 7isomorphism of G onto Hone-to-one map @ from V(G) onto V(H) where a and b are adjacent vertices in G if a@ and b@ are adjacent vertices in H
- 8If G=< H, the complement of G in H isH-G
- 9Degree d(x)the number of edges that have x as an endpoint
- 10delta (x) DELTA (x)delta (x) is the minimum degree in the graph
DELTA (X) is the maximum degree in the graph - 11Let G be a finite simple graphA graph with:
- at most one edge between any pair of distinct vertices (no loops).
-the edge is NOT directed.
- finite vertex set
-finite edge set - 12The Hand-Shaking Lemmathe sum of d(x) = 2|E(G)|
- 13WalkLGBAFSG
a walk is a finite sequence of vertices and edges:
x0, a1, x1, a2, ..., an, xn - 14simple walkonly distinct edges
- 15length of a walknumber of edges
- 16Patha walk where all the vertices are distinct
- 17closed walkx0 = xn
i.e. the first vertex is the same as the last vertex - 18A Cycle of length nA closed walk of length n, where the vertices x0, ..., xn-1 are distinct
- 19Theorem 2.1 If there is a walk between vertices y and z, y/=z, thenthere is a path in G with first vertex y and last vertex z
- 20two vertices are connected when...there is a walk joining them
- 21two vertices are connected iff...they lie in the same component of G
- 22G is a connected graph iffall pairs of its vertices are connected
i.e. if there is a walk between any two distinct vertices - 23If vertices y,z € V are connected, their distance D(x,y) is...?the length of the shortest path joining them
- 24What are the three properties of D(x,y) ?1) D(x,y) >= 0 with D(x,y)=0 iff x=y
2) D(x,y) = D(y,x) ... symmetry
3) D(x,z) =< D(x,y) + D(y,z) ... triangle inequality - 25eccentricitythe largest value of D(x,y) where y ranges through all the vertices
- 26diameterThe maximum value of e(x) for all vertices of G
- 27radiusthe smallest value of e(x)
- 28Conjecture involving radius and diameterR(G)=< D(G) =< 2R(G)
- 29CentreThe centre of G, C(G), is the set of all vertices x that have eccentricity e(x) = R
- 30The centre is never ... ?empty. All vertices have e(x).
- 31H is a subgraph of G ifV(H) is a subgroup of V(G)
E(H) is a subgroup of E(G) - 32H is a proper subgraph ifH /= G
i.e.
H - 33induced subgraphH is the induced subgraph of G if:
H is a subgroup of vertices of G together with the edges that join the vertices of H together. - 34If H is the induced subgraph of G on V(G), thenH=G
- 35girththe length of the shortest cycle in G
- 36circumferencethe length of the longest cycle in G
- 37True or false? circumference (G) =< |V(G)|True
- 38In a cycle Cn, what does |V(Cn)| equal?|E(Cn)|
- 39Eulerian Grapha graph G that admits a closed eulerian walk
- 40Eulerian Walksimple closed walk containing every edge
- 41semi-eulerian graphA graph that has a non-closed eulerian walk
- 42Theorem 2.6 LGBAFSCG. G is eulerian iff every ?? has ?? degree G is semieulerian iff there exists exactly ?? ?? of ?? degreeG is eulerian iff every vertex has even degree
G is semieulerian iff there exists exactly two vertices of odd degree - 43Hamiltonian GraphLGBAFSCG
G is hamiltonian if G admits a cycle containing all the vertices - 44Semihamiltonian GraphG is semihamiltonian if G admits a path containing all the vertices
- 45Two examples of hamiltonian graphs(n =<3)
Cn
Kn - 46Ore's TheoremLGBAFSCG with |V(G)| >= 3
Suppose that d(x) + d(y) >= |V(G)| for all pairs x,y of non-adjacent vertices
Then G is Hamiltonian - 47Dirac's CorollaryLGBAFSCG with |V(G)| >= 3
If d(x) >= V/2 for all x,
then G is Hamiltonian - 48G is bipartitie iff G contains no ??LGBAFSG.
G is bipartite iff G contains no cycles of odd length - 49G is bipartite ifV(G) = A U B
A n B cannot be empty
A, B cannot be empty
E(G) join all vertices in A to all vertices in B - 50Examples of bipartite graphscomplete bipartite graphs K m,n
Cycles of even length - 51When is the bipartite graph Hamiltonian?m=n >= 2
- 52When is the bipartite graph never hamiltonian?if m doesn't equal n
- 53Eulerian walkcovers all edges exactly once
repeated vertices are allowed - 54hamiltonian cyclecovers all vertices exactly once,
repeated edges are allowed - 55The complement of G on V verticesThe complete graph on V vertices minus G
- 56cutpointx € V(G) is a cutpoint if G-x isn't connected
- 57bridge cutedgean edge xy € E(G) such that G-xy is not connected
- 58Lemma 3.1 an edge xy € E(G) is a bridge iffxy is not contained in any cycle in G
- 59Lemma 3.2 how many components does G-xy have if xy € E(G) is a bridge?two
- 60If the degree of all x € V(G) is even, is there a bridge in G?No
- 61If there is an xy bridge in G, what effect does this have on the degree in G?d(x) is even for all the vertices
- 62connectivityThe connectivity of G, K(G), is the minimum value of n such that the removal of some set of n vertices disconnects G or results in a single vertex.
- 63What does K(G)=0 mean?G is disconnected from the start
- 64What does K(G) = 1 mean?G has a cutpoint
- 65K(G) >= KG is k connected
- 66edge connectivity k'(G)K'(G) is the minimum value of m such that the removal of some set of m edges disconnects G
- 67K(G) =< K'(G) =< delta(G)K(G) =< K'(G) =< delta(G)
- 68general walkno loops
- 69G is nonseperable ifG is nontrivial, connected and has no cutpoints
- 70A block in Gmaximal non-seperable subgraph
- 71A proper n-colouring of V(G)%:V(G) -> {1, .., n} so that if x,y€V(G) are adjacent, %(x) /= %(y)
- 72chromatic number X(G)smallest integer n such that G has an n-colouring
- 73Colourings (general)partitions of the vertex or edge set of a graph into subsets so that no two elements of the same subset are adjacent
- 74Are the following eulerian/ semieulerian? N3 N4 N5 N6 N7N3: eulerian
N4: semieulerian
N5: semieulerian
N6: neither
N7: semieulerian
Informationen
- Beschreibung
- Degree Graph Theory 3033 Karteikarten am Graph Theory Definitions Weeks 1-5, erstellt von florencetrodd am 26/12/2014.
- Erstellt von
- florencetrodd
- Aufrufe
- 36
- Tags
- Bewertung
Mehr zu Graph Terminology and Types