Abstract:The well known Wagner's theorem states that a graph is a planar graph if and only if it is $K_5$-minor-free and $K_{3,3}$-minor-free. Denote by $AT(G)$ the Alon-Tarsi number of a graph $G$. We show that for any $K_{3,3}$-minor-free graph $G$, $AT(G)\le 5$, there exists a matching $M$ and a forest $F$ such that $AT(G-M)\le 4$ and $AT(G-E(F))\le 3$, extending the result on the Alon-Tarsi number of $K_5$-minor-free graphs due to Abe, Kim and Ozeki.
What problem does this paper attempt to address?
The problems that this paper attempts to solve are related to the upper bound of the Alon - Tarsi number (AT number) of K3,3 - minor - free graphs and their related properties. Specifically, the authors hope to prove that for any K3,3 - minor - free graph G, the following conclusions hold:
1. The Alon - Tarsi number \( \text{AT}(G)\leq5 \).
2. There exists a matching \( M \) such that \( \text{AT}(G - M)\leq4 \).
3. There exists a forest \( F \) such that \( \text{AT}(G - E(F))\leq3 \).
The solutions to these problems are an extension of the existing results. According to the well - known Wagner theorem, a graph is planar if and only if it is K5 - minor - free and K3,3 - minor - free. Therefore, this research not only explores K3,3 - minor - free graphs but also further generalizes the previous research results on K5 - minor - free graphs.
### Background Introduction
- **Alon - Tarsi Number**: For a graph \( G \), its Alon - Tarsi number \( \text{AT}(G) \) is the smallest integer \( k \) such that there exists an orientation \( D \) satisfying \( |EE(D)|\neq|OE(D)| \) and the maximum out - degree \( \Delta^+(D)<k \).
- **Matching**: A set of edges in a graph where any two edges have no common vertices.
- **Forest**: An acyclic graph, which can be regarded as a collection of several trees.
### Main Contributions
The main contributions of this paper are:
- Proving that for all K3,3 - minor - free graphs, all of the above three conclusions hold.
- These conclusions are not only an extension of the existing results but also provide a new perspective for understanding a wider class of graphs.
- Through these conclusions, some important corollaries can be derived, for example, the list chromatic number \( \chi_\ell(G)\leq5 \) of K3,3 - minor - free graphs.
### Method Overview
To prove these conclusions, the authors used a variety of graph - theoretic tools and techniques, including but not limited to:
- Application of the Wagner theorem.
- The concepts of graph orientation and Euler subgraphs.
- Using induction and constructive proofs to handle specific types of graphs.
### Significance of the Conclusions
The significance of these conclusions lies in the fact that they not only deepen our understanding of K3,3 - minor - free graphs but also provide a theoretical basis for further research on other types of graphs. In addition, these conclusions also verify some existing conjectures and point out the direction for future research.
### Future Research Directions
The authors also proposed some future research directions in the paper, such as finding the tight upper bound of the Alon - Tarsi number of Ks,t - minor - free graphs and exploring whether for all integers \( 1\leq s\leq t \), each Ks,t - minor - free graph \( G \) satisfies \( \text{AT}(G)\leq2s + t \).
In summary, this paper aims to reveal the properties of the Alon - Tarsi number of K3,3 - minor - free graphs through strict mathematical proofs and provide new ideas and methods for further research in the field of graph theory.