SearcharxivSearch

arXiv subjects

Nadia Brauner

Publications and source records attributed to Nadia Brauner.

11 recordsLinked to original sources

Scheduling of Star Observations under Uncertain Conditions: A Comparison of Models and Solvers

We consider a scheduling problem for star observations using a telescope. Identical nights are available to observe stars that have been identified as of interest by astronomers. Each star yields a profit if it is observed; in that case, the observation must respect a visibility window and a minimum observation duration. The objective is to maximize the total profit of the observations that are actually performed. By interpreting nights as machines and stars as jobs to be processed, this problem is a classic scheduling setting of parallel machines. In the practical star-observation problem, the ability to observe depends on meteorological and atmospheric conditions, which are not known when the schedule is computed. A possible modeling is to consider that each night can be either perfect and everything is observable, either terrible and nothing is observable. The challenge is therefore to propose a ''high-quality'' schedule without knowing the actual number of nights (machines) that will ultimately be available. We focus here on evaluating the worst case within the robust optimization paradigm.

math.OC

Scheduling Ground-Based Telescope Observations with Uncertain Nights

The observation of celestial objects is a fundamental activity in astronomy. Ground-based and space telescopes are used to gather electromagnetic radiation from space, allowing astronomers to study a wide range of celestial objects and phenomena, such as stars, planets, galaxies, and black holes. The European Southern Observatory (ESO) charges each night 83 kEUR (Milli et al. 2019), so the schedules of the telescopes are really important in order to optimize every second. Ground-based telescopes are affected by meteorological conditions, such as clouds, wind, and atmospheric turbulence. Accurate scheduling of observations in the presence of such uncertainties can significantly improve the efficiency of telescopes use and support from automated tools is highly desirable. In this paper, we study a mathematical approach for scheduling ground-based telescope observations under an uncertain number of clear nights due to uncertain weather and atmospheric conditions. The model considers multiple targets, uncertain number of nights, and various observing constraints. We demonstrate the viability and effectiveness of an approach based on stochastic optimization and reactive strategy comparing it against other methods.

math.OC

Integrating ethical, societal and environmental issues into algorithm design courses

This document, intended for computer science teachers, describes a case study that puts into practice a questioning of ethical, societal and environmental issues when designing or implementing a decision support system. This study is based on a very popular application, namely road navigation software that informs users of real-time traffic conditions and suggests routes between a starting point and a destination, taking these conditions into account (such as Waze). The approach proposes to intertwine technical considerations (optimal path algorithms, data needed for location, etc.) with a broader view of the ethical, environmental and societal issues raised by the tools studied. Based on the authors' experience conducting sessions with students over several years, this document discusses the context of such a study, suggests teaching resources for implementing it, describes ways to structure discussions, and shares scenarios in different teaching contexts.

math.OC

Approximate Stability of Subadditive Games and Traveling Salesman Games

The core of Transferable Utility (T.U.) games is a well-known solution concept from cooperative game theory yielding a cost allocation among n agents (called players) forming a coalition that is stable (i.e. no subset of players has an interest to deviate). In this paper, inspired by a practical application in the context of a decision support system for collaborative transportation in a Short Food Supply Chain (SFSC), we mainly focus on Traveling Salesman Games (TSGs), where the objective is to allocate the cost of a Traveling Salesman Problem (TSP) with n locations and 1 depot to n players, each linked to exactly one of the locations. Given the computational complexity of computing an element of the core and the cost of a TSP, we study semicore allocations: a relaxation of the core that only requires that the subsets of size n -1 and of size 1 do not wish to deviate from the coalition. In the literature, instances of TSGs with empty cores and semicores are found. Hence, this paper first surveys the methods to approximate stability whenever the core is empty, such as the cost of stability (computing the minimum amount of money to subsidize the coalition with to attain stability) and the $\epsilon$-core (which is a set of allocations that allow subsets of players to exceed their actual cost, but at most of a value of $\epsilon$). We prove that these two solution

math.OC

Robust single-stage selection problems with budgeted interval uncertainty

