arXiv++ Combinatorics

Graphs considered in this paper are finite, undirected and without loops, but with multiple edges. For an integer $t\geq 1$, denote by $\mathcal{MG}_t$ the class of graphs whose maximum multiplicity is at most $t$. A graph $G$ is called strictly $t$-degenerate if every non-empty subgraph $H$ of $G$ contains a vertex $v$ whose degree in $H$ is at most $t-1$. The point partition number $χ_t(G)$ of $G$ is smallest number of colors needed to color the vertices of $G$ so that each vertex receives a color and vertices with the same color induce a strictly $t$-degenerate subgraph of $G$. So $χ_1$ is the chromatic number, and $χ_2$ is known as the point aboricity. The point partition number $χ_t$ with $t\geq 1$ was introduced by Lick and White. If $H$ is a simple graph, then $tH$ denotes the graph obtained from $H$ by replacing each edge of $H$ by $t$ parallel edges. Then $ω_t(G)$ is the largest integer $n$ such that $G$ contains a $tK_n$ as a subgraph. Let $G$ be a graph belonging to $\mathcal{MG}_t$. Then $ω_t(G)\leq χ_t(G)$ and we say that $G$ is $χ_t$-perfect if every induced subgraph $H$ of $G$ satisfies $ω_t(H)=χ_t(H)$. Based on the Strong Perfect Graph Theorem due to Chudnowsky, Robertson, Seymour and Thomas, we give a characterization of $χ_t$-perfect graphs of $\mathcal{MG}_t$ by a set of forbidden induced subgraphs. We also discuss some complexity problems for the class of $χ_t$-critical graphs.

Graphs considered in this paper are finite, undirected and loopless, but we allow multiple edges. The point partition number $χ_t(G)$ is the least integer $k$ for which $G$ admits a coloring with $k$ colors such that each color class induces a $(t-1)$-degenerate subgraph of $G$. So $χ_1$ is the chromatic number and $χ_2$ is the point aboricity. The point partition number $χ_t$ with $t\geq 1$ was introduced by Lick and White. A graph $G$ is called $χ_t$-critical if every proper subgraph $H$ of $G$ satisfies $χ_t(H)<χ_t(G)$. In this paper we prove that if $G$ is a $χ_t$-critical graph whose order satisfies $|G|\leq 2χ_t(G)-2$, then $G$ can be obtained from two non-empty disjoint subgraphs $G_1$ and $G_2$ by adding $t$ edges between any pair $u,v$ of vertices with $u\in V(G_1)$ and $v\in V(G_2)$. Based on this result we establish the minimum number of edges possible in a $χ_t$-critical graph $G$ of order $n$ and with $χ_t(G)=k$, provided that $n\leq 2k-1$ and $t$ is even. For $t=1$ the corresponding two results were obtained in 1963 by Tibor Gallai.