DOCSLIB.ORG

Gr Aph S Epar Ator S Par T

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Gr Aph S Epar Ator S Par T 15-853: Algorithms in the R eal W orld Lecture 6 , September 30, 2002 Graph S eparators Part II L ect ur er : Prof. Guy Blelloch S cr ibe: Flavio L er da 1. Separator theorems At the end of last class we intr oduced the concept of a s eparator theorem: a s epar at or theorem proves that it is possible to obtain a good s epar ator for a cer t ai n class of graphs . A good s epar ator was defined as having a cut of size s maller than a fi x ed cons tant times a funct i on of the s iz e of the gr aph, and s uch that the s iz e of the bigger of the two s ub-graphs generated by the cut is smaller than a fi x ed fraction of the s iz e of the or iginal graph. I t is important to notice that it does not make s ens e to have a s epar at or theorem for a s i ngl e gr aph because it is always possible to find a bi g enough bound s uch that any s eparator is good enough. What we need i s a cl ass of graphs where the s iz e of the gr aphs can vary with a parameter n. We defined a cl ass of graphs so that each sub-graph of a graph that belongs to the class also belongs to that class. T his is useful for developing the theor y, but for some appl i cati on this is not always the cas e: however, in many cas es , the r es ults are s till applicable in practice. For instance, if we cons ider the r outing gr aph of the I nternet, it has a good s epar ator, but there ar e s ome s ub- graphs that are highly connected and they do not have a Page 1 of 14 Algorithms in the R eal World – Graph S eparators II good s epar ator . The algor ithms based on graph separators s till work well in practice in cases like this , as long as the highly connected s ub-graphs are s mall enough. We will start refreshing s ome of the definitions . Def init ion 1.1: A class of graphs is a s et S of graphs that is closed under the s ub-graph relation. We can define a ver t ex -s eparator theorem as follows: Def init ion 1.2: A class of graphs S s atis fies a f (n) - vertex-s eparator theorem if there ar e cons tants α <1 and β > 0 s uch that for every graph G = (V , E) in the cl ass S there ex is ts a cut set C ⊆ V which partitions the gr aph G in two s ub-graphs A and B s uch that C ≤ β f ( G ) , A ≤ α G and B ≤ α G . And anal ogous l y an edge-s eparator theorem: Def init ion 1.3: A class of graphs S s atis fies a f (n) -edge- s eparator theorem if there ar e cons tants α <1 and β > 0 s uch that for every graph G = (V , E) in the clas s S there exis ts a cut set C ⊆ E which partitions the gr aph G in two s ub-graphs A and B s uch that C ≤ β f ( G ) , A ≤ α G and B ≤ α G . As we s howed i n the pr evious class, every good edge- s eparator can be tur ned i nto a good vertex-s eparator. T herefore if a cl ass of graphs has an f (n) -edge-s eparator theorem, it also has an f (n) -vertex-s eparator theorem. However the other way around i s not always true. For ins tance, planar graphs (as we will see below) have a f (n) -vertex-s eparator theorem: however, if we cons ider Page 2 of 14 Algorithms in the R eal World – Graph S eparators II the planar graph with n vertices obtained connecting one vertex to all the other s (to for m a s t ar ) , it has a good vertex-s eparator (the cut which contains only the center of the s tar is a ver t ex -s eparator), but it does not have any good edge s epar ator : in fact, in order to divide the ver tices in half it is necessary to have a cut that contains n 2 edges . Figure 1 . 1 – Planar graph with a good vertex separator but not a good edge s eparator. We will show that planar graphs satisfy a n -vertex- s eparator theorem. Also a par t i cul ar class of d - dimens ional mes hes satisfies a n(d −1) d -vertex-s eparator of which planar graphs represent the cas e d = 2 . T heor em 1.4: Any graph from a cl ass with a n1−ε - s eparator theorem with ε > 0 has O(n) edges . T his means that if a gr aph is from a cl ass that has a l es s than linear separator theorem the aver age degr ee of the graph is constant. T he pr oof is left as an exercise. 2. Separator Trees A s epar ator tree is the tr ee induced by recursively finding s eparators until you are left with single ver tices . The r oot Page 3 of 14 Algorithms in the R eal World ± Graph S eparators II of the tr ee contains the or iginal graph; each node of the tree is either a l eaf if the node contains only a ver tex , or it has two childr en: the children contain the par titions of the graph in the par ent node defined by a s epar at or (either edge- or vertex-s eparator). G C A B Figure 2 . 1 ± A s epar ator tree. S ometimes the ver tices in the cut are carried to both children, sometimes only to one of them, sometimes to neither. A s epar ator tree is fully balanced i f the two children are equal sized ( wi thi n one ver tex difference). T heor em 2.1: For a cl as s of graphs S s atis fying an (α, β ) n1−ε -edge-s eparator theorem, we can generate a per fect l y balanced s epar ator tree with separator size C ≤ kβ f ( G ) . Figure 2 . 1 ± Unbalanced and bal anced s epar ator tree. Page 4 of 14 Algorithms in the R eal World ± Graph S eparators II P r oof: T he s epar ator tree obtained by the (α, β ) n1−ε -edge- s eparator has a linear order (n ) of leafs, which correspond to the ver tices of the gr aph. First find a pat h in the s eparator tree fr om the r oot to the middl e leaf ( n 2 ). Cons ider cutting the tr ee s o that all the nodes on the left of the middle node ar e on one s ide and the r es t are on the other side. It is possible to s epar ate thes e two halves by cutting all edges in the nodes on the s elected path: the maximum number of edges cut in the nodes , starting at the top, is: βn1−ε + β (αn)1−ε + β (α 2n)1−ε +... = βn1−ε (1+α +α 2 +...)1−ε T he ter m (1+α +α 2 + ...)1−ε is constant, assuming that α and ε are cons tants and s i nce ther e ar e at most n levels in the tree. So we can define: 1−ε 2 1−ε 1 k = (1+α +α + ...) ≤ 1+α and we have: C ≤ kβn1−ε and s i nce G = n and f (n) = n1−ε : C ≤ kβ f ( G ) W What this theorem means is that if the s iz e of the cut is s ub-linear to the s iz e of the s iz e of the gr aph, given a (α, β ) f (n) -s eparator theorem we can convert it into a (1 2,kβ ) f (n) -s eparator theorem with k > 1 (and ther efor e allowing a bi gger cut size). 3. Planar Separator Theorem We ar e going to for mulate now a s epar at or theorem for planar graphs. First we need to define the clas s of planar graphs formally. Def init ion 3.1: T he s et of planar graphs is the s et of graphs that can be embedded i n a pl ane or in a s pher e s o that no two edges cross. Page 5 of 14 Algorithms in the R eal World ± Graph S eparators II I t is easy to s ee that this is a cl ass of graphs since if a graph can be embedded i n a pl ane ( or a s pher e) without any edges crossing, any sub-graph of this graph can be embedded i n the s ame plane ( or sphere) without any edges crossing as well. Therefore the s et of planar graphs is closed under the s ub-graph relation and for ms a cl ass of graphs .
Load more

