Programmation quantique : l’algorithme de Grover - Version en français

Multiverse Computing

https://multiversecomputing.com/

Informations pratiques

Ce micro-stage offert en collaboration avec l'entreprise Multiverse Computing et l'Institut Quantique de l'Université Sherbrooke.

 

Cette activité est offerte en français.

 

Un micro-stage complété te permet d’obtenir une attestation de réussite de l'Université Sherbrooke.

Description

L'algorithme de Grover, élaboré en 1996 par Lov Grover, est souvent présenté comme pouvant effectuer une recherche dans une base de données non ordonnée avec un gain quadratique en efficacité par rapport à un algorithme classique équivalent. En particulier, cet algorithme est bien adapté à la résolution de problème de satisfiabilité (SAT), c'est-à-dire un problème qui fait intervenir un certain nombre de variables booléennes (vrai ou faux) mise en relation par des opérateurs logiques (et, ou, non) pour générer des propositions logiques. Si, pour un ensemble de valeurs des variables, toutes les propositions sont respectées, on dit que le problème est satisfait. Dans ce micro-stage nous allons voir et comprendre ce jargon en appliquant l'algorithme de Grover à des problèmes de satisfiabilité bien concrets.

Profils des présentateurs

  • Maxime Dion – Développeur en informatique quantique
  • Ibrahim Chegrane – Développeur en informatique quantique

Objectifs

Plan de la séance:

Accueil et présentation de l'Institut quantique (10 minutes) 

Perspectives d'emploi dans le domaine de la programmation quantique par l'entreprise (10 minutes)  

 

Partie 1 : Théorie (1h10 minutes)

  • Les problèmes de satisfiabilité
    • Formules logiques
    • Forme normale conjonctive (CNF)
  • L’algorithme de Grover
    • L’oracle
    • Le diffuseur
    • Le principe de fonctionnement de l’algorithme
  • La construction d’un oracle pour un problème de satisfiabilité
    • Règle de De Morgan
    • Logique booléenne et circuit quantique

 

Partie 2 : Mise en pratique (1h30)

Programmation sur un simulateur d’ordinateur quantique incluant des exercices pratiques et les sujets suivants :

  • Construction du diffuseur
  • Construction d’un oracle spécifique à un problème
  • Survol d’un compilateur d’oracle pour CNF

Format

  • 100% virtuel
  • Gratuit
  • En français

Critères d’inscription

Être un(e) étudiant(e) de niveau postsecondaire inscrit dans un établissement d'enseignement canadien

 

Avoir suivi Introduction 1 à la programmation quantique (ou l'équivalent)
Connaissances en Python

Exigences pour réussir le micro-stage

  • Être présent pour la durée totale du micro-stage
  • Le travail peut être rédigé en anglais ou en français
  • Compléter et soumettre le travail avant le 18 février 2025 à 16:00

Avantages

  • Commencer l’étude d’un algorithme bien connue en informatique quantique
  • Apprendre comment monter un oracle pour un problème de satisfiabilité
  • Pousser la compréhension de l’informatique quantique à un niveau supérieur

Conditions

*Cette activité est rendue possible grâce à l’obtention de fonds fédéraux provenant d’Emploi Développement Social Canada (EDSC).

Ce micro-stage est complet

Salle

En ligne

Niveau

Collégial/CEGEP et universitaire

Date de début

2025-02-17

Heure de début

18h00

Durée

3h

Coût

Gratuit

Nombre de places

Limité

Langue(s)

Français | French

Rémunération

50$ *des conditions s’appliquent

Sauvegarder en PDF

Télécharger

Ce micro-stage vous intéresse?

Ce micro-stage est complet