3,448 research outputs found
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
- …