-
Parameterized covering in semi-ladder-free hypergraphs
Authors:
Sylvain Guillemot
Abstract:
In this article, we study the parameterized complexity of the Set Cover problem restricted to semi-ladder-free hypergraphs, a class defined by Fabianski et al. [Proceedings of STACS 2019]. We observe that two algorithms introduced by Langerman and Morin [Discrete & Computational Geometry 2005] in the context of geometric covering problems can be adapted to this setting, yielding simple FPT and ker…
▽ More
In this article, we study the parameterized complexity of the Set Cover problem restricted to semi-ladder-free hypergraphs, a class defined by Fabianski et al. [Proceedings of STACS 2019]. We observe that two algorithms introduced by Langerman and Morin [Discrete & Computational Geometry 2005] in the context of geometric covering problems can be adapted to this setting, yielding simple FPT and kernelization algorithms for Set Cover in semi-ladder-free hypergraphs. We complement our algorithmic results with a compression lower bound for the problem, which proves the tightness of our kernelization under standard complexity-theoretic assumptions.
△ Less
Submitted 8 November, 2023; v1 submitted 1 November, 2023;
originally announced November 2023.
-
Alternative polynomial-time algorithm for Bipartite Matching
Authors:
Sylvain Guillemot
Abstract:
If $G$ is a bipartite graph, Hall's theorem \cite{H35} gives a condition for the existence of a matching of $G$ covering one side of the bipartition. This theorem admits a well-known algorithmic proof involving the repeated search of augmenting paths. We present here an alternative algorithm, using a game-theoretic formulation of the problem. We also show how to extend this formulation to the sett…
▽ More
If $G$ is a bipartite graph, Hall's theorem \cite{H35} gives a condition for the existence of a matching of $G$ covering one side of the bipartition. This theorem admits a well-known algorithmic proof involving the repeated search of augmenting paths. We present here an alternative algorithm, using a game-theoretic formulation of the problem. We also show how to extend this formulation to the setting of balanced hypergraphs.
△ Less
Submitted 9 September, 2023; v1 submitted 1 November, 2022;
originally announced November 2022.
-
Finding small patterns in permutations in linear time
Authors:
Sylvain Guillemot,
Dániel Marx
Abstract:
Given two permutations $σ$ and $π$, the \textsc{Permutation Pattern} problem asks if $σ$ is a subpattern of $π$. We show that the problem can be solved in time $2^{O(\ell^2\log \ell)}\cdot n$, where $\ell=|σ|$ and $n=|π|$. In other words, the problem is fixed-parameter tractable parameterized by the size of the subpattern to be found.
We introduce a novel type of decompositions for permutations…
▽ More
Given two permutations $σ$ and $π$, the \textsc{Permutation Pattern} problem asks if $σ$ is a subpattern of $π$. We show that the problem can be solved in time $2^{O(\ell^2\log \ell)}\cdot n$, where $\ell=|σ|$ and $n=|π|$. In other words, the problem is fixed-parameter tractable parameterized by the size of the subpattern to be found.
We introduce a novel type of decompositions for permutations and a corresponding width measure. We present a linear-time algorithm that either finds $σ$ as a subpattern of $π$, or finds a decomposition of $π$ whose width is bounded by a function of $|σ|$. Then we show how to solve the \textsc{Permutation Pattern} problem in linear time if a bounded-width decomposition is given in the input.
△ Less
Submitted 31 October, 2013; v1 submitted 11 July, 2013;
originally announced July 2013.
-
A faster FPT algorithm for Bipartite Contraction
Authors:
Sylvain Guillemot,
Dániel Marx
Abstract:
The \textsc{Bipartite Contraction} problem is to decide, given a graph $G$ and a parameter $k$, whether we can can obtain a bipartite graph from $G$ by at most $k$ edge contractions. The fixed-parameter tractability of the problem was shown by [Heggernes et al. 2011], with an algorithm whose running time has double-exponential dependence on $k$. We present a new randomized FPT algorithm for the pr…
▽ More
The \textsc{Bipartite Contraction} problem is to decide, given a graph $G$ and a parameter $k$, whether we can can obtain a bipartite graph from $G$ by at most $k$ edge contractions. The fixed-parameter tractability of the problem was shown by [Heggernes et al. 2011], with an algorithm whose running time has double-exponential dependence on $k$. We present a new randomized FPT algorithm for the problem, which is both conceptually simpler and achieves an improved $2^{O(k^2)} n m$ running time, i.e., avoiding the double-exponential dependence on $k$. The algorithm can be derandomized using standard techniques.
△ Less
Submitted 4 September, 2013; v1 submitted 13 May, 2013;
originally announced May 2013.
-
On the (non-)existence of polynomial kernels for Pl-free edge modification problems
Authors:
Sylvain Guillemot,
Christophe Paul,
Anthony Perez
Abstract:
Given a graph G = (V,E) and an integer k, an edge modification problem for a graph property P consists in deciding whether there exists a set of edges F of size at most k such that the graph H = (V,E \vartriangle F) satisfies the property P. In the P edge-completion problem, the set F of edges is constrained to be disjoint from E; in the P edge-deletion problem, F is a subset of E; no constraint i…
▽ More
Given a graph G = (V,E) and an integer k, an edge modification problem for a graph property P consists in deciding whether there exists a set of edges F of size at most k such that the graph H = (V,E \vartriangle F) satisfies the property P. In the P edge-completion problem, the set F of edges is constrained to be disjoint from E; in the P edge-deletion problem, F is a subset of E; no constraint is imposed on F in the P edge-edition problem. A number of optimization problems can be expressed in terms of graph modification problems which have been extensively studied in the context of parameterized complexity. When parameterized by the size k of the edge set F, it has been proved that if P is an hereditary property characterized by a finite set of forbidden induced subgraphs, then the three P edge-modification problems are FPT. It was then natural to ask whether these problems also admit a polynomial size kernel. Using recent lower bound techniques, Kratsch and Wahlstrom answered this question negatively. However, the problem remains open on many natural graph classes characterized by forbidden induced subgraphs. Kratsch and Wahlstrom asked whether the result holds when the forbidden subgraphs are paths or cycles and pointed out that the problem is already open in the case of P4-free graphs (i.e. cographs). This paper provides positive and negative results in that line of research. We prove that parameterized cograph edge modification problems have cubic vertex kernels whereas polynomial kernels are unlikely to exist for the Pl-free and Cl-free edge-deletion problems for large enough l.
△ Less
Submitted 22 July, 2010;
originally announced July 2010.
-
Finding and counting vertex-colored subtrees
Authors:
Sylvain Guillemot,
Florian Sikora
Abstract:
The problems studied in this article originate from the Graph Motif problem introduced by Lacroix et al. in the context of biological networks. The problem is to decide if a vertex-colored graph has a connected subgraph whose colors equal a given multiset of colors $M$. It is a graph pattern-matching problem variant, where the structure of the occurrence of the pattern is not of interest but the o…
▽ More
The problems studied in this article originate from the Graph Motif problem introduced by Lacroix et al. in the context of biological networks. The problem is to decide if a vertex-colored graph has a connected subgraph whose colors equal a given multiset of colors $M$. It is a graph pattern-matching problem variant, where the structure of the occurrence of the pattern is not of interest but the only requirement is the connectedness. Using an algebraic framework recently introduced by Koutis et al., we obtain new FPT algorithms for Graph Motif and variants, with improved running times. We also obtain results on the counting versions of this problem, proving that the counting problem is FPT if M is a set, but becomes W[1]-hard if M is a multiset with two colors. Finally, we present an experimental evaluation of this approach on real datasets, showing that its performance compares favorably with existing software.
△ Less
Submitted 24 February, 2012; v1 submitted 9 February, 2010;
originally announced February 2010.
-
On the approximability of the Maximum Agreement SubTree and Maximum Compatible Tree problems
Authors:
Sylvain Guillemot,
Francois Nicolas,
Vincent Berry,
Christophe Paul
Abstract:
This paper has been withdrawn by the corresponding author because the newest version is now published in Discrete Applied Mathematics.
This paper has been withdrawn by the corresponding author because the newest version is now published in Discrete Applied Mathematics.
△ Less
Submitted 1 September, 2010; v1 submitted 20 February, 2008;
originally announced February 2008.
-
Solving the Maximum Agreement SubTree and the Maximum Compatible Tree problems on many bounded degree trees
Authors:
Sylvain Guillemot,
Francois Nicolas
Abstract:
Given a set of leaf-labeled trees with identical leaf sets, the well-known "Maximum Agreement SubTree" problem (MAST) consists of finding a subtree homeomorphically included in all input trees and with the largest number of leaves. Its variant called "Maximum Compatible Tree" (MCT) is less stringent, as it allows the input trees to be refined. Both problems are of particular interest in computat…
▽ More
Given a set of leaf-labeled trees with identical leaf sets, the well-known "Maximum Agreement SubTree" problem (MAST) consists of finding a subtree homeomorphically included in all input trees and with the largest number of leaves. Its variant called "Maximum Compatible Tree" (MCT) is less stringent, as it allows the input trees to be refined. Both problems are of particular interest in computational biology, where trees encountered have often small degrees.
In this paper, we study the parameterized complexity of MAST and MCT with respect to the maximum degree, denoted by D, of the input trees. It is known that MAST is polynomial for bounded D. As a counterpart, we show that the problem is W[1]-hard with respect to parameter D. Moreover, relying on recent advances in parameterized complexity we obtain a tight lower bound: while MAST can be solved in O(N^{O(D)}) time where N denotes the input length, we show that an O(N^{o(D)}) bound is not achievable, unless SNP is contained in SE. We also show that MCT is W[1]-hard with respect to D, and that MCT cannot be solved in O(N^{o(2^{D/2})}) time, SNP is contained in SE.
△ Less
Submitted 10 July, 2008; v1 submitted 1 February, 2008;
originally announced February 2008.