120,707 research outputs found
Some NP-complete edge packing and partitioning problems in planar graphs
Graph packing and partitioning problems have been studied in many contexts,
including from the algorithmic complexity perspective. Consider the packing
problem of determining whether a graph contains a spanning tree and a cycle
that do not share edges. Bern\'ath and Kir\'aly proved that this decision
problem is NP-complete and asked if the same result holds when restricting to
planar graphs. Similarly, they showed that the packing problem with a spanning
tree and a path between two distinguished vertices is NP-complete. They also
established the NP-completeness of the partitioning problem of determining
whether the edge set of a graph can be partitioned into a spanning tree and a
(not-necessarily spanning) tree. We prove that all three problems remain
NP-complete even when restricted to planar graphs.Comment: 6 pages, 2 figure
Parameterized Complexity of Path Set Packing
In PATH SET PACKING, the input is an undirected graph , a collection of simple paths in , and a positive integer . The problem is to decide
whether there exist edge-disjoint paths in . We study the
parameterized complexity of PATH SET PACKING with respect to both natural and
structural parameters. We show that the problem is -hard with respect to
vertex cover plus the maximum length of a path in , and -hard
respect to pathwidth plus maximum degree plus solution size. These results
answer an open question raised in COCOON 2018. On the positive side, we show an
FPT algorithm parameterized by feedback vertex set plus maximum degree, and
also show an FPT algorithm parameterized by treewidth plus maximum degree plus
maximum length of a path in . Both the positive results complement the
hardness of PATH SET PACKING with respect to any subset of the parameters used
in the FPT algorithms
Lossy Kernelization
In this paper we propose a new framework for analyzing the performance of
preprocessing algorithms. Our framework builds on the notion of kernelization
from parameterized complexity. However, as opposed to the original notion of
kernelization, our definitions combine well with approximation algorithms and
heuristics. The key new definition is that of a polynomial size
-approximate kernel. Loosely speaking, a polynomial size
-approximate kernel is a polynomial time pre-processing algorithm that
takes as input an instance to a parameterized problem, and outputs
another instance to the same problem, such that . Additionally, for every , a -approximate solution
to the pre-processed instance can be turned in polynomial time into a
-approximate solution to the original instance .
Our main technical contribution are -approximate kernels of
polynomial size for three problems, namely Connected Vertex Cover, Disjoint
Cycle Packing and Disjoint Factors. These problems are known not to admit any
polynomial size kernels unless . Our approximate
kernels simultaneously beat both the lower bounds on the (normal) kernel size,
and the hardness of approximation lower bounds for all three problems. On the
negative side we prove that Longest Path parameterized by the length of the
path and Set Cover parameterized by the universe size do not admit even an
-approximate kernel of polynomial size, for any , unless
. In order to prove this lower bound we need to combine
in a non-trivial way the techniques used for showing kernelization lower bounds
with the methods for showing hardness of approximationComment: 58 pages. Version 2 contain new results: PSAKS for Cycle Packing and
approximate kernel lower bounds for Set Cover and Hitting Set parameterized
by universe siz
Some NP-complete Edge Packing and Partitioning Problems in Planar Graphs
Graph packing and partitioning problems have been studied in many contexts, including from the algorithmic complexity perspective. Consider the packing problem of determining whether a graph contains a spanning tree and a cycle that do not share edges. Bernáth and Király proved that this decision problem is NP-complete and asked if the same result holds when restricting to planar graphs. Similarly, they showed that the packing problem with a spanning tree and a path between two distinguished vertices is NP-complete. They also established the NP-completeness of the partitioning problem of determining whether the edge set of a graph can be partitioned into a spanning tree and a (not-necessarily spanning) tree. We prove that all three problems remain NP-complete even when restricted to planar graphs
Improved Approximation Algorithms for Cycle and Path Packings
Given an edge-weighted (metric/general) complete graph with vertices, the
maximum weight (metric/general) -cycle/path packing problem is to find a set
of vertex-disjoint -cycles/paths such that the total weight is
maximized. In this paper, we consider approximation algorithms. For metric
-cycle packing, we improve the previous approximation ratio from to
for , and from for to
for constant odd and to for even . For metric -path packing, we
improve the approximation ratio from to
for even . For the case of
, we improve the approximation ratio from to for metric
4-cycle packing, from to for general 4-cycle packing, and from
to for metric 4-path packing.Comment: To appear in WALCOM 202
On the tractability of some natural packing, covering and partitioning problems
In this paper we fix 7 types of undirected graphs: paths, paths with
prescribed endvertices, circuits, forests, spanning trees, (not necessarily
spanning) trees and cuts. Given an undirected graph and two "object
types" and chosen from the alternatives above, we
consider the following questions. \textbf{Packing problem:} can we find an
object of type and one of type in the edge set of
, so that they are edge-disjoint? \textbf{Partitioning problem:} can we
partition into an object of type and one of type ?
\textbf{Covering problem:} can we cover with an object of type
, and an object of type ? This framework includes 44
natural graph theoretic questions. Some of these problems were well-known
before, for example covering the edge-set of a graph with two spanning trees,
or finding an - path and an - path that are
edge-disjoint. However, many others were not, for example can we find an
- path and a spanning tree that are
edge-disjoint? Most of these previously unknown problems turned out to be
NP-complete, many of them even in planar graphs. This paper determines the
status of these 44 problems. For the NP-complete problems we also investigate
the planar version, for the polynomial problems we consider the matroidal
generalization (wherever this makes sense)
A Constant Factor Approximation Algorithm for Unsplittable Flow on Paths
In the unsplittable flow problem on a path, we are given a capacitated path
and tasks, each task having a demand, a profit, and start and end
vertices. The goal is to compute a maximum profit set of tasks, such that for
each edge of , the total demand of selected tasks that use does not
exceed the capacity of . This is a well-studied problem that has been
studied under alternative names, such as resource allocation, bandwidth
allocation, resource constrained scheduling, temporal knapsack and interval
packing.
We present a polynomial time constant-factor approximation algorithm for this
problem. This improves on the previous best known approximation ratio of
. The approximation ratio of our algorithm is for any
.
We introduce several novel algorithmic techniques, which might be of
independent interest: a framework which reduces the problem to instances with a
bounded range of capacities, and a new geometrically inspired dynamic program
which solves a special case of the maximum weight independent set of rectangles
problem to optimality. In the setting of resource augmentation, wherein the
capacities can be slightly violated, we give a -approximation
algorithm. In addition, we show that the problem is strongly NP-hard even if
all edge capacities are equal and all demands are either~1,~2, or~3.Comment: 37 pages, 5 figures Version 2 contains the same results as version 1,
but the presentation has been greatly revised and improved. References have
been adde
Approximating Disjoint-Path Problems Using Greedy Algorithms and Packing Integer Programs
In the edge(vertex)-disjoint path problem we are given a graph and a set of connection requests. Every connection request in is a vertex pair The objective is to connect a maximum number of the pairs via edge(vertex)-disjoint paths. The edge-disjoint path problem can be generalized to the multiple-source unsplittable flow problem where connection request has a demand and every edge a capacity All these problems are NP-hard and have a multitude of applications in areas such as routing, scheduling and bin packing. Given the hardness of the problem, we study polynomial-time approximation algorithms. In this context, a -approximation algorithm is able to route at least a fraction of the connection requests. Although the edge- and vertex-disjoint path problems, and more recently the unsplittable flow generalization, have been extensively studied, they remain notoriously hard to approximate with a bounded performance guarantee. For example, even for the simple edge-disjoint path problem, no -approximation algorithm is known. Moreover some of the best existing approximation ratios are obtained through sophisticated and non-standard randomized rounding schemes. In this paper we introduce techniques which yield algorithms for a wide range of disjoint-path and unsplittable flow problems. For the general unsplittable flow problem, even with weights on the commodities, our techniques lead to the first approximation algorithm and obtain an approximation ratio that matches, to within logarithmic factors, the approximation ratio for the simple edge-disjoint path problem. In addition to this result and to improved bounds for several disjoint-path problems, our techniques simplify and unify the derivation of many existing approximation results. We use two basic techniques. First, we propose simple greedy algorithms for edge- and vertex-disjoint paths and second, we propose the use of a framework based on packing integer programs for more general problems such as unsplittable flow. A packing integer program is of the form maximize subject to As part of our tools we develop improved approximation algorithms for a class of packing integer programs, a result that we believe is of independent interest
Fast Algorithms for Parameterized Problems with Relaxed Disjointness Constraints
In parameterized complexity, it is a natural idea to consider different
generalizations of classic problems. Usually, such generalization are obtained
by introducing a "relaxation" variable, where the original problem corresponds
to setting this variable to a constant value. For instance, the problem of
packing sets of size at most into a given universe generalizes the Maximum
Matching problem, which is recovered by taking . Most often, the
complexity of the problem increases with the relaxation variable, but very
recently Abasi et al. have given a surprising example of a problem ---
-Simple -Path --- that can be solved by a randomized algorithm with
running time . That is, the complexity of the
problem decreases with . In this paper we pursue further the direction
sketched by Abasi et al. Our main contribution is a derandomization tool that
provides a deterministic counterpart of the main technical result of Abasi et
al.: the algorithm for -Monomial
Detection, which is the problem of finding a monomial of total degree and
individual degrees at most in a polynomial given as an arithmetic circuit.
Our technique works for a large class of circuits, and in particular it can be
used to derandomize the result of Abasi et al. for -Simple -Path. On our
way to this result we introduce the notion of representative sets for
multisets, which may be of independent interest. Finally, we give two more
examples of problems that were already studied in the literature, where the
same relaxation phenomenon happens. The first one is a natural relaxation of
the Set Packing problem, where we allow the packed sets to overlap at each
element at most times. The second one is Degree Bounded Spanning Tree,
where we seek for a spanning tree of the graph with a small maximum degree
Approximation Algorithms for Round-UFP and Round-SAP
We study Round-UFP and Round-SAP, two generalizations of the classical Bin Packing problem that correspond to the unsplittable flow problem on a path (UFP) and the storage allocation problem (SAP), respectively. We are given a path with capacities on its edges and a set of jobs where for each job we are given a demand and a subpath. In Round-UFP, the goal is to find a packing of all jobs into a minimum number of copies (rounds) of the given path such that for each copy, the total demand of jobs on any edge does not exceed the capacity of the respective edge. In Round-SAP, the jobs are considered to be rectangles and the goal is to find a non-overlapping packing of these rectangles into a minimum number of rounds such that all rectangles lie completely below the capacity profile of the edges.
We show that in contrast to Bin Packing, both problems do not admit an asymptotic polynomial-time approximation scheme (APTAS), even when all edge capacities are equal. However, for this setting, we obtain asymptotic (2+?)-approximations for both problems. For the general case, we obtain an O(log log n)-approximation algorithm and an O(log log 1/?)-approximation under (1+?)-resource augmentation for both problems. For the intermediate setting of the no bottleneck assumption (i.e., the maximum job demand is at most the minimum edge capacity), we obtain an absolute 12- and an asymptotic (16+?)-approximation algorithm for Round-UFP and Round-SAP, respectively
- …