SearcharxivSearch

arXiv subjects

Florian Rösel

Publications and source records attributed to Florian Rösel.

2 recordsLinked to original sources

A Safe Approximation Based on Mixed-Integer Optimization for Non-Convex Distributional Robustness Governed by Univariate Indicator Functions

In this work, we present an algorithmically tractable safe approximation of distributionally robust optimization (DRO) problems that contain univariate indicator functions. The latter appear in different applications, but render the model nonlinear and nonconvex. The considered ambiguity sets can exploit moment information. Typically, reformulation approaches using duality theory need to make strong assumptions on the structure of the underlying constraints, such as convexity in the decisions or concavity in the uncertainty which cannot be assumed in our setting. We nevertheless present an equivalent semi-infinite reformulation that is subsequently approximated by a discretized counterpart. Under mild assumptions, the latter provides a safe approximation that is formulated as a tractable mixed-integer linear problem, which can be solved by available standard software. Obtained solutions are guaranteed to be feasible for the original distributionally robust problem. Although we show that in general convergence to the true DRO problem cannot be expected, we furthermore prove that the approximation of the adversarial problem indeed converges to its true value for increasingly fine discretization. On the practical side, the approach is made concrete for a challenging, fundamental task in material design, namely in particle separation. Computational results for a realistic setting show that the safe approximation yields robust solutions of high-quality and can be computed within short time.

math.OC

Feature Selection for Data-driven Explainable Optimization

Mathematical optimization, although often leading to NP-hard models, is now capable of solving even large-scale instances within reasonable time. However, the primary focus is often placed solely on optimality. This implies that while obtained solutions are globally optimal, they are frequently not comprehensible to humans, in particular when obtained by black-box routines. In contrast, explainability is a standard requirement for results in Artificial Intelligence, but it is rarely considered in optimization yet. There are only a few studies that aim to find solutions that are both of high quality and explainable. In recent work, explainability for optimization was defined in a data-driven manner: A solution is considered explainable if it closely resembles solutions that have been used in the past under similar circumstances. To this end, it is crucial to identify a preferably small subset of features from a presumably large set that can be used to measure instance similarity. In this work, we formally define the feature selection problem for explainable optimization and prove that its decision version is NP-complete. We introduce mathematical models for optimized feature selection. As their global solution requires significant computation time with modern mixed-integer linear solvers, we employ local heuristics. Our computational study using data that reflect real-world scenarios demonstrates that the problem can be solved practically efficiently for instances of reasonable size.

math.OC