A New Dynamic Programming Approach for Spanning Trees with Chain Constraints and Beyond


METADATA ONLY
Loading...

Date

2019

Publication Type

Conference Paper

ETH Bibliography

yes

Citations

Altmetric
METADATA ONLY

Data

Rights / License

Abstract

Short spanning trees subject to additional constraints are important building blocks in various approximation algorithms, and, moreover, they capture interesting problem settings on their own. Especially in the context of the Traveling Salesman Problem (TSP), new techniques for finding spanning trees with well-defined properties have been crucial in recent progress. We consider the problem of finding a spanning tree subject to constraints on the edges in a family of cuts forming a laminar family of small width. Our main contribution is a new dynamic programming approach where the value of a table entry does not only depend on the values of previous table entries, as it is usually the case, but also on a specific representative solution saved together with each table entry. This allows for handling a broad range of constraint types. In combination with other techniques—including negatively correlated rounding and a polyhedral approach that, in the problems we consider, allows for avoiding potential losses in the objective through the randomized rounding—we obtain several new results. We first present a quasi-polynomial time algorithm for the Minimum Chain-Constrained Spanning Tree Problem with an essentially optimal guarantee. More precisely, each chain constraint is violated by a factor of at most 1 + ε, and the cost is no larger than that of an optimal solution not violating any chain constraint. The best previous procedure is a bicriteria approximation violating each chain constraint by up to a constant factor and losing another factor in the objective. Moreover, our approach can naturally handle lower bounds on the chain constraints, and it can be extended to constraints on cuts forming a laminar family of constant width. Furthermore, we show how our approach can also handle parity constraints as used in the context of (path) TSP and a generalization thereof, and discuss implications in this context.

Publication status

published

Book title

Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms

Journal / series

Volume

Pages / Article No.

1550 - 1569

Publisher

SIAM

Event

30th ACM-SIAM Symposium on Discrete Algorithms (SODA 2019)

Edition / version

Methods

Geographic location

Date collected

Date created

Subject

Organisational unit

09487 - Zenklusen, Rico / Zenklusen, Rico check_circle

Notes

Funding Info about funding

Related publications and datasets