DOCSLIB.ORG

KURATOWSKI's THEOREM Contents 1. Introduction 1 2. Basic Graph

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
KURATOWSKI's THEOREM Contents 1. Introduction 1 2. Basic Graph KURATOWSKI'S THEOREM YIFAN XU Abstract. This paper introduces basic concepts and theorems in graph the- ory, with a focus on planar graphs. On the foundation of the basics, we state and present a rigorous proof of Kuratowski's theorem, a necessary and suffi- cient condition for planarity. Contents 1. Introduction 1 2. Basic Graph Theory 1 3. Planar Graphs 3 4. Kuratowski's Theorem 7 Acknowledgments 12 References 12 1. Introduction The planarity of a graph, whether a graph can be drawn on a plane in a way that no edges intersect, is an interesting property to investigate. With a few simple theorems it can be seen that K5 (see figure 1) and K3;3 (see figure 2) are nonpla- nar. Kuratowski pushes this nearly effortless observation into a powerful theorem exposing the sufficient and necessary condition of planarity. Simple as the theorem appears to be, to prove this we need a significant amount of preparations. In this paper, we start with basic graph theory and proceed into concepts and theorems related to planar graphs. In the last section we will give a proof of Kuratowski's theorem, which in general corresponds with that in Graph Theory with Applica- tions (see [1] in the list of references) but provides more details and hopefully more clarity. 2. Basic Graph Theory We need several definitions as a start. Definition 2.1. A graph G is an ordered pair (V (G);E(G)), consisting of a nonempty set V (G) of vertices and a set E(G) of edges, each edge a two-element subset of V . Denote jV (G)j, the number of vertices in the vertex set, by ν and jE(G)j by . Note that (i) E(G) can be empty and (ii) an edge can link a vertex to itself. Date: August 28, 2017. 1 2 YIFAN XU Figure 1. a diagram of K5 Definition 2.2. An edge whose ends are identical is a loop. Otherwise, the edge is a link. A graph is simple if it has no loops and no two links have the same pair of unordered vertices. Definition 2.3. A vertex is incident to an edge if the vertex is one of the ends of the edge; two vertices are adjacent to each other if they are connected by an edge. The degree of a vertex v, denoted by deg(v), is the number of edges incident to v, with a loop counted as two edges. We let δ := minv2V (deg v) and ∆ := maxv2V (deg v). Definition 2.4. A walk W is a set of alternating vertices and edges, denoted by W =v0e1v1e2:::ekvk where ei (i 2 [1; k], i 2 N) links vi−1 with vi. A walk where all ei's are distinct is a trail. In addition, if all vertices are distinct, then W is a path. A graph G is connected if there exists a path between every pair of vertices in G. A walk is closed if it has positive length and identical ends. A closed trail with distinct vertices is a cycle. A family of walks is internally disjoint if no vertex is an internal vertex of more than one walk in the family. Definition 2.5. H is a subgraph of G if V (H) ⊆ V (G), E(H) ⊆ E(G), and end- points of all edges in E(H) are included in V (H). In addition, if H is a maximally connected subgraph, H is a component of G. The number of components in G is denoted by !(G). An edge e is a cut edge if !(G − e) > !(G). Definition 2.6. A complete graph is a graph where each pair of vertices is con- nected by a unique edge. We let Km denote the complete graph on m vertices. A graph G is bipartite if its vertex set V can be divided into two nonempty subsets X and Y such that every edge in G connects one vertex in X to another one in Y . A graph G is complete bipartite if for all x 2 X; y 2 Y , x is connected to y by a unique edge. When X contains m vertices and Y contains n vertices, G is denoted by Km;n. Theorem 2.7. For a graph G with vertex set V and edge set E, X deg(v) = 2 v2V KURATOWSKI'S THEOREM 3 X1 X2 X3 a ! caa #c !!# s c a # s c ! # s c a#a !c! # c# a!a! c# # c!! aa# c #!! c # aac #!#!! cc## aacca Ys1 Ys2 Ys3 X1 Y1 T S s T s S T S T S Y3 T S X2 S T s S T s S T S TT X3S Y2 s s Figure 2. two diagrams of K3;3 Proof. For v 2 V and e 2 E, we let n(v) denote the set of edges incident to v and m(e) the set of endpoints of e. Then X X X deg(v) = 1 v2V v2V e2n(v) X X = 1 e2E v2m(e) = 2. 3. Planar Graphs Definition 3.1. A way to draw the graph, representing vertices by points and edges by lines connecting points, is called a diagram of the graph. A diagram is embedded in the plane. A graph that has a diagram whose edges do not intersect anywhere besides their ends (i.e., vertices) is called a planar graph. The diagram is then called the planar embedding of a planar graph, or simply, a plane graph. Definition 3.2. Closures of regions partitioned by a plane graph are faces, the number of which is denoted by φ. In a plane graph, the degree of a face f, denoted by deg(f), is the number of edges incident to f, with cut edges being counted twice. Definition 3.3. A dual of a plane graph G, denoted by G∗, can be constructed as follows: every vertex v∗ in G∗ corresponds to a face f in G and every edge e∗ in G∗ corresponds to an edge e in G. Two vertices in G∗, v∗ and w∗, are joined by the edge e∗ if and only if their corresponding faces in G, f and g, are separated by e. 4 YIFAN XU Theorem 3.4. For G a plane graph, let F (G) denote the set of faces in G. The following holds: X deg(f) = 2. f2F (G) Proof. Consider the dual, G∗, of G. By Theorem 2.13, X deg(v∗) = 2∗: v∗2V ∗ By definition of a dual graph, 8f 2 F (G), deg(f)=deg(v∗), and =∗.Then X X deg(f) = deg(v∗) = 2∗ = 2. f2F (G) v∗2V ∗ Theorem 3.5. (Euler's Formula) For G a connected plane graph, the following relationship holds: ν − + φ = 2: Proof. We prove this by induction on . (1) Basic step: when = 0, since G is connected, G must be trivial. Then ν = 1, = 0, φ = 1. ν − + φ = 1 − 0 + 1 = 2: Clearly the formula holds. (2) Inductive step: suppose for G with (G) = k, ν(G) − (G) + φ(G) = 2: Let H be a planar graph such that G is a subgraph and (H) = k + 1. There are 3 cases: Case(a): e is a loop added on some v 2 V . Then ν(H) = ν(G). Since H needs to remain a plane graph, the loop does not intersect with any other edge in G. Therefore the loop constitutes a new face, φ(H) = φ(G) + 1, which then gives us ν(H) − (H) + φ(H) = ν(G) − ((G) + 1) + (φ(G) + 1) = ν(G) − (G) + φ(G) = 2: Case(b): e adds a link between two vertices v1, v2 in G. Since G is connected, there is a path between v1 and v2. The addition of e creates a new cycle, and hence a new face (if there are more than one path between v1 and v2, there is necessarily one that borders the new face). Therefore ν(H) = ν(G), φ(H) = φ(G) + 1, (H) = (G) + 1. Similar to (a), the formula holds. Case(c): e links some v1 2 V (G) to a new vertex v2. Then ν(H) = ν(G) + 1. Since v2 is a new vertex, e lies in some face bordering v1, without creating any new face. Then φ(H) = φ(G). In this case, ν(H) − (H) + φ(H) = (ν(G) + 1) − ((G) + 1) + φ(G) = ν(G) − (G) + φ(G) = 2: Therefore in all 3 cases, the formula holds in H. By the principle of induction, the formula holds for all connected plane graphs. KURATOWSKI'S THEOREM 5 Corollary 3.6. For G a simple planar graph with ν ≥ 3, ≤ 3ν − 6: Proof. Since G is a simple graph with ν(G) ≥ 3, the planar embedding of G, G0, is also simple with ν(G0) ≥ 3. For f 2 F (G0), there exist 3 cases: (1) if f is bounded by a cycle, since G0 is simple, the minimum size of a cycle is 3 and degG0 (f)≥3; (2) if f is incident to some edges in addition to a cycle, degG0 (f)>3; (3) if f is incident to no cycle at all, then there exists at least two cut edges on the boundary of f|if not, the rest of the boundary must be a cycle, which contradicts the condition|which means degG0 (f) ≥ 4 > 3. Therefore, for every f 2 F (G0), X 0 degG0 (f) ≥ 3φ(G ) then by Theorem 3.7, X deg(f) = 2(G0) ≥ 3φ(G0) f2F (G0) which yields 2 φ(G0) ≤ (G0): 3 Then by Theorem 3.8, 2 ν(G0) − (G0) + φ(G0) = 2 ≤ ν(G0) − (G0) + (G0) 3 1 = ν(G0) − (G0) 3 1 = ν(G) − (G): 3 Therefore, 1 ν(G) − (G) ≥ 2 3 and ≤ 3ν − 6: Corollary 3.7.
Load more

