arXiv subjects

Daniel Severin

Publications and source records attributed to Daniel Severin.

11 recordsLinked to original sources

arXiv2024

Exact resolution of a simultaneous vehicle routing and crew scheduling problem in long-haul transport

This work focuses on exact methods for a Simultaneous Vehicle Routing and Crew Scheduling Problem in long-haul transport. Pickup-and-delivery requests with time windows must be fullfiled over a multi-day planning horizon. Unlike some classic approaches, the correspondence between trucks and drivers is not fixed and they can be exchanged in some locations and at any time. Drivers can also travel for free as truck passengers or take external taxis for an additional cost. The objective is to minimise the truck and taxi travel costs and the penalties for late deliveries. Routes for trucks and drivers are represented separately as directed paths in certain digraphs and then synchronised in time and space. Three compact Integer Linear Programming formulations are proposed and many families of valid inequalities are described. Extensive computational experiments are conducted on randomly generated instances. The formulations are experimentally compared and the effectiveness of the proposed valid inequalities as cutting planes in a branch-and-cut algorithm is evaluated.

math.OC↗

arXiv2023

Solving the List Coloring Problem through a Branch-and-Price algorithm

In this work, we present a branch-and-price algorithm to solve the weighted version of the List Coloring Problem, based on a vertex cover formulation by stable sets. This problem is interesting for its applications and also for the many other problems that it generalizes, including the well-known Graph Coloring Problem. With the introduction of the concept of indistinguishable colors, some theoretical results are presented which are later incorporated into the algorithm. We propose two branching strategies based on others for the Graph Coloring Problem, the first is an adaptation of the one used by Mehrotra and Trick in their pioneering branch-and-price algorithm, and the other is inspired by the one used by M\'endez-D\'iaz and Zabala in their branch-and-cut algorithm. The rich structure of this problem makes both branching strategies robust. Extended computation experimentation on a wide variety of instances shows the effectiveness of this approach and evidences the different behaviors that the algorithm can have according to the structure of each type of instance.

cs.DS↗

arXiv2020

On the additive chromatic number of several families of graphs

The Additive Coloring Problem is a variation of the Coloring Problem where labels of $\{1,\ldots,k\}$ are assigned to the vertices of a graph $G$ so that the sum of labels over the neighborhood of each vertex is a proper coloring of $G$. The least value $k$ for which $G$ admits such labeling is called \emph{additive chromatic number} of $G$. This problem was first presented by Czerwiński, Grytczuk and Żelazny who also proposed a conjecture that for every graph $G$, the additive chromatic number never exceeds the classic chromatic number. Up to date, the conjecture has been proved for complete graphs, trees, non-3-colorable planar graphs with girth at least 13 and non-bipartite planar graphs with girth at least 26. In this work, we show that the conjecture holds for split graphs. We also present exact formulas for computing the additive chromatic number for some subfamilies of split graphs (complete split, headless spiders and complete sun), regular bipartite, complete multipartite, fan, windmill, circuit, wheel, cycle sun and wheel sun.

cs.DM↗

arXiv2019

Ionoacoustic detection of swift heavy ions

The maximum energy loss (Bragg peak) located near the end of range is a characteristic feature of ion stopping in matter, which generates an acoustic pulse, if ions are deposited into a medium in adequately short bunches. This so-called ionoacoustic effect has been studied for decades, mainly for astrophysical applications, and it has recently found renewed interest in proton therapy for precise range measurements in tissue. After detailed preparatory studies with 20 MeV protons at the MLL tandem accelerator, ionoacoustic range measurements were performed in water at the upgraded SIS18 synchrotron of GSI with 238U and 124Xe ion beams of energy about 300 MeV/u, and 12C ions of energy about 200 MeV/u using fast beam extraction to get 1 microsecond pulse lengths. Acoustic signals were recorded in axial geometry by standard piezo-based transducers at a 500 kHz mean frequency and evaluated in both the time and frequency domains. The resulting ranges for the different ions and energies were found to agree with Geant4 simulations as well as previous measurements to better than 1%. Given the high accuracy provided by ionoacoustic range measurements in water and their relative simplicity, we propose this new method for stopping power measurements for heavy ions at GeV energies and above. Our experimental results clearly demonstrate the potential of an ionoacoustic particle monitor especially for very intense heavy ion beams foreseen at future accelerator facilities.

nucl-ex↗

arXiv2018

Cross-identification of stellar catalogs with multiple stars: Complexity and Resolution

