Programmation dynamique et plus court chemin#

La programmation dynamique est une façon des calculs qui revient dans beaucoup d’algorithmes. Elle s’applique dès que ceux-ci peuvent s’écrire de façon récurrente.

La programmation dynamique est une façon de résoudre de manière similaire une classe de problèmes d’optimisation qui vérifie la même propriété. On suppose qu’il est possible de découper le problème P en plusieurs parties P_1, P_2, … Si S est la solution optimale du problème P, alors chaque partie S_1, S_2, … de cette solution appliquée aux sous-problèmes est aussi optimale.

Par exemple, on cherche le plus court chemin c(A,B) entre les villes A et B. Si celui-ci passe par la ville M alors les chemins c(A,M)+c(M,B) = c(A,B) sont aussi les plus courts chemins entre les villes A,M et M,B. La démonstration se fait simplement par l’absurde : si la distance c(A,M) n’est pas optimale alors il est possible de constuire un chemin plus court entre les villes A et B. Cela contredit l’hypothèse de départ.

Ces problèmes ont en règle générale une expression simple sous forme de récurrence : si on sait résoudre le problème pour un échantillon de taille n, on appelle cette solution S(n) alors on peut facilement la solution S(n+1) en fonction de S(n). Parfois cette récurrence va au delà : S(n+1) = f(S(n), S(n-1), ..., S(0)).

Les données#

On récupère le fichier matrix_distance_7398.txt depuis matrix_distance_7398.zip qui contient des distances entre différentes villes (pas toutes).

[1]:
from teachpyx.tools.data_helper import download_and_unzip

url = "https://github.com/sdpython/teachpyx/raw/de/_data/matrix_distance_7398.zip"

download_and_unzip(url)
[1]:
['./matrix_distance_7398.txt']

On peut lire ce fichier soit avec le module pandas introduit lors de la séance 10 TD 10 : DataFrame et Matrice :

[2]:
import pandas

df = pandas.read_csv(
    "matrix_distance_7398.txt", sep="\t", header=None, names=["v1", "v2", "distance"]
)
df.head()
[2]:
v1 v2 distance
0 Boulogne-Billancourt Beauvais 85597
1 Courbevoie Sevran 26564
2 Colombes Alfortville 36843
3 Bagneux Marcq-En-Baroeul 233455
4 Suresnes Gennevilliers 10443

Le membre values se comporte comme une matrice, une liste de listes :

[3]:
matrice = df.values
matrice[:5]
[3]:
array([['Boulogne-Billancourt', 'Beauvais', 85597],
       ['Courbevoie', 'Sevran', 26564],
       ['Colombes', 'Alfortville', 36843],
       ['Bagneux', 'Marcq-En-Baroeul', 233455],
       ['Suresnes', 'Gennevilliers', 10443]], dtype=object)

On peut aussi utiliser le petit exemple qui a été présenté lors de la séance 4 sur les fichiers TD 4 : Modules, fichiers, expressions régulières. Les données se présente sous forme de matrice. Les deux premières colonnes sont des chaînes de caractères, la dernière est une valeur numérique qu’il faut convertir.

[4]:
with open("matrix_distance_7398.txt", "r") as f:
    matrice = [row.strip(" \n").split("\t") for row in f.readlines()]
for row in matrice:
    row[2] = float(row[2])
print(matrice[:5])
[['Boulogne-Billancourt', 'Beauvais', 85597.0], ['Courbevoie', 'Sevran', 26564.0], ['Colombes', 'Alfortville', 36843.0], ['Bagneux', 'Marcq-En-Baroeul', 233455.0], ['Suresnes', 'Gennevilliers', 10443.0]]

Chaque ligne définit un voyage entre deux villes effectué d’une traite, sans étape. Les accents ont été supprimés du fichier.

Exercice 1#

Construire la liste des villes sans doublons.

[ ]:

Exercice 2#

Constuire un dictionnaire { (a,b) : d, (b,a) : d }a,b sont des villes et d la distance qui les sépare ?

On veut calculer la distance entre la ville de Charleville-Mezieres et Bordeaux ? Est-ce que cette distance existe dans la liste des distances dont on dispose ?

[ ]:

Algorithme du plus court chemin#

On créé un tableau d[v] qui contient ou contiendra la distance optimale entre les villes v et Charleville-Mezieres. La valeur qu’on cherche est d['Bordeaux']. On initialise le tableau comme suit :

  • d['Charleville-Mezieres'] = 0

  • d[v] = infini pour tout v \neq 'Charleville-Mezieres'.

Exercice 3#

Quelles sont les premières cases qu’on peut remplir facilement ?

[ ]:

Exercice 4#

Soit une ville v et une autre w, on s’aperçoit que d[w] > d[v] + dist[w,v]. Que proposez-vous de faire ? En déduire un algorithme qui permet de déterminer la distance la plus courte entre Charleville-Mezieres et Bordeaux.

Si la solution vous échappe encore, vous pouvez vous inspirer de l”Algorithme de Djikstra.

[ ]:

La répartition des skis#

Ce problème est un exemple pour lequel il faut d’abord prouver que la solution vérifie une certaine propriété avant de pouvoir lui appliquer une solution issue de la programmation dynamique.

