2015-03-10 10:41:10 +01:00
|
|
|
|
#!/usr/bin/python3
|
|
|
|
|
# -*- coding: utf-8 -*-
|
2015-03-12 19:28:02 +01:00
|
|
|
|
# pylint: disable=invalid-name, global-statement
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
|
|
|
|
"""
|
|
|
|
|
TP AP1
|
|
|
|
|
Licence SESI 1ère année
|
|
|
|
|
Univ. Lille 1
|
|
|
|
|
|
|
|
|
|
analyse_tris.py
|
|
|
|
|
|
|
|
|
|
TP4 - Evaluation empirique des tris
|
|
|
|
|
|
2015-03-10 10:41:29 +01:00
|
|
|
|
http://www.fil.univ-lille1.fr/~L1S2API/CoursTP/tp4_tri.html
|
|
|
|
|
|
2015-03-10 10:41:10 +01:00
|
|
|
|
"""
|
|
|
|
|
|
|
|
|
|
__author__ = 'PREUD\'HOMME Geoffrey & BEAUSSART Jean-loup'
|
|
|
|
|
__date_creation__ = 'Tue, 10 Mar 2015 10:26:41 +0100'
|
|
|
|
|
|
2015-03-11 21:28:08 +01:00
|
|
|
|
from random import randint
|
2015-03-10 10:50:42 +01:00
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
|
2015-03-10 10:50:42 +01:00
|
|
|
|
def partie(nom):
|
2015-03-12 19:28:02 +01:00
|
|
|
|
"""
|
|
|
|
|
str → ∅
|
|
|
|
|
Affiche le nom de la partie en cours
|
|
|
|
|
"""
|
|
|
|
|
assert type(nom) == str
|
|
|
|
|
|
2015-03-10 10:50:42 +01:00
|
|
|
|
print('\n', nom, '=' * len(nom), sep='\n')
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def section(nom):
|
2015-03-12 19:28:02 +01:00
|
|
|
|
"""
|
|
|
|
|
str → ∅
|
|
|
|
|
Affiche le nom de la section en cours
|
|
|
|
|
"""
|
|
|
|
|
assert type(nom) == str
|
|
|
|
|
|
2015-03-10 10:50:42 +01:00
|
|
|
|
print('\n', nom, '-' * len(nom), sep='\n')
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def question(numero):
|
2015-03-12 19:28:02 +01:00
|
|
|
|
"""
|
|
|
|
|
str → ∅
|
|
|
|
|
Affiche le numéro de la question en cours
|
|
|
|
|
"""
|
|
|
|
|
assert type(numero) == int
|
2015-03-10 10:50:42 +01:00
|
|
|
|
print('\n***', 'Question', numero, '***')
|
|
|
|
|
|
2015-03-10 10:42:19 +01:00
|
|
|
|
partie("Prérequis")
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
|
|
|
|
|
def comp(x, y):
|
|
|
|
|
"""
|
|
|
|
|
parametres
|
|
|
|
|
x , y de même type et comparables
|
|
|
|
|
valeur renvoyee : int
|
|
|
|
|
-1 si x<y
|
|
|
|
|
0 si x==y
|
|
|
|
|
1 si x>y
|
|
|
|
|
action : incrémente le compteur
|
|
|
|
|
CU : aucune
|
|
|
|
|
"""
|
2015-03-12 19:28:02 +01:00
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
global compteur
|
|
|
|
|
compteur = compteur + 1
|
|
|
|
|
if x < y:
|
|
|
|
|
return -1
|
|
|
|
|
elif x == y:
|
|
|
|
|
return 0
|
|
|
|
|
else:
|
|
|
|
|
return 1
|
|
|
|
|
|
2015-03-10 11:25:10 +01:00
|
|
|
|
|
2015-03-10 11:22:34 +01:00
|
|
|
|
def select_min(l, a, b):
|
2015-03-10 11:25:10 +01:00
|
|
|
|
"""
|
|
|
|
|
list, int, int → int
|
|
|
|
|
Renvoie l'indicde d'un élément minimal de la tranche l[a:b]
|
2015-03-12 19:28:02 +01:00
|
|
|
|
CU : l est une liste de longueur n, d'éléments homogènes ordonnables, et a et b deux indices
|
|
|
|
|
tels que 0 ≤ a < b < n
|
2015-03-10 11:25:10 +01:00
|
|
|
|
"""
|
2015-03-10 11:28:31 +01:00
|
|
|
|
assert 0 <= a < b <= len(l)
|
2015-03-10 11:25:10 +01:00
|
|
|
|
|
|
|
|
|
imin = a
|
2015-03-11 21:28:08 +01:00
|
|
|
|
for i in range(a + 1, b + 1):
|
|
|
|
|
if comp(l[i], l[imin]) == -1:
|
2015-03-10 11:25:10 +01:00
|
|
|
|
imin = i
|
|
|
|
|
return imin
|
|
|
|
|
|
2015-03-10 11:22:34 +01:00
|
|
|
|
|
2015-03-10 11:28:31 +01:00
|
|
|
|
def tri_selection(l):
|
2015-03-10 11:22:34 +01:00
|
|
|
|
"""
|
|
|
|
|
list → ∅
|
|
|
|
|
La liste l est trié (selon l'algorithme du tri par sélection du minimum)
|
|
|
|
|
CU : l est une liste de longueur n, homogène, d’éléments ordonnables
|
|
|
|
|
"""
|
2015-03-12 19:28:02 +01:00
|
|
|
|
assert type(l) == list
|
2015-03-10 11:28:31 +01:00
|
|
|
|
n = len(l)
|
2015-03-11 21:28:08 +01:00
|
|
|
|
for i in range(n - 1):
|
2015-03-10 11:22:34 +01:00
|
|
|
|
imin = select_min(l, i, n - 1)
|
|
|
|
|
l[i], l[imin] = l[imin], l[i]
|
|
|
|
|
|
2015-03-11 21:01:45 +01:00
|
|
|
|
|
2015-03-11 17:13:37 +01:00
|
|
|
|
def tri_insertion_base(l, n):
|
2015-03-11 17:08:09 +01:00
|
|
|
|
"""
|
|
|
|
|
list, int → ∅
|
2015-03-12 19:28:02 +01:00
|
|
|
|
n est un indice de l tel que l[0:n] soit une liste triée. La fonction déplace l'élément
|
|
|
|
|
de rang n de telle sorte que l[0:i+1] soit triée
|
|
|
|
|
CU: n est un entier < len(l) et l est une liste, dont les éléments sont comparables, triée
|
|
|
|
|
jusqu'à l'indice n-1.
|
2015-03-11 17:08:09 +01:00
|
|
|
|
"""
|
2015-03-12 19:28:02 +01:00
|
|
|
|
assert type(n) == int and type(l) == list and 0 <= n < len(l)
|
2015-03-11 21:01:45 +01:00
|
|
|
|
|
2015-03-11 17:08:09 +01:00
|
|
|
|
aux = l[n]
|
2015-03-11 21:01:45 +01:00
|
|
|
|
|
|
|
|
|
k = n
|
|
|
|
|
while k >= 1 and comp(l[k - 1], aux) == 1:
|
|
|
|
|
l[k] = l[k - 1]
|
2015-03-11 17:08:09 +01:00
|
|
|
|
k -= 1
|
2015-03-11 21:01:45 +01:00
|
|
|
|
|
2015-03-11 17:08:09 +01:00
|
|
|
|
l[k] = aux
|
|
|
|
|
|
2015-03-11 21:01:45 +01:00
|
|
|
|
|
2015-03-11 17:13:37 +01:00
|
|
|
|
def tri_insertion(l):
|
2015-03-12 19:28:02 +01:00
|
|
|
|
"""
|
|
|
|
|
list → ∅
|
|
|
|
|
La liste l est trié (selon l'algorithme du tri par insertion)
|
|
|
|
|
CU : l est une liste de longueur n, homogène, d’éléments ordonnables
|
|
|
|
|
"""
|
|
|
|
|
assert type(l) == list
|
2015-03-11 17:13:37 +01:00
|
|
|
|
for i in range(1, len(l)):
|
|
|
|
|
tri_insertion_base(l, i)
|
|
|
|
|
|
2015-03-10 11:22:34 +01:00
|
|
|
|
partie("Travail à réaliser")
|
|
|
|
|
|
|
|
|
|
section("Préliminaires")
|
|
|
|
|
|
|
|
|
|
question(1)
|
|
|
|
|
|
2015-03-10 11:25:10 +01:00
|
|
|
|
|
2015-03-10 11:22:34 +01:00
|
|
|
|
def liste_croissante(n):
|
|
|
|
|
"""
|
|
|
|
|
int → list(int)
|
|
|
|
|
Retourne la liste des entiers compris entre 0 et n-1, rangés dans l'ordre croissant
|
|
|
|
|
CU: n est un entier positif
|
|
|
|
|
"""
|
2015-03-12 19:28:02 +01:00
|
|
|
|
assert type(n) == int and n >= 0
|
2015-03-10 11:22:34 +01:00
|
|
|
|
|
2015-03-12 19:28:02 +01:00
|
|
|
|
return list(range(n))
|
2015-03-10 11:22:34 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
question(2)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def liste_decroissante(n):
|
|
|
|
|
"""
|
|
|
|
|
int → list(int)
|
|
|
|
|
Retourne la liste des entiers compris entre 0 et n-1, rangés dans l'ordre décroissant
|
|
|
|
|
CU: n est un entier positif
|
|
|
|
|
"""
|
2015-03-12 19:28:02 +01:00
|
|
|
|
assert type(n) == int and n >= 0
|
2015-03-10 11:22:34 +01:00
|
|
|
|
|
2015-03-12 19:28:02 +01:00
|
|
|
|
return list(range(n - 1, 0, -1))
|
2015-03-10 11:22:34 +01:00
|
|
|
|
|
|
|
|
|
question(3)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def liste_alea(n, a, b):
|
|
|
|
|
"""
|
|
|
|
|
int, int, int → list
|
|
|
|
|
Renvoie une liste d’entiers, qui construit une liste de longueur n les entiers choisis au hasard
|
|
|
|
|
compris entre a et b.
|
2015-03-12 19:28:02 +01:00
|
|
|
|
CU : n entier positif, a et b entiers, a ≤ b
|
2015-03-10 11:22:34 +01:00
|
|
|
|
"""
|
2015-03-12 19:28:02 +01:00
|
|
|
|
assert type(n) == type(a) == type(b) == int and n >= 0 and a <= b
|
|
|
|
|
|
|
|
|
|
return [randint(a, b) for _ in range(n)]
|
2015-03-10 11:22:34 +01:00
|
|
|
|
|
|
|
|
|
section("Compter les comparaisons")
|
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(1)
|
|
|
|
|
|
2015-03-10 11:22:34 +01:00
|
|
|
|
compteur = 0
|
|
|
|
|
|
2015-03-11 17:08:09 +01:00
|
|
|
|
tri_selection(liste_alea(100, -5000, 5000))
|
|
|
|
|
|
2015-03-12 19:28:02 +01:00
|
|
|
|
print('{} comparaisons ont été faite pour cette liste.'.format(compteur))
|
2015-03-11 17:08:09 +01:00
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(2)
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
2015-03-10 11:28:31 +01:00
|
|
|
|
|
2015-03-12 19:28:02 +01:00
|
|
|
|
def tri_et_compte(trieur, l):
|
2015-03-11 17:08:09 +01:00
|
|
|
|
"""
|
2015-03-12 19:28:02 +01:00
|
|
|
|
Trie la liste l avec la fonction de triage trieur passée en paramètre, renvoie la liste triée
|
|
|
|
|
et le nombre de comparaisons effectuées
|
2015-03-11 17:08:09 +01:00
|
|
|
|
str, list → (list, int)
|
|
|
|
|
CU: l est une liste
|
|
|
|
|
"""
|
2015-03-12 19:28:02 +01:00
|
|
|
|
assert type(l) == list
|
2015-03-10 11:22:40 +01:00
|
|
|
|
|
2015-03-10 11:28:31 +01:00
|
|
|
|
global compteur
|
2015-03-10 11:22:40 +01:00
|
|
|
|
|
2015-03-10 11:28:31 +01:00
|
|
|
|
compteur = 0
|
2015-03-12 19:28:02 +01:00
|
|
|
|
trieur(l)
|
2015-03-10 11:22:40 +01:00
|
|
|
|
|
2015-03-11 17:08:09 +01:00
|
|
|
|
return (l, compteur)
|
2015-03-10 11:22:40 +01:00
|
|
|
|
|
2015-03-10 10:42:19 +01:00
|
|
|
|
partie("Analyse du tri par sélection")
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
2015-03-11 22:06:30 +01:00
|
|
|
|
|
|
|
|
|
def afficher_tableau(donnees):
|
|
|
|
|
"""
|
|
|
|
|
list[list] → ∅
|
|
|
|
|
Affiche donnees sous forme d'un tableau x / y
|
|
|
|
|
CU : donnees est une liste contenant des listes de même longueurs
|
|
|
|
|
"""
|
2015-03-11 22:21:24 +01:00
|
|
|
|
taillesColonnes = [max([len(str(donnees[y][x])) for y in range(
|
|
|
|
|
len(donnees))]) for x in range(len(donnees[0]))]
|
|
|
|
|
|
|
|
|
|
barres = ['─' * l for l in taillesColonnes]
|
2015-03-11 22:13:35 +01:00
|
|
|
|
print('┌' + '┬'.join(barres) + '┐')
|
2015-03-11 22:06:30 +01:00
|
|
|
|
for y in range(len(donnees)):
|
2015-03-11 22:13:35 +01:00
|
|
|
|
ligne = '│'
|
2015-03-11 22:06:30 +01:00
|
|
|
|
for x in range(len(donnees[0])):
|
2015-03-11 22:21:24 +01:00
|
|
|
|
ligne += ' ' * \
|
|
|
|
|
(taillesColonnes[x] - len(str(donnees[y][x]))) + \
|
|
|
|
|
str(donnees[y][x]) + '│'
|
2015-03-11 22:13:35 +01:00
|
|
|
|
print(ligne)
|
2015-03-11 22:06:30 +01:00
|
|
|
|
if y == 0:
|
2015-03-11 22:13:35 +01:00
|
|
|
|
print('├' + '┼'.join(barres) + '┤')
|
|
|
|
|
print('└' + '┴'.join(barres) + '┘')
|
2015-03-11 22:06:30 +01:00
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(1)
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
2015-03-12 19:28:02 +01:00
|
|
|
|
tableau = [['nb ', 'croissante ', 'decroissante', 'aléatoire ']]
|
|
|
|
|
for nb in range(1, 101):
|
|
|
|
|
tableau.append([nb,
|
|
|
|
|
tri_et_compte(tri_selection, liste_croissante(nb))[1],
|
|
|
|
|
tri_et_compte(tri_selection, liste_decroissante(nb))[1],
|
|
|
|
|
tri_et_compte(tri_selection, liste_alea(nb, 0, 500))[1]])
|
2015-03-11 22:06:30 +01:00
|
|
|
|
afficher_tableau(tableau)
|
2015-03-10 11:09:49 +01:00
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(2)
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
|
|
|
|
partie("Analyse du tri par insertion")
|
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(1)
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
2015-03-11 22:24:39 +01:00
|
|
|
|
tableau = [tableau[0]]
|
2015-03-12 19:28:02 +01:00
|
|
|
|
for nb in range(1, 101):
|
|
|
|
|
tableau.append([nb,
|
|
|
|
|
tri_et_compte(tri_insertion, liste_croissante(nb))[1],
|
|
|
|
|
tri_et_compte(tri_insertion, liste_decroissante(nb))[1],
|
|
|
|
|
tri_et_compte(tri_insertion, liste_alea(nb, 0, 500))[1]])
|
2015-03-11 22:16:17 +01:00
|
|
|
|
afficher_tableau(tableau)
|
2015-03-11 17:13:37 +01:00
|
|
|
|
|
2015-03-10 10:41:10 +01:00
|
|
|
|
section("Dans le meilleur des cas")
|
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(1)
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(2)
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
|
|
|
|
section("Dans le pire des cas")
|
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(1)
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(2)
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
|
|
|
|
section("En moyenne")
|
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(1)
|
|
|
|
|
|
|
|
|
|
question(2)
|
|
|
|
|
|
|
|
|
|
question(3)
|
|
|
|
|
|
|
|
|
|
question(4)
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(5)
|
2015-03-10 10:41:10 +01:00
|
|
|
|
|
|
|
|
|
section("Avec Gnuplot")
|
|
|
|
|
|
2015-03-10 10:58:34 +01:00
|
|
|
|
question(1)
|