-
An Efficient Branch-and-Bound Solver for Hitting Set
Authors:
Thomas Bläsius,
Tobias Friedrich,
David Stangl,
Christopher Weyand
Abstract:
The hitting set problem asks for a collection of sets over a universe $U$ to find a minimum subset of $U$ that intersects each of the given sets. It is NP-hard and equivalent to the problem set cover. We give a branch-and-bound algorithm to solve hitting set. Though it requires exponential time in the worst case, it can solve many practical instances from different domains in reasonable time. Our…
▽ More
The hitting set problem asks for a collection of sets over a universe $U$ to find a minimum subset of $U$ that intersects each of the given sets. It is NP-hard and equivalent to the problem set cover. We give a branch-and-bound algorithm to solve hitting set. Though it requires exponential time in the worst case, it can solve many practical instances from different domains in reasonable time. Our algorithm outperforms a modern ILP solver, the state-of-the-art for hitting set, by at least an order of magnitude on most instances.
△ Less
Submitted 27 September, 2023; v1 submitted 22 October, 2021;
originally announced October 2021.
-
Convergence and Hardness of Strategic Schelling Segregation
Authors:
Hagen Echzell,
Tobias Friedrich,
Pascal Lenzner,
Louise Molitor,
Marcus Pappik,
Friedrich Schöne,
Fabian Sommer,
David Stangl
Abstract:
The phenomenon of residential segregation was captured by Schelling's famous segregation model where two types of agents are placed on a grid and an agent is content with her location if the fraction of her neighbors which have the same type as her is at least $τ$, for some $0<τ<1$. Discontent agents simply swap their location with a randomly chosen other discontent agent or jump to a random empty…
▽ More
The phenomenon of residential segregation was captured by Schelling's famous segregation model where two types of agents are placed on a grid and an agent is content with her location if the fraction of her neighbors which have the same type as her is at least $τ$, for some $0<τ<1$. Discontent agents simply swap their location with a randomly chosen other discontent agent or jump to a random empty cell.
We analyze a generalized game-theoretic model of Schelling segregation which allows more than two agent types and more general underlying graphs modeling the residential area. For this we show that both aspects heavily influence the dynamic properties and the tractability of finding an optimal placement. We map the boundary of when improving response dynamics (IRD), i.e., the natural approach for finding equilibrium states, are guaranteed to converge. For this we prove several sharp threshold results where guaranteed IRD convergence suddenly turns into the strongest possible non-convergence result: a violation of weak acyclicity. In particular, we show such threshold results also for Schelling's original model, which is in contrast to the standard assumption in many empirical papers. Furthermore, we show that in case of convergence, IRD find an equilibrium in $\mathcal{O}(m)$ steps, where $m$ is the number of edges in the underlying graph and show that this bound is met in empirical simulations starting from random initial agent placements.
△ Less
Submitted 17 July, 2019;
originally announced July 2019.
-
Celebrating 70: An Interview with Don Berry
Authors:
Dalene Stangl,
Lurdes Y. T. Inoue,
Telba Z. Irony
Abstract:
Donald (Don) Arthur Berry, born May 26, 1940 in Southbridge, Massachusetts, earned his A.B. degree in mathematics from Dartmouth College and his M.A. and Ph.D. in statistics from Yale University. He served first on the faculty at the University of Minnesota and subsequently held endowed chair positions at Duke University and The University of Texas M.D. Anderson Center. At the time of the intervie…
▽ More
Donald (Don) Arthur Berry, born May 26, 1940 in Southbridge, Massachusetts, earned his A.B. degree in mathematics from Dartmouth College and his M.A. and Ph.D. in statistics from Yale University. He served first on the faculty at the University of Minnesota and subsequently held endowed chair positions at Duke University and The University of Texas M.D. Anderson Center. At the time of the interview he served as Head of the Division of Quantitative Sciences, and Chairman and Professor of the Department of Biostatistics at UT M.D. Anderson Center.
△ Less
Submitted 26 March, 2012;
originally announced March 2012.