In this work, I present an optimization problem which consists of assigning entries of a stellar catalog to multiple entries of another stellar catalog such that the probability of such assignment is maximum. I show a way of modeling it as a Maximum Weighted Stable Set Problem which is further used to solve a real astronomical instance and I partially characterize the forbidden subgraphs of the resulting family of graphs given by that reduction. Finally, I prove that the problem is NP-Hard.

cs.DM↗

arXiv2015

On the Packing Chromatic Number on Hamming Graphs and General Graphs

The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ needed to proper color the vertices of $G$ in such a way the distance between any two vertices having color $i$ be at least $i+1$. We obtain $χ_ρ(H_{q,m})$ for $m=3$, where $H_{q,m}$ is the Hamming graph of words of length $m$ and alphabet with $q$ symbols, and tabulate bounds of them for $m \geq 4$ up to 10000 vertices. We also give a polynomial reduction from the problem of finding $χ_ρ(G)$ to the Maximum Stable Set problem.

cs.DM↗

arXiv2015

SHIPS: A new setup for the investigation of swift heavy ion induced particle emission and surface modifications

The irradiation with fast ions with kinetic energies of > 10 MeV leads to the deposition of a high amount of energy along their trajectory (up to several ten keV/nm). The energy is mainly transferred to the electronic subsystem and induces different secondary processes of excitations which result in significant material modifications. A new setup to study these ion induced effects on surfaces will be described in this paper. The setup combines a variable irradiation chamber with different techniques of surface characterizations like scanning probe microscopy, time-of-flight secondary ion and neutral mass spectrometry, as well as low energy electron diffraction under ultra high vacuum conditions, and is mounted at a beamline of the universal linear accelerator (UNILAC) of the GSI facility in Darmstadt, Germany. Here, samples can be irradiated with high-energy ions with a total kinetic energy up to several GeVs under different angles of incidence. Our setup enables the preparation and in-situ analysis of different types of sample systems ranging from metals to insulators. Time-of-flight secondary ion mass spectrometry enables us to study the chemical composition of the surface, while scanning probe microscopy allows a detailed view into the local electrical and morphological conditions of the sample surface down to atomic scales. With the new setup particle emission during irradiation as well as persistent modifications of the surface after irradiation can thus be studied. We present first data obtained with the new setup, including a novel measuring protocol for time-of-flight mass spectrometry with the GSI UNILAC accelerator.

physics.ins-det↗

arXiv2014

A DSATUR-based algorithm for the Equitable Coloring Problem

This paper describes a new exact algorithm for the Equitable Coloring Problem, a coloring problem where the sizes of two arbitrary color classes differ in at most one unit. Based on the well known DSatur algorithm for the classic Coloring Problem, a new pruning criterion arising from equity constraints is proposed and analyzed. The good performance of the algorithm is shown through computational experiments over random and benchmark instances.

cs.DM↗

arXiv2014

Topological Additive Numbering of Directed Acyclic Graphs

We propose to study a problem that arises naturally from both Topological Numbering of Directed Acyclic Graphs, and Additive Coloring (also known as Lucky Labeling). Let $D$ be a digraph and $f$ a labeling of its vertices with positive integers; denote by $S(v)$ the sum of labels over all neighbors of each vertex $v$. The labeling $f$ is called \emph{topological additive numbering} if $S(u) < S(v)$ for each arc $(u,v)$ of the digraph. The problem asks to find the minimum number $k$ for which $D$ has a topological additive numbering with labels belonging to $\{ 1, \ldots, k \}$, denoted by $η_t(D)$. We characterize when a digraph has topological additive numberings, give a lower bound for $η_t(D)$, and provide an integer programming formulation for our problem, characterizing when its coefficient matrix is totally unimodular. We also present some families for which $η_t(D)$ can be computed in polynomial time. Finally, we prove that this problem is \np-Hard even when its input is restricted to planar bipartite digraphs.

cs.CC↗

arXiv2011

A polyhedral approach for the Equitable Coloring Problem

In this work we study the polytope associated with a 0,1-integer programming formulation for the Equitable Coloring Problem. We find several families of valid inequalities and derive sufficient conditions in order to be facet-defining inequalities. We also present computational evidence that shows the efficacy of these inequalities used in a cutting-plane algorithm.

cs.DM↗

arXiv2011

Polyhedral results for the Equitable Coloring Problem

In this work we study the polytope associated with a 0/1 integer programming formulation for the Equitable Coloring Problem. We find several families of valid inequalities and derive sufficient conditions in order to be facet-defining inequalities. We also present computational evidence of the effectiveness of including these inequalities as cuts in a Branch & Cut algorithm.

cs.DM↗