We study single-stage decision problems in which a subset of items with minimum total cost has to be selected at once from a given set of items, subject to two costs of each item -fixed and uncertain -and cardinality constraints for each cost type. The worst-case budgeted interval uncertainty is considered. At the time of decision making, the fixed costs are known, but for each uncertain cost, only the range of its values is available. Similar but two-stage selection problems have been studied in the literature, in which first-and second-stage decisions are made before and after uncertain costs become known, respectively. The problems studied are distinguished by continuous or discrete uncertain costs, and by uncertainty budgets based on cardinality or volume. An almost complete computational complexity classification is provided, including fast polynomial-time algorithms, NP-and $\Sigma$ p 2 -completeness and hardness proofs. keyword robust optimization -budgeted uncertainty -selection problem -dynamic programming -computational complexity

math.OC

On the convergence of computational methods for the online bin stretching problem

Online bin stretching is an online packing problem where some of the best known lower and upper bounds were found through computational searches. The limiting factor in obtaining better bounds with such methods is the computational time allowed. However, there is still no theoretical guarantee that such methods do converge towards the optimal online performance. This paper shows that such methods do, in fact, converge; moreover, bounds on the gap to the optimal are also given. These results frame a theoretical foundation for the convergence of computational approaches for online problems.

math.OC

From decision aiding to the massive use of algorithms: where does the responsibility stand?

In the very large debates on ethics of algorithms, this paper proposes an analysis on human responsibility. On one hand, algorithms are designed by some humans, who bear a part of responsibility in the results and unexpected impacts. Nevertheless, we show how the fact they cannot embrace the full situations of use and consequences lead to an unreachable limit. On the other hand, using technology is never free of responsibility, even if there also exist limits to characterise. Massive uses by unprofessional users introduce additional questions that modify the possibilities to be ethically responsible. The article is structured in such a way as to show how the limits have gradually evolved, leaving unthought of issues and a failure to share responsibility.

cs.CY

Computational bounds on randomized algorithms for online bin stretching

A frequently studied performance measure in online optimization is competitive analysis. It corresponds to the worst-case ratio, over all possible inputs of an algorithm, between the performance of the algorithm and the optimal offline performance. However, this analysis may be too pessimistic to give valuable insight on a problem. Several workarounds exist, such as randomized algorithms. This paper aims to propose computational methods to construct randomized algorithms and to bound their performance on the classical online bin stretching problem. A game theory method is adapted to construct lower bounds on the performance of randomized online algorithms via linear programming. Another computational method is then proposed to construct randomized algorithms which perform better than the best deterministic algorithms known. Finally, another lower bound method for a restricted class of randomized algorithm for this problem is proposed.

math.OC

Innovative ideas for teaching supports: Application to Graph theory

Teaching graph theory with the most adequate tools requires time and ideas. We present how an open community of teachers shares contents and ideas on an innovative platform. The objective is to get the students autonomous in their training with activities that give them immediate feedback on their understanding. Beyond learning, the very large collection of exercises of various levels can also be used to evaluate the student's level. The proposed activities can be algorithm's code in classical programming languages (e.g. Java, Python) that the student can test with predefined tests proposed by the teacher or collections of generated questions.

cs.DM

Online bin stretching lower bounds: Improved search of computational proofs

Computing lower and upper bounds on the competitive ratio of online algorithms is a challenging question: For a minimization combinatorial problem, proving a competitive ratio for a given algorithm leads to an upper bound. However computing lower bounds requires a proof on all algorithms. This can be modeled as a 2-player game where a strategy for one of the players is a proof for the lower bound. The tree representing the proof can can be found computationally. This method has been used with success on the online bin stretching problem where a set of items must be packed online in $m$ bins. The items are guaranteed to fit into the $m$ bins. However, the online procedure might require to stretch the bins to a larger capacity in order to be able to pack all the items. This stretching factor is the objective to be minimized. We propose original ideas to strongly improve the speed of computer searches for lower bound: propagate the game states that can be pruned from the search and improve the speed and memory usage in the dynamic program which is used in the search. These improvements allowed to increase significantly the speed of the search and hence to prove new lower bounds for the bin stretching problem for 6, 7 and 8 bins.

cs.GT

Is there an Ethical Operational Research?

The ethical dimension of Operational Research and Decision Aiding, although not a new subject, turns to be a concern, both for the large public and the OR community, because of the wide spread of autonomous artefacts endowed with decision capacity thanks to the use of models, methods and tools developed within our field. The paper addresses the question of whether there exists an "Ethical Operational Research", identifies the ethical questions which are specific to our professional community and suggests research topics which, although independently developed, are relevant for handling such questions.

cs.CY