4 research outputs found
Algorithmes exponentiels pour l'Ć©tiquetage, la domination et l'ordonnancement
This manuscript of Habilitation aĢ Diriger des Recherches enlights some results obtained since my PhD, I defended in 2007. The presented results have been mainly published in international conferences and journals. Exponential-time algorithms are given to solve various decision, optimization and enumeration problems. First, we are interested in solving the L(2,1)-labeling problem for which several algorithms are described (based on branching, divide-and-conquer and dynamic programming). Some combinatorial bounds are also established to analyze those algorithms. Then we solve domination-like problems. We develop algorithms to solve a generalization of the dominating set problem and we give algorithms to enumerate minimal dominating sets in some graph classes. As a consequence, the analysis of these algorithms implies combinatorial bounds. Finally, we extend our field of applications of moderately exponential-time algorithms to scheduling problems. By using dynamic programming paradigm and by extending the sort-and-search approach, we are able to solve a family of scheduling problems.Ce manuscrit dāHabilitation aĢ Diriger des Recherches met en lumieĢre quelques reĢsultats obtenus depuis ma theĢse de doctorat soutenue en 2007. Ces reĢsultats ont eĢteĢ, pour lāessentiel, publieĢs dans des confeĢrences et des journaux internationaux. Des algorithmes exponentiels sont donneĢs pour reĢsoudre des probleĢmes de deĢcision, dāoptimisation et dāeĢnumeĢration. On sāinteĢresse tout dāabord au probleĢme dāeĢtiquetage L(2,1) dāun graphe, pour lequel diffeĢrents algorithmes sont deĢcrits (baseĢs sur du branchement, le paradigme diviser-pour-reĢgner, ou la programmation dynamique). Des bornes combinatoires, neĢcessaires aĢ lāanalyse de ces algorithmes, sont eĢgalement eĢtablies. Dans un second temps, nous reĢsolvons des probleĢmes autour de la domination. Nous deĢveloppons des algorithmes pour reĢsoudre une geĢneĢralisation de la domination et nous donnons des algorithmes pour eĢnumeĢrer les ensembles dominants minimaux dans des classes de graphes. Lāanalyse de ces algorithmes implique des bornes combinatoires. Finalement, nous eĢtendons notre champ dāapplications de lāalgorithmique modeĢreĢment exponentielle aĢ des probleĢmes dāordonnancement. Par le deĢveloppement dāapproches de type programmation dynamique et la geĢneĢralisation de la meĢthode trier-et-chercher, nous proposons la reĢsolution de toute une famille de probleĢmes dāordonnancement
Computational Complexity of Discrete Problems (Dagstuhl Seminar 14121)
This report documents the program and the outcomes of Dagstuhl Seminar 14121 "Computational Complexity of Discrete Problems". The first section gives an overview of the topics covered and the organization of the meeting. Section 2 lists the talks given in chronological order. The last section contains the abstracts of the talks
Fundamental Approaches to Software Engineering
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications
Fundamental Approaches to Software Engineering
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications