7 research outputs found
Vertex Sparsifiers for Hyperedge Connectivity
Recently, Chalermsook et al. [SODA'21(arXiv:2007.07862)] introduces a notion
of vertex sparsifiers for -edge connectivity, which has found applications
in parameterized algorithms for network design and also led to exciting dynamic
algorithms for -edge st-connectivity [Jin and Sun
FOCS'21(arXiv:2004.07650)]. We study a natural extension called vertex
sparsifiers for -hyperedge connectivity and construct a sparsifier whose
size matches the state-of-the-art for normal graphs. More specifically, we show
that, given a hypergraph with vertices and hyperedges with
terminal vertices and a parameter , there exists a hypergraph
containing only hyperedges that preserves all minimum cuts (up to
value ) between all subset of terminals. This matches the best bound of
edges for normal graphs by [Liu'20(arXiv:2011.15101)]. Moreover,
can be constructed in almost-linear time where is the rank of and
is the total size of , or in time if we slightly relax
the size to hyperedges.Comment: submitted to ESA 202
Approximation algorithms for network design and cut problems in bounded-treewidth
This thesis explores two optimization problems, the group Steiner tree and firefighter problems, which are known to be NP-hard even on trees. We study the approximability of these problems on trees and bounded-treewidth graphs. In the group Steiner tree, the input is a graph and sets of vertices called groups; the goal is to choose one representative from each group and connect all the representatives with minimum cost. We show an O(log^2 n)-approximation algorithm for bounded-treewidth graphs, matching the known lower bound for trees, and improving the best possible result using previous techniques. We also show improved approximation results for group Steiner forest, directed Steiner forest, and a fault-tolerant version of group Steiner tree. In the firefighter problem, we are given a graph and a vertex which is burning. At each time step, we can protect one vertex that is not burning; fire then spreads to all unprotected neighbors of burning vertices. The goal is to maximize the number of vertices that the fire does not reach. On trees, a classic (1-1/e)-approximation algorithm is known via LP rounding. We prove that the integrality gap of the LP matches this approximation, and show significant evidence that additional constraints may improve its integrality gap. On bounded-treewidth graphs, we show that it is NP-hard to find a subpolynomial approximation even on graphs of treewidth 5. We complement this result with an O(1)-approximation on outerplanar graphs.Diese Arbeit untersucht zwei Optimierungsprobleme, von welchen wir wissen, dass sie selbst in BĂ€umen NP-schwer sind. Wir analysieren Approximationen fĂŒr diese Probleme in BĂ€umen und Graphen mit begrenzter Baumweite. Im Gruppensteinerbaumproblem, sind ein Graph und Mengen von Knoten (Gruppen) gegeben; das Ziel ist es, einen Knoten von jeder Gruppe mit minimalen Kosten zu verbinden. Wir beschreiben einen O(log^2 n)-Approximationsalgorithmus fĂŒr Graphen mit beschrĂ€nkter Baumweite, dies entspricht der zuvor bekannten unteren Schranke fĂŒr BĂ€ume und ist zudem eine Verbesserung ĂŒber die bestmöglichen Resultate die auf anderen Techniken beruhen. DarĂŒber hinaus zeigen wir verbesserte Approximationsresultate fĂŒr andere Gruppensteinerprobleme. Im Feuerwehrproblem sind ein Graph zusammen mit einem brennenden Knoten gegeben. In jedem Zeitschritt können wir einen Knoten der noch nicht brennt auswĂ€hlen und diesen vor dem Feuer beschĂŒtzen. Das Feuer breitet sich anschlieĂend zu allen Nachbarn aus. Das Ziel ist es die Anzahl der Knoten die vom Feuer unberĂŒhrt bleiben zu maximieren. In BĂ€umen existiert ein lang bekannter (1-1/e)-Approximationsalgorithmus der auf LP Rundung basiert. Wir zeigen, dass die GanzzahligkeitslĂŒcke des LP tatsĂ€chlich dieser Approximation entspricht, und dass weitere EinschrĂ€nkungen die GanzzahligkeitslĂŒcke möglicherweise verbessern könnten. FĂŒr Graphen mit beschrĂ€nkter Baumweite zeigen wir, dass es NP-schwer ist, eine sub-polynomielle Approximation zu finden
LIPIcs, Volume 244, ESA 2022, Complete Volume
LIPIcs, Volume 244, ESA 2022, Complete Volum