Let $G$ be a simple graph with $2n$ vertices and a perfect matching. The forcing number $f(G,M)$ of a perfect matching $M$ of $G$ is the smallest cardinality of a subset of $M$ that is contained in no other perfect matching of $G$. Among all perfect matchings $M$ of $G$, the minimum and maximum values of $f(G,M)$ are called the minimum and maximum forcing numbers of $G$, denoted by $f(G)$ and $F(G)$, respectively. Then $f(G)\leq F(G)\leq n-1$. Che and Chen (2011) proposed an open problem: how to characterize the graphs $G$ with $f(G)=n-1$. Later they showed that for a bipartite graph $G$, $f(G)=n-1$ if and only if $G$ is a complete bipartite graph $K_{n,n}$. In this paper, we completely solve the problem of Che and Chen, and show that $f(G)=n-1$ if and only if $G$ is a complete multipartite graph or a graph obtained from complete bipartite graph $K_{n,n}$ by adding arbitrary edges in the same partite set. For all graphs $G$ with $F(G)=n-1$, we prove that the forcing spectrum of each such graph $G$ forms an integer interval by matching 2-switches and the minimum forcing numbers of all such graphs $G$ form an integer interval from $\lfloor\frac{n}{2}\rfloor$ to $n-1$.
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…
The anti-forcing number of a perfect matching $M$ of a graph $G$ is the minimal number of edges not in $M$ whose removal to make $M$ as a unique perfect matching of the resulting graph. The set of anti-forcing numbers of all perfect matchings of $G$ is the anti-forcing spectrum of $G$. In this paper, we characterize the plane elementary bipartite graph whose minimum anti-forcing number is one. We show that the maximum anti-forcing number of a graph is at most its cyclomatic number. In particular, we characterize the graphs with the maximum anti-forcing number achieving the upper bound, such ex…
Let $M$ be a perfect matching in a graph. A subset $S$ of $M$ is said to be a forcing set of $M$, if $M$ is the only perfect matching in the graph that contains $S$. The minimum size of a forcing set of $M$ is called the forcing number of $M$. Pachter and Kim [Discrete Math. 190 (1998) 287--294] conjectured that the forcing number of every perfect matching in the $n$-dimensional hypercube is at least $2^{n-2}$, for all $n \ge 2$. Riddle [Discrete Math. 245 (2002) 283-292] proved this for even $n$. We show that the conjecture holds for all $n \ge 2$. The proof is based on simple linear algebra.
The forcing number of a perfect matching $M$ in a graph $G$ is the smallest number of edges inside $M$ that can not be contained in other perfect matchings. The anti-forcing number of $M$ is the smallest number of edges outside $M$ whose removal results in a subgraph with a single perfect matching, that is $M$. Recently, in order to investigate the distributions of forcing numbers and anti-forcing numbers, the forcing polynomial and anti-forcing polynomial were proposed, respectively. In this work, the forcing and anti-forcing polynomials of a polyomino graph are obtained. As consequences, the…
Harary et al. and Klein and Randic proposed the forcing number of a perfect matching in mathematics and chemistry, respectively. In detail, the forcing number of a perfect matching M of a graph G is the smallest cardinality of subsets of M that are contained in no other perfect matchings of G. The author and cooperators defined the forcing polynomial of G as the count polynomial for perfect matchings with the same forcing number of G, from which the average forcing number, forcing spectrum, and the maximum and minimum forcing numbers of G can be obtained. Up to now, a few papers have been cons…
The global forcing number of a graph G is the minimal cardinality of an edge subset discriminating all perfect matchings of G, denoted by gf(G). For any perfect matching M of G, the minimal cardinality of an edge subset S in E(G)-M such that G-S has a unique perfect matching is called the anti-forcing number of M,denoted by af(G, M). The maximum anti-forcing number of G among all perfect matchings is denoted by Af(G). It is known that the maximum anti-forcing number of a hexagonal system equals the famous Fries number. We are interested in some comparisons between the global forcing number and…
The forcing number of a perfect matching $M$ of a graph $G$ is the smallest cardinality of subsets of $M$ that are contained in no other perfect matchings of $G$. The forcing spectrum of $G$ is the collection of forcing numbers of all perfect matchings of $G$. In this paper, we classify the perfect matchings of a generalized Petersen graph $P(n,2)$ in two types, and show that the forcing spectrum is the union of two integer intervals. For $n\ge 34$, it is $\left[\lceil \frac { n }{ 12 } \rceil+1,\lceil \frac { n+3 }{ 7 } \rceil +δ(n)\right]\cup \left[\lceil \frac { n+2 }{ 6 } \rceil,\lceil \fr…
Let G be a graph with a perfect matching. A complete forcing set of G is a subset of edges of G to which the restriction of every perfect matching is a forcing set of it. The complete forcing number of G is the minimum cardinality of complete forcing sets of G. Xu et al. gave a characterization for a complete forcing set and derived some explicit formulas for the complete forcing numbers of cata-condensed hexagonal systems. In this paper, we consider general hexagonal systems. We present an upper bound on the complete forcing numbers of hexagonal systems in terms of elementary edge-cut cover a…
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 hexag…
Let $G=(V,E)$ be a simple connected graph. A perfect matching (or Kekulé structure in chemical literature) of $G$ is a set of disjoint edges which covers all vertices of $G$. The anti-forcing number of $G$ is the smallest number of edges such that the remaining graph obtained by deleting these edges has a unique perfect matching and is denoted by $af(G)$. For every $m\in\mathbb{N}$, the $m$th power of $G$, denoted by $G^m$, is a graph with the same vertex set as $G$ such that two vertices are adjacent in $G^m$ if and only if their distance is at most $m$ in $G$. In this paper, we study the ant…
Let $G$ be a simple graph with $2n$ vertices and a perfect matching. We denote by $f(G)$ and $F(G)$ the minimum and maximum forcing number of $G$, respectively. Hetyei obtained that the maximum number of edges of graphs $G$ with a unique perfect matching is $n^2$. We know that $G$ has a unique perfect matching if and only if $f(G)=0$. Along this line, we generalize the classical result to all graphs $G$ with $f(G)=k$ for $0\leq k\leq n-1$, and characterize corresponding extremal graphs as well. Hence we get a non-trivial lower bound of $f(G)$ in terms of the order and size. For bipartite graph…
The minimum forcing number of a graph $G$ is the smallest number of edges simultaneously contained in a unique perfect matching of $G$. Zhang, Ye and Shiu \cite{HDW} showed that the minimum forcing number of any fullerene graph was bounded below by $3$. However, we find that there exists exactly one excepted fullerene $F_{24}$ with the minimum forcing number $2$. In this paper, we characterize all fullerenes with the minimum forcing number $3$ by a construction approach. This also solves an open problem proposed by Zhang et al. We also find that except for $F_{24}$, all fullerenes with anti-fo…
Suppose $k\nmid n$ and $H$ is an $n$-vertex $k$-uniform hypergraph. A near perfect matching in $H$ is a matching of size $\lfloor n/k\rfloor$. We give a divisibility barrier construction that prevents the existence of near perfect matchings in $H$. This generalizes the divisibility barrier for perfect matchings. We give a conjecture on the minimum $d$-degree threshold forcing a (near) perfect matching in $H$ which generalizes a well-known conjecture on perfect matchings. We also verify our conjecture in various cases. Our proof makes use of the lattice-based absorbing method that the author us…
A perfect $K_r$-tiling in a graph $G$ is a collection of vertex-disjoint copies of the clique $K_r$ in $G$ covering every vertex of $G$. The famous Hajnal--Szemerédi theorem determines the minimum degree threshold for forcing a perfect $K_r$-tiling in a graph $G$. The notion of discrepancy appears in many branches of mathematics. In the graph setting, one assigns the edges of a graph $G$ labels from $\{-1,1\}$, and one seeks substructures $F$ of $G$ that have `high' discrepancy (i.e. the sum of the labels of the edges in $F$ is far from $0$). In this paper we determine the minimum degree thres…
Over recent years there has been much interest in both Turán and Ramsey properties of vertex ordered graphs. In this paper we initiate the study of embedding spanning structures into vertex ordered graphs. In particular, we introduce a general framework for approaching the problem of determining the minimum degree threshold for forcing a perfect $H$-tiling in an ordered graph. In the (unordered) graph setting, this problem was resolved by Kühn and Osthus [The minimum degree threshold for perfect graph packings, Combinatorica, 2009]. We use our general framework to resolve the perfect $H$-tilin…
In social networks the {\sc Strong Triadic Closure} is an assignment of the edges with strong or weak labels such that any two vertices that have a common neighbor with a strong edge are adjacent. The problem of maximizing the number of strong edges that satisfy the strong triadic closure was recently shown to be NP-complete for general graphs. Here we initiate the study of graph classes for which the problem is solvable. We show that the problem admits a polynomial-time algorithm for two unrelated classes of graphs: proper interval graphs and trivially-perfect graphs. To complement our result…
