We know that connectivity is closely related to the Hamiltonian of planar graphs.
The most famous result is the Tutte theorem.
Theorem (Tutte, 1956). A 4-connected planar graph has a Hamiltonian cycle.
It's worth noting that this theorem was later extended.
For example: Thomassen proves one of Plummer's conjectures: Every 4-connected planar graph is Hamiltonian-connected.
Anyway, Tutte's theorem follows that any 4-connected planar graph $G$ has an almost perfect matching, and in the case of even order, $G$ has a perfect matching.
I have a potentially naive question:
If we do not use Tutte's theorem, can we prove that any 4 connected planar
graph has an almost perfect matching? What are the possible directions of proof?
Because of Tutte's strong results, there seem to be fewer ways to determine if a planar graph contains a perfect matching (or people don't pay much attention to it).
I wonder if anyone has ever dealt with this problem.
Best Answer
The following article provides a positive answer to my question. Yes, it is possible to prove that a 4-connected planar graph has a perfect matching or almost perfect matching even without using the Hamiltonian property.
Here is my selective excerpt (because the authors also did something else in the same article).
1. First, the authors introduce the concept of the 4-block tree.
2. Main theorem.
Theorem 3. Any 3-connected planar graph $G$ of order $n$ has a matching of size $\min \left\{\frac{n-1}{2}, \frac{2 n+4-\ell_4}{4}\right\}$, where $\ell_4$ is the number of leaves of the 4-block tree of $G$.
Proof. Let $G$ be a 3-connected planar graph of order $n$, and let $M$ be a maximum matching in $G$. By Theorem 2 , there exists a vertex set $T$ in $G$ such that there are exactly $\left|V_{\neg M}\right|=\operatorname{odd}(T)-|T|$ unmatched vertices in $M$. If $|T| \leqslant 2$, then $G-T$ is still connected, i.e., $\left|V_{\neg M}\right| \leqslant \operatorname{odd}(T) \leqslant 1$. But then clearly $|M| \geqslant \frac{n-1}{2}$.
If $|T|=3$, then there can be at most two odd components in $G-T$. If there were three or more components, they would all have to be incident to all vertices of $T$ by 3 -connectivity, and the graph would contain $K_{3,3}$ as a minor. But $G$ is planar, so this is impossible. Since we assumed that there are $\operatorname{odd}(T)-|T|<0$ unmatched vertices, this case is actually impossible.
If $|T| \geqslant 4$, then we greedily add edges between any two non-adjacent vertices of $T$ that lie on the same face of $G$, without destroying the planarity of the graph. Let $G_T$ denote the subgraph of this augmented graph induced by the vertices of $T$ (see Fig. 3). Note that no two components of $G-T$ can be within the same face of $G_T$, because then we would have introduced an edge to split the face between them. Therefore, for every odd component there must be a unique face in $G_T$. This immediately proves $\operatorname{odd}(T) \leqslant 2|T|-4$, but in fact, we can do better and show $2 \operatorname{odd}(T) \leqslant 2|T|-4+\ell_4$.
More precisely, let $f_3$ and $f_{\geqslant 4}$ be the number of faces of $G_T$ of degree 3 and degree at least 4 , respectively. An easy counting argument shows that $f_3+2 f_{\geqslant 4} \leqslant 2|T|-4$. Let $C$ be an odd component, and let $f_C$ be the face of $G_T$ containing $C$. If $f_C$ has degree 3 , then $C$ has only three neighbors in $T$, and these three neighbors form a separating triplet of $G$ (separating $C$ from the rest of $T$, remember that $|T| \geqslant 4$ ). This separating triplet is the ancestor of at least one leaf of the 4-block tree of $G$. So $C$ can be associated with one face of $G_T$ that has degree 3 and one leaf of the 4-block tree. If $f_C$ has a higher degree, then $C$ can be associated with one face of $G_T$ that counts towards $f_{\geqslant 4}$. So $2 \operatorname{odd}(T) \leqslant f_3+\ell_4+2 f_{\geqslant 4} \leqslant 2|T|-4+\ell_4$. But then $\left|V_{\neg M}\right| \leqslant \frac{2|T|-4+\ell_4}{2}-|T|=\frac{\ell_4-4}{2}$, which implies $\left|V_M\right| \geqslant n-\left|V_{\neg M}\right| \geqslant \frac{2 n+4-\ell_4}{2}$.