00:00:00 / 00:00:00

Apparaît dans la collection : Bourbaki - Novembre 2016

Un nœud est souvent représenté par un diagramme de nœud, c’est-à-dire une projection sur deux dimensions, où l’on indique à chaque croisement lequel des deux brins passe au-dessus de l’autre. Deux diagrammes représentent alors le même nœud si et seulement si ils peuvent être reliés par une série de mouvements locaux, appelés mouvements de Reidemeister. Dans cet exposé, nous présenterons un résultat de Lackenby montrant que, partant d’un diagramme à c croisements du nœud trivial, un nombre polynomial en c de tels mouvements suffit pour arriver au diagramme trivial. La preuve s’appuie sur la théorie des surfaces normales et les travaux de Dynnikov sur les présentations par arcs. En corollaire, cela fournit un algorithme (exponentiel) pour reconnaître les nœuds triviaux, et nous en profiterons pour discuter de quelques problèmes algorithmiques autour des nœuds et des entrelacs.

[D’après Lackenby]

Informations sur la vidéo

Bibliographie

Séminaire Bourbaki, 69ème année (2016-2017), n°1121, novembre 2016 PDF

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis