75,737 research outputs found
Parameterized Complexity of Critical Node Cuts
We consider the following natural graph cut problem called Critical Node Cut
(CNC): Given a graph on vertices, and two positive integers and
, determine whether has a set of vertices whose removal leaves
with at most connected pairs of vertices. We analyze this problem in the
framework of parameterized complexity. That is, we are interested in whether or
not this problem is solvable in time (i.e., whether
or not it is fixed-parameter tractable), for various natural parameters
. We consider four such parameters:
- The size of the required cut.
- The upper bound on the number of remaining connected pairs.
- The lower bound on the number of connected pairs to be removed.
- The treewidth of .
We determine whether or not CNC is fixed-parameter tractable for each of
these parameters. We determine this also for all possible aggregations of these
four parameters, apart from . Moreover, we also determine whether or not
CNC admits a polynomial kernel for all these parameterizations. That is,
whether or not there is an algorithm that reduces each instance of CNC in
polynomial time to an equivalent instance of size , where
is the given parameter
Algorithms for Cut Problems on Trees
We study the {\sc multicut on trees} and the {\sc generalized multiway Cut on
trees} problems. For the {\sc multicut on trees} problem, we present a
parameterized algorithm that runs in time , where is the positive root of the polynomial
. This improves the current-best algorithm of Chen et al. that runs
in time . For the {\sc generalized multiway cut on trees}
problem, we show that this problem is solvable in polynomial time if the number
of terminal sets is fixed; this answers an open question posed in a recent
paper by Liu and Zhang. By reducing the {\sc generalized multiway cut on trees}
problem to the {\sc multicut on trees} problem, our results give a
parameterized algorithm that solves the {\sc generalized multiway cut on trees}
problem in time , where time
Counting and enumerating optimum cut sets for hypergraph -partitioning problems for fixed
We consider the problem of enumerating optimal solutions for two hypergraph
-partitioning problems -- namely, Hypergraph--Cut and
Minmax-Hypergraph--Partition. The input in hypergraph -partitioning
problems is a hypergraph with positive hyperedge costs along with a
fixed positive integer . The goal is to find a partition of into
non-empty parts -- known as a -partition -- so as
to minimize an objective of interest.
1. If the objective of interest is the maximum cut value of the parts, then
the problem is known as Minmax-Hypergraph--Partition. A subset of hyperedges
is a minmax--cut-set if it is the subset of hyperedges crossing an optimum
-partition for Minmax-Hypergraph--Partition.
2. If the objective of interest is the total cost of hyperedges crossing the
-partition, then the problem is known as Hypergraph--Cut. A subset of
hyperedges is a min--cut-set if it is the subset of hyperedges crossing an
optimum -partition for Hypergraph--Cut.
We give the first polynomial bound on the number of minmax--cut-sets and a
polynomial-time algorithm to enumerate all of them in hypergraphs for every
fixed . Our technique is strong enough to also enable an -time
deterministic algorithm to enumerate all min--cut-sets in hypergraphs, thus
improving on the previously known -time deterministic algorithm,
where is the number of vertices and is the size of the hypergraph. The
correctness analysis of our enumeration approach relies on a structural result
that is a strong and unifying generalization of known structural results for
Hypergraph--Cut and Minmax-Hypergraph--Partition. We believe that our
structural result is likely to be of independent interest in the theory of
hypergraphs (and graphs).Comment: Accepted to ICALP'22. arXiv admin note: text overlap with
arXiv:2110.1481
A Fixed-Parameter Algorithm for the Max-Cut Problem on Embedded 1-Planar Graphs
We propose a fixed-parameter tractable algorithm for the \textsc{Max-Cut}
problem on embedded 1-planar graphs parameterized by the crossing number of
the given embedding. A graph is called 1-planar if it can be drawn in the plane
with at most one crossing per edge. Our algorithm recursively reduces a
1-planar graph to at most planar graphs, using edge removal and node
contraction. The \textsc{Max-Cut} problem is then solved on the planar graphs
using established polynomial-time algorithms. We show that a maximum cut in the
given 1-planar graph can be derived from the solutions for the planar graphs.
Our algorithm computes a maximum cut in an embedded 1-planar graph with
nodes and edge crossings in time .Comment: conference version from IWOCA 201
Approximating Minimum Cost Connectivity Orientation and Augmentation
We investigate problems addressing combined connectivity augmentation and
orientations settings. We give a polynomial-time 6-approximation algorithm for
finding a minimum cost subgraph of an undirected graph that admits an
orientation covering a nonnegative crossing -supermodular demand function,
as defined by Frank. An important example is -edge-connectivity, a
common generalization of global and rooted edge-connectivity.
Our algorithm is based on a non-standard application of the iterative
rounding method. We observe that the standard linear program with cut
constraints is not amenable and use an alternative linear program with
partition and co-partition constraints instead. The proof requires a new type
of uncrossing technique on partitions and co-partitions.
We also consider the problem setting when the cost of an edge can be
different for the two possible orientations. The problem becomes substantially
more difficult already for the simpler requirement of -edge-connectivity.
Khanna, Naor, and Shepherd showed that the integrality gap of the natural
linear program is at most when and conjectured that it is constant
for all fixed . We disprove this conjecture by showing an
integrality gap even when
On the Parameterized Complexity of Multiway Near-Separator
We study a new graph separation problem called Multiway Near-Separator. Given
an undirected graph , integer , and terminal set , it
asks whether there is a vertex set of size at
most such that in graph , no pair of distinct terminals can be
connected by two pairwise internally vertex-disjoint paths. Hence each terminal
pair can be separated in by removing at most one vertex. The problem is
therefore a generalization of (Node) Multiway Cut, which asks for a vertex set
for which each terminal is in a different component of . We develop a
fixed-parameter tractable algorithm for Multiway Near-Separator running in time
. Our algorithm is based on a new pushing lemma for
solutions with respect to important separators, along with two problem-specific
ingredients. The first is a polynomial-time subroutine to reduce the number of
terminals in the instance to a polynomial in the solution size plus the
size of a given suboptimal solution. The second is a polynomial-time algorithm
that, given a graph and terminal set along with a single
vertex that forms a multiway near-separator, computes a
14-approximation for the problem of finding a multiway near-separator not
containing .Comment: Conference version to appear at the International Symposium on
Parameterized and Exact Computation (IPEC 2023
A polynomial time approximation algorithm for the two-commodity splittable flow problem
We consider a generalization of the unsplittable maximum two-commodity flow problem on undirected graphs where each commodity can be split into a bounded number k i of equally-sized chunks that can be routed on different paths. We show that in contrast to the single-commodity case this problem is NP-hard, and hard to approximate to within a factor of α > 1/2. We present a polynomial time 1/2-approximation algorithm for the case of uniform chunk size over both commodities and show that for even k i and a mild cut condition it can be modified to yield an exact method. The uniform case can be used to derive a 1/4-approximation for the maximum concurrent (k 1, k 2)-splittable flow without chunk size restrictions for fixed demand ratio
- …