Recommended publications
  • Strongly Connected Component
    Graph IV Ian Things that we would talk about ● DFS ● Tree ● Connectivity Useful website http://codeforces.com/blog/entry/16221 Recommended Practice Sites ● HKOJ ● Codeforces ● Topcoder ● Csacademy ● Atcoder ● USACO ● COCI Term in Directed Tree ● Consider node 4 – Node 2 is its parent – Node 1, 2 is its ancestors – Node 5 is its sibling – Node 6 is its child – Node 6, 7, 8 is its descendants ● Node 1 is the root DFS Forest ● When we do DFS on a graph, we would obtain a DFS forest. Noted that the graph is not necessarily a tree. ● Some of the information we get through the DFS is actually very useful, such as – Starting time of a node – Finishing time of a node – Parent of the node Some Tricks Using DFS Order ● Suppose vertex v is ancestor(not only parent) of u – Starting time of v < starting time of u – Finishing time of v > starting time of u ● st[v] < st[u] <= ft[u] < ft[v] ● O(1) to check if ancestor or not ● Flatten the tree to store subtree information(maybe using segment tree or other data structure to maintain) ● Super useful !!!!!!!!!! Partial Sum on Tree ● Given queries, each time increase all node from node v to node u by 1 ● Assume node v is ancestor of node u ● sum[u]++, sum[par[v]]-- ● Run dfs in root dfs(v) for all child u dfs(u) d[v] = d[v] + d[u] Types of Edges ● Tree edges – Edges that forms a tree ● Forward edges – Edges that go from a node to its descendants but itself is not a tree edge.
    [Show full text]
  • CLRS B.4 Graph Theory Definitions Unit 1: DFS Informally, a Graph
    CLRS B.4 Graph Theory Definitions Unit 1: DFS informally, a graph consists of “vertices” joined together by “edges,” e.g.,: example graph G0: 1 ···················•······························· ····························· ····························· ························· ···· ···· ························· ························· ···· ···· ························· ························· ···· ···· ························· ························· ···· ···· ························· ············· ···· ···· ·············· 2•···· ···· ···· ··· •· 3 ···· ···· ···· ···· ···· ··· ···· ···· ···· ···· ···· ···· ···· ···· ···· ···· ······· ······· ······· ······· ···· ···· ···· ··· ···· ···· ···· ···· ···· ··· ···· ···· ···· ···· ···· ···· ···· ···· ···· ···· ··············· ···· ···· ··············· 4•························· ···· ···· ························· • 5 ························· ···· ···· ························· ························· ···· ···· ························· ························· ···· ···· ························· ····························· ····························· ···················•································ 6 formally a graph is a pair (V, E) where V is a finite set of elements, called vertices E is a finite set of pairs of vertices, called edges if H is a graph, we can denote its vertex & edge sets as V (H) & E(H) respectively if the pairs of E are unordered, the graph is undirected if the pairs of E are ordered the graph is directed, or a digraph two vertices joined by an edge
    [Show full text]
  • Graph Theory
    1 Graph Theory “Begin at the beginning,” the King said, gravely, “and go on till you come to the end; then stop.” — Lewis Carroll, Alice in Wonderland The Pregolya River passes through a city once known as K¨onigsberg. In the 1700s seven bridges were situated across this river in a manner similar to what you see in Figure 1.1. The city’s residents enjoyed strolling on these bridges, but, as hard as they tried, no residentof the city was ever able to walk a route that crossed each of these bridges exactly once. The Swiss mathematician Leonhard Euler learned of this frustrating phenomenon, and in 1736 he wrote an article [98] about it. His work on the “K¨onigsberg Bridge Problem” is considered by many to be the beginning of the field of graph theory. FIGURE 1.1. The bridges in K¨onigsberg. J.M. Harris et al., Combinatorics and Graph Theory , DOI: 10.1007/978-0-387-79711-3 1, °c Springer Science+Business Media, LLC 2008 2 1. Graph Theory At first, the usefulness of Euler’s ideas and of “graph theory” itself was found only in solving puzzles and in analyzing games and other recreations. In the mid 1800s, however, people began to realize that graphs could be used to model many things that were of interest in society. For instance, the “Four Color Map Conjec- ture,” introduced by DeMorgan in 1852, was a famous problem that was seem- ingly unrelated to graph theory. The conjecture stated that four is the maximum number of colors required to color any map where bordering regions are colored differently.
    [Show full text]
  • Vizing's Theorem and Edge-Chromatic Graph
    VIZING'S THEOREM AND EDGE-CHROMATIC GRAPH THEORY ROBERT GREEN Abstract. This paper is an expository piece on edge-chromatic graph theory. The central theorem in this subject is that of Vizing. We shall then explore the properties of graphs where Vizing's upper bound on the chromatic index is tight, and graphs where the lower bound is tight. Finally, we will look at a few generalizations of Vizing's Theorem, as well as some related conjectures. Contents 1. Introduction & Some Basic Definitions 1 2. Vizing's Theorem 2 3. General Properties of Class One and Class Two Graphs 3 4. The Petersen Graph and Other Snarks 4 5. Generalizations and Conjectures Regarding Vizing's Theorem 6 Acknowledgments 8 References 8 1. Introduction & Some Basic Definitions Definition 1.1. An edge colouring of a graph G = (V; E) is a map C : E ! S, where S is a set of colours, such that for all e; f 2 E, if e and f share a vertex, then C(e) 6= C(f). Definition 1.2. The chromatic index of a graph χ0(G) is the minimum number of colours needed for a proper colouring of G. Definition 1.3. The degree of a vertex v, denoted by d(v), is the number of edges of G which have v as a vertex. The maximum degree of a graph is denoted by ∆(G) and the minimum degree of a graph is denoted by δ(G). Vizing's Theorem is the central theorem of edge-chromatic graph theory, since it provides an upper and lower bound for the chromatic index χ0(G) of any graph G.
    [Show full text]
  • Superposition and Constructions of Graphs Without Nowhere-Zero K-flows
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Europ. J. Combinatorics (2002) 23, 281–306 doi:10.1006/eujc.2001.0563 Available online at http://www.idealibrary.com on Superposition and Constructions of Graphs Without Nowhere-zero k-flows M ARTIN KOCHOL Using multi-terminal networks we build methods on constructing graphs without nowhere-zero group- and integer-valued flows. In this way we unify known constructions of snarks (nontrivial cubic graphs without edge-3-colorings, or equivalently, without nowhere-zero 4-flows) and provide new ones in the same process. Our methods also imply new complexity results about nowhere-zero flows in graphs and state equivalences of Tutte’s 3- and 5-flow conjectures with formally weaker statements. c 2002 Elsevier Science Ltd. All rights reserved. 1. INTRODUCTION Nowhere-zero flows in graphs have been introduced by Tutte [38–40]. Primarily he showed that a planar graph is face-k-colorable if and only if it admits a nowhere-zero k-flow (its edges can be oriented and assigned values ±1,..., ±(k − 1) so that the sum of the incoming values equals the sum of the outcoming ones for every vertex of the graph). Tutte also proved the classical equivalence result that a graph admits a nowhere-zero k-flow if and only if it admits a flow whose values are the nonzero elements of a finite abelian group of order k. Seymour [35] has proved that every bridgeless graph admits a nowhere-zero 6-flow, thereby improving the 8-flow theorem of Jaeger [16] and Kilpatrick [20].
    [Show full text]
  • Finding Articulation Points and Bridges Articulation Points Articulation Point
    Finding Articulation Points and Bridges Articulation Points Articulation Point Articulation Point A vertex v is an articulation point (also called cut vertex) if removing v increases the number of connected components. A graph with two articulation points. 3 / 1 Articulation Points Given I An undirected, connected graph G = (V; E) I A DFS-tree T with the root r Lemma A DFS on an undirected graph does not produce any cross edges. Conclusion I If a descendant u of a vertex v is adjacent to a vertex w, then w is a descendant or ancestor of v. 4 / 1 Removing a Vertex v Assume, we remove a vertex v 6= r from the graph. Case 1: v is an articulation point. I There is a descendant u of v which is no longer reachable from r. I Thus, there is no edge from the tree containing u to the tree containing r. Case 2: v is not an articulation point. I All descendants of v are still reachable from r. I Thus, for each descendant u, there is an edge connecting the tree containing u with the tree containing r. 5 / 1 Removing a Vertex v Problem I v might have multiple subtrees, some adjacent to ancestors of v, and some not adjacent. Observation I A subtree is not split further (we only remove v). Theorem A vertex v is articulation point if and only if v has a child u such that neither u nor any of u's descendants are adjacent to an ancestor of v. Question I How do we determine this efficiently for all vertices? 6 / 1 Detecting Descendant-Ancestor Adjacency Lowpoint The lowpoint low(v) of a vertex v is the lowest depth of a vertex which is adjacent to v or a descendant of v.
    [Show full text]
  • Incremental 2-Edge-Connectivity in Directed Graphs
    Incremental 2-Edge-Connectivity In Directed Graphs Loukas Georgiadis Giuseppe F. Italiano Nikos Parotsidis University of Ioannina University of Rome University of Rome Greece Tor Vergata Tor Vergata Italy Italy ICALP 2016, Rome Outline Definitions • 2-edge-connectivity in undirected graphs • 2-edge-connectivity in directed graphs • Problem definition • Known algorithm and our result High-level idea Basic ingredients • Dominators • Auxiliary components Tools Conclusion ICALP 2016, Rome Outline Definitions • 2-edge-connectivity in undirected graphs • 2-edge-connectivity in directed graphs • Problem definition • Known algorithm and our result High-level idea Basic ingredients • Dominators • Auxiliary components Tools Conclusion ICALP 2016, Rome Undirected: Connected components Let 퐺 = (푉, 퐸) be a undirected graph. • 퐺 is connected if there is a path between any two vertices. • The connected components of 퐺 are its maximal connected subgraphs. ICALP 2016, Rome Undirected: Connected components Let 퐺 = (푉, 퐸) be a connected undirected graph. • An edge is a bridge, if its removal increases the number of connected components. ICALP 2016, Rome Undirected: Connected components Let 퐺 = (푉, 퐸) be a connected undirected graph. • An edge is a bridge, if its removal increases the number of connected components. ICALP 2016, Rome Undirected: Connected components By Menger’s theorem, two vertices are 2-edge- connected iff the removal of any bridge leaves them in the same connected component. ICALP 2016, Rome Undirected: Connected components By Menger’s theorem, two vertices are 2-edge- connected iff the removal of any bridge leaves them in the same connected component. ICALP 2016, Rome Undirected: Connected components By Menger’s theorem, two vertices are 2-edge- connected iff the removal of any bridge leaves them in the same connected component.
    [Show full text]
  • Graph Theory (Connected Graphs)
    Graph Theory (Connected Graphs) Dr. Shubh N. Singh Department of Mathematics Central University of South Bihar May 14, 2020 2 Lecture-01: 0.1 Walks, Paths, and Cycles Let G = (V; E). If we think of the vertices of G as locations and the edges of G as roads between certain pairs of locations, then the graph G can be considered as modeling some community. There is a variety of kinds of trips that can be taken in the community. Let's start at some vertex u of a graph G. If we proceed from u to a neighbor v of u and then to a neighbor of v and so on, until we finally come to a stop at a vertex w, then we have just described a walk from u to v in G. More formally, Definition 0.1.1. Let G = (V; E), and let u; v 2 V .A walk from u to v (in short, a u − v walk) in G is a nonempty finite sequence/list u = v0; v1; : : : ; vk = v of vertices in G, where k ≥ 0 and fvi; vi+1g 2 E for all i = 0; 1; 2; : : : ; k − 1. If the vertices in a walk are all distinct, we call it a path in G. Note that all vertices or edges lie on (or, belong to ) a u − v walk need not be distinct; in fact u and v are not required to be distinct. Provided we continue to proceed from a vertex to one of its neighbors (and eventually stop), there is essentially no condi- tions on a walk in a graph.
    [Show full text]
  • NOWHERE-ZERO K-FLOWS on GRAPHS Let G = (V,E) Be a Graph
    NOWHERE-ZERO ~k-FLOWS ON GRAPHS MATTHIAS BECK, ALYSSA CUYJET, GORDON ROJAS KIRBY, MOLLY STUBBLEFIELD, AND MICHAEL YOUNG Abstract. We introduce and study a multivariate function that counts nowhere-zero flows on a graph G, in which each edge of G has an individual capacity. We prove that the associated counting function is a piecewise-defined polynomial in these capacities, which satisfy a combinatorial reciprocity law that incorporates totally cyclic orientations of G. Let G = (V; E) be a graph, which we allow to have multiple edges. Fix an orientation of G, i.e., for each edge e = uv 2 E we assign one of u and v to be the head h(e) and the other to be the tail t(e) of e.A flow on (this orientation of) G is a labeling x 2 AE of the edges of G with values in an Abelian group A such that for every node v 2 V , X X xe = xe ; h(e)=v t(e)=v i.e., we have conservation of flow at each node. We are interested in counting such flows that are nowhere zero, i.e., xe 6= 0 for every edge e 2 E. The case A = Zk goes back to Tutte [11], who proved that the number '(k) of nowhere-zero Zk-flows is a polynomial in k. (Tutte introduced this counting function as a dual concept to the chromatic polynomial.) In the case A = Z, a k-flow takes on integer values in {−k + 1; : : : ; k − 1g. The fact that the number '(k) of nowhere-zero k-flows is also a polynomial in k is due to Kochol [7].
    [Show full text]
  • SNARKS Generation, Coverings and Colourings
    SNARKS Generation, coverings and colourings jonas hägglund Doctoral thesis Department of mathematics and mathematical statistics Umeå University April 2012 Doctoral dissertation Department of mathematics and mathematical statistics Umeå University SE-901 87 Umeå Sweden Copyright © 2012 Jonas Hägglund Doctoral thesis No. 53 ISBN: 978-91-7459-399-0 ISSN: 1102-8300 Printed by Print & Media Umeå 2012 To my family. ABSTRACT For a number of unsolved problems in graph theory such as the cycle double cover conjecture, Fulkerson’s conjecture and Tutte’s 5-flow conjecture it is sufficient to prove them for a family of graphs called snarks. Named after the mysterious creature in Lewis Carroll’s poem, a snark is a cyclically 4-edge connected 3-regular graph of girth at least 5 which cannot be properly edge coloured using three colours. Snarks and problems for which an edge minimal counterexample must be a snark are the central topics of this thesis. The first part of this thesis is intended as a short introduction to the area. The second part is an introduction to the appended papers and the third part consists of the four papers presented in a chronological order. In Paper I we study the strong cycle double cover conjecture and stable cycles for small snarks. We prove that if a bridgeless cubic graph G has a cycle of length at least jV(G)j - 9 then it also has a cycle double cover. Furthermore we show that there exist cyclically 5-edge connected snarks with stable cycles and that there exists an infinite family of snarks with stable cycles of length 24.
    [Show full text]
  • On Measures of Edge-Uncolorability of Cubic Graphs: a Brief Survey and Some New Results
    On measures of edge-uncolorability of cubic graphs: A brief survey and some new results M.A. Fiola, G. Mazzuoccolob, E. Steffenc aBarcelona Graduate School of Mathematics and Departament de Matem`atiques Universitat Polit`ecnicade Catalunya Jordi Girona 1-3 , M`odulC3, Campus Nord 08034 Barcelona, Catalonia. bDipartimento di Informatica Universit´adi Verona Strada le Grazie 15, 37134 Verona, Italy. cPaderborn Center for Advanced Studies and Institute for Mathematics Universit¨atPaderborn F¨urstenallee11, D-33102 Paderborn, Germany. E-mails: [email protected], [email protected], [email protected] February 24, 2017 Abstract There are many hard conjectures in graph theory, like Tutte's 5-flow conjec- arXiv:1702.07156v1 [math.CO] 23 Feb 2017 ture, and the 5-cycle double cover conjecture, which would be true in general if they would be true for cubic graphs. Since most of them are trivially true for 3-edge-colorable cubic graphs, cubic graphs which are not 3-edge-colorable, often called snarks, play a key role in this context. Here, we survey parameters measuring how far apart a non 3-edge-colorable graph is from being 3-edge- colorable. We study their interrelation and prove some new results. Besides getting new insight into the structure of snarks, we show that such measures give partial results with respect to these important conjectures. The paper closes with a list of open problems and conjectures. 1 Mathematics Subject Classifications: 05C15, 05C21, 05C70, 05C75. Keywords: Cubic graph; Tait coloring; snark; Boole coloring; Berge's conjecture; Tutte's 5-flow conjecture; Fulkerson's Conjecture.
    [Show full text]
  • The One-Way Street Problem Definitions Theorem
    The one-way street problem Definitions The one-way street problem. ¾ Traffic-flow problem in graph theory. An orientation of a graph G is an assignment of a direction to each edge of A city has a number of ¾ Graph: locations, some of which are Vertices = locations G (obtaining as a result a digraph). joined by two way streets. Edges = two-way streets Making all streets one way ¾ Orientation of the graph. presumably will cut down on Let G be a connected graph and α one of traffic congestion. its edges. We say that α is a bridge of G Make sure that for every pair ¾ The resulting digraph should be strongly connected. of locations x and y it is if G α′ (the graph obtained by removing α possible (legally) to go from x to y and from y to x. from G ) is disconnected. Theorem (Robbins, 1939) Eulerian paths and chains A graph G has a strongly connected A graph (digraph) with multiple edges (arcs) is called a multigraph (multidigraph). orientation if and only if G has no bridges. All definitions we have for graphs and digraphs (degrees, paths, chains, connectedness, etc.) can be extended to multigraphs and multidigraphs. A chain (in a multigraph G) or a path (in a multidigraph D) is eulerian if it uses all edges of G or arcs of D exactly once. Existance of Eulerian chains Existance of Eulerian paths Theorem (Euler). A multigraph G has an eulerian Theorem (Good, 1946). A multidigraph D has an closed chain if and only if G is connected up to eulerian closed path if and only if D is weakly isolated vertices and every vertex of G has even connected up to isolated vertices and for every degree.
    [Show full text]