Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1704.04124

Tight upper bound on the maximum anti-forcing numbers of graphs

Lingjuan Shi·Heping Zhang
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $G$ be a simple graph with a perfect matching. Deng and Zhang showed that the maximum anti-forcing number of $G$ is no more than the cyclomatic number. In this paper, we get a novel upper bound on the maximum anti-forcing number of $G$ and investigate the extremal graphs. If $G$ has a perfect matching $M$ whose anti-forcing number attains this upper bound, then we say $G$ is an extremal graph and $M$ is a nice perfect matching. We obtain an equivalent condition for the nice perfect matchings of $G$ and establish a one-to-one correspondence between the nice perfect matchings and the edge-involutions of $G$, which are the automorphisms $α$ of order two such that $v$ and $α(v)$ are adjacent for every vertex $v$. We demonstrate that all extremal graphs can be constructed from $K_2$ by implementing two expansion operations, and $G$ is extremal if and only if one factor in a Cartesian decomposition of $G$ is extremal. As examples, we have that all perfect matchings of the complete graph $K_{2n}$ and the complete bipartite graph $K_{n, n}$ are nice. Also we show that the hypercube $Q_n$, the folded hypercube $FQ_n$ ($n\geq4$) and the enhanced hypercube $Q_{n, k}$ ($0\leq k\leq n-4$) have exactly $n$, $n+1$ and $n+1$ nice perfect matchings respectively.

Explore related subjects

math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lingjuan Shi, Heping Zhang. 2017-10-09. Tight upper bound on the maximum anti-forcing numbers of graphs. https://doi.org/10.23638/dmtcs-19-3-9

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On Hypergraph Supports

Let $\mathcal{H}=(X,\mathcal{E})$ be a hypergraph. A support is a graph $Q$ on $X$ such that for each $E\in\mathcal{E}$, the subgraph of $Q$ induced on the elements in $E$ is connected. In this paper, we consider hypergraphs defined on a host graph. Given a graph $G=(V,E)$, with $c:V\to\{\mathbf{r},\mathbf{b}\}$, and a collection of connected subgraphs $\mathcal{H}$ of $G$, a primal support is a graph $Q$ on $\mathbf{b}(V)$ such that for each $H\in \mathcal{H}$, the induced subgraph $Q[\mathbf{b}(H)]$ on vertices $\mathbf{b}(H)=H\cap c^{-1}(\mathbf{b})$ is connected. A \emph{dual support} is a graph $Q^*$ on $\mathcal{H}$ s.t. for each $v\in X$, the induced subgraph $Q^*[\mathcal{H}_v]$ is connected, where $\mathcal{H}_v=\{H\in\mathcal{H}: v\in H\}$. We present sufficient conditions on the host graph and hyperedges so that the resulting support comes from a restricted family. We primarily study two classes of graphs: $(1)$ If the host graph has genus $g$ and the hypergraphs satisfy a topological condition of being \emph{cross-free}, then there is a primal and a dual support of genus at most $g$. $(2)$ If the host graph has treewidth $t$ and the hyperedges satisfy a combinatorial condition of being \emph{non-piercing}, then there exist primal and dual supports of treewidth $O(2^t)$. We show that this exponential blow-up is sometimes necessary. As an intermediate case, we also study the case when the host graph is outerplanar. Finally, we show applications of our results to packing and covering, and coloring problems on geometric hypergraphs.

math.CO↗
arXiv2026

Ramsey numbers of sparse graphs versus disjoint books

Let $B_k$ denote a book on $k+2$ vertices and $tB_k$ be $t$ vertex-disjoint $B_k$'s. For any integers $k\ge2$ and $t\ge1$, there exists a positive constant $ε=ε(k,t)$ such that every connected graph $G$ with $n\ge111t^3k^3$ vertices and at most $n(1+ε)$ edges satisfies $$r(G,tB_k)=2n+t-2.$$ Our result extends the work of Erdős, Faudree, Rousseau, and Schelp (1988), who established the corresponding result for $G$ being a tree and $t=1$.

math.CO↗
arXiv2026

Fan-goodness of sparse graphs

Let $G$ be a connected graph of order $n$, $F_k$ be a fan consisting of $k$ triangles sharing a common vertex, and $tF_k$ be $t$ vertex-disjoint copies of $F_k$. Brennan (2017) showed the Ramsey number $r(G,F_k)=2n-1$ for $G$ being a unicyclic graph for $n \geq k^2-k+1$ and $k\ge 18$, and asked the threshold $c(n)$ for which $r(G,F_k) \geq 2n$ holds for any $G$ containing at least $c(n)$ cycles and $n$ being large. In this paper, we consider fan-goodness of general sparse graphs and show that if $G$ has at most $n(1+ε(k))$ edges, where $ε(k)$ is a constant depending on $k$, then $$r(G,F_k)=2n-1$$ for $n\ge 36k^4$, which implies that $c(n)$ is greater than $ε(k) n$. Moreover, if $G$ has at most $n(1+ε(k,t))$ edges, where $ε(k,t)$ is a constant depending on $k,t$, then $$r(G,tF_k)=2n+t-2$$ provided $n\ge 161t^2k^4$.

math.CO↗