The proper conflict-free chromatic number, $χ_{pcf}(G)$, of a graph $G$ is the least $k$ such that $G$ has a proper $k$-coloring in which for each non-isolated vertex there is a color appearing exactly once among its neighbors. The proper odd chromatic number, $χ_{o}(G)$, of $G$ is the least $k$ such that $G$ has a proper coloring in which for every non-isolated vertex there is a color appearing an odd number of times among its neighbors. We say that a graph class $\mathcal{G}$ is $χ_{pcf}$-bounded ($χ_{o}$-bounded) if there is a function $f$ such that $χ_{pcf}(G) \leq f(χ(G))$ ($χ_{o}(G) \leq f(χ(G))$) for every $G \in \mathcal{G}$. Caro et al. (2022) asked for classes that are linearly $χ_{pcf}$-bounded ($χ_{pcf}$-bounded), and as a starting point, they showed that every claw-free graph $G$ satisfies $χ_{pcf}(G) \le 2Δ(G)+1$, which implies $χ_{pcf}(G) \le 4χ(G)+1$. In this paper, we improve the bound for claw-free graphs to a nearly tight bound by showing that such a graph $G$ satisfies $χ_{pcf}(G) \le Δ(G)+6$, and even $χ_{pcf}(G) \le Δ(G)+4$ if it is a quasi-line graph. These results also give evidence for a conjecture by Caro et al. Moreover, we show that convex-round graphs and permutation graphs are linearly $χ_{pcf}$-bounded. For these last two results, we prove a lemma that reduces the problem of deciding if a hereditary class is linearly $χ_{pcf}$-bounded to deciding if the bipartite graphs in the class are $χ_{pcf}$-bounded by an absolute constant. This lemma complements a theorem of Liu (2022) and motivates us to study boundedness in bipartite graphs. In particular, we show that biconvex bipartite graphs are $χ_{pcf}$-bounded while convex bipartite graphs are not even $χ_o$-bounded, and exhibit a class of bipartite circle graphs that is linearly $χ_o$-bounded but not $χ_{pcf}$-bounded.
翻译:图G的真冲突自由色数χ_{pcf}(G)是指最小的整数k,使得G存在一个真k-着色,其中每个非孤立顶点在其邻点中恰有一种颜色出现一次。图G的真奇色数χ_{o}(G)是指最小的整数k,使得G存在一个真着色,其中每个非孤立顶点在其邻点中有一种颜色出现奇数次。若存在函数f使得对于类𝒢中的每个图G满足χ_{pcf}(G) ≤ f(χ(G))(或χ_{o}(G) ≤ f(χ(G))),则称图类𝒢是χ_{pcf}-有界的(或χ_{o}-有界的)。Caro等人(2022)提出了寻找线性χ_{pcf}-有界(即χ_{pcf}-有界)图类的问题,并作为起点,证明了每个无爪图G满足χ_{pcf}(G) ≤ 2Δ(G)+1,这蕴含χ_{pcf}(G) ≤ 4χ(G)+1。本文中,我们将无爪图的界改进为一个近乎紧的界,证明此类图G满足χ_{pcf}(G) ≤ Δ(G)+6,若其为拟线图则甚至满足χ_{pcf}(G) ≤ Δ(G)+4。这些结果也为Caro等人的一个猜想提供了证据。此外,我们证明了凸圆形图和置换图是线性χ_{pcf}-有界的。对于后两个结果,我们证明了一个引理,该引理将判定一个遗传类是否线性χ_{pcf}-有界的问题,约化为判定该类中二部图是否被一个绝对常数χ_{pcf}-有界的问题。此引理补充了Liu(2022)的一个定理,并促使我们研究二部图中的有界性。特别地,我们证明了双凸二部图是χ_{pcf}-有界的,而凸二部图甚至不是χ_{o}-有界的,并展示了一类二部圆图是线性χ_{o}-有界但非χ_{pcf}-有界的。