4,404 research outputs found
On Minimum Maximal Distance-k Matchings
We study the computational complexity of several problems connected with
finding a maximal distance- matching of minimum cardinality or minimum
weight in a given graph. We introduce the class of -equimatchable graphs
which is an edge analogue of -equipackable graphs. We prove that the
recognition of -equimatchable graphs is co-NP-complete for any fixed . We provide a simple characterization for the class of strongly chordal
graphs with equal -packing and -domination numbers. We also prove that
for any fixed integer the problem of finding a minimum weight
maximal distance- matching and the problem of finding a minimum weight
-independent dominating set cannot be approximated in polynomial
time in chordal graphs within a factor of unless
, where is a fixed constant (thereby
improving the NP-hardness result of Chang for the independent domination case).
Finally, we show the NP-hardness of the minimum maximal induced matching and
independent dominating set problems in large-girth planar graphs.Comment: 15 pages, 4 figure
Weighted Well-Covered Claw-Free Graphs
A graph G is well-covered if all its maximal independent sets are of the same
cardinality. Assume that a weight function w is defined on its vertices. Then G
is w-well-covered if all maximal independent sets are of the same weight. For
every graph G, the set of weight functions w such that G is w-well-covered is a
vector space. Given an input claw-free graph G, we present an O(n^6)algortihm,
whose input is a claw-free graph G, and output is the vector space of weight
functions w, for which G is w-well-covered. A graph G is equimatchable if all
its maximal matchings are of the same cardinality. Assume that a weight
function w is defined on the edges of G. Then G is w-equimatchable if all its
maximal matchings are of the same weight. For every graph G, the set of weight
functions w such that G is w-equimatchable is a vector space. We present an
O(m*n^4 + n^5*log(n)) algorithm which receives an input graph G, and outputs
the vector space of weight functions w such that G is w-equimatchable.Comment: 14 pages, 1 figur
The Matching Problem in General Graphs is in Quasi-NC
We show that the perfect matching problem in general graphs is in Quasi-NC.
That is, we give a deterministic parallel algorithm which runs in
time on processors. The result is obtained by a
derandomization of the Isolation Lemma for perfect matchings, which was
introduced in the classic paper by Mulmuley, Vazirani and Vazirani [1987] to
obtain a Randomized NC algorithm.
Our proof extends the framework of Fenner, Gurjar and Thierauf [2016], who
proved the analogous result in the special case of bipartite graphs. Compared
to that setting, several new ingredients are needed due to the significantly
more complex structure of perfect matchings in general graphs. In particular,
our proof heavily relies on the laminar structure of the faces of the perfect
matching polytope.Comment: Accepted to FOCS 2017 (58th Annual IEEE Symposium on Foundations of
Computer Science
Matchings, coverings, and Castelnuovo-Mumford regularity
We show that the co-chordal cover number of a graph G gives an upper bound
for the Castelnuovo-Mumford regularity of the associated edge ideal. Several
known combinatorial upper bounds of regularity for edge ideals are then easy
consequences of covering results from graph theory, and we derive new upper
bounds by looking at additional covering results.Comment: 12 pages; v4 has minor changes for publicatio
Edge-Stable Equimatchable Graphs
A graph is \emph{equimatchable} if every maximal matching of has the
same cardinality. We are interested in equimatchable graphs such that the
removal of any edge from the graph preserves the equimatchability. We call an
equimatchable graph \emph{edge-stable} if , that is the
graph obtained by the removal of edge from , is also equimatchable for
any . After noticing that edge-stable equimatchable graphs are
either 2-connected factor-critical or bipartite, we characterize edge-stable
equimatchable graphs. This characterization yields an time recognition algorithm. Lastly, we introduce and shortly
discuss the related notions of edge-critical, vertex-stable and vertex-critical
equimatchable graphs. In particular, we emphasize the links between our work
and the well-studied notion of shedding vertices, and point out some open
questions
- …