54 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
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
- β¦