-
Robust Minimum Cost Flow Problem Under Consistent Flow Constraints
Authors:
Christina Büsing,
Arie M. C. A. Koster,
Sabrina Schmitz
Abstract:
The robust minimum cost flow problem under consistent flow constraints (RobMCF$\equiv$) is a new extension of the minimum cost flow (MCF) problem. In the RobMCF$\equiv$ problem, we consider demand and supply that are subject to uncertainty. For all demand realizations, however, we require that the flow value on an arc needs to be equal if it is included in the predetermined arc set given. The obje…
▽ More
The robust minimum cost flow problem under consistent flow constraints (RobMCF$\equiv$) is a new extension of the minimum cost flow (MCF) problem. In the RobMCF$\equiv$ problem, we consider demand and supply that are subject to uncertainty. For all demand realizations, however, we require that the flow value on an arc needs to be equal if it is included in the predetermined arc set given. The objective is to find feasible flows that satisfy the equal flow requirements while minimizing the maximum occurring cost among all demand realizations.
In the case of a discrete set of scenarios, we derive structural results which point out the differences with the polynomial time solvable MCF problem on networks with integral capacities. In particular, the Integral Flow Theorem of Dantzig and Fulkerson does not hold. For this reason, we require integral flows in the entire paper. We show that the RobMCF$\equiv$ problem is strongly $\mathcal{NP}$-hard on acyclic digraphs by a reduction from the $(3,B2)$-Sat problem. Further, we demonstrate that the RobMCF$\equiv$ problem is weakly $\mathcal{NP}$-hard on series-parallel digraphs by providing a reduction from Partition and a pseudo-polynomial algorithm based on dynamic programming. Finally, we propose a special case on series-parallel digraphs for which we can solve the RobMCF$\equiv$ problem in polynomial time.
△ Less
Submitted 5 August, 2020;
originally announced August 2020.
-
On the Burning Number of $p$-Caterpillars
Authors:
Michaela Hiller,
Eberhard Triesch,
Arie M. C. A. Koster
Abstract:
The burning number is a recently introduced graph parameter indicating the spreading speed of content in a graph through its edges. While the conjectured upper bound on the necessary numbers of time steps until all vertices are reached is proven for some specific graph classes it remains open for trees in general. We present two different proofs for ordinary caterpillars and prove the conjecture f…
▽ More
The burning number is a recently introduced graph parameter indicating the spreading speed of content in a graph through its edges. While the conjectured upper bound on the necessary numbers of time steps until all vertices are reached is proven for some specific graph classes it remains open for trees in general. We present two different proofs for ordinary caterpillars and prove the conjecture for a generalised version of caterpillars and for trees with a sufficient amount of leaves. Furthermore, determining the burning number for spider graphs, trees with maximum degree three and path-forests is known to be $\mathcal{NP}$-complete, however, we show that the complexity is already inherent in caterpillars with maximum degree three.
△ Less
Submitted 23 December, 2019;
originally announced December 2019.
-
Analyzing Partitioned FAIR Health Data Responsibly
Authors:
Chang Sun,
Lianne Ippel,
Birgit Wouters,
Johan van Soest,
Alexander Malic,
Onaopepo Adekunle,
Bob van den Berg,
Marco Puts,
Ole Mussmann,
Annemarie Koster,
Carla van der Kallen,
David Townend,
Andre Dekker,
Michel Dumontier
Abstract:
It is widely anticipated that the use of health-related big data will enable further understanding and improvements in human health and wellbeing. Our current project, funded through the Dutch National Research Agenda, aims to explore the relationship between the development of diabetes and socio-economic factors such as lifestyle and health care utilization. The analysis involves combining data f…
▽ More
It is widely anticipated that the use of health-related big data will enable further understanding and improvements in human health and wellbeing. Our current project, funded through the Dutch National Research Agenda, aims to explore the relationship between the development of diabetes and socio-economic factors such as lifestyle and health care utilization. The analysis involves combining data from the Maastricht Study (DMS), a prospective clinical study, and data collected by Statistics Netherlands (CBS) as part of its routine operations. However, a wide array of social, legal, technical, and scientific issues hinder the analysis. In this paper, we describe these challenges and our progress towards addressing them.
△ Less
Submitted 2 December, 2018;
originally announced December 2018.
-
Moving the Needle: What Works Cities and the use of data and evidence
Authors:
Simone Brody,
Andel Koester,
Zachary Markovits,
Jacob Phillips
Abstract:
Bloomberg Philanthropies launched What Works Cities (WWC) in 2015 to help cities better leverage data and evidence to drive decision-making and improve residents' lives. Over three years, WWC will work with 100 American cities with populations between 100,000 and 1,000,000 to measure their state of practice and provide targeted technical assistance. This paper uses the data obtained through the WW…
▽ More
Bloomberg Philanthropies launched What Works Cities (WWC) in 2015 to help cities better leverage data and evidence to drive decision-making and improve residents' lives. Over three years, WWC will work with 100 American cities with populations between 100,000 and 1,000,000 to measure their state of practice and provide targeted technical assistance. This paper uses the data obtained through the WWC discovery process to understand how 67 cities are currently using data to deliver city services. Our analysis confirms that while cities possess a strong desire to use data and evidence, government leaders are constrained in their ability to apply these practices. We find that a city's stated commitment to using data is the strongest predictor of overall performance and that strong practice in almost any one specific technical area of using data to inform decisions is an indicator of strong practices in other areas. The exception is open data; we find larger cities are more adept at adopting open data policies and programs, independent of their performance using data overall. This paper seeks to develop a deeper understanding of the issues underlying these findings and to continue the conversation on how to best support cities' efforts in this work.
△ Less
Submitted 27 September, 2016;
originally announced September 2016.
-
Robust Flows over Time: Models and Complexity Results
Authors:
Corinna Gottschalk,
Arie M. C. A. Koster,
Frauke Liers,
Britta Peis,
Daniel Schmand,
Andreas Wierz
Abstract:
We study dynamic network flows with uncertain input data under a robust optimization perspective. In the dynamic maximum flow problem, the goal is to maximize the flow reaching the sink within a given time horizon $T$, while flow requires a certain travel time to traverse an edge.
In our setting, we account for uncertain travel times of flow. We investigate maximum flows over time under the assu…
▽ More
We study dynamic network flows with uncertain input data under a robust optimization perspective. In the dynamic maximum flow problem, the goal is to maximize the flow reaching the sink within a given time horizon $T$, while flow requires a certain travel time to traverse an edge.
In our setting, we account for uncertain travel times of flow. We investigate maximum flows over time under the assumption that at most $Γ$ travel times may be prolonged simultaneously due to delay. We develop and study a mathematical model for this problem. As the dynamic robust flow problem generalizes the static version, it is NP-hard to compute an optimal flow. However, our dynamic version is considerably more complex than the static version. We show that it is NP-hard to verify feasibility of a given candidate solution. Furthermore, we investigate temporally repeated flows and show that in contrast to the non-robust case (that is, without uncertainties) they no longer provide optimal solutions for the robust problem, but rather yield a worst case optimality gap of at least $T$. We finally show that the optimality gap is at most $O(ηk \log T)$, where $η$ and $k$ are newly introduced instance characteristics and provide a matching lower bound instance with optimality gap $Ω(\log T)$ and $η= k = 1$. The results obtained in this paper yield a first step towards understanding robust dynamic flow problems with uncertain travel times.
△ Less
Submitted 24 March, 2017; v1 submitted 23 August, 2016;
originally announced August 2016.
-
A flow based pruning scheme for enumerative equitable coloring algorithms
Authors:
Arie Koster,
Robert Schweidweiler,
Martin Tieves
Abstract:
An equitable graph coloring is a proper vertex coloring of a graph G where the sizes of the color classes differ by at most one. The equitable chromatic number is the smallest number k such that G admits such equitable k-coloring. We focus on enumerative algorithms for the computation of the equitable coloring number and propose a general scheme to derive pruning rules for them: We show how the ex…
▽ More
An equitable graph coloring is a proper vertex coloring of a graph G where the sizes of the color classes differ by at most one. The equitable chromatic number is the smallest number k such that G admits such equitable k-coloring. We focus on enumerative algorithms for the computation of the equitable coloring number and propose a general scheme to derive pruning rules for them: We show how the extendability of a partial coloring into an equitable coloring can be modeled via network flows. Thus, we obtain pruning rules which can be checked via flow algorithms. Computational experiments show that the search tree of enumerative algorithms can be significantly reduced in size by these rules and, in most instances, such naive approach even yields a faster algorithm. Moreover, the stability, i.e., the number of solved instances within a given time limit, is greatly improved.
Since the execution of flow algorithms at each node of a search tree is time consuming, we derive arithmetic pruning rules (generalized Hall-conditions) from the network model. Adding these rules to an enumerative algorithm yields an even larger runtime improvement.
△ Less
Submitted 28 October, 2016; v1 submitted 29 July, 2016;
originally announced July 2016.
-
ms2: A molecular simulation tool for thermodynamic properties, new version release
Authors:
Colin W. Glass,
Steffen Reiser,
Gábor Rutkai,
Stephan Deublein,
Andreas Köster,
Gabriela Guevara Carrión,
Amer Wafai,
Martin Horsch,
Martin F. Bernreuther,
Thorsten Windmann,
Hans Hasse,
Jadran Vrabec
Abstract:
A new version release (2.0) of the molecular simulation tool ms2 [S. Deublein et al., Comput. Phys. Commun. 182 (2011) 2350] is presented. Version 2.0 of ms2 features a hybrid parallelization based on MPI and OpenMP for molecular dynamics simulation to achieve higher scalability. Furthermore, the formalism by Lustig [R. Lustig, Mol. Phys. 110 (2012) 3041] is implemented, allowing for a systematic…
▽ More
A new version release (2.0) of the molecular simulation tool ms2 [S. Deublein et al., Comput. Phys. Commun. 182 (2011) 2350] is presented. Version 2.0 of ms2 features a hybrid parallelization based on MPI and OpenMP for molecular dynamics simulation to achieve higher scalability. Furthermore, the formalism by Lustig [R. Lustig, Mol. Phys. 110 (2012) 3041] is implemented, allowing for a systematic sampling of Massieu potential derivatives in a single simulation run. Moreover, the Green-Kubo formalism is extended for the sampling of the electric conductivity and the residence time. To remove the restriction of the preceding version to electro-neutral molecules, Ewald summation is implemented to consider ionic long range interactions. Finally, the sampling of the radial distribution function is added.
△ Less
Submitted 25 July, 2015;
originally announced July 2015.
-
Optimal offline virtual network embedding with rent-at-bulk aspects
Authors:
Stefano Coniglio,
Boris Grimm,
Arie M. C. A. Koster,
Martin Tieves,
Axel Werner
Abstract:
Network virtualization techniques allow for the coexistence of many virtual networks (VNs) jointly sharing the resources of an underlying substrate network. The Virtual Network Embedding problem (VNE) arises when looking for the most profitable set of VNs to embed onto the substrate. In this paper, we address the offline version of the problem. We propose a Mixed-Integer Linear Programming formula…
▽ More
Network virtualization techniques allow for the coexistence of many virtual networks (VNs) jointly sharing the resources of an underlying substrate network. The Virtual Network Embedding problem (VNE) arises when looking for the most profitable set of VNs to embed onto the substrate. In this paper, we address the offline version of the problem. We propose a Mixed-Integer Linear Programming formulation to solve it to optimality which accounts for acceptance and rejection of virtual network requests, allowing for both splittable and unsplittable (single path) routing schemes. Our formulation also considers a Rent-at-Bulk (RaB) model for the rental of substrate capacities where economies of scale apply. To better emphasize the importance of RaB, we also compare our method to a baseline one which only takes RaB into account a posteriori, once a solution to VNE, oblivious to RaB, has been found. Computational experiments show the viability of our approach, stressing the relevance of addressing RaB directly with an exact formulation
△ Less
Submitted 30 January, 2015;
originally announced January 2015.
-
Pre-processing for Triangulation of Probabilistic Networks
Authors:
Hans L. Bodlaender,
Arie M. C. A. Koster,
Frank van den Eijkhof,
Linda C. van der Gaag
Abstract:
The currently most efficient algorithm for inference with a probabilistic network builds upon a triangulation of a network's graph. In this paper, we show that pre-processing can help in finding good triangulations forprobabilistic networks, that is, triangulations with a minimal maximum clique size. We provide a set of rules for stepwise reducing a graph, without losing optimality. This reduct…
▽ More
The currently most efficient algorithm for inference with a probabilistic network builds upon a triangulation of a network's graph. In this paper, we show that pre-processing can help in finding good triangulations forprobabilistic networks, that is, triangulations with a minimal maximum clique size. We provide a set of rules for stepwise reducing a graph, without losing optimality. This reduction allows us to solve the triangulation problem on a smaller graph. From the smaller graph's triangulation, a triangulation of the original graph is obtained by reversing the reduction steps. Our experimental results show that the graphs of some well-known real-life probabilistic networks can be triangulated optimally just by preprocessing; for other networks, huge reductions in their graph's size are obtained.
△ Less
Submitted 10 January, 2013;
originally announced January 2013.
