An Upper Bound on the Number of Accesses for Datalog α Last Queries

National audienceIn the mediation approach for data integration, domain rules [2, 3] were previously proposed to deal with access limitations (aka access patterns). For data integration systems (e.g., DaWeS [6, 5]) that use domain rules, we study an upper bound on the possible number of accesses implied by the evaluation of an executable query (expressed with relations having access patterns). Indeed it allows to compare various evaluation algorithms, to schedule API operation calls and meet the service level agreements (SLA) of the service providers

Finding Paths in Grids with Forbidden Transitions

Une transition dans un graphe est une paire d'arêtes incidente a un même sommet. Etant donnés un graphe G = (V, E), deux sommets s, t ∈ V et un ensemble associé de transitions interdites F ⊆ E × E, le problème de chemin évitant des transitions interdites consiste à décider s’il existe un chemin élémentaire de s à t qui n’utilise aucune des transitions de F. C’est-à-dire qu’il est interdit d’emprunter consécutivement deux arêtes qui soient une paire de F. Ce problème est motivé par le routage dans les réseaux routiers (où une transition interdite représente une interdiction de tourner) ainsi que dans les réseaux optiques avec des noeuds asymétriques. Nous prouvons que le problème est NP-difficile dans les graphes planaires et plus particulièrement dans les grilles. Nous montrons également que le problème peut être résolu en temps polynomial dans la classe des graphes de largeur arborescente bornée

Finding Paths in Grids with Forbidden Transitions

Une transition dans un graphe est une paire d'arêtes incidente a un même sommet. Etant donnés un graphe G = (V, E), deux sommets s, t ∈ V et un ensemble associé de transitions interdites F ⊆ E × E, le problème de chemin évitant des transitions interdites consiste à décider s’il existe un chemin élémentaire de s à t qui n’utilise aucune des transitions de F. C’est-à-dire qu’il est interdit d’emprunter consécutivement deux arêtes qui soient une paire de F. Ce problème est motivé par le routage dans les réseaux routiers (où une transition interdite représente une interdiction de tourner) ainsi que dans les réseaux optiques avec des noeuds asymétriques. Nous prouvons que le problème est NP-difficile dans les graphes planaires et plus particulièrement dans les grilles. Nous montrons également que le problème peut être résolu en temps polynomial dans la classe des graphes de largeur arborescente bornée

Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring

CG:SHOP is an annual geometric optimization challenge and the 2022 edition proposed the problem of coloring a certain geometric graph defined by line segments. Surprisingly, the top three teams used the same technique, called conflict optimization. This technique has been introduced in the 2021 edition of the challenge, to solve a coordinated motion planning problem. In this paper, we present the technique in the more general framework of binary constraint satisfaction problems (binary CSP). Then, the top three teams describe their different implementations of the same underlying strategy. We evaluate the performance of those implementations to vertex color not only geometric graphs, but also other types of graphs.Comment: To appear at ACM Journal of Experimental Algorithmic

Nash-Williams-type and Chvátal-type Conditions in One-Conflict Graphs

International audienc

Local search with weighting schemes for the CG:SHOP 2022 competition

International audienceThis paper describes the heuristics used by the LASAOFOOFUBESTINNRRALLDECA 1 team for the CG:SHOP 2022 challenge. We introduce a new greedy algorithm that exploits information about the challenge instances, and hybridize two classical local-search schemes with weighting schemes. We found 211/225 best-known solutions. Hence, with the algorithms presented in this article, our team was able to reach the 3rd place of the challenge, among 40 participating teams

Trees in Graphs with Conflict Edges or Forbidden Transitions

International audienc