N=10 skieurs rentrent dans un magasins pour louer 10 paires de skis (parmi M>N). On souhaite leur donner à tous une paire qui leur convient (on suppose que la taille de la paire de skis doit être au plus proche de la taille du skieurs. On cherche donc à minimiser :

\arg \min_\sigma \sum_{i=1}^{N} \left| t_i - s_{\sigma(i)} \right|

\sigma est un ensemble de N paires de skis parmi M (un arrangement pour être plus précis).

A première vue, il faut chercher la solution du problème dans l’ensemble des arrangements de N paires parmi M. Mais si on ordonne les paires et les skieurs par taille croissantes : t_1 \leqslant t_2 \leqslant ... \leqslant t_N (tailles de skieurs) et s_1 \leqslant s_2 \leqslant ... \leqslant s_M (tailles de skis), résoudre le problème revient à prendre les skieurs dans l’ordre croissant et à les placer en face d’une paire dans l’ordre où elles viennent. C’est comme si on insérait des espaces dans la séquence des skieurs sans changer l’ordre :

\begin{array}{|c|c|c|c|c|c|c|c|c|c|c|c|} \hline t_1 & & t_2 & t_3 & & & t_4 & ... & t_{N-1} & & t_{N} & \\ \hline s_1 & s_2 & s_3 & s_4 & s_5 & s_6 & s_7 & ... & s_{M-3} & s_{M-2} & s_{M-1} & s_M \\ \hline \end{array}

[ ]:

Exercice facultatif#

Il faut d’abord prouver que l’algorithme suggéré ci-dessus permet bien d’obtenir la solution optimale.

Exercice 5#

Après avoir avoir trié les skieurs et les paires par tailles croissantes. On définit :

p(n,m) = \sum_{i=1}^{n} \left| t_i - s_{\sigma_m^*(i)} \right|

\sigma_m^* est le meilleur choix possible de n paires de skis parmi les m premières. Exprimer p(n,m) par récurrence (en fonction de p(n,m-1) et p(n-1,m-1). On suppose qu’un skieur sans paire de ski correspond au cas où la paire est de taille nulle.

[ ]:

Exercice 6#

Ecrire une fonction qui calcule l’erreur pour la distribution optimale ? On pourra choisir des skieurs et des paires de tailles aléatoires par exemple.

[5]:
import random

skieurs = [random.gauss(1.75, 0.1) for i in range(0, 10)]
paires = [random.gauss(1.75, 0.1) for i in range(0, 15)]
skieurs.sort()
paires.sort()
print(skieurs)
print(paires)
[1.4496565125341727, 1.6181478314088333, 1.6472124781567143, 1.689855001829289, 1.7069363711449275, 1.720882923000757, 1.7315603136077902, 1.757295341401446, 1.806174917827697, 1.8273604346819485]
[1.539691655662206, 1.5677016209991443, 1.651632433144162, 1.6723990573029228, 1.6967500647083442, 1.6991707543184964, 1.7173171973288348, 1.764722044308385, 1.789682343736771, 1.8113678294188096, 1.8872585832253812, 1.8910607675180564, 1.893354126537998, 1.9435870591562554, 1.9577834515908243]

Exercice 7#

Quelle est la meilleure distribution des skis aux skieurs ?

[ ]:

Exercice 8#

Quels sont les coûts des deux algorithmes (plus court chemin et ski) ?

[ ]:

Prolongements : degré de séparation sur Facebook#

Le plus court chemin dans un graphe est un des algorithmes les plus connus en programmation. Il permet de déterminer la solution en un coût polynômial - chaque itération est en O(n^2). La programmation dynamique caractèrise le passage d’une vision combinatoire à une compréhension récursif du même problème. Dans le cas du plus court chemin, l’approche combinatoire consiste à énumérer tous les chemins du graphe. L’approche dynamique consiste à démontrer que la première approche combinatoire aboutit à un calcul très redondant. On note e(v,w) la matrice des longueurs des routes, e(v,w) = \infty s’il n’existe aucune route entre les villes v et w. On suppose que e(v,w)=e(w,v). La construction du tableau d se définit de manière itérative et récursive comme suit :

Etape 0

d(v) = \infty, \, \forall v \in V

Etape :math:`n`

d(v) = \left \{ \begin{array}{ll} 0 & si \; v = v_0 \\ \min \{ d(w) + e(v,w) \, | \, w \in V \} & sinon \end{array} \right.v_0 = 'Charleville-Mezieres'

Tant que l’étape n continue à faire des mises à jour (\sum_v d(v) diminue), on répète l’étape n. Ce même algorithme peut être appliqué pour déterminer le degré de séparation dans un réseau social. L’agorithme s’applique presque tel quel à condition de définir ce que sont une ville et une distance entre villes dans ce nouveau graphe. Vous pouvez tester vos idées sur cet exemple de graphe Social circles: Facebook. L’algorithme de Dikjstra calcule le plus court chemin entre deux noeuds d’un graphe, l’algorithme de Bellman-Ford est une variante qui calcule toutes les distances des plus courts chemin entre deux noeuds d’un graphe.

[7]:
url = "https://github.com/sdpython/teachpyx/raw/de/_data/facebook.zip"

files = download_and_unzip(url)
fe = [f for f in files if "edge" in f]
fe
[7]:
['./facebook/0.edges',
 './facebook/107.edges',
 './facebook/1684.edges',
 './facebook/1912.edges',
 './facebook/3437.edges',
 './facebook/348.edges',
 './facebook/3980.edges',
 './facebook/414.edges',
 './facebook/686.edges',
 './facebook/698.edges']

Il faut décompresser ce fichier avec 7zip si vous utilisez pysense < 0.8. Sous Linux (et Mac), il faudra utiliser une commande décrite ici tar.

[8]:
import pandas

df = pandas.read_csv("facebook/1912.edges", sep=" ", names=["v1", "v2"])
print(df.shape)
df.head()
(60050, 2)
[8]:
v1 v2
0 2290 2363
1 2346 2025
2 2140 2428
3 2201 2506
4 2425 2557
[17]:


Notebook on github