-
A $\frac{4}{3}$-Approximation for the Maximum Leaf Spanning Arborescence Problem in DAGs
Authors:
Meike Neuwohner
Abstract:
The Maximum Leaf Spanning Arborescence problem (MLSA) is defined as follows: Given a directed graph $G$ and a vertex $r\in V(G)$ from which every other vertex is reachable, find a spanning arborescence rooted at $r$ maximizing the number of leaves (vertices with out-degree zero). The MLSA has applications in broadcasting, where a message needs to be transferred from a source vertex to all other ve…
▽ More
The Maximum Leaf Spanning Arborescence problem (MLSA) is defined as follows: Given a directed graph $G$ and a vertex $r\in V(G)$ from which every other vertex is reachable, find a spanning arborescence rooted at $r$ maximizing the number of leaves (vertices with out-degree zero). The MLSA has applications in broadcasting, where a message needs to be transferred from a source vertex to all other vertices along the arcs of an arborescence in a given network. In doing so, it is desirable to have as many vertices as possible that only need to receive, but not pass on messages since they are inherently cheaper to build.
We study polynomial-time approximation algorithms for the MLSA. For general digraphs, the state-of-the-art is a $\min\{\sqrt{\mathrm{OPT}},92\}$-approximation. In the (still APX-hard) special case where the input graph is acyclic, the best known approximation guarantee of $\frac{7}{5}$ is due to Fernandes and Lintzmayer: They prove that any $α$-approximation for the \emph{hereditary $3$-set packing problem}, a special case of weighted $3$-set packing, yields a $\max\{\frac{4}{3},α\}$-approximation for the MLSA in acyclic digraphs (dags), and provide a $\frac{7}{5}$-approximation for the hereditary $3$-set packing problem. In this paper, we obtain a $\frac{4}{3}$-approximation for the hereditary $3$-set packing problem, and, thus, also for the MLSA in dags. In doing so, we manage to leverage the full potential of the reduction provided by Fernandes and Lintzmayer. The algorithm that we study is a simple local search procedure considering swaps of size up to $10$. Its analysis relies on a two-stage charging argument.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
Improved guarantees for the a priori TSP
Authors:
Jannis Blauth,
Meike Neuwohner,
Luise Puhlmann,
Jens Vygen
Abstract:
We revisit the a priori TSP (with independent activation) and prove stronger approximation guarantees than were previously known. In the a priori TSP, we are given a metric space $(V,c)$ and an activation probability $p(v)$ for each customer $v\in V$. We ask for a TSP tour $T$ for $V$ that minimizes the expected length after cutting $T$ short by skip** the inactive customers. All known approxima…
▽ More
We revisit the a priori TSP (with independent activation) and prove stronger approximation guarantees than were previously known. In the a priori TSP, we are given a metric space $(V,c)$ and an activation probability $p(v)$ for each customer $v\in V$. We ask for a TSP tour $T$ for $V$ that minimizes the expected length after cutting $T$ short by skip** the inactive customers. All known approximation algorithms select a nonempty subset $S$ of the customers and construct a master route solution, consisting of a TSP tour for $S$ and two edges connecting every customer $v\in V\setminus S$ to a nearest customer in $S$. We address the following questions. If we randomly sample the subset $S$, what should be the sampling probabilities? How much worse than the optimum can the best master route solution be? The answers to these questions (we provide almost matching lower and upper bounds) lead to improved approximation guarantees: less than 3.1 with randomized sampling, and less than 5.9 with a deterministic polynomial-time algorithm.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
The $2$-$3$-Set Packing problem and a $\frac{4}{3}$-approximation for the Maximum Leaf Spanning Arborescence problem in rooted dags
Authors:
Meike Neuwohner
Abstract:
The weighted $3$-Set Packing problem is defined as follows: As input, we are given a collection $\mathcal{S}$ of sets, each of cardinality at most $3$ and equipped with a positive weight. The task is to find a disjoint sub-collection of maximum total weight. Already the special case of unit weights is known to be NP-hard, and the state-of-the-art are $\frac{4}{3}+ε$-approximations by Cygan and Für…
▽ More
The weighted $3$-Set Packing problem is defined as follows: As input, we are given a collection $\mathcal{S}$ of sets, each of cardinality at most $3$ and equipped with a positive weight. The task is to find a disjoint sub-collection of maximum total weight. Already the special case of unit weights is known to be NP-hard, and the state-of-the-art are $\frac{4}{3}+ε$-approximations by Cygan and Fürer and Yu. In this paper, we study the $2$-$3$-Set Packing problem, a generalization of the unweighted $3$-Set Packing problem, where our set collection may contain sets of cardinality $3$ and weight $2$, as well as sets of cardinality $2$ and weight $1$. Building upon the state-of-the-art works in the unit weight setting, we manage to provide a $\frac{4}{3}+ε$-approximation also for the more general $2$-$3$-Set Packing problem. We believe that this result can be a good starting point to identify classes of weight functions to which the techniques used for unit weights can be generalized. Using a reduction by Fernandes and Lintzmayer, our result further implies a $\frac{4}{3}+ε$-approximation for the Maximum Leaf Spanning Arborescence problem (MLSA) in rooted directed acyclic graphs, improving on the previously known $\frac{7}{5}$-approximation by Fernandes and Lintzmayer. By exploiting additional structural properties of the instance constructed in their reduction, we can further get the approximation guarantee for the MLSA down to $\frac{4}{3}$. The MLSA has applications in broadcasting where a message needs to be transferred from a source node to all other nodes along the arcs of an arborescence in a given network.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
The Pareto cover problem
Authors:
Bento Natura,
Meike Neuwohner,
Stefan Weltge
Abstract:
We introduce the problem of finding a set $B$ of $k$ points in $[0,1]^n$ such that the expected cost of the cheapest point in $B$ that dominates a random point from $[0,1]^n$ is minimized. We study the case where the coordinates of the random points are independently distributed and the cost function is linear. This problem arises naturally in various application areas where customers' requests ar…
▽ More
We introduce the problem of finding a set $B$ of $k$ points in $[0,1]^n$ such that the expected cost of the cheapest point in $B$ that dominates a random point from $[0,1]^n$ is minimized. We study the case where the coordinates of the random points are independently distributed and the cost function is linear. This problem arises naturally in various application areas where customers' requests are satisfied based on predefined products, each corresponding to a subset of features. We show that the problem is NP-hard already for $k=2$ when each coordinate is drawn from $\{0,1\}$, and obtain an FPTAS for general fixed $k$ under mild assumptions on the distributions.
△ Less
Submitted 16 February, 2022;
originally announced February 2022.
-
Passing the Limits of Pure Local Search for Weighted $k$-Set Packing
Authors:
Meike Neuwohner
Abstract:
We study the weighted $k$-Set Packing problem: Given a collection $S$ of sets, each of cardinality at most $k$, together with a positive weight function $w:\mathcal{S}\rightarrow\mathbb{Q}_{>0}$, the task is to compute a disjoint sub-collection $A\subseteq \mathcal{S}$ of maximum total weight. For $k\leq 2$, the weighted $k$-Set Packing problem can be solved in polynomial time, but for $k\geq 3$,…
▽ More
We study the weighted $k$-Set Packing problem: Given a collection $S$ of sets, each of cardinality at most $k$, together with a positive weight function $w:\mathcal{S}\rightarrow\mathbb{Q}_{>0}$, the task is to compute a disjoint sub-collection $A\subseteq \mathcal{S}$ of maximum total weight. For $k\leq 2$, the weighted $k$-Set Packing problem can be solved in polynomial time, but for $k\geq 3$, it becomes $NP$-hard. Recently, Neuwohner has shown how to obtain approximation guarantees of $\frac{k+ε_k}{2}$ with $\lim_{k\rightarrow\infty}ε_k=0$. She further showed her result to be asymptotically best possible in that no algorithm considering local improvements of logarithmically bounded size with respect to some fixed power of the weight function can yield an approximation guarantee better than $\frac{k}{2}$.
In this paper, we finally show how to beat the threshold of $\frac{k}{2}$ for the weighted $k$-Set Packing problem by $Ω(k)$. We achieve this by combining local search with the application of a black box algorithm for the unweighted $k$-Set Packing problem to carefully chosen sub-instances. In doing so, we manage to link the approximation ratio for general weights to the one achievable in the unweighted case and we obtain guarantees of at most $\frac{k+1}{2}-2\cdot 10^{-4}$ for all $k\geq 4$.
△ Less
Submitted 17 August, 2022; v1 submitted 2 February, 2022;
originally announced February 2022.
-
The Limits of Local Search for the Maximum Weight Independent Set Problem in d-Claw Free Graphs
Authors:
Meike Neuwohner
Abstract:
We consider the Maximum Weight Independent Set Problem (MWIS) in $d$-claw free graphs, i.e. the task of computing an independent set of maximum weight in a given $d$-claw free graph $G=(V,E)$ equipped with a positive weight function $w:V\rightarrow\mathbb{R}_{>0}$. For $k\geq 1$, the MWIS in $k+1$-claw free graphs generalizes the weighted $k$-Set Packing Problem. Given that for $k\geq 3$, this pro…
▽ More
We consider the Maximum Weight Independent Set Problem (MWIS) in $d$-claw free graphs, i.e. the task of computing an independent set of maximum weight in a given $d$-claw free graph $G=(V,E)$ equipped with a positive weight function $w:V\rightarrow\mathbb{R}_{>0}$. For $k\geq 1$, the MWIS in $k+1$-claw free graphs generalizes the weighted $k$-Set Packing Problem. Given that for $k\geq 3$, this problem does not permit a polynomial time $o(\frac{k}{\log k})$-approximation unless $P=NP$, most previous algorithms for both weighted $k$-Set Packing and the MWIS in $d$-claw free graphs rely on local search. For the last twenty years, Berman's algorithm SquareImp, which yields a $\frac{d}{2}+ε$-approximation for the MWIS in $d$-claw free graphs, has remained unchallenged for both problems. Recently, it was improved by Neuwohner, obtaining an approximation guarantee slightly below $\frac{d}{2}$, and inevitably raising the question of how far one can get by using local search. In this paper, we finally answer this question asymptotically in the following sense: By considering local improvements of logarithmic size, we obtain approximation ratios of $\frac{d-1+ε_d}{2}$ for the MWIS in $d$-claw free graphs for $d\geq 3$ in quasi-polynomial time, where $0\leq ε_d\leq 1$ and $\lim_{d\rightarrow\infty}ε_d = 0$. By employing the color coding technique, we can use the previous result to obtain a polynomial time $\frac{k+ε_{k+1}}{2}$-approximation for weighted $k$-Set Packing. On the other hand, we provide examples showing that no local improvement algorithm considering local improvements of size $\mathcal{O}(\log(|\mathcal{S}|))$ with respect to some power $w^α$ of the weight function, where $α\in\mathbb{R}$ is chosen arbitrarily, but fixed, can yield an approximation guarantee better than $\frac{k}{2}$ for the weighted $k$-Set Packing Problem with $k\geq 3$.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
An Improved Approximation Algorithm for the Maximum Weight Independent Set Problem in d-Claw Free Graphs
Authors:
Meike Neuwohner
Abstract:
In this paper, we consider the task of computing an independent set of maximum weight in a given $d$-claw free graph $G=(V,E)$ equipped with a positive weight function $w:V\rightarrow\mathbb{R}^+$. In doing so, $d\geq 2$ is considered a constant. The previously best known approximation algorithm for this problem is the local improvement algorithm SquareImp proposed by Berman. It achieves a perform…
▽ More
In this paper, we consider the task of computing an independent set of maximum weight in a given $d$-claw free graph $G=(V,E)$ equipped with a positive weight function $w:V\rightarrow\mathbb{R}^+$. In doing so, $d\geq 2$ is considered a constant. The previously best known approximation algorithm for this problem is the local improvement algorithm SquareImp proposed by Berman. It achieves a performance ratio of $\frac{d}{2}+ε$ in time $\mathcal{O}(|V(G)|^{d+1}\cdot(|V(G)|+|E(G)|)\cdot (d-1)^2\cdot \left(\frac{d}{2ε}+1\right)^2)$ for any $ε>0$, which has remained unimproved for the last twenty years. By considering a broader class of local improvements, we obtain an approximation ratio of $\frac{d}{2}-\frac{1}{63,700,992}+ε$ for any $ε>0$ at the cost of an additional factor of $\mathcal{O}(|V(G)|^{(d-1)^2})$ in the running time. In particular, our result implies a polynomial time $\frac{d}{2}$-approximation algorithm. Furthermore, the well-known reduction from the weighted $k$-Set Packing Problem to the Maximum Weight Independent Set Problem in $k+1$-claw free graphs provides a $\frac{k+1}{2}-\frac{1}{63,700,992}+ε$-approximation algorithm for the weighted $k$-Set Packing Problem for any $ε>0$. This improves on the previously best known approximation guarantee of $\frac{k+1}{2}+ε$ originating from the result of Berman.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Reducing Moser's Square Packing Problem to a Bounded Number of Squares
Authors:
Meike Neuwohner
Abstract:
The problem widely known as Moser's Square Packing Problem asks for the smallest area $A$ such that for any set $S$ of squares of total area $1$, there exists a rectangle $R$ of area $A$ into which the squares in $S$ permit an internally-disjoint, axis-parallel packing. It was formulated by Moser in 1966 and remains unsolved so far. The best known lower bound of $\frac{2+\sqrt{3}}{3}\leq A$ is due…
▽ More
The problem widely known as Moser's Square Packing Problem asks for the smallest area $A$ such that for any set $S$ of squares of total area $1$, there exists a rectangle $R$ of area $A$ into which the squares in $S$ permit an internally-disjoint, axis-parallel packing. It was formulated by Moser in 1966 and remains unsolved so far. The best known lower bound of $\frac{2+\sqrt{3}}{3}\leq A$ is due to Novotný and has been shown to be sufficient for up to $11$ squares by Platz, while Hougardy and Ilhan have established that $A < 1.37$. In this paper, we reduce Moser's Square Packing Problem to a problem on a finite set of squares in the following sense: We show how to compute a natural number $N$ such that it is enough to determine the value of $A$ for sets containing at most $N$ squares with total area $1$.
△ Less
Submitted 11 March, 2021;
originally announced March 2021.
-
A Fast Optimal Double Row Legalization Algorithm
Authors:
Stefan Hougardy,
Meike Neuwohner,
Ulrike Schorr
Abstract:
In Placement Legalization, it is often assumed that (almost) all standard cells possess the same height and can therefore be aligned in cell rows, which can then be treated independently. However, this is no longer true for recent technologies, where a substantial number of cells of double- or even arbitrary multiple-row height is to be expected. Due to interdependencies between the cell placement…
▽ More
In Placement Legalization, it is often assumed that (almost) all standard cells possess the same height and can therefore be aligned in cell rows, which can then be treated independently. However, this is no longer true for recent technologies, where a substantial number of cells of double- or even arbitrary multiple-row height is to be expected. Due to interdependencies between the cell placements within several rows, the legalization task becomes considerably harder. In this paper, we show how to optimize quadratic cell movement for pairs of adjacent rows comprising cells of single- as well as double-row height with a fixed left-to-right ordering in time $\mathcal{O}(n\cdot\log(n))$, whereby $n$ denotes the number of cells involved. Opposed to prior works, we thereby do not artificially bound the maximum cell movement and can guarantee to find an optimum solution. Experimental results show an average percental decrease of over $26\%$ in the total quadratic movement when compared to a legalization approach that fixes cells of more than single-row height after Global Placement.
△ Less
Submitted 21 January, 2021;
originally announced January 2021.