62 research outputs found
The maximum forcing number of polyomino
The forcing number of a perfect matching of a graph is the
cardinality of the smallest subset of that is contained in no other perfect
matchings of . For a planar embedding of a 2-connected bipartite planar
graph which has a perfect matching, the concept of Clar number of hexagonal
system had been extended by Abeledo and Atkinson as follows: a spanning
subgraph of is called a Clar cover of if each of its components is
either an even face or an edge, the maximum number of even faces in Clar covers
of is called Clar number of , and the Clar cover with the maximum number
of even faces is called the maximum Clar cover. It was proved that if is a
hexagonal system with a perfect matching and is a set of hexagons in a
maximum Clar cover of , then has a unique 1-factor. Using this
result, Xu {\it et. at.} proved that the maximum forcing number of the
elementary hexagonal system are equal to their Clar numbers, and then the
maximum forcing number of the elementary hexagonal system can be computed in
polynomial time. In this paper, we show that an elementary polyomino has a
unique perfect matching when removing the set of tetragons from its maximum
Clar cover. Thus the maximum forcing number of elementary polyomino equals to
its Clar number and can be computed in polynomial time. Also, we have extended
our result to the non-elementary polyomino and hexagonal system
Perfect matchings of polyomino graphs
This paper gives necessary and sufficient conditions for a polyomino graph to have a perfect matching and to be elementary, respectively. As an application, we can decompose a non-elementary polyomino with perfect matchings into a number of elementary subpolyominoes so that the number of perfect matchings of the original non-elementary polyomino is equal to the product of those of the elementary subpolyominoes
A Maximum Resonant Set of Polyomino Graphs
A polyomino graph 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 is a maximum resonant set of , then 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 is a maximal alternating set of , then has a unique
perfect matching.Comment: 13 pages, 6 figure
Tight upper bound on the maximum anti-forcing numbers of graphs
Let be a simple graph with a perfect matching. Deng and Zhang showed that
the maximum anti-forcing number of is no more than the cyclomatic number.
In this paper, we get a novel upper bound on the maximum anti-forcing number of
and investigate the extremal graphs. If has a perfect matching
whose anti-forcing number attains this upper bound, then we say is an
extremal graph and is a nice perfect matching. We obtain an equivalent
condition for the nice perfect matchings of and establish a one-to-one
correspondence between the nice perfect matchings and the edge-involutions of
, which are the automorphisms of order two such that and
are adjacent for every vertex . We demonstrate that all extremal
graphs can be constructed from by implementing two expansion operations,
and is extremal if and only if one factor in a Cartesian decomposition of
is extremal. As examples, we have that all perfect matchings of the
complete graph and the complete bipartite graph are nice.
Also we show that the hypercube , the folded hypercube ()
and the enhanced hypercube () have exactly ,
and nice perfect matchings respectively.Comment: 15 pages, 7 figure
Components of domino tilings under flips in quadriculated cylinder and torus
In a region consisting of unit squares, a domino is the union of two
adjacent squares and a (domino) tiling is a collection of dominoes with
disjoint interior whose union is the region. The flip graph is
defined on the set of all tilings of such that two tilings are adjacent if
we change one to another by a flip (a rotation of a pair of
side-by-side dominoes). It is well-known that is connected
when is simply connected. By using graph theoretical approach, we show that
the flip graph of quadriculated cylinder is still connected,
but the flip graph of quadriculated torus is disconnected and
consists of exactly two isomorphic components. For a tiling , we associate
an integer , forcing number, as the minimum number of dominoes in
that is contained in no other tilings. As an application, we obtain that the
forcing numbers of all tilings in quadriculated cylinder and
torus form respectively an integer interval whose maximum value is
- …