Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
Javascript must be enabled to continue!

On the Parameterized Complexity Of the Acyclic Matching Problem

View through CrossRef
A matching is a set of edges in a graph with no common endpoint. A matching $M$ is called acyclic if the induced subgraph on the endpoints of the edges in $M$ is acyclic. Given a graph $G$ and an integer $k$, Acyclic Matching Problem seeks for an acyclic matching of size $k$ in $G$. The problem is known to be NP-complete. In this paper, we investigate the complexity of the problem in different aspects.  First, we prove that the problem remains NP-complete for the class of planar bipartite graphs of maximum degree three and arbitrarily large girth. Also, the problem remains NP-complete for the class of planar line graphs with maximum degree four. Moreover, we study the parameterized complexity of the problem. In particular, we prove that the problem is W[1]-hard on bipartite graphs with respect to the parameter $k$. On the other hand, the problem is fixed parameter tractable with respect to the parameters $tw$ and $(k,c_4)$, where $tw$ and $c_4$ are the treewidth and the number of cycles with length $4$ of the input graph. We also prove that the problem is fixed parameter tractable with respect to the parameter $k$ for the line graphs and every proper minor-closed class of graphs (including planar graphs).
Title: On the Parameterized Complexity Of the Acyclic Matching Problem
Description:
A matching is a set of edges in a graph with no common endpoint.
A matching $M$ is called acyclic if the induced subgraph on the endpoints of the edges in $M$ is acyclic.
Given a graph $G$ and an integer $k$, Acyclic Matching Problem seeks for an acyclic matching of size $k$ in $G$.
The problem is known to be NP-complete.
In this paper, we investigate the complexity of the problem in different aspects.
  First, we prove that the problem remains NP-complete for the class of planar bipartite graphs of maximum degree three and arbitrarily large girth.
Also, the problem remains NP-complete for the class of planar line graphs with maximum degree four.
Moreover, we study the parameterized complexity of the problem.
In particular, we prove that the problem is W[1]-hard on bipartite graphs with respect to the parameter $k$.
 On the other hand, the problem is fixed parameter tractable with respect to the parameters $tw$ and $(k,c_4)$, where $tw$ and $c_4$ are the treewidth and the number of cycles with length $4$ of the input graph.
We also prove that the problem is fixed parameter tractable with respect to the parameter $k$ for the line graphs and every proper minor-closed class of graphs (including planar graphs).

Related Results

Parameterized Strings: Algorithms and Applications
Parameterized Strings: Algorithms and Applications
The parameterized string (p-string), a generalization of the traditional string, is composed of constant and parameter symbols. A parameterized match (p-match) exists between two p...
Exact and parameterized algorithms for choosability
Exact and parameterized algorithms for choosability
Abstract In the Choosability problem (or list chromatic number problem), for a given graph G, we need to find the smallest k such that G admits a list coloring for any li...
2021 Census to Census Coverage Survey Matching Results.
2021 Census to Census Coverage Survey Matching Results.
The 2021 England and Wales Census was matched to the Census Coverage Survey (CCS). This was an essential requisite for estimating undercount in the Census. To ensure outputs could ...
On the Practical Power of Automata in Pattern Matching
On the Practical Power of Automata in Pattern Matching
AbstractMany papers in the intersection of theoretical and applied algorithms show that the simple, asymptotically less efficient algorithm, performs better than the bestcomplex th...
Complexity Theory
Complexity Theory
The workshop Complexity Theory was organised by Joachim von zur Gathen (Bonn), Oded Goldreich (Rehovot), Claus-Peter Schnorr (Frankfurt), an...
The habitability of Earth-like (exo)planets: modelling and limitations.
The habitability of Earth-like (exo)planets: modelling and limitations.
Quick take: We investigate the conditions behind exoplanetary habitability. We compare how different models (complex physics-based vs. parameterized evolution) estimate the climate...
Linguistic Complexity
Linguistic Complexity
Linguistic complexity (or: language complexity, complexity in language) is a multifaceted and multidimensional research area that has been booming since the early 2000s. The curren...
Complexity Theory
Complexity Theory
The workshop Complexity Theory was organized by Joachim von zur Gathen (Universität Bonn), Oded Goldreich (Weizmann Institute), and Madhu Su...

Back to Top