52,398 research outputs found
Circuits and Cycles in Graphs and Matroids
This dissertation mainly focuses on characterizing cycles and circuits in graphs, line graphs and matroids. We obtain the following advances.
1. Results in graphs and line graphs. For a connected graph G not isomorphic to a path, a cycle or a K1,3, let pc(G) denote the smallest integer n such that the nth iterated line graph Ln(G) is panconnected. A path P is a divalent path of G if the internal vertices of P are of degree 2 in G. If every edge of P is a cut edge of G, then P is a bridge divalent path of G; if the two ends of P are of degree s and t, respectively, then P is called a divalent (s, t)-path. Let l(G) = max{m : G has a divalent path of length m that is not both of length 2 and in a K3}. We prove the following. (i) If G is a connected triangular graph, then L(G) is panconnected if and only if G is essentially 3-edge-connected. (ii) pc(G) †l(G) + 2. Furthermore, if l(G) ℠2, then pc(G) = l(G) + 2 if and only if for some integer t ℠3, G has a bridge divalent (3, t)-path of length l(G).
For a graph G, the supereulerian width ÎŒâČ(G) of a graph G is the largest integer s such
that G has a spanning (k;u,v)-trail-system, for any integer k with 1 †k †s, and for any
u, v â V (G) with u Ìž= v. Thus ÎŒâČ(G) â„ 2 implies that G is supereulerian, and so graphs with
higher supereulerian width are natural generalizations of supereulerian graphs. Settling an open
problem of Bauer, Catlin in [J. Graph Theory 12 (1988), 29-45] proved that if a simple graph
G on n â„ 17 vertices satisfy ÎŽ(G) â„ n â 1, then ÎŒâČ(G) â„ 2. In this paper, we show that for 4
any real numbers a, b with 0 \u3c a \u3c 1 and any integer s \u3e 0, there exists a finite graph family
F = F(a,b,s) such that for a simple graph G with n = |V(G)|, if for any u,v â V(G) with
uv â/ E(G), max{dG(u), dG(v)} â„ an + b, then either ÎŒâČ(G) â„ s + 1 or G is contractible to a
member in F. When a = 1,b = â3, we show that if n is sufficiently large, K3,3 is the only 42
obstacle for a 3-edge-connected graph G to satisfy ÎŒâČ(G) â„ 3. An hourglass is a graph obtained from K5 by deleting the edges in a cycle of length 4, and an
hourglass-free graph is one that has no induced subgraph isomorphic to an hourglass. Kriesell in [J. Combin. Theory Ser. B, 82 (2001), 306-315] proved that every 4-connected hourglass-free line graph is Hamilton-connected, and Kaiser, Ryj ÌaËcek and Vr Ìana in [Discrete Mathematics, 321 (2014) 1-11] extended it by showing that every 4-connected hourglass-free line graph is 1- Hamilton-connected. We characterize all essentially 4-edge-connected graphs whose line graph is hourglass-free. Consequently we prove that for any integer s and for any hourglass-free line
graph L(G), each of the following holds. (i) If s â„ 2, then L(G) is s-hamiltonian if and only if Îș(L(G)) â„ s + 2; (ii) If s â„ 1, then L(G) is s-Hamilton-connected if and only if Îș(L(G)) â„ s + 3.
For integers s1, s2, s3 \u3e 0, let Ns1,s2,s3 denote the graph obtained by identifying each vertex of a K3 with an end vertex of three disjoint paths Ps1+1, Ps2+1, Ps3+1 of length s1,s2 and s3, respectively. We prove the following results. (i)LetN1 ={Ns1,s2,s3 :s1 \u3e0,s1 â„s2 â„s3 â„0ands1+s2+s3 â€6}. Thenforany N â N1, every N-free line graph L(G) with |V (L(G))| â„ s + 3 is s-hamiltonian if and only if Îș(L(G)) â„ s + 2. (ii)LetN2={Ns1,s2,s3 :s1\u3e0,s1â„s2â„s3â„0ands1+s2+s3â€4}.ThenforanyNâN2, every N -free line graph L(G) with |V (L(G))| â„ s + 3 is s-Hamilton-connected if and only if Îș(L(G)) â„ s + 3. 2. Results in matroids. A matroid M with a distinguished element e0 â E(M) is a rooted matroid with e0 being the root. We present a characterization of all connected binary rooted matroids whose root lies in at most three circuits, and a characterization of all connected binary rooted matroids whose root lies in all but at most three circuits. While there exist infinitely many such matroids, the number of serial reductions of such matroids is finite. In particular, we find two finite families of binary matroids M1 and M2 and prove the following. (i) For some e0 â E(M), M has at most three circuits containing e0 if and only if the serial reduction of M is isomorphic to a member in M1. (ii) If for some e0 â E(M), M has at most three circuits not containing e0 if and only if the serial reduction of M is isomorphic to a member in M2. These characterizations will be applied to show that every connected binary matroid M with at least four circuits has a 1-hamiltonian circuit graph
Linear rank-width of distance-hereditary graphs I. A polynomial-time algorithm
Linear rank-width is a linearized variation of rank-width, and it is deeply
related to matroid path-width. In this paper, we show that the linear
rank-width of every -vertex distance-hereditary graph, equivalently a graph
of rank-width at most , can be computed in time , and a linear layout witnessing the linear rank-width can be computed with
the same time complexity. As a corollary, we show that the path-width of every
-element matroid of branch-width at most can be computed in time
, provided that the matroid is given by an
independent set oracle.
To establish this result, we present a characterization of the linear
rank-width of distance-hereditary graphs in terms of their canonical split
decompositions. This characterization is similar to the known characterization
of the path-width of forests given by Ellis, Sudborough, and Turner [The vertex
separation and search number of a graph. Inf. Comput., 113(1):50--79, 1994].
However, different from forests, it is non-trivial to relate substructures of
the canonical split decomposition of a graph with some substructures of the
given graph. We introduce a notion of `limbs' of canonical split
decompositions, which correspond to certain vertex-minors of the original
graph, for the right characterization.Comment: 28 pages, 3 figures, 2 table. A preliminary version appeared in the
proceedings of WG'1
Fully polynomial FPT algorithms for some classes of bounded clique-width graphs
Parameterized complexity theory has enabled a refined classification of the
difficulty of NP-hard optimization problems on graphs with respect to key
structural properties, and so to a better understanding of their true
difficulties. More recently, hardness results for problems in P were achieved
using reasonable complexity theoretic assumptions such as: Strong Exponential
Time Hypothesis (SETH), 3SUM and All-Pairs Shortest-Paths (APSP). According to
these assumptions, many graph theoretic problems do not admit truly
subquadratic algorithms, nor even truly subcubic algorithms (Williams and
Williams, FOCS 2010 and Abboud, Grandoni, Williams, SODA 2015). A central
technique used to tackle the difficulty of the above mentioned problems is
fixed-parameter algorithms for polynomial-time problems with polynomial
dependency in the fixed parameter (P-FPT). This technique was introduced by
Abboud, Williams and Wang in SODA 2016 and continued by Husfeldt (IPEC 2016)
and Fomin et al. (SODA 2017), using the treewidth as a parameter. Applying this
technique to clique-width, another important graph parameter, remained to be
done. In this paper we study several graph theoretic problems for which
hardness results exist such as cycle problems (triangle detection, triangle
counting, girth, diameter), distance problems (diameter, eccentricities, Gromov
hyperbolicity, betweenness centrality) and maximum matching. We provide
hardness results and fully polynomial FPT algorithms, using clique-width and
some of its upper-bounds as parameters (split-width, modular-width and
-sparseness). We believe that our most important result is an -time algorithm for computing a maximum matching where
is either the modular-width or the -sparseness. The latter generalizes
many algorithms that have been introduced so far for specific subclasses such
as cographs, -lite graphs, -extendible graphs and -tidy
graphs. Our algorithms are based on preprocessing methods using modular
decomposition, split decomposition and primeval decomposition. Thus they can
also be generalized to some graph classes with unbounded clique-width
Forbidden Directed Minors and Kelly-width
Partial 1-trees are undirected graphs of treewidth at most one. Similarly,
partial 1-DAGs are directed graphs of KellyWidth at most two. It is well-known
that an undirected graph is a partial 1-tree if and only if it has no K_3
minor. In this paper, we generalize this characterization to partial 1-DAGs. We
show that partial 1-DAGs are characterized by three forbidden directed minors,
K_3, N_4 and M_5
- âŠ