Ce mémoire vise à faire une synthèse sur la Schur positivité des différences de fonctions de Schur gauches. On cherche à voir la représentation de cet ensemble de fonctions à l'aide de la Schur positivité. Pour ce faire, on introduit premièrement les notions de base nécessaires à sa compréhension tel que les permutations, les partages, les diagrammes, les tableaux et les ensembles partiellement ordonnés. Ensuite une discussion sur l'algèbre graduée des fonctions symétriques s'impose puisque les fonctions de Schur forment une base des fonctions symétriques. On présente dans un deuxième temps certaines bases des fonctions symétriques. En fait, on voit la base des fonctions homogènes, la base des fonctions élémentaires et la base des fonctions monomiales. On voit par ailleurs la m-positivité qui est un autre ordre partiel semblable à la Schur positivité. En ce qui a trait aux fonctions de Schur gauches, on tente plus particulièrement de comprendre les égalités qui surviennent entre certaines fonctions de Schur gauches. On tente aussi de faire le point (en partie) sur les inégalités des coefficients de Littlewood-Richardson qui apparaissent lors d'un produit de fonctions de Schur ou lorsqu'on écrit les fonctions de Schur gauches en termes de fonctions de Schur. De plus, on veut trouver les seuls diagrammes gauches nécessaires à la représentation des ensembles partiellement ordonnés des fonctions de Schur gauches. Enfin, on vise à présenter certains ensembles partiellement ordonnés par la Schur positivité des fonctions de Schur gauches, de même qu'être en mesure de montrer l'existence d'un maximum d'arêtes liant les différents niveaux de la représentation de l'ensemble partiellement ordonné par la Schur positivité des fonctions de Schur gauches.

Pruesse et Ruskey ont trouvé un code Gray pour les idéaux d'un ensemble partiellement ordonné (poset) et un algorithme récursif pour les engendrer. Dans ce mémoire, un algorithme non-récursif qui engendre la même liste d'idéaux est présenté. De plus, plusieurs autres codes Gray classiques majoritairement reliés aux posets et leurs implantations sont étudiés. Plus particulièrement, les codes Gray de Chase et de Ruskey pour les combinaisons, celui de Ruskey et Proskurowski pour les mots de Dyck et celui de Walsh pour les involutions sans point fixe sont étudiés. Le code Gray de Chase est présenté sous forme d'un programme FORTRAN. Vajnovszki et Walsh ont trouvé une implantation plus simple sans en donner une preuve formelle; une telle preuve est présentée dans ce mémoire. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Code Gray, Idéal, Ensemble partiellement ordonné (poset), Extension linéaire, Poset forêt, Algorithme, Non-récursif, Sans-boucle, Temps constant amorti (CAT).

On introduit une nouvelle structure algébrique qui formalise bien les problèmes de reconstruction, assortie d'une conjecture qui permettrait de traiter directement des symétries. Le cadre fournit par cette étude permet de plus d'engendrer des relations qui ont lieu entre les nombres de sous-structures, et d'une certaine façon, la conjecture formulée affirme qu'on les obtient toutes. De plus, la généralisation des résultats précédemment obtenus pour la reconstruction permet de chercher 'a en apprécier les limites en recherchant des cas où ces relations sont optimales. Ainsi, on montre que les théorèmes de V.Müller et de L.Lovasz sont les meilleurs possibles en exhibant des cas limites. Cette généralisation aux algèbres d'invariants, déjà effectuée par P.J.Cameron et V.B.Mnukhin, permet de placer les problèmes de reconstruction en tenaille entre d'une part des relations (fournies) que l'on veut exploiter, et des exemples qui établissent l'optimalité du résultat. Ainsi, sans aucune donnée sur le groupe, le résultat de L.Lovasz est le meilleur possible, et si l'on considère l'ordre du groupe, le résultat de V.Müller est le meilleur possible.

