Accueil/ expose
#carousel1 li{
width:150px;
height:180px;
}
#carousel2 li{
width:150px;
height:180px;
}
Untangling knots using combinatorial optimisation
jeudi 05 décembre 2013
Loading the player...
Descriptif
Conférence de Benjamin Burton
Unknot recognition is the algorithmic problem of determining whether a knot (i.e., a closed loop) in 3-dimensional space can be untangled. It is a major unsolved question as to whether this problem has a polynomial time solution. Here we present the first conclusive algorithm for unknot recognition which, although exponential time in theory, exhibits a clear polynomial time behaviour in exhaustive practical experiments. The algorithm marries together techniques from computational topology and combinatorial optimisation, and gives a glimpse of the rich potential that integer and linear programming have to offer in the world of 3-dimensional geometry and topology.
Thèmes :
Informatique
Catégories:
Séminaire général du département d'informatique
Mot-clés :
mathématiques,
diagramme,
algorithme
Voir aussi
- Aucun exposé du même auteur.
-
Recent Progress in Leakage-Resilient Cry...
Yevgeniy Dodis
-
Composer le temps
Gérard Berry
-
Approximation Bounds for Sparse Principa...
Alexandre D’Aspremont
-
Diviser-pour-Régner & Inférence Statisti...
Michael I. Jordan
-
Logarithmes discrets dans les corps fini...
Antoine Joux
-
Une théorie de l'information mentale
Claude Berrou
-
Exponential Mechanism for Social Welfar...
Sampath Kannan
-
De la convexité tropicale aux jeux répé...
Stéphane Gaubert
-
A Foundation for Flow-Based Program Matc...
Julia Lawall
-
Comment faire confiance à un compilateu...
Xavier Leroy
-
Construction à large couverture de la re...
Benoît Crabbé
-
Définir et mesurer la complexité : la t...
Jean-Paul Delahaye
-
Rendre la virgule flottante plus rigoure...
Jean-Michel Muller
-
Approximations for stochastic graph rewr...
Vincent Danos
-
Social Networks : a research vision and ...
Peter Marbach
-
Three discrete geometric structures and ...
Nabil Mustafa
-
From spanners to distance oracles and co...
Laurent Viennot
-
Cognitive Computing
Jérôme Pesenti
-
Vers les nouvelles bases de données pers...
Serge Abiteboul
-
Structured Parallel Programming Primitiv...
Vivek Sarkar
-
Manipuler les réseaux euclidiens
Damien Sthelé
-
Réduction de modèles de voies de signali...
Jérôme Feret
-
Le patient numérique personnalisé
Nicholas Ayache
-
Scade 6: conception d'un langage de prog...
Bruno Pagano
-
Co-Adaptive Instruments. Can we reinven...
Wendy Mackay
-
Analyse de pire temps d’exécution et pro...
Pascal Raymond
-
Chiffrer mieux pour (dé)chiffrer plus
Anne Canteaut
-
New Results at the Crossroads of Convexi...
Sébastien Bubeck
Auteur(s)
Benjamin Burton
Université de Queensland
Chargé de recherche
Plus sur cet auteur
Voir la fiche de l'auteur
Cursus :
Benjamin Burton est un mathématicien, chercheur à l'École de mathématiques et de physique à l'Université du Queensland en Australie.
Cliquer ICI pour fermer
Annexes
Téléchargements :
- Télécharger la vidéo
- Télécharger l'audio (mp3)
Dernière mise à jour :
19/12/2013
Liens utiles
Contact
Partenaires
Conditions d'utilisation
Mentions légales
Podcasts
CYCLES
> Colloquium DEC
> Les Ernest
> Les jeudis de l’archéologie
> Actualité critique
> Les jeudis de l’HPS
> Séminaire Médecine
Humanités
> Journée Georges Bram
> Les lundis de la philo
> Les Nuits de l’ENS
> Semaine du cerveau
> Séminaire général du
département d'informatique
> Séminaire général
de physique
> Séminaire Transferts culturels
> La Voix d’un texte
PARTENARIATS
RESEAUX SOCIAUX
Savoirs ENS
Tous droits réservés
@ 2011 ENS