Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Analyse de Voronoi: problème de vecteur le plus proche

Dans cours

MATH-504: Integer optimisation

The course aims to introduce the basic concepts and results of integer optimization with special emphasis on algorithmic problems on lattices that have proved to be important in theoretical computer science and cryptography during the past 30 years. ...

Description

Cette séance de cours couvre l'analyse de Voronoi appliquée au Closest Vector Problem (CVP), en discutant du calcul des cellules de Voronoi et de leur pertinence dans la résolution efficace de CVP. L'instructeur explique la relation entre la réduction du réseau et les solutions CVP, en soulignant l'importance de l'analyse Voronoi dans ce contexte.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Source officielle

Concepts associés (32)

Problème de réseau

In computer science, lattice problems are a class of optimization problems related to mathematical objects called lattices. The conjectured intractability of such problems is central to the construction of secure lattice-based cryptosystems: Lattice problems are an example of NP-hard problems which have been shown to be average-case hard, providing a test case for the security of cryptographic algorithms. In addition, some lattice problems which are worst-case hard can be used as a basis for extremely secure cryptographic schemes.

Lattice-based cryptography

Lattice-based cryptography is the generic term for constructions of cryptographic primitives that involve lattices, either in the construction itself or in the security proof. Lattice-based constructions are currently important candidates for post-quantum cryptography. Unlike more widely used and known public-key schemes such as the RSA, Diffie-Hellman or elliptic-curve cryptosystems — which could, theoretically, be defeated using Shor's algorithm on a quantum computer — some lattice-based constructions appear to be resistant to attack by both classical and quantum computers.

Temps

thumb|Chronos, dieu du temps de la mythologie grecque, par Ignaz Günther, Bayerisches Nationalmuseum à Munich. vignette|Montre à gousset ancienne Le temps est une notion qui rend compte du changement dans le monde. Le questionnement s'est porté sur sa « nature intime » : propriété fondamentale de l'Univers, ou produit de l'observation intellectuelle et de la perception humaine. La somme des réponses ne suffit pas à dégager un concept satisfaisant du temps.

Fuseau horaire

Un fuseau horaire est une zone de la surface terrestre qui observe une heure uniforme en tout lieu. Pour des raisons pratiques, ces fuseaux ont tendance à suivre les frontières des pays ou de leurs subdivisions. Généralement, ils diffèrent du temps universel coordonné d'un nombre d'heures entiers, mais quelques-uns sont décalés de 30 ou 45 minutes. Aux latitudes élevées, certains pays font en plus usage d'une heure d'été pendant une partie de l'année, modifiant ainsi leur fuseau horaire.

Voyage dans le temps

Le voyage dans le temps est un des grands thèmes de la science-fiction, au point d’être considéré comme un genre à part entière. L’idée d’aller revivre le passé ou de découvrir à l’avance le futur est un rêve humain causé par le fait que l’être humain avance dans le temps de manière permanente, mais irréversible (et, à l’état de veille, apparemment de façon linéaire). La première mention d’un voyage dans le temps serait le personnage de Merlin l’Enchanteur dans le cycle arthurien des chevaliers de la Table ronde, qui visitait les temps passés.

Afficher plus

Séances de cours associées (27)

Numerics: projet de semestre

Couvre le projet de semestre sur les chiffres, en se concentrant sur les algorithmes adaptatifs et les méthodes multi-étapes.

Analyse numérique: systèmes implicites

Couvre les schémas implicites dans l'analyse numérique pour résoudre les équations différentielles partielles.

Grilles de différence de finite

Explique les grilles de différence finie pour calculer les solutions de membranes élastiques à l'aide de l'équation et des méthodes numériques de Laplace.

Méthodes Runge-Kutta

Explique les méthodes Runge-Kutta, en particulier le schéma explicite d'ordre 4 (ERK4), et comment optimiser les paramètres pour la précision.

Méthodes multi-étapes

Couvre les méthodes multi-étapes pour résoudre les équations différentielles, en se concentrant sur les conditions de stabilité et des exemples.

Afficher plus

Concepts associés (32)

Problème de réseau

Lattice-based cryptography