Aller au contenu

Structures de données linéaires - les piles

I. Introduction⚓︎

Il faut se représenter une pile comme... une pile de livres ! Seul le livre disposé sur le dessus est accessible : l'ajout et le retrait d'un livre ne peut donc se faire que sur le sommet de la pile.

LIFO

On dit que les piles sont en mode LIFO (Last In, First Out qui signifie « dernier entré, premier sorti »).

pile LIFO

On ajoute des livres sur la pile, et on les récupère en commençant par le dernier ajouté

Usage courant d'une pile

😊 Les piles sont très utilisées en informatique, en voici quelques usages caractéristiques :

  • Les algorithmes récursifs utilisent une pile d'appel pour mémoriser les contextes d'exécution de chaque appel.
  • La fonction «Annuler la frappe» (en anglais «Undo») d'un traitement de texte mémorise les modifications apportées au texte dans une pile.
  • Comme nous le verrons plus tard dans l'année, on peut aussi utiliser une pile pour parcourir (en profondeur) un graphe et mémoriser les sommets visités.
  • La vérification du bon parenthésage d'une expression peut également se faire à l'aide d'une pile.

Les fonctions primitives pour les PILES sont les suivantes

  • création d'une pile vide (oublié sur l'illustration),
  • tester si une pile est vide,
  • empiler,
  • dépiler.

😊 Et rien de plus ... Pile Gilles

Image crée par Gilles Lassus

Un jeu sérieux

Pour comprendre le principe, vous pouvez jouer à ce jeu :

OCTAVES FLUSH

Représentation possible d'une pile et exemple

🌵🌵 Il n'existe pas une façon "universelle" de représenter les piles. dans cet exemple le sommet sera indiqué avec le symbole > et le fond avec le symbole ]

Une pile contenant les éléments 'a', 'b' et 'c' ('a' étant le sommet et donc 'c' le fond de la pile) sera représentée ici de la façon suivante :

>'a', 'b', 'c']

Exemple : On considère la pile P : >'a', 'b', 'c']. Voici comment la manipuler :

Opération Contenu de la pile
empiler(P, 'e') >'e', 'a', 'b', 'c']
depiler(P) >'a', 'b', 'c']
depiler(P) >'b', 'c']
depiler(P) >'c']
empiler(P, 'm') >'m', 'c']

II. Une implémentation possible des piles⚓︎

Mon info

On donne ci-dessous une possible implémentation de ces fonctions primaires, en utilisant le vocabulaire de la programmation orientée objet que nous avons déjà abordée.

Il existe bien d'autres possibilités pour implémenter ces fonctions primaires.

Dans toute la suite les piles seront affichées entre crochets, comme des list python. Le sommet de la pile est l'élément écrit le plus à droite. Ainsi, si l'on part d'une pile vide, et que l'on empile successivement les entiers 1, puis 2, puis 3, on obtiendra une pile qui s'affichera de la façon suivante : [1, 2, 3]. Le sommet de cette pile est l'entier 3.

La classe Pile

Exécuter absolument le code ci-dessous pour pouvoir continuer.

###(Dés-)Active le code après la ligne # Tests (insensible à la casse)
(Ctrl+I)
Entrer ou sortir du mode "deux colonnes"
(Alt+: ; Ctrl pour inverser les colonnes)
Entrer ou sortir du mode "plein écran"
(Esc)
Tronquer ou non le feedback dans les terminaux (sortie standard & stacktrace / relancer le code pour appliquer)
Si activé, le texte copié dans le terminal est joint sur une seule ligne avant d'être copié dans le presse-papier

Tester ci-dessous ces primitives

###(Dés-)Active le code après la ligne # Tests (insensible à la casse)
(Ctrl+I)
Entrer ou sortir du mode "deux colonnes"
(Alt+: ; Ctrl pour inverser les colonnes)
Entrer ou sortir du mode "plein écran"
(Esc)
Tronquer ou non le feedback dans les terminaux (sortie standard & stacktrace / relancer le code pour appliquer)
Si activé, le texte copié dans le terminal est joint sur une seule ligne avant d'être copié dans le presse-papier

Imaginez vos propres tests

