52 research outputs found
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
On the Complexity of Digraph Colourings and Vertex Arboricity
It has been shown by Bokal et al. that deciding 2-colourability of digraphs
is an NP-complete problem. This result was later on extended by Feder et al. to
prove that deciding whether a digraph has a circular -colouring is
NP-complete for all rational . In this paper, we consider the complexity
of corresponding decision problems for related notions of fractional colourings
for digraphs and graphs, including the star dichromatic number, the fractional
dichromatic number and the circular vertex arboricity. We prove the following
results:
Deciding if the star dichromatic number of a digraph is at most is
NP-complete for every rational .
Deciding if the fractional dichromatic number of a digraph is at most is
NP-complete for every .
Deciding if the circular vertex arboricity of a graph is at most is
NP-complete for every rational .
To show these results, different techniques are required in each case. In
order to prove the first result, we relate the star dichromatic number to a new
notion of homomorphisms between digraphs, called circular homomorphisms, which
might be of independent interest. We provide a classification of the
computational complexities of the corresponding homomorphism colouring problems
similar to the one derived by Feder et al. for acyclic homomorphisms.Comment: 21 pages, 1 figur
Combinatorial Stokes formulas via minimal resolutions
We describe an explicit chain map from the standard resolution to the minimal
resolution for the finite cyclic group Z_k of order k. We then demonstrate how
such a chain map induces a "Z_k-combinatorial Stokes theorem", which in turn
implies "Dold's theorem" that there is no equivariant map from an n-connected
to an n-dimensional free Z_k-complex.
Thus we build a combinatorial access road to problems in combinatorics and
discrete geometry that have previously been treated with methods from
equivariant topology. The special case k=2 for this is classical; it involves
Tucker's (1949) combinatorial lemma which implies the Borsuk-Ulam theorem, its
proof via chain complexes by Lefschetz (1949), the combinatorial Stokes formula
of Fan (1967), and Meunier's work (2006).Comment: 18 page
Combinatorial Consequences of Relatives of the Lusternik-Schnirelmann-Borsuk Theorem
Call a set of 2n + k elements Kneser colored when its n-subsets are put into classes such that disjoint n-subsets are in different classes. Kneser showed that k + 2 classes are sufficient to Kneser-color the n-subsets of a 2n + k element set. There are several proofs that this same number is necessary which rely on fixed-point theorems related to the Lusternik-Schnirelmann- Borsuk (LSB) theorem. By employing generalizations of these theorems we expand the proofs mentioned to obtain proofs of an original result we call the Subcoloring theorem. The Subcoloring theorem asserts the existence of a partition of a Kneser-colored set that halves its classes in a special way. We demonstrate both a topological proof and a combinatorial proof of this main result. We present an original corollary that extends the Subcoloring theorem by providing bounds on the size of the pieces of the asserted partition. Throughout, we formulate our results both in combinatorial and graph theoretic terminology
- …