Pruesse et Ruskey ont présenté un algorithme pour la génération de leur code Gray pour les idéaux d'un poset (ensemble partiellement ordonné) où deux idéaux adjacents diffèrent par un ou deux éléments. Leur algorithme fonctionne en temps amorti de O(n) par idéal. Squire a présenté une récurrence pour les idéaux d'un poset qui lui a permis de trouver un algorithme pour générer ces idéaux en temps amorti de O(log n) par idéal, mais pas en code Gray. Nous utilisons la récurrence de Squire pour trouver un code Gray pour les idéaux d'un poset, où deux idéaux adjacents diffèrent par un ou deux éléments. Dans le pire des cas, notre algorithme a la même complexité que celle de l'algorithme de Pruesse et Ruskey et dans les autres cas, sa complexité est meilleure que celle de leur algorithme et se rapproche de celle de l'algorithme de Squire. Squire a donné une condition pour obtenir cette complexité. Nous avons trouvé une condition moins restrictive que la sienne. Cette condition nous a permis d'améliorer la complexité de notre algorithme. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Poset, Extension linéaire, Cycle hamiltonien, Code Gray, Algorithme, Complexité.

On introduit une nouvelle structure algébrique qui formalise bien les problèmes de reconstruction, assortie d’une conjecture qui permettrait de traiter directement des symétries. Le cadre fournit par cette étude permet de plus d’engendrer des relations qui ont lieu entre les nombres de sous-structures, et d’une certaine façon, la conjecture formulée affirme qu’on les obtient toutes. De plus, la généralisation des résultats précédemment obtenus pour la reconstruction permet de chercher `a en apprécier les limites en recherchant des cas où ces relations sont optimales. Ainsi, on montre que les théorèmes de V.Müller et de L.Lovasz sont les meilleurs possibles en exhibant des cas limites. Cette généralisation aux algèbres d’invariants, déjà effectuée par P.J.Cameron et V.B.Mnukhin, permet de placer les problèmes de reconstruction en tenaille entre d’une part des relations (fournies) que l’on veut exploiter, et des exemples qui établissent l’optimalité du résultat. Ainsi, sans aucune donnée sur le groupe, le résultat de L.Lovasz est le meilleur possible, et si l’on considère l’ordre du groupe, le résultat de V.Müller est le meilleur possible. / A new algebraic structure is described, that is a useful framework in whichreconstruction problems and results can be expressed. A conjecture is madewhich would, provided it is true, help to address the problem of symmetries.A consequence of the abstract language in which the theory is formulated isthe expression of relations between the numbers of substructures of a structure(for example, the number of subgraphs of a given type in a graph).Moreover, a generalisation similar to the one achieved by P.J.Cameron andV.B.Mnukhin of the results of edge reconstruction to invariant algebras isstated. Examples are then provided to show that the result of L.Lovasz isbest possible if one knows nothing about the underlying group, and that theresult of V.Müller is best possible if one knows only the order of the group.Thus, reconstruction problems are set in a theory that generates relationsto address them, and at the same time, provides examples establishing thesharpness of the theorems.

De nombreux domaines applicatifs utilisent des techniques de traitement d'images basées sur l'analyse de la topologie des images discrètes, en particulier pour des opérations devant préserver cette topologie. Si beaucoup de travaux théoriques et méthodologiques ont été menés dans le cadre des images binaires, les questions relatives à la modélisation et à la gestion simultanées des propriétés topologiques de plusieurs éléments sémantiques dans une même image discrète reste à l'heure actuelle un problème peu exploré. Dans cette thèse, nous avons porté notre attention sur la définition de déformations homotopiques compatibles avec la présence de plusieurs éléments non hiérarchisés dont les relations spatiales peuvent être significatives. Après avoir décrit le cadre théorique retenu pour les images binaires, et après avoir montré sa compatibilité avec les approches les plus fréquentes en imagerie, nous proposons des modélisations des images n-aires appuyées sur ce cadre théorique et dont les objets d'intérêts forment un sous-treillis de l'ensemble des parties de la partition initiale en régions de sémantiques distinctes. Ainsi, nous sommes en mesure de décrire quelques transformations élémentaires des images n-aires respectueuses non seulement des topologies individuelles des différents objets mais aussi des topologies "collectives" qui traduisent les inter-relations des objets.