###(Dés-)Active le code après la ligne # Tests (insensible à la casse)
(Ctrl+I)
Entrer ou sortir du mode "deux colonnes"
(Alt+: ; Ctrl pour inverser les colonnes)
Entrer ou sortir du mode "plein écran"
(Esc)
Tronquer ou non le feedback dans les terminaux (sortie standard & stacktrace / relancer le code pour appliquer)
Si activé, le texte copié dans le terminal est joint sur une seule ligne avant d'être copié dans le presse-papier

A vous de jouer

Ecrire ci dessous les instructions qui permettent d'obtenir successivement les affichages suivants :

[12] <- sommet
[12, 14] <- sommet
[12, 14, 8] <- sommet
[12, 14] <- sommet
[12] <- sommet
[] <- sommet

###(Dés-)Active le code après la ligne # Tests (insensible à la casse)
(Ctrl+I)
Entrer ou sortir du mode "deux colonnes"
(Alt+: ; Ctrl pour inverser les colonnes)
Entrer ou sortir du mode "plein écran"
(Esc)
Tronquer ou non le feedback dans les terminaux (sortie standard & stacktrace / relancer le code pour appliquer)
Si activé, le texte copié dans le terminal est joint sur une seule ligne avant d'être copié dans le presse-papier

Solution
Python
pile_1 = Pile()
pile_1.empiler(12)
print(pile_1)
pile_1.empiler(14)
print(pile_1)
pile_1.empiler(8)
print(pile_1)
pile_1.depiler()
print(pile_1)
pile_1.depiler()
print(pile_1)
pile_1.depiler()
print(pile_1)
La taille d'une pile

Alice désire écrire une fonction, qui doit retourner la taille de la pile.
Attention, une fois que sa taille a été déterminée, la pile ne doit pas avoir été modifiée...
Elle propose le code suivant. L'exécuter absolument

###(Dés-)Active le code après la ligne # Tests (insensible à la casse)
(Ctrl+I)
Entrer ou sortir du mode "deux colonnes"
(Alt+: ; Ctrl pour inverser les colonnes)
Entrer ou sortir du mode "plein écran"
(Esc)
Tronquer ou non le feedback dans les terminaux (sortie standard & stacktrace / relancer le code pour appliquer)
Si activé, le texte copié dans le terminal est joint sur une seule ligne avant d'être copié dans le presse-papier

Test du code d'Alice

Tester

###(Dés-)Active le code après la ligne # Tests (insensible à la casse)
(Ctrl+I)
Entrer ou sortir du mode "deux colonnes"
(Alt+: ; Ctrl pour inverser les colonnes)
Entrer ou sortir du mode "plein écran"
(Esc)
Tronquer ou non le feedback dans les terminaux (sortie standard & stacktrace / relancer le code pour appliquer)
Si activé, le texte copié dans le terminal est joint sur une seule ligne avant d'être copié dans le presse-papier

Quel est le problème ?

Pourquoi cette solution ne convient-elle pas ?

Solution

On a bien déterminé la taille de la pile, mais on l'a détruite 😰

Une nouvelle fonction

Ecrire ci-dessous une fonction taille qui remédie à ce problème

Astuce à lire en désespoir de cause ...

Vous pouvez utiliser une deuxième pile ...

###(Dés-)Active le code après la ligne # Tests (insensible à la casse)
(Ctrl+I)
Entrer ou sortir du mode "deux colonnes"
(Alt+: ; Ctrl pour inverser les colonnes)
Entrer ou sortir du mode "plein écran"
(Esc)
Tronquer ou non le feedback dans les terminaux (sortie standard & stacktrace / relancer le code pour appliquer)
Si activé, le texte copié dans le terminal est joint sur une seule ligne avant d'être copié dans le presse-papier
Évaluations restantes : 5/5

