3,038 research outputs found
Long Circuits and Large Euler Subgraphs
An undirected graph is Eulerian if it is connected and all its vertices are
of even degree. Similarly, a directed graph is Eulerian, if for each vertex its
in-degree is equal to its out-degree. It is well known that Eulerian graphs can
be recognized in polynomial time while the problems of finding a maximum
Eulerian subgraph or a maximum induced Eulerian subgraph are NP-hard. In this
paper, we study the parameterized complexity of the following Euler subgraph
problems:
- Large Euler Subgraph: For a given graph G and integer parameter k, does G
contain an induced Eulerian subgraph with at least k vertices?
- Long Circuit: For a given graph G and integer parameter k, does G contain
an Eulerian subgraph with at least k edges?
Our main algorithmic result is that Large Euler Subgraph is fixed parameter
tractable (FPT) on undirected graphs. We find this a bit surprising because the
problem of finding an induced Eulerian subgraph with exactly k vertices is
known to be W[1]-hard. The complexity of the problem changes drastically on
directed graphs. On directed graphs we obtained the following complexity
dichotomy: Large Euler Subgraph is NP-hard for every fixed k>3 and is solvable
in polynomial time for k<=3. For Long Circuit, we prove that the problem is FPT
on directed and undirected graphs
Parameterized Complexity of the Anchored k-Core Problem for Directed Graphs
We consider the Directed Anchored k-Core problem, where the task is for a given directed graph G and integers b, k and p, to find an induced subgraph H with at least p vertices (the core) such that all but at most b vertices (the anchors) of H have in-degree at least k. For undirected graphs, this problem was introduced by Bhawalkar, Kleinberg, Lewi, Roughgarden, and Sharma [ICALP 2012]. We undertake a
systematic analysis of the computational complexity of Directed Anchored k-Core and show that:
- The decision version of the problem is NP-complete for every k>=1 even if the input graph is restricted to be a planar directed acyclic graph of maximum degree at most k+2.
- The problem is fixed parameter tractable (FPT) parameterized by the size of the core p for k=1, and W[1]-hard for k>=2.
- When the maximum degree of the graph is at most Delta, the problem is FPT parameterized by p+Delta if k>=Delta/2
Assessing the Computational Complexity of Multi-Layer Subgraph Detection
Multi-layer graphs consist of several graphs (layers) over the same vertex
set. They are motivated by real-world problems where entities (vertices) are
associated via multiple types of relationships (edges in different layers). We
chart the border of computational (in)tractability for the class of subgraph
detection problems on multi-layer graphs, including fundamental problems such
as maximum matching, finding certain clique relaxations (motivated by community
detection), or path problems. Mostly encountering hardness results, sometimes
even for two or three layers, we can also spot some islands of tractability
An FPT algorithm and a polynomial kernel for Linear Rankwidth-1 Vertex Deletion
Linear rankwidth is a linearized variant of rankwidth, introduced by Oum and
Seymour [Approximating clique-width and branch-width. J. Combin. Theory Ser. B,
96(4):514--528, 2006]. Motivated from recent development on graph modification
problems regarding classes of graphs of bounded treewidth or pathwidth, we
study the Linear Rankwidth-1 Vertex Deletion problem (shortly, LRW1-Vertex
Deletion). In the LRW1-Vertex Deletion problem, given an -vertex graph
and a positive integer , we want to decide whether there is a set of at most
vertices whose removal turns into a graph of linear rankwidth at most
and find such a vertex set if one exists. While the meta-theorem of
Courcelle, Makowsky, and Rotics implies that LRW1-Vertex Deletion can be solved
in time for some function , it is not clear whether this
problem allows a running time with a modest exponential function.
We first establish that LRW1-Vertex Deletion can be solved in time . The major obstacle to this end is how to handle a long
induced cycle as an obstruction. To fix this issue, we define necklace graphs
and investigate their structural properties. Later, we reduce the polynomial
factor by refining the trivial branching step based on a cliquewidth expression
of a graph, and obtain an algorithm that runs in time . We also prove that the running time cannot be improved to under the Exponential Time Hypothesis assumption. Lastly,
we show that the LRW1-Vertex Deletion problem admits a polynomial kernel.Comment: 29 pages, 9 figures, An extended abstract appeared in IPEC201
Parameterized Algorithms for Min-Max Multiway Cut and List Digraph Homomorphism
In this paper we design {\sf FPT}-algorithms for two parameterized problems.
The first is \textsc{List Digraph Homomorphism}: given two digraphs and
and a list of allowed vertices of for every vertex of , the question is
whether there exists a homomorphism from to respecting the list
constraints. The second problem is a variant of \textsc{Multiway Cut}, namely
\textsc{Min-Max Multiway Cut}: given a graph , a non-negative integer
, and a set of terminals, the question is whether we can
partition the vertices of into parts such that (a) each part contains
one terminal and (b) there are at most edges with only one endpoint in
this part. We parameterize \textsc{List Digraph Homomorphism} by the number
of edges of that are mapped to non-loop edges of and we give a time
algorithm, where is the order of the host graph . We also prove that
\textsc{Min-Max Multiway Cut} can be solved in time . Our approach introduces a general problem, called
{\sc List Allocation}, whose expressive power permits the design of
parameterized reductions of both aforementioned problems to it. Then our
results are based on an {\sf FPT}-algorithm for the {\sc List Allocation}
problem that is designed using a suitable adaptation of the {\em randomized
contractions} technique (introduced by [Chitnis, Cygan, Hajiaghayi, Pilipczuk,
and Pilipczuk, FOCS 2012]).Comment: An extended abstract of this work will appear in the Proceedings of
the 10th International Symposium on Parameterized and Exact Computation
(IPEC), Patras, Greece, September 201
On Directed Feedback Vertex Set parameterized by treewidth
We study the Directed Feedback Vertex Set problem parameterized by the
treewidth of the input graph. We prove that unless the Exponential Time
Hypothesis fails, the problem cannot be solved in time on general directed graphs, where is the treewidth of
the underlying undirected graph. This is matched by a dynamic programming
algorithm with running time .
On the other hand, we show that if the input digraph is planar, then the
running time can be improved to .Comment: 20
Complexity of Token Swapping and its Variants
In the Token Swapping problem we are given a graph with a token placed on
each vertex. Each token has exactly one destination vertex, and we try to move
all the tokens to their destinations, using the minimum number of swaps, i.e.,
operations of exchanging the tokens on two adjacent vertices. As the main
result of this paper, we show that Token Swapping is -hard parameterized
by the length of a shortest sequence of swaps. In fact, we prove that, for
any computable function , it cannot be solved in time where is the number of vertices of the input graph, unless the ETH
fails. This lower bound almost matches the trivial -time algorithm.
We also consider two generalizations of the Token Swapping, namely Colored
Token Swapping (where the tokens have different colors and tokens of the same
color are indistinguishable), and Subset Token Swapping (where each token has a
set of possible destinations). To complement the hardness result, we prove that
even the most general variant, Subset Token Swapping, is FPT in nowhere-dense
graph classes.
Finally, we consider the complexities of all three problems in very
restricted classes of graphs: graphs of bounded treewidth and diameter, stars,
cliques, and paths, trying to identify the borderlines between polynomial and
NP-hard cases.Comment: 23 pages, 7 Figure
- …