Modélisation, optimisation, complexité et algorithmes

Mis à jour le

Responsable(s) : M. Eric SOUTIL

  • Cours
Code Cnam : USSI7L

Envie d'en savoir plus sur cette formation ?

Afin d’obtenir les tarifs, le calendrier de la formation, en distanciel, en présentiel, le lieu de la formation et un contact, remplissez les critères suivants :

Afficher le centre adapté à mes besoins

Afin d’obtenir les tarifs, le calendrier de la formation et le lieu de la formation, remplissez les critères suivants :

  • Durée : 50 heures
  • Alternance
  • 6 crédits

Présentation

Public, conditions d'accès et prérequis

Prérequis

Avoir le niveau Bac+2 en informatique.

Objectifs

Présenter des concepts, des méthodes de base indispensables pour la conception et le développement  en informatique.

Compétences et débouchés

Compétences

Modélisation et optimisation par les graphes
Assimilation de la notion de complexité des algorithmes.
Modélisation et analyse de systèmes dynamiques concurrents via les réseaux de Petri.

Programme

Contenu

Cette Unité Spécialisée (US) correspond, par son contenu et son nombre d’ECTS, à l’Unité d’Enseignement (UE) RCP105

  • Algorithmes de Graphes 
    • Concepts de base de la théorie des graphes
    • Connexité, forte connexité
    • Fermeture transitive. Algorithme de Roy -Warshall
    • Parcours des graphes (en largeur, en profondeur) : applications notamment à la connexité et à la forte connexité
    • Chemins (algorithmes de Ford, Dijkstra,  Floyd).
    • Ordonnancements (méthodes MPM)
    • Flot maximal (Ford Fulkerson) Flot à coût minimal (Busacker-Cowen)
    • Arbres optimaux (Kruskal, Prim)
  • Introduction à la complexité des algorithmes 
  • Réseaux de Petri (RdP)
    • Systèmes concurrents, formalisme des réseaux de Petri , exemples de modélisation de systèmes dynamiques à événements discrets
    • Analyse comportementale :  Graphe des marquages accessibles, arborescence de Karp et Miller
    • Equation d'état - Semi-flots (invariant de places) analyse structurelle -
      Propriétés génériques  (finitude,  sûreté, vivacité),