116 research outputs found
Some local--global phenomena in locally finite graphs
In this paper we present some results for a connected infinite graph with
finite degrees where the properties of balls of small radii guarantee the
existence of some Hamiltonian and connectivity properties of . (For a vertex
of a graph the ball of radius centered at is the subgraph of
induced by the set of vertices whose distance from does not
exceed ). In particular, we prove that if every ball of radius 2 in is
2-connected and satisfies the condition for
each path in , where and are non-adjacent vertices, then
has a Hamiltonian curve, introduced by K\"undgen, Li and Thomassen (2017).
Furthermore, we prove that if every ball of radius 1 in satisfies Ore's
condition (1960) then all balls of any radius in are Hamiltonian.Comment: 18 pages, 6 figures; journal accepted versio
On some intriguing problems in Hamiltonian graph theory -- A survey
We survey results and open problems in Hamiltonian graph theory centred around three themes: regular graphs, -tough graphs, and claw-free graphs
Claw -free graphs and line graphs
The research of my dissertation is motivated by the conjecture of Thomassen that every 4-connected line graph is hamiltonian and by the conjecture of Tutte that every 4-edge-connected graph has a no-where-zero 3-flow. Towards the hamiltonian line graph problem, we proved that every 3-connected N2-locally connected claw-free graph is hamiltonian, which was conjectured by Ryjacek in 1990; that every 4-connected line graph of an almost claw free graph is hamiltonian connected, and that every triangularly connected claw-free graph G with |E( G)| ≥ 3 is vertex pancyclic. Towards the second conjecture, we proved that every line graph of a 4-edge-connected graph is Z 3-connected
On Eulerian subgraphs and hamiltonian line graphs
A graph {\color{black}} is Hamilton-connected if for any pair of distinct vertices {\color{black}}, {\color{black}} has a spanning -path; {\color{black}} is 1-hamiltonian if for any vertex subset with , has a spanning cycle. Let , and denote the minimum degree, the matching number and the line graph of a graph , respectively. The following result is obtained. {\color{black} Let be a simple graph} with . If , then each of the following holds. \\ (i) is Hamilton-connected if and only if . \\ (ii) is 1-hamiltonian if and only if . %==========sp For a graph , an integer and distinct vertices , an -path-system of is a subgraph consisting of internally disjoint -paths. The spanning connectivity is the largest integer such that for any with and for any with , has a spanning -path-system. It is known that , and determining if is an NP-complete problem. A graph is maximally spanning connected if . Let and be the smallest integers and such that is maximally spanning connected and , respectively. We show that every locally-connected line graph with connectivity at least 3 is maximally spanning connected, and that the spanning connectivity of a locally-connected line graph can be polynomially determined. As applications, we also determined best possible upper bounds for and , and characterized the extremal graphs reaching the upper bounds. %==============st For integers and , a graph is -supereulerian if for any disjoint edge sets with and , has a spanning closed trail that contains and avoids . Pulleyblank in [J. Graph Theory, 3 (1979) 309-310] showed that determining whether a graph is -supereulerian, even when restricted to planar graphs, is NP-complete. Settling an open problem of Bauer, Catlin in [J. Graph Theory, 12 (1988) 29-45] showed that every simple graph on vertices with , when is sufficiently large, is -supereulerian or is contractible to . We prove the following for any nonnegative integers and . \\ (i) For any real numbers and with , there exists a family of finitely many graphs \F(a,b;s,t) such that if is a simple graph on vertices with and , then either is -supereulerian, or is contractible to a member in \F(a,b;s,t). \\ (ii) Let denote the connected loopless graph with two vertices and parallel edges. If is a simple graph on vertices with and , then when is sufficiently large, either is -supereulerian, or for some integer with , is contractible to a . %==================index For a hamiltonian property \cp, Clark and Wormold introduced the problem of investigating the value \cp(a,b) = \max\{\min\{n: L^n(G) has property \cp\}: and , and proposed a few problems to determine \cp(a,b) with when \cp is being hamiltonian, edge-hamiltonian and hamiltonian-connected. Zhan in 1986 proved that the line graph of a 4-edge-connected graph is Hamilton-connected, which implies a solution to the unsettled cases of above-mentioned problem. We consider an extended version of the problem. Let denote the essential edge-connectivity of a graph , and define \cp\u27(a,b) = \max\{\min\{n: L^n(G) has property \cp\}: and . We investigate the values of \cp\u27(a,b) when \cp is one of these hamiltonian properties. In particular, we show that for any values of , \cp\u27(4,b) \le 2 and \cp\u27(4,b) = 1 if and only if Thomassen\u27s conjecture that every 4-connected line graph is hamiltonian is valid
Upper bounds on the k-forcing number of a graph
Given a simple undirected graph and a positive integer , the
-forcing number of , denoted , is the minimum number of vertices
that need to be initially colored so that all vertices eventually become
colored during the discrete dynamical process described by the following rule.
Starting from an initial set of colored vertices and stopping when all vertices
are colored: if a colored vertex has at most non-colored neighbors, then
each of its non-colored neighbors becomes colored. When , this is
equivalent to the zero forcing number, usually denoted with , a recently
introduced invariant that gives an upper bound on the maximum nullity of a
graph. In this paper, we give several upper bounds on the -forcing number.
Notable among these, we show that if is a graph with order and
maximum degree , then . This simplifies to, for the zero forcing number case
of , . Moreover, when and the graph is -connected, we prove that , which is an improvement when , and
specializes to, for the zero forcing number case, . These results resolve a problem posed by
Meyer about regular bipartite circulant graphs. Finally, we present a
relationship between the -forcing number and the connected -domination
number. As a corollary, we find that the sum of the zero forcing number and
connected domination number is at most the order for connected graphs.Comment: 15 pages, 0 figure
Exploiting structure to cope with NP-hard graph problems: Polynomial and exponential time exact algorithms
An ideal algorithm for solving a particular problem always finds an optimal solution, finds such a solution for every possible instance, and finds it in polynomial time. When dealing with NP-hard problems, algorithms can only be expected to possess at most two out of these three desirable properties. All algorithms presented in this thesis are exact algorithms, which means that they always find an optimal solution. Demanding the solution to be optimal means that other concessions have to be made when designing an exact algorithm for an NP-hard problem: we either have to impose restrictions on the instances of the problem in order to achieve a polynomial time complexity, or we have to abandon the requirement that the worst-case running time has to be polynomial. In some cases, when the problem under consideration remains NP-hard on restricted input, we are even forced to do both.
Most of the problems studied in this thesis deal with partitioning the vertex set of a given graph. In the other problems the task is to find certain types of paths and cycles in graphs. The problems all have in common that they are NP-hard on general graphs. We present several polynomial time algorithms for solving restrictions of these problems to specific graph classes, in particular graphs without long induced paths, chordal graphs and claw-free graphs. For problems that remain NP-hard even on restricted input we present exact exponential time algorithms. In the design of each of our algorithms, structural graph properties have been heavily exploited. Apart from using existing structural results, we prove new structural properties of certain types of graphs in order to obtain our algorithmic results
- …