.128013kg: r)S/(.lo4y6b=ac1+5ud3t28_Pw7evp-fh09mnis050y0H0A0s0R0l0S0e0t0l0s0S0S0r010A0R0J010406050S0x0P0P0s0f0o040h0m0l0x0-0m0Q050i0@0_0{0}0=0J04051d161g0i1d0=0y0R0I0#0%0)0+0%0Q0c0x0s0c0H0K0J0o0A0M140e0M0R0c0M0l1I0M0A0:050W0q0l0H1p0(0*011H1J1L1J0A1R1T1P0A0f1e1D0#100S0J0s0Q0+0B011V1r010L0Y0H0Q0s0P0H1P1;1?1{1X1~1T21230:0a0e0E0f0m0J0m0S0R130Q0e0U1/0f0f0H0t2o16260Q1e0i1D2B1+1-1,1Q0y281s0R0Q202l1P1m1o0$1W2L2N0Q0m2R1P0J2u1e2z2B2(0?1=2p2T1|2X0f0`0l1P0s1G2u0L0+030D0D0t2Y0H1L2W0m0K0u360:0u160s2)2,0;2+272.1X2:2=2@2_0H2{012}2 31332O360K1_040B3b3d1?3f2z2K013k0s2?1e2^0M2`2|2~300U3u2X3w0z0:0z3B2y3e0=3F3i0+3I3K053M3O3q3Q3t2M3v370n0:0n3Z173#3g2-1q3j0m2;3J3m3N3o3P3s3S3=3U370w0:0w3{2(3$2,3G3*453.3r3R324b35370p0:0p4h3}3%403)423l3L3n3p4p3;343w0G0:0G4y3D4j3h4B3H4D444F464H3:4a4K370C0:0C4P2A4R3 2U4U433+3-473/494r4$0K0O0:0O4+2B2#0H2B2R2E0y1-2J3(014q2Q1n1e522%3e3!3D054q5h270R0y0+2~2z3w0u3m5p5r4_3T4t380e2c0H5y4q5A5u1P0i3c3~3G0b0:0U0L5j2A0e5N5a0Q0L0:0W0Y1T5T5n4.1|0/040j5(5W4T0Q0:0J1 5/4A4/5,0g0d5(0=3|5k3F5x015s2,3w3y3,0e644!4`3?3x1`5E5G4J6f695L040e6p5V5`2/5?1 0D3A615U5:4/0m0:0r5(6r4k5X0:0E5^6y5)3G5,0j0g5 5_4k6c0D5t373W4F6V5H4s3V6h225F655z6%6Y5K3c6q6G4S4/5=042u0@0l0W0A6F6A1|6C046E6M6?5*1X0P0R0:0N6S6M5N6V6X0K3^6!5q6,6$4{3^5D6*6j4#6f7k3B6=711X5P040F1H5%767z0+0m0F0:2X6 7G6s3j6u7F2*7P7I0:0k6T6@6t040H0S0A0D0I5p0H0D5@7S5i7U016P5}7e7T6U7m661?3w4e7l7t6e4c0K4e7r23815I4d6:6o6=6q7H3H7R7,6x7_7Z1X737X7f7;6_0H0P7.0H0f7Y780+6P8x4l8h8B5a8n8E5;5Q0H8u8w8p6H4T7?6R6M608k2p7h674u5w7{6-4{4v866+6d890K4v2B6;8d6p8f6_6{0x6}0s7N2(773G73758|8=0:8@8_8{3e8}8F0:0v707;7a397^7:7`5y7i4M807n6k834M8(886.0K9l7x8e7;7B7D6L917;7J7L0m963D988I048u6w8H6B7W9O7!7$7(7*0U7-9B9h8l8z0:6Q5~8S8B8W7}4%8Z9s4{4(9r9n7u834(8.8c8:929L9Y628O9P048o8U8C7#8t1 8Ma55a8A8N9!8g9~1T9Nae8y018Gaka60U8L9R1X8Q9ga05o8!7i4}9m8*9t4}9=aC4{aA9w8;9y930V0x0f157Oa17!946~av2A165m1h2$1655160A57a(2H2C0s1S53a$5e600U5#0Z04.

III. Vérifier les parenthèses d'une expression mathématique⚓︎

Le but de cet exercice est d'écrire une fonction qui contrôle si une expression mathématique, donnée sous forme d'une chaîne de caractères, est bien parenthésée, c'est-à-dire s'il y a autant de parenthèses ouvrantes que de fermantes. On s'interdit d'utiliser des variables qui "comptent" les parenthèses ouvrantes ou fermantes.

Par exemple

  • (..(..)..) est bien parenthésée.

  • (...(..(..)...) ne l'est pas .

Indication à ne pas dévoiler trop vite ...

On crée une pile. On parcourt l'expression de gauche à droite.
Si on rencontre une parenthèse fermante ")", alors :

  • Si la pile n'est pas vide, on dépile
  • Sinon on renvoie False

À la fin la pile doit être vide...

Implémentation du type Pile

Nous allons utiliser l'implémentation vue au II.
Pour qu'elle soit active, ne pas oublier d'exécuter "la classe Pile"

Les parenthèses

Compléter ci-dessous

###(Dés-)Active le code après la ligne # Tests (insensible à la casse)
(Ctrl+I)
Entrer ou sortir du mode "deux colonnes"
(Alt+: ; Ctrl pour inverser les colonnes)
Entrer ou sortir du mode "plein écran"
(Esc)
Tronquer ou non le feedback dans les terminaux (sortie standard & stacktrace / relancer le code pour appliquer)
Si activé, le texte copié dans le terminal est joint sur une seule ligne avant d'être copié dans le presse-papier
Évaluations restantes : 5/5

.128013kg:î r);Sé/q(.èloF4y6b=ac1x5+ud3t28_Pw7evp-fh0*T9mniCs050F0O0H0y0!0q0$0f0z0q0y0$0$0x010H0!0Q010406050$0E0Y0Y0y0g0u040j0r0q0E0`0r0Z050l111315170 0Q04051n1g1q0l1n0 0F0!0P0/0;0?0^0;0Z0c0E0y0c0O0R0Q0u0H0T1e0f0T0!0c0T0q1S0T0H0}050*0w0q0O1z0=0@011R1T1V1T0H1#1%1Z0H0g1o1N0/1a0$0Q0y0Z0^0I011)1B010S0,0O0Z0y0Y0O1Z1~20251+281%2b2d0}0a0f0L0g0r0Q0r0$0!1d0Z0f0(1|0g0g0O0z2y1g2g0Z1o0l1N2L1^1`1_1!0F2i1C0!0Z2a2v1Z1w1y0:1*2V2X0Z0r2#1Z0Q2E1o2J2L2=101 2z2%262+0g140q1Z0y1Q2E0S0^030K0K0z2,0O1V2*0r0R0I0R0A0}0f0A1g0y2?2_0~2^2h2{1+2}2 31330O350137393b3d2Y3g3g3k0I3n3p203r2J2U013w0y301o320T3436383a0(3G2+3I0G3k0G3M2I3q0 3Q3u0^3T3V053X3Z3C3#3F2W3H3h0t3k0t3.1h3:3s2`1A3v0r2~3U3y3Y3A3!3E3%403)3h0C3k0C462=3;2_3R3^4g3|3D3$3c4m3f3h0v3k0v4s483=4b3@4d3x3W3z3B4A3 3e3I0N3k0N4J3O4u3t4M3S4O4f4Q4h4S3~4l4V3h0J3k0J4!2K4$4a2(4)4e3_3{4i3}4k4C4;0R0X3k0X4_3P4v3?4~4P3`4R4j4B3(4E3i0U0}0A0U5b4{4w4*505i535k4D3I0A3j045C5s495u4 4y524T4:413i235E3L0l3o3/4#5H5e4x4,4z4/555O0A3+5E3-5T3N4`5X4(5Z5h4-5j4U5(435E455-5V5/4L4}5=514.545l5B4p5E4r5~475W612|5v5K655z560A4G5E4I6c4t5:626h5!5L5$673h0A4X5E4Z6q4K5d5;6u5?5#665A6z4?5E4^6E6e6G6t5J6v6j5_4n3i585E5a6R606T6g6V6J6w6L560I5o046;5G6f4c6,645^5N6Z0I5D706^6*6`5g6|5y6Y5m0I5Q7b734%6U765x5M5%6 5*0I5,5U6d6)7f6+7h5@786~7a5{0I5}7p6r6_4N6{7i6x6M3g690I6b7C6F7s754+6-6X7x3I0I6n7X5b1r2:1g2#2O0F1`2T5e4B2!1x1o2/0O2;3q5 1o4B7@2h0!0F0^382J5B3y7~806/5(242m0O866k882L5U7E010b0}0(0S7_0f6s2|0S0}0P0O0g0!280z0y2H7q7|4|260|040n7_8p3v0}0O0B2/0K141N8I8h8F0h0d7_0 8B5H8501812_7W847 8$876 892c8b8,8d8.8f8C3R0M3k0f8}8S740^0$0F0}020m0E0r0H0i9597999b980i8X8 7}8+8%203*8*8c799n0f8a9p7V3h5*3.8h928|8}0#0)0H1(0S1e2G0!1P2E0Z0P0r0!1(0W0g0E1(2w0f0E2X0f8M7=0?9K2z8Q0T0k8Q0!961(320y1c200H2A0O9h8Z3Q8#9l0Z3I5{5h9~8-5m439s8:9u7ka61Z5~9z93048}8}1 9M1N0p0$0O0.0r0E0P0g9@ap0f9/9_0fak2aamao0.0S8u140Z9F0$0o9{2@9}9k0K824o9o8=9qaTa82daa6y0R699y90019Aahai2r0k3a0Z1w2y0f0d9!8N0g8P8z0T9!0$9^2B0H0u0Q1(0z0T0y0e9Z2B8yau2G0p2EaLaN7^aP86aS0R6na3aQ8?5m4GaY8;7I56bpaea)a+ai2q2v0Ha:a=9(a@0f0;0f0P3U0O0E0g0f9M9O0u0k1(apb11(b3b50f0w0r1abX0ZaM8B8YaO4va4bn6Bbqa!7J4Xbvb`56b^bA7Q91agbD8M0O0Y0Q1%0.8Wb/9i2zb?8(4=aUbx5O4?b}aV9v0R6O3Mb:bkb=aQbn6#b_coab3I58cnck6Zcyc18D1+bCai020c9dcO9acQbN8u8w0!8y2y0n9e990n0G0V0n4o0B0h0D0G0hc!0i0hbj3O8!cwch5ncja55B5ocEc}6z6=a(c2a*c4ai9S9Uc?2Kc^bmc`5Cc|bs5B3jd0di6z5Dd4cJc39B0fcNcPdv0icT8v8x8z9(cZ969fc$c(c*c,0Gc:c=cd9|cvde9m6z5QczcF5m0A23dlaW5Pad8gbBd78}0s3Uaodb8_cgdR3i9x32a4dmd=8/aZcAa#5)d$8_5ecL8}ducRdwdycVcXdCc:dLd.dd8,bn0Aa2d@brd!eid{bwd13ia2cI3Re30fd99`dNb;9jdQa06za%ekb~5(4pdZcp0Aa%5-ctc@blegdfbpeGd}7J6meoeH6ZeY8^8Jdra,e4dE9de,9ae.eeeR9 5Bb^eVdVe@eZeW6lc03obDe(3S0}0Q8nf20r0}0xf68h0Z0}0L29ce3R8F0ndM6rdOeBeSd;0Acre_eqfre|e`6Ne0f18h8j049H0gfba)fd04bdfGd50r8{042WfLdqf3049#a{9*fh5e8FccfmeAcfc_fqcyftd_0AcD9te}5(cHf0bDaif2fC8wfR4w0}fK8B8o8hf8040xfag1f20$5D02030G0X0icZgdgffY4(f!e;dPfpeD3gd3f,d!6;fweqgv8^f^gAg2fHf4gk4}g4b.f%f~fUc829fFfnfSfjgF2|f 15gS1+8Ugnfoe?3h70dhgudkf:fx3gdo5-gBgCd5f{8mg8fcgUgO2=g;fSg4g6f}e2gbgic;gcge9ggPfi0}f#48h9d:gq7bg(cphheKcBg$dTg/g:f_fB0}f|g^gD04f5h95egHgW3@8Lb00K0P7~0O0K0Qfghzgl0}fkhc5Whef)hgd?0fd^gu3+hla#7nfzhqgAf`0}2E0HbR1fhvg=0z0}d+0-eyf$cug!aRc`7Ahihm3ga7g+gxesf@h)h+fUh_hC01gmezh|f(eC7WeFhXelhjeJi5d_7Mh(h)fAhwhygJhA0}gIihgK0(hL1%g{iCfZhPflhdgJhf7WeUime!7abuiqgubzi8g}3RfCh-h/h15;gEhNgGiAidfIbZhGhIhKhMiyhO8GiLhS2@0l7{7#7?7%7:1g0H7*j42R2M0y1$j10l7(8Y0(0*0,0$04.

Source : Stéphan Van Zuijlen