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 $(2t+1)$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 $(2k+1)$-cycle exists if and only if the chromatic number of the $(2k+1)$st power of $S_2(G)$ is less than or equal to 3, where $S_2(G)$ is the 2-subdivision of $G$. 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

Complements of nearly perfect graphs

A class of graphs closed under taking induced subgraphs is $\chi$-bounded if there exists a function $f$ such that for all graphs $G$ in the class, $\chi(G) \leq f(\omega(G))$. We consider the following question initially studied in [A. Gy{\'a}rf{\'a}s, Problems from the world surrounding perfect graphs, {\em Zastowania Matematyki Applicationes Mathematicae}, 19:413--441, 1987]. For a $\chi$-bounded class $\cal C$, is the class $\bar{C}$ $\chi$-bounded (where $\bar{\cal C}$ is the class of graphs formed by the complements of graphs from $\cal C$)? We show that if $\cal C$ is $\chi$-bounded by the constant function $f(x)=3$, then $\bar{\cal C}$ is $\chi$-bounded by $g(x)=\lfloor\frac{8}{5}x\rfloor$ and this is best possible. We show that for every constant $c>0$, if $\cal C$ is $\chi$-bounded by a function $f$ such that $f(x)=x$ for $x \geq c$, then $\bar{\cal C}$ is $\chi$-bounded. For every $j$, we construct a class of graphs $\chi$-bounded by $f(x)=x+x/\log^j(x)$ whose complement is not $\chi$-bounded

A Fixed-Parameter Algorithm for the Schrijver Problem

The Schrijver graph $S(n,k)$ is defined for integers $n$ and $k$ with $n \geq 2k$ as the graph whose vertices are all the $k$-subsets of $\{1,2,\ldots,n\}$ that do not include two consecutive elements modulo $n$, where two such sets are adjacent if they are disjoint. A result of Schrijver asserts that the chromatic number of $S(n,k)$ is $n-2k+2$ (Nieuw Arch. Wiskd., 1978). In the computational Schrijver problem, we are given an access to a coloring of the vertices of $S(n,k)$ with $n-2k+1$ colors, and the goal is to find a monochromatic edge. The Schrijver problem is known to be complete in the complexity class $\mathsf{PPA}$. We prove that it can be solved by a randomized algorithm with running time $n^{O(1)} \cdot k^{O(k)}$, hence it is fixed-parameter tractable with respect to the parameter $k$.Comment: 19 pages. arXiv admin note: substantial text overlap with arXiv:2204.0676

Choice number of Kneser graphs

In this short note, we show that for any $\epsilon >0$ and $k<n^{0.5-\epsilon}$ the choice number of the Kneser graph $KG_{n,k}$ is $\Theta (n\log n)$