558 research outputs found
Sparse Kneser graphs are Hamiltonian
For integers and , the Kneser graph is the
graph whose vertices are the -element subsets of and whose
edges connect pairs of subsets that are disjoint. The Kneser graphs of the form
are also known as the odd graphs. We settle an old problem due to
Meredith, Lloyd, and Biggs from the 1970s, proving that for every ,
the odd graph has a Hamilton cycle. This and a known conditional
result due to Johnson imply that all Kneser graphs of the form
with and have a Hamilton cycle. We also prove that
has at least distinct Hamilton cycles for .
Our proofs are based on a reduction of the Hamiltonicity problem in the odd
graph to the problem of finding a spanning tree in a suitably defined
hypergraph on Dyck words
On Colorings of Graph Powers
In this paper, some results concerning the colorings of graph powers are
presented. The notion of helical graphs is introduced. We show that such graphs
are hom-universal with respect to high odd-girth graphs whose st power
is bounded by a Kneser graph. Also, we consider the problem of existence of
homomorphism to odd cycles. We prove that such homomorphism to a -cycle
exists if and only if the chromatic number of the st power of
is less than or equal to 3, where is the 2-subdivision of . We also
consider Ne\v{s}et\v{r}il's Pentagon problem. This problem is about the
existence of high girth cubic graphs which are not homomorphic to the cycle of
size five. Several problems which are closely related to Ne\v{s}et\v{r}il's
problem are introduced and their relations are presented
Colouring quadrangulations of projective spaces
A graph embedded in a surface with all faces of size 4 is known as a
quadrangulation. We extend the definition of quadrangulation to higher
dimensions, and prove that any graph G which embeds as a quadrangulation in the
real projective space P^n has chromatic number n+2 or higher, unless G is
bipartite. For n=2 this was proved by Youngs [J. Graph Theory 21 (1996),
219-227]. The family of quadrangulations of projective spaces includes all
complete graphs, all Mycielski graphs, and certain graphs homomorphic to
Schrijver graphs. As a corollary, we obtain a new proof of the Lovasz-Kneser
theorem
On semi-transitive orientability of Kneser graphs and their complements
An orientation of a graph is semi-transitive if it is acyclic, and for any
directed path either
there is no edge between and , or is an edge
for all . An undirected graph is semi-transitive if it admits
a semi-transitive orientation. Semi-transitive graphs include several important
classes of graphs such as 3-colorable graphs, comparability graphs, and circle
graphs, and they are precisely the class of word-representable graphs studied
extensively in the literature.
In this paper, we study semi-transitive orientability of the celebrated
Kneser graph , which is the graph whose vertices correspond to the
-element subsets of a set of elements, and where two vertices are
adjacent if and only if the two corresponding sets are disjoint. We show that
for , is not semi-transitive, while for , is semi-transitive. Also, we show computationally that a
subgraph on 16 vertices and 36 edges of , and thus itself
on 56 vertices and 280 edges, is non-semi-transitive. and are the
first explicit examples of triangle-free non-semi-transitive graphs, whose
existence was established via Erd\H{o}s' theorem by Halld\'{o}rsson et al. in
2011. Moreover, we show that the complement graph of
is semi-transitive if and only if
- …