Compact local certification of MSO properties for several tree-like parameters
summary: Local certification is interested in assigning labels (called certificates) to the vertices of a graph, in order to certify a certain property about said graph, or the correctness of a data-structure distributed on the graph. For the verification to be local, a vertex may only "see" its neighbourhood. A ...
Complexité du problème de distance d’édition minimum à un line-digraphe
summary: La distance d'édition est une mesure classique utilisée pour évaluer la proximité entre un graphe donné et un autre graphe ou une classe de graphes. Cette distance représente le nombre minimum de modifications requises pour transformer le graphe initial en un graphe appartenant à la classe voulue. Une ...
Skipless chain decompositions and improved poset saturation bounds
summary: We show that given m disjoint chains in the Boolean lattice, we can create m disjoint skipless chains that cover the same elements (where we call a chain skipless if any two consecutive elements differ in size by exactly one). By using this result we are able to answer ...
Asymptotic behaviour of cyclic automata
summary: Cyclic dominance describes models where different states (species, strategies...) are in some cyclic prey-predator relationship: for example, rock-paper-scissors. This occurs in many contexts such as ecological systems, evolutionary games on graphs, etc. Many models exhibit heteroclinic cycles where one state dominates almost the whole space before being replaced by ...
La boîte aux lettres avait des dents : propriétés des pièges à facteurs dans le cas bi-infini
summary: En 2017, en algorithmique de texte, Prezza a introduit la notion de piège à facteurs : pour un mot fini w, un piège à facteurs pour w est un ensemble E de positions de w telles que pour tout facteur f de w, il existe une position de E qui ...
Polynômes de Jack et constellations b-déformées
La série génératrice des cartes orientables pondérées (et sa généralisation aux constellations) peut s’exprimer simplement à l’aide des fonctions de Schur. La série des cartes non-orientées (c’est à dire orientable ou non) admet une expression similaire où les fonctions de Schur sont remplacées par les polynomes zonaux ...
Complexity of neural network training and complexity proofs bypassing frontier issues
summary: We study the complexity of the neural network training decision problem in two different contexts. First, in the general context, this problem has been shown to be in extensions of the class ∃R. We have been able to show that whenever the activation functions are Lipschitz functions and the ...
Parking sur l’arbre binaire infini
Considérons un arbre enraciné dont les sommets seront interprétés comme des places de parking, chaque place pouvant accueillir au maximum une voiture. Sur chaque sommet de l’arbre, on ajoute une étiquette entière et positive représentant le nombre de voitures arrivant sur ce sommet. Chaque voiture essaie de se garer ...
Étude énumérative des intervalles dans les treillis de type Tamari
summary: Le treillis de Tamari est un ordre partiel sur les objets Catalan. De nombreuses descriptions de ce treillis donnent lieu à de nombreuses familles de généralisations, notamment les treillis m-Tamari, nu-Tamari et m-Cambriens. Après une "visite guidée" dans ce zoo des généralisations du treillis de Tamari, je présenterai mon ...
Grands systèmes méandriques et nouille infinie
Poincaré (1912) définit les méandres comme configurations topologiques obtenues à partir de deux courbes fermées simples sur la sphère ayant un nombre fixé de points d'intersection. Ces objets ont été très étudiés depuis, mais la question principale - leur énumération asymptotique - reste ouverte. Je considérerai ici des systèmes méandriques, qui ...