arXiv++ Combinatorics

For a graph \(H\), the \(k\)-color Ramsey number \(r(H;k)\) is the least integer \(N\) such that every \(k\)-edge-coloring of \(K_N\) contains a monochromatic copy of \(H\). A \(k\)-list assignment has \(|L(e)|=k\) for every edge. The list Ramsey number \(r_\ell(H;k)\) is the least integer \(N\) for which there exists a \(k\)-list assignment on \(E(K_N)\) such that every coloring from the lists contains a monochromatic copy of \(H\). Let \(K_{1,n}\) be a star, \(S(n,m)\) the double star obtained by joining the centers of \(K_{1,n}\) and \(K_{1,m}\), and \(S_n^m\) the graph obtained from \(K_{1,n}\) by subdividing \(m\) edges once. Alon et al.\ conjectured that \(r_\ell(K_{1,n};k)=r(K_{1,n};k)\) for all \(k,n\ge1\). In this paper, we confirm their conjecture for all \(k\ge1\) and \(n\ge3\) by a unified direct proof. For even \(k\ge4\) and under explicit parameter conditions, we prove that \(r(S(n,m);k)=kn+m+2\) for even \(n\) and \(r(S_n^m;k)=k(n-1)+m+2\) for odd \(n\). For two colors, we establish a general list Ramsey lower bound and determine the common values of Ramsey and list Ramsey numbers for double and subdivided stars in explicit parameter ranges. These results close several gaps in the known bounds.

In 1982, Harary introduced the concept of Ramsey achievement game on graphs. Given a graph $F$ with no isolated vertices. Consider the following game played on the complete graph $K_n$ by two players Alice and Bob. First, Alice colors one of the edges of $K_n$ blue, then Bob colors a different edge red, and so on. The first player who can complete the formation of $F$ in his color is the winner. The minimum $n$ for which Alice has a winning strategy is the achievement number of $F$, denoted by $a(F)$. If we replace $K_n$ in the game by the completed bipartite graph $K_{n,n}$, we get the bipartite achievement number, denoted by $\operatorname{ba}(F)$. In his seminal paper, Harary proposed an open problem of determining bipartite achievement numbers for trees. In this paper, we correct $\operatorname{ba}(mK_2)=m+1$ to $m$ and disprove $\operatorname{ba}(K_{1,m})=2m-2$ from Erickson and Harary, and extend their results on bipartite achievement numbers. We also find the exact values of achievement numbers for matchings, and the exact values or upper and lower bounds of bipartite achievement numbers on matchings, stars, and double stars. Our upper bounds are obtained by deriving efficient winning strategies for Alice.

The anti-forcing number of a perfect matching $M$ of a graph $G$ is the minimum number of edges of $G$ whose deletion results in a subgraph with a unique perfect matching $M$, denoted by $af(G,M)$. When $G$ is a plane bipartite graph, Lei et al. established a minimax result: For any perfect matching $M$ of $G$, $af(G,M)$ equals the maximum number of $M$-alternating cycles of $G$ where any two either are disjoint or intersect only at edges in $M$; For a hexagonal system, the maximum anti-forcing number equals the fries number. In this paper we show that for every perfect matching $M$ of a hexagonal system $H$ with the maximum anti-forcing number or minus one, $af(H,M)$ equals the number of $M$-alternating hexagons of $H$. Further we show that a hexagonal system $H$ has a triphenylene as nice subgraph if and only $af(H,M)$ always equals the number of $M$-alternating hexagons of $H$ for every perfect matching $M$ of $H$.

The forcing number of a perfect matching of a graph was introduced by Harary et al., which originated from Klein and Randić's ideal of innate degree of freedom of Kekulé structure in molecular graph. On the opposite side in some sense, Vukičević and Trinajstié proposed the anti-forcing number of a graph, afterwards Lei et al. generalized this idea to single perfect matching. Recently the forcing and anti-forcing polynomials of perfect matchings of a graph were proposed as counting polynomials for perfect matchings with the same forcing number and anti-forcing number respectively. In this paper, we obtain the explicit expressions of forcing and anti-forcing polynomials of a pyrene system. As consequences, the forcing and anti-forcing spectra of a pyrene system are determined.

DP-coloring (also known as correspondence coloring) is a generalization of list coloring introduced recently by Dvořák and Postle (2017). In this paper, we prove that every planar graph $G$ without $4$-cycles adjacent to $k$-cycles is DP-$4$-colorable for $k=5$ and $6$. As a consequence, we obtain two new classes of $4$-choosable planar graphs. We use identification of verticec in the proof, and actually prove stronger statements that every pre-coloring of some short cycles can be extended to the whole graph.

A strong edge-coloring of a graph $G=(V,E)$ is a partition of its edge set $E$ into induced matchings. We study bipartite graphs with one part having maximum degree at most $3$ and the other part having maximum degree $Δ$. We show that every such graph has a strong edge-coloring using at most $3 Δ$ colors. Our result confirms a conjecture of Brualdi and Quinn Massey ~\cite{[BQ]} for this class of bipartite graphs.

A polyomino graph $H$ is a connected finite subgraph of the infinite plane grid such that each finite face is surrounded by a regular square of side length one and each edge belongs to at least one square. In this paper, we show that if $K$ is a maximum resonant set of $H$, then $H-K$ has a unique perfect matching. We further prove that the maximum forcing number of a polyomino graph is equal to its Clar number. Based on this result, we have that the maximum forcing number of a polyomino graph can be computed in polynomial time. We also show that if $K$ is a maximal alternating set of $H$, then $H-K$ has a unique perfect matching.