71 research outputs found
k-ordered hamiltonicity of iterated line graphs
AbstractA graph G of order n is k-ordered hamiltonian, 2≤k≤n, if for every sequence v1,v2,…,vk of k distinct vertices of G, there exists a hamiltonian cycle that encounters v1,v2,…,vk in this order. In this paper, we generalize two well-known theorems of Chartrand on hamiltonicity of iterated line graphs to k-ordered hamiltonicity. We prove that if Ln(G) is k-ordered hamiltonian and n is sufficiently large, then Ln+1(G) is (k+1)-ordered hamiltonian. Furthermore, for any connected graph G, which is not a path, cycle, or the claw K1,3, there exists an integer N′ such that LN′+(k−3)(G) is k-ordered hamiltonian for k≥3
Recommended from our members
Combinatorics, Probability and Computing
The main theme of this workshop was the use of probabilistic
methods in combinatorics and theoretical computer science. Although
these methods have been around for decades, they are being refined all
the time: they are getting more and more sophisticated and powerful.
Another theme was the study of random combinatorial structures,
either for their own sake, or to tackle extremal questions. The workshop
also emphasized connections between probabilistic combinatorics and
discrete probability
On Generalizations of Supereulerian Graphs
A graph is supereulerian if it has a spanning closed trail. Pulleyblank in 1979 showed that determining whether a graph is supereulerian, even when restricted to planar graphs, is NP-complete. Let and be the edge-connectivity and the minimum degree of a graph , respectively. For integers and , a graph is -supereulerian if for any disjoint edge sets with and , has a spanning closed trail that contains and avoids . This dissertation is devoted to providing some results on -supereulerian graphs and supereulerian hypergraphs.
In Chapter 2, we determine the value of the smallest integer such that every -edge-connected graph is -supereulerian as follows:
j(s,t) = \left\{ \begin{array}{ll} \max\{4, t + 2\} & \mbox{ if $0 \le s \le 1$, or $(s,t) \in \{(2,0), (2,1), (3,0),(4,0)\}$,} \\ 5 & \mbox{ if $(s,t) \in \{(2,2), (3,1)\}$,} \\ s + t + \frac{1 - (-1)^s}{2} & \mbox{ if $s \ge 2$ and $s+t \ge 5$. } \end{array} \right.
As applications, we characterize -supereulerian graphs when in terms of edge-connectivities, and show that when , -supereulerianicity is polynomially determinable.
In Chapter 3, for a subset with , a necessary and sufficient condition for to be a contractible configuration for supereulerianicity is obtained. We also characterize the -supereulerianicity of when . These results are applied to show that if is -supereulerian with , then for any permutation on the vertex set , the permutation graph is -supereulerian if and only if .
For a non-negative integer , a graph is -Hamiltonian if the removal of any vertices results in a Hamiltonian graph. Let and denote the smallest integer such that the iterated line graph is -supereulerian and -Hamiltonian, respectively. In Chapter 4, for a simple graph , we establish upper bounds for and . Specifically, the upper bound for the -Hamiltonian index sharpens the result obtained by Zhang et al. in [Discrete Math., 308 (2008) 4779-4785].
Harary and Nash-Williams in 1968 proved that the line graph of a graph is Hamiltonian if and only if has a dominating closed trail, Jaeger in 1979 showed that every 4-edge-connected graph is supereulerian, and Catlin in 1988 proved that every graph with two edge-disjoint spanning trees is a contractible configuration for supereulerianicity. In Chapter 5, utilizing the notion of partition-connectedness of hypergraphs introduced by Frank, Kir\\u27aly and Kriesell in 2003, we generalize the above-mentioned results of Harary and Nash-Williams, of Jaeger and of Catlin to hypergraphs by characterizing hypergraphs whose line graphs are Hamiltonian, and showing that every 2-partition-connected hypergraph is a contractible configuration for supereulerianicity.
Applying the adjacency matrix of a hypergraph defined by Rodr\\u27iguez in 2002, let be the second largest adjacency eigenvalue of . In Chapter 6, we prove that for an integer and a -uniform hypergraph of order with even, the minimum degree and , if , then is -edge-connected. %.
Some discussions are displayed in the last chapter. We extend the well-known Thomassen Conjecture that every 4-connected line graph is Hamiltonian to hypergraphs. The -supereulerianicity of hypergraphs is another interesting topic to be investigated in the future
Resilience for tight Hamiltonicity
We prove that random hypergraphs are asymptotically almost surely resiliently Hamiltonian. Specifically, for any and , we show that asymptotically almost surely, every subgraph of the binomial random -uniform hypergraph in which all -sets are contained in at least edges has a tight Hamilton cycle. This is a cyclic ordering of the vertices such that each consecutive vertices forms an edge.Mathematics Subject Classifications: 05C80, 05C35Keywords: Random graphs, hypergraphs, tight Hamilton cycles, resilienc
On the power of symmetric linear programs
© 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes,creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.We consider families of symmetric linear programs (LPs) that decide a property of graphs (or other relational structures) in the sense that, for each size of graph, there is an LP defining a polyhedral lift that separates the integer points corresponding to graphs with the property from those corresponding to graphs without the property. We show that this is equivalent, with at most polynomial blow-up in size, to families of symmetric Boolean circuits with threshold gates. In particular, when we consider polynomial-size LPs, the model is equivalent to definability in a non-uniform version of fixed-point logic with counting (FPC). Known upper and lower bounds for FPC apply to the non-uniform version. In particular, this implies that the class of graphs with perfect matchings has polynomial-size symmetric LPs while we obtain an exponential lower bound for symmetric LPs for the class of Hamiltonian graphs. We compare and contrast this with previous results (Yannakakis 1991) showing that any symmetric LPs for the matching and TSP polytopes have exponential size. As an application, we establish that for random, uniformly distributed graphs, polynomial-size symmetric LPs are as powerful as general Boolean circuits. We illustrate the effect of this on the well-studied planted-clique problem.Peer ReviewedPostprint (author's final draft
- …