SearcharxivSearch

arXiv subjects

Sven Mallach

Publications and source records attributed to Sven Mallach.

7 recordsLinked to original sources

Solving the Line-Based Dial-a-Ride Problem by Generating Stopping Patterns

In the line-based dial-a-ride problem (liDARP), vehicles operate along a predefined bus line, with the possibility of skipping stations and turning when empty. Motivated by the practical observation that tight passenger time windows often limit pooling in on-demand services, we introduce a new variant of this transportation system by removing all temporal constraints, which we call the liDARP without TWs. We introduce a new MILP formulation for the liDARP without TWs, which constructs feasible tours as sequences of stopping patterns; first, we consider a fundamental single-vehicle, single-pass special case. Based on our insights, we develop a branch-and-price algorithm where the pricing problem generates profitable stopping patterns. For practical applications, we additionally propose a root node heuristic, using the stopping patterns generated at the root node. Computational experiments show that our branch-and-price algorithm is competitive, finding solutions with a MIP gap of less than 5% for large instances in 60 minutes. Further, the root node heuristic scales to instances with up to 100 requests, outperforming the state-of-the-art and reaching optimality gaps of less than 5% within 15 minutes. This method is highly effective in generating solutions for practical applications, where solving large problems quickly is more valuable than reaching optimality.

math.OC

A Natural Quadratic Approach to the Generalized Graph Layering Problem

We propose a new exact approach to the generalized graph layering problem that is based on a particular quadratic assignment formulation. It expresses, in a natural way, the associated layout restrictions and several possible objectives, such as a minimum total arc length, minimum number of reversed arcs, and minimum width, or the adaptation to a specific drawing area. Our computational experiments show a competitive performance compared to prior exact models.

cs.DS

Compact Linearization for Binary Quadratic Problems Comprising Linear Constraints

In this paper, the compact linearization approach originally proposed for binary quadratic programs with assignment constraints is generalized to such programs with arbitrary linear equations and inequalities that have positive coefficients and right hand sides. Quadratic constraints may exist in addition, and the technique may as well be applied if these impose the only nonlinearities, i.e., the objective function is linear. We present special cases of linear constraints (along with prominent combinatorial optimization problems where these occur) such that the associated compact linearization yields a linear programming relaxation that is provably as least as strong as the one obtained with a classical linearization method. Moreover, we show how to compute a compact linearization automatically which might be used, e.g., by general-purpose mixed-integer programming solvers.

math.OC

Compact Linearization for Binary Quadratic Problems subject to Linear Equations

In this paper it is shown that the compact linearization approach, that has been previously proposed only for binary quadratic problems with assignment constraints, can be generalized to arbitrary linear equations with positive coefficients which considerably enlarges its applicability. We discuss special cases of prominent quadratic combinatorial optimization problems where the obtained compact linearization yields a continuous relaxation that is provably as least as strong as the one obtained with an ordinary linearization.

math.OC

Compact Linearization for Binary Quadratic Problems subject to Assignment Constraints

We prove new necessary and sufficient conditions to carry out a compact linearization approach for a general class of binary quadratic problems subject to assignment constraints as it has been proposed by Liberti in 2007. The new conditions resolve inconsistencies that can occur when the original method is used. We also present a mixed-integer linear program to compute a minimally-sized linearization. When all the assignment constraints have non-overlapping variable support, this program is shown to have a totally unimodular constraint matrix. Finally, we give a polynomial-time combinatorial algorithm that is exact in this case and can still be used as a heuristic otherwise.

math.OC

Compact Layered Drawings of General Directed Graphs

We consider the problem of layering general directed graphs under height and possibly also width constraints. Given a directed graph G = (V,A) and a maximal height, we propose a layering approach that minimizes a weighted sum of the number of reversed arcs, the arc lengths, and the width of the drawing. We call this the Compact Generalized Layering Problem (CGLP). Here, the width of a drawing is defined as the maximum sum of the number of vertices placed on a layer and the number of dummy vertices caused by arcs traversing the layer. The CGLP is NP-hard. We present two MIP models for this problem. The first one (EXT) is our extension of a natural formulation for directed acyclic graphs as suggested by Healy and Nikolov. The second one (CGL) is a new formulation based on partial orderings. Our computational experiments on two benchmark sets show that the CGL formulation can be solved much faster than EXT using standard commercial MIP solvers. Moreover, we suggest a variant of CGL, called MML, that can be seen as a heuristic approach. In our experiments, MML clearly improves on CGL in terms of running time while it does not considerably increase the average arc lengths and widths of the layouts although it solves a slightly different problem where the dummy vertices are not taken into account.

cs.DS

HONEI: A collection of libraries for numerical computations targeting multiple processor architectures

We present HONEI, an open-source collection of libraries offering a hardware oriented approach to numerical calculations. HONEI abstracts the hardware, and applications written on top of HONEI can be executed on a wide range of computer architectures such as CPUs, GPUs and the Cell processor. We demonstrate the flexibility and performance of our approach with two test applications, a Finite Element multigrid solver for the Poisson problem and a robust and fast simulation of shallow water waves. By linking against HONEI's libraries, we achieve a twofold speedup over straight forward C++ code using HONEI's SSE backend, and additional 3-4 and 4-16 times faster execution on the Cell and a GPU. A second important aspect of our approach is that the full performance capabilities of the hardware under consideration can be exploited by adding optimised application-specific operations to the HONEI libraries. HONEI provides all necessary infrastructure for development and evaluation of such kernels, significantly simplifying their development.

cs.MS