Recommended publications
  • A Note on Soenergy of Stars, Bi-Stars and Double Star Graphs
    BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 6(2016), 105-113 Former BULLETIN OF THE SOCIETY OF MATHEMATICIANS BANJA LUKA ISSN 0354-5792 (o), ISSN 1986-521X (p) A NOTE ON soENERGY OF STARS, BISTAR AND DOUBLE STAR GRAPHS S. P. Jeyakokila and P. Sumathi Abstract. Let G be a finite non trivial connected graph.In the earlier paper idegree, odegree, oidegree of a minimal dominating set of G were introduced, oEnergy of a graph with respect to the minimal dominating set was calculated in terms of idegree and odegree. Algorithm to get the soEnergy was also introduced and soEnergy was calculated for some standard graphs in the earlier papers. In this paper soEnergy of stars, bistars and double stars with respect to the given dominating set are found out. 1. INTRODUCTION Let G = (V; E) be a finite non trivial connected graph. A set D ⊂ V is a dominating set of G if every vertex in V − D is adjacent to some vertex in D.A dominating set D of G is called a minimal dominating set if no proper subset of D is a dominating set. Star graph is a tree consisting of one vertex adjacent to all the others. Bistar is a graph obtained from K2 by joining n pendent edges to both the ends of K2. Double star is the graph obtained from K2 by joining m pendent edges to one end and n pendent edges to the other end of K2.
    [Show full text]
  • Total Chromatic Number of Star and Bistargraphs 1D
    International Journal of Pure and Applied Mathematics Volume 117 No. 21 2017, 699-708 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu Special Issue ijpam.eu Total Chromatic Number of Star and BistarGraphs 1D. Muthuramakrishnanand 2G. Jayaraman 1Department of Mathematics, National College, Trichy, Tamil Nadu, India. [email protected] 2Research Scholar, National College, Trichy, Tamil Nadu, India. [email protected] Abstract A total coloring of a graph G is an assignment of colors to both the vertices and edges of G, such that no two adjacent or incident vertices and edges of G are assigned the same colors. In this paper, we have discussed 2 the total coloring of 푀 퐾1,푛 , 푇 퐾1,푛 , 퐿 퐾1,푛 and 퐵푛,푛and we obtained the 2 total chromatic number of 푀 퐾1,푛 , 푇 퐾1,푛 , 퐿 퐾1,푛 and 퐵푛,푛. AMS Subject Classification: 05C15 Keywords and Phrases:Middle graph, line graph, total graph, star graph, square graph, total coloring and total chromatic number. 699 International Journal of Pure and Applied Mathematics Special Issue 1. Introduction In this paper, we have chosen finite, simple and undirected graphs. Let퐺 = (푉 퐺 , 퐸 퐺 ) be a graph with the vertex set 푉(퐺) and the edge set E(퐺), respectively. In 1965, the concept of total coloring was introduced by Behzad [1] and in 1967 he [2] came out new ideology that, the total chromatic number of complete graph and complete bi-partite graph. A total coloring of퐺, is a function 푓: 푆 → 퐶, where 푆 = 푉 퐺 ∪ 퐸 퐺 and C is a set of colors to satisfies the given conditions.
    [Show full text]
  • Achromatic Coloring on Double Star Graph Families
    International J.Math. Combin. Vol.3 (2009), 71-81 Achromatic Coloring on Double Star Graph Families Vernold Vivin J. Department of Mathematics, Sri Shakthi Institute of Engineering and Technology, Coimbatore - 641 062, Tamil Nadu, India. E-mail: vernold [email protected], [email protected] Venkatachalam M. Department of Mathematics, SSK College of Engineering and Technology, Coimbatore - 641 105, Tamil Nadu, India. E-mail: [email protected] Akbar Ali M.M. Department of Mathematics, Sri Shakthi Institute of Engineering and Technology, Coimbatore - 641 062, Tamil Nadu, India. E-mail: um [email protected] Abstract: The purpose of this article is to find the achromatic number, i.e., Smarandachely achromatic 1-coloring for the central graph, middle graph, total graph and line graph of double star graph K1,n,n denoted by C(K1,n,n), M(K1,n,n), T (K1,n,n) and L(K1,n,n) re- spectively. Keywords: Smarandachely achromatic k-coloring, Smarandachely achromatic number, central graph, middle graph, total graph, line graph and achromatic coloring. AMS(2000): 05C15 §1. Preliminaries For a given graph G = (V, E) we do an operation on G, by subdividing each edge exactly once and joining all the non adjacent vertices of G. The graph obtained by this process is called central graph [10] of G denoted by C(G). Let G be a graph with vertex set V (G) and edge set E(G). The middle graph [4] of G, denoted by M(G) is defined as follows. The vertex set of M(G) is V (G) E(G). Two vertices ∪ x, y in the vertex set of M(G) are adjacent in M(G) in case one of the following holds: (i) x, y are in E(G) and x, y are adjacent in G.
    [Show full text]
  • Even Star Decomposition of Complete Bipartite Graphs
    Journal of Mathematics Research; Vol. 8, No. 5; October 2016 ISSN 1916-9795 E-ISSN 1916-9809 Published by Canadian Center of Science and Education Even Star Decomposition of Complete Bipartite Graphs E. Ebin Raja Merly1 & J. Suthiesh Goldy2 1 Nesamony Memorial Christian college, Marthandam, KanyakumarI District, Tamilnadu-629165, India 2 Research scholar, Nesamony Memorial Christian college, Marthandam, Kanyakumari District, Tamilnadu-629165, India Correspondence: J. Suthiesh Goldy, Research Scholar, Nesamony Memorial Christian college, Marthandam, KanyakumarI District, Tamilnadu-629165, India. Email: [email protected] Received: August 24, 2016 Accepted: September 5, 2016 Online Published: September 27, 2016 doi:10.5539/jmr.v8n5p101 URL: http://dx.doi.org/10.5539/jmr.v8n5p101 Abstract A decomposition (G1, G2, G3, , Gn) of a graph G is an Arithmetic Decomposition(AD) if |E(G i)| = a + (i – 1)d for all i = 1, 2, , n and a, d Z+. Clearly q = n [2a + (n – 1)d]. The AD is a CMD if a = 1 and d = 1. In this paper we 2 introduced the new concept Even Decomposition of graphs. If a = 2 and d = 2 in AD, then q = n(n + 1). That is, the number of edges of G is the sum of first n even numbers 2, 4, 6, , 2n. Thus we call the AD with a = 2 and d = 2 as Even Decomposition. Since the number of edges of each subgraph of G is even, we denote the Even Decomposition as (G2, G4, , G2n). Keywords: Continuous Monotonic Decomposition, Decomposition of graph, Even Decomposition, Even Star Decomposition (ESD) 1. Introduction All basic terminologies from Graph Theory are used in this paper in the sense of Frank Harary.
    [Show full text]
  • Star Arboricity
    COMBINATORICA COMBINATORICA12 (4) (1992) 375-380 Akad~miai Kiadd - Springer-Verlag STAR ARBORICITY NOGA ALON, COLIN McDIARMID and BRUCE REED Received September 11, 1989 A star forest is a forest all of whose components are stars. The star arboricity, st(G) of a graph G is the minimum number of star forests whose union covers all the edges of G. The arboricity, A(G), of a graph G is the minimum number of forests whose union covers all the edges of G. Clearly st(G) > A(G). In fact, Algor and Alon have given examples which show that in some cases st(G) can be as large as A(G)+ f~(log/k) (where s is the maximum degree of a vertex in G). We show that for any graph G, st(G) <_A(G) + O(log ~). 1. Introduction All graphs considered here are finite and simple. For a graph H, let E(H) denote the set of its edges, and let V(H) denote the set of its vertices. A star is a tree with at most one vertex whose degree is not one. A star forest is a forest whose connected components are stars. The star arboricity of a graph G, denoted st(G), is the minimum number of star forests whose union covers all edges of G. The arboricity of G, denoted A(G) is the minimum number of forests needed to cover all edges of G. Clearly, st(G) > A(G) by definition. Furthermore, it is easy to see that any tree can be covered by two star forests.
    [Show full text]
  • Star Coloring Outerplanar Bipartite Graphs
    Discussiones Mathematicae Graph Theory 39 (2019) 899–908 doi:10.7151/dmgt.2109 STAR COLORING OUTERPLANAR BIPARTITE GRAPHS Radhika Ramamurthi and Gina Sanders Department of Mathematics California State University San Marcos San Marcos, CA 92096-0001 USA e-mail: [email protected] Abstract A proper coloring of the vertices of a graph is called a star coloring if at least three colors are used on every 4-vertex path. We show that all outerplanar bipartite graphs can be star colored using only five colors and construct the smallest known example that requires five colors. Keywords: chromatic number, star coloring, outerplanar bipartite graph. 2010 Mathematics Subject Classification: 05C15. 1. Introduction A proper r-coloring of a graph G is an assignment of labels from {1, 2,...,r} to the vertices of G so that adjacent vertices receive distinct colors. The minimum r so that G has a proper r-coloring is called the chromatic number of G, denoted by χ(G). The chromatic number is one of the most studied parameters in graph theory, and by convention, the term coloring of a graph is usually used instead of proper coloring. In 1973, Gr¨unbaum [5] considered proper colorings with the additional constraint that the subgraph induced by every pair of color classes is acyclic, i.e., contains no cycles. He called such colorings acyclic colorings, and the minimum r such that G has an acyclic r-coloring is called the acyclic chromatic number of G, denoted by a(G). In introducing the notion of an acyclic coloring, Gr¨unbaum noted that the condition that the union of any two color classes induces a forest can be generalized to other bipartite graphs.
    [Show full text]
  • Branchwidth of Graphic Matroids
    Branchwidth of graphic matroids. Fr´ed´eric Mazoit∗ and St´ephan Thomass´e† Abstract Answering a question of Geelen, Gerards, Robertson and Whittle [1], we prove that the branchwidth of a bridgeless graph is equal to the branch- width of its cycle matroid. Our proof is based on branch-decompositions of hypergraphs. By matroid duality, a direct corollary of this result is that the branchwidth of a bridgeless planar graph is equal to the branchwidth of its planar dual. This consequence was a direct corollary of a result by Seymour and Thomas [4]. 1 Introduction. The notion of branchwidth was introduced by Robertson and Seymour in their seminal paper Graph Minors X [3]. Very roughly speaking, the goal is to decom- pose a structure S along a tree T in such a way that subsets of S corresponding to disjoint branches of T are pairwise as disjoint as possible. One can define the branchwidth of various structures like graphs, hypergraphs, matroids, sub- modular functions... Our goal in this paper is to prove that the definitions of branchwidth for graphs and matroids coincide in the sense that the branchwidth of a bridgeless graph is equal to the branchwidth of its cycle matroid. Let us now define properly what these definitions are. Let H = (V, E) be a graph, or a hypergraph, and (E1,E2) be a partition of E. The border of (E1,E2) is the set of vertices δ(E1,E2) which belong to both an edge of E1 and an edge of E2. We write it δ(E1,E2), or simply δ(E1).
    [Show full text]
  • 2. 3-Equitable Labeling for Some Star and Bistar Related Graphs
    INTERNATIONAL JOURNAL OF MATHEMATICS AND SCIENTIFIC COMPUTING (ISSN: 2231-5330), VOL. 2, NO. 1, 2012 3 3-Equitable Labeling for Some Star and Bistar Related Graphs S.K. Vaidya and N.H. Shah Abstract—In this paper we prove that the splitting graphs of The concept of 3-equitable labeling was introduced by K B 1,n and n,n are 3-equitable graphs. We also show that the Cahit [1] and he proved that an Eulerian graph with number B shadow graph of n,n is a 3-equitable graph. Further we prove of edges congruent to 3(mod 6) is not 3-equitable. In the that square graph of Bn,n is 3-equitable for n ≡ 0(mod 3) and n ≡ 1(mod 3) and not 3-equitable for n ≡ 2(mod 3). same paper he proved that Cn is 3-equitable if and only if n 6≡ 3(mod 6) and all caterpillars are 3-equitable. Cahit Index Terms—3-equitable labeling, star, bistar, splitting graph, [1] claimed to prove that W is 3-equitable if and only if shadow graph, square graph. n n 6≡ 3(mod 6) but Youssef [8] proved that Wn is 3-equitable MSC 2010 Codes - 05C78. for all n ≥ 4. The 3-equitable labeling in the context of vertex duplication is discussed by Vaidya et al. [5] while same authors in [6] have investigated 3-equitable labling for I. INTRODUCTION some shell related graphs. Vaidya et al. [7] have discussed 3- N this paper we consider simple, finite, connected and equitablity of graphs in the context of some graph operations and proved that the shadow and middle graph of cycle C , undirected graph G = (V (G),E(G)) with order p and n I P size q.
    [Show full text]
  • On Star and Caterpillar Arboricity
    Discrete Mathematics 309 (2009) 3694–3702 www.elsevier.com/locate/disc On star and caterpillar arboricity Daniel Gonc¸alvesa,∗, Pascal Ochemb a LIRMM UMR 5506, CNRS, Universite´ Montpelier 2, 161 rue Ada, 34392 Montpellier Cedex 5, France b LRI UMR 8623, CNRS, Universite´ Paris-Sud, Batˆ 490, 91405 Orsay Cedex, France Received 31 October 2005; accepted 18 January 2008 Available online 10 March 2008 Abstract We give new bounds on the star arboricity and the caterpillar arboricity of planar graphs with given girth. One of them answers an open problem of Gyarf´ as´ and West: there exist planar graphs with track number 4. We also provide new NP-complete problems. c 2008 Elsevier B.V. All rights reserved. Keywords: NP-completeness; Partitioning problems; Edge coloring 1. Introduction Many graph parameters in the literature are defined as the minimum size of a partition of the edges of the graph such that each part induces a graph of a given class C. The most common is the chromatic index χ 0.G/, in this case C is the class of graphs with maximum degree one. Vizing [18] proved that χ 0.G/ either equals ∆.G/ or ∆.G/ C 1, where ∆.G/ denotes the maximum degree of G. Deciding whether χ 0.G/ D 3 is shown to be NP-complete for general graphs in [13]. The arboricity a.G/ is another well studied parameter, for which C is the class of forests. In [15], Nash-Williams proved that: jE.H/j a.G/ D max (1) H⊆G jV .H/j − 1 with the maximum being over all the subgraphs H D .E.H/; V .H// of G.
    [Show full text]
  • A Polynomial Excluded-Minor Approximation of Treedepth
    A Polynomial Excluded-Minor Approximation of Treedepth Ken-ichi Kawarabayashi∗ Benjamin Rossmany National Institute of Informatics University of Toronto k [email protected] [email protected] November 1, 2017 Abstract Treedepth is a well-studied graph invariant in the family of \width measures" that includes treewidth and pathwidth. Understanding these invariants in terms of excluded minors has been an active area of research. The recent Grid Minor Theorem of Chekuri and Chuzhoy [12] establishes that treewidth is polynomially approximated by the largest k × k grid minor. In this paper, we give a similar polynomial excluded-minor approximation for treedepth in terms of three basic obstructions: grids, tree, and paths. Specifically, we show that there is a constant c such that every graph of treedepth ≥ kc contains one of the following minors (each of treedepth ≥ k): • the k × k grid, • the complete binary tree of height k, • the path of order 2k. Let us point out that we cannot drop any of the above graphs for our purpose. Moreover, given a graph G we can, in randomized polynomial time, find either an embedding of one of these minors or conclude that treedepth of G is at most kc. This result has potential applications in a variety of settings where bounded treedepth plays a role. In addition to some graph structural applications, we describe a surprising application in circuit complexity and finite model theory from recent work of the second author [28]. 1 Introduction Treedepth is a well-studied graph invariant with several equivalent definitions. It appears in the literature under various names including vertex ranking number [30], ordered chromatic number [17], and minimum elimination tree height [23], before being systematically studied under the name treedepth by Ossona de Mendes and Neˇsetˇril[20].
    [Show full text]
  • On Characterizing Game-Perfect Graphs by Forbidden Induced Subgraphs
    Volume 7, Number 1, Pages 21{34 ISSN 1715-0868 ON CHARACTERIZING GAME-PERFECT GRAPHS BY FORBIDDEN INDUCED SUBGRAPHS STEPHAN DOMINIQUE ANDRES Abstract. A graph G is called g-perfect if, for any induced subgraph H of G, the game chromatic number of H equals the clique number of H. A graph G is called g-col-perfect if, for any induced subgraph H of G, the game coloring number of H equals the clique number of H. In this paper we characterize the classes of g-perfect resp. g-col-perfect graphs by a set of forbidden induced subgraphs. Moreover, we study similar notions for variants of the game chromatic number, namely B-perfect and [A; B]-perfect graphs, and for several variants of the game coloring number, and characterize the classes of these graphs. 1. Introduction A well-known maker-breaker game is one of Bodlaender's graph coloring games [9]. We are given an initially uncolored graph G and a color set C. Two players, Alice and Bob, move alternately with Alice beginning. A move consists in coloring an uncolored vertex with a color from C in such a way that adjacent vertices receive distinct colors. The game ends if no move is possible any more. The maker Alice wins if the vertices of the graph are completely colored, otherwise, i.e. if there is an uncolored vertex surrounded by colored vertices of each color, the breaker Bob wins. For a graph G, the game chromatic number χg(G) of G is the smallest cardinality of a color set C such that Alice has a winning strategy in the game described above.
    [Show full text]
  • Induced and Weak Induced Arboricities
    Induced and Weak Induced Arboricities Maria Axenovich, Philip D¨orr,Jonathan Rollin, Torsten Ueckerdt February 26, 2018 Abstract We define the induced arboricity of a graph G, denoted by ia(G), as the smallest k such that the edges of G can be covered with k induced forests in G. This notion generalizes the classical notions of the arboricity and strong chromatic index. For a class F of graphs and a graph parameter p, let p(F) = supfp(G) j G 2 Fg. We show that ia(F) is bounded from above by an abso- lute constant depending only on F, that is ia(F) 6= 1 if and only if χ(Fr1=2) 6= 1, where Fr1=2 is the class of 1=2-shallow minors of graphs from F and χ is the chromatic number. Further, we give bounds on ia(F) when F is the class of planar graphs, the class of d-degenerate graphs, or the class of graphs having tree-width at most d. Specifically, we show that if F is the class of planar graphs, then 8 ≤ ia(F) ≤ 10. In addition, we establish similar results for so-called weak induced arboricities and star arboricities of classes of graphs. 1 Introduction For a graph G, the arboricity a(G) is the smallest number of forests covering all the edges of G. As Nash-Williams proved 50 years ago, the arboricity is governed precisely by the largest density among the subgraphs of G. Let jE(H)j m(G) = max : H ⊆ G; jV (H)j ≥ 2 : jV (H)j − 1 Theorem 1 (Nash-Williams [12]).
    [Show full text]