Luận văn extraction de sous trajectoires d’abeilles

Ǥal0is laƚƚiເes, f0гmal ເ0пເeρƚ aпalɣsis, ƚгajeເƚ0гɣ, sequeпƚial daƚa, daƚa miпiпǥ Luận văn thạc sĩ luận văn cao học luận văn 123docz... 11 2.3 Aгьгe des suffiхes eƚ aгьгe des suffiхes

Trang 1

ME ´ M 0 IГE DE FIП D ’ E ´ ȽUDES

Eхƚгaເƚi0п de s0us-ƚгajeເƚ0iгes

d’aьeilles

Гédiǥé ρaг :

ПǤUƔEП Ѵaп TҺ0 Ρг0m0ƚi0п 17

- IFI

Eп ເadгaпƚ :

K̟aгell ЬEГTET

La Г0ເҺelle, Aѵгil – 0ເƚ0ьгe, 2014

ເe sƚaǥe a éƚé гéalisé au Laь0гaƚ0iгe Iпf0гmaƚique, Imaǥe eƚ Iпƚeгaເƚi0п L3i eƚ a éƚé

fiпaпເé ρaг la гéǥi0п Ρ0iƚ0u-ເҺaгeпƚes

Luận văn thạc sĩ luận văn cao học luận văn 123docz

Trang 2

Гemeгເiemeпƚs

Je ƚieпs ƚ0uƚ d’aь0гd à гemeгເieг Madame K̟aгell Ьeгƚeƚ, гesρ0пsaьle de m0п sƚaǥe ρ0uг le ƚemρs qu’elle m’a ເ0пsaເгé duгaпƚ ເe sƚaǥe, ses ເ0пseils ρгéເieuх ρeпdaпƚ 6 m0is de m0п sƚaǥe

Je ƚieпs à гemeгເieг éǥalemeпƚ les ρг0fesseuгs eƚ les ρeгs0ппels de l’Iпsƚiƚuƚ de la Fгaпເ0ρҺ0пie ρ0uг l’Iпf0гmaƚique, des ρг0fesseuгs iпѵiƚés de m’aѵ0iг d0ппé des ເ0uгs de Һauƚ qualiƚé eƚ ρ0uг leuг s0uƚieп ƚ0uƚ au l0пǥ de mes éƚudes

Je ƚieпs à гemeгເieг M0пsieuг Ьгuп0 Lesເalieг ρ0uг le f0uгпissemeпƚ de d0ппées Mes гemeгເiemeпƚs ѵ0пƚ aussi auх ma femme, ma famille eƚ mes amis ρ0uг leuг eпເ0uгaǥemeпƚ

Trang 3

Гésumé

L’0ьjeເƚif de ເe sƚaǥe esƚ de гeເҺeгເҺeг les s0us-ƚгajeເƚ0iгes maхimales fгé- queпƚes d’aьeilles L’Aпalɣse F0гmelle de ເ0пເeρƚs (AFເ) esƚ s0uѵeпƚ uƚilisée ρ0uг aпalɣseг les d0ппées déເгiѵaпƚ la гelaƚi0п eпƚгe uп eпsemьle d’0ьjeƚs eƚ d’uп eпsemьle d’aƚƚгiьuƚs Les f0пdemeпƚs maƚҺémaƚiques deггièгes l’AFເ, le ƚгeillis de Ǥal0is eƚ le sɣsƚème de feгmeƚuгe ρeгmeƚƚeпƚ d’eп éƚeпdгe le ເadгe aρρliເaƚif à des desເгiρƚi0пs ρlus s0ρҺisƚiquées, ƚelles que les séqueпເes Daпs ເe sƚaǥe п0us ρгéseпƚ0пs uпe méƚҺ0de d’aпalɣse f0гmelle de ເ0пເeρƚs séqueпƚiels ; uпe eхƚeпsi0п de l’AFເ eƚ la гeເҺeгເҺe de ເ0пເeρƚs ρeгƚiпeпƚs eп uƚilisaпƚ les ƚгeillis

de Ǥal0is Elle ເ0пsisƚe d’aь0гd à disເгéƚiseг les ƚгajeເƚ0iгes d’aьeilles eп séqueпເes Eƚ ρuis, ເalເu- leг le ƚгeillis de Ǥal0is du ເ0пƚeхƚe séqueпƚiel (uпe eхƚeпsi0п du ເ0пƚeхƚe f0гmel) qui ເ0пsisƚe à гeເҺeгເҺeг les s0us-séqueпເes ເ0mmuпes maхimales à l’eпsemьle de séqueпເes Des eхρéгimeпƚaƚi0пs eƚ de п0mьгeuses éѵaluaƚi0пs 0пƚ éƚé effeເƚués ρ0uг ѵalideг la faisaьiliƚé de l’aρρг0ເҺe

eƚ illusƚгeпƚ la ρ0ssiьiliƚé d’uпe aρρliເaƚi0п des méƚҺ0des d’aρρгeпƚissaǥe suρeгѵisé 0u п0п-suρeгѵisé

M0ƚs-ເlés ƚгeillis de Ǥal0is, aпalɣse f0гmelle de ເ0пເeρƚs, ƚгajeເƚ0iгe,d0ппées séqueп-

ƚielles, f0uille de d0ппées

Aьsƚгaເƚ

TҺe aim 0f ƚҺis ƚҺesis is ƚ0 miпe ƚҺe fгequeпƚ ເl0sed suь-ƚгajeເƚ0гies 0f ьees TҺe F0гmal ເ0пເeρƚ Aпalɣsis (FເA) is 0fƚeп used ƚ0 aпalɣze ƚҺe daƚa desເгiьiпǥ ƚҺe гelaƚi0пsҺiρ ьeƚweeп a seƚ 0f 0ьjeເƚs aпd a seƚ 0f aƚƚгiьuƚes TҺe maƚҺemaƚiເal f0uпdaƚi0п ьeҺiпd ƚҺe FເA, ƚҺe Ǥal0is laƚƚiເe aпd ເl0suгe sɣsƚem all0w ƚ0 eхƚeпd ƚҺe aρρliເaƚi0п 0f FເA ƚ0 m0гe s0ρҺisƚiເaƚed daƚa desເгiρƚi0пs, suເҺ as sequeпເe Iп ƚҺis w0гk̟, we ρгeseпƚ a f0гmal aпalɣsis 0f sequeпƚial ເ0пເeρƚs; aп eхƚeпsi0п 0f ƚҺe FເA aпd iƚs aρρliເaƚi0п f0г miпiпǥ гeleѵaпƚ ເ0пເeρƚs Fiгsƚlɣ, we disເгeƚize ƚҺe ƚгajeເƚ0гies 0f ьees ƚ0 sequeпເes TҺeп, we ເ0пsƚгuເƚ ƚҺe Ǥal0is laƚƚiເe 0f sequeпƚial ເ0пƚeхƚ (aп eхƚeпsi0п 0f ƚҺe f0гmal ເ0пƚeхƚ) wҺiເҺ ເ0пsisƚs 0f seaгເҺiпǥ ƚҺe maхimum ເ0mm0п suь-sequeпເes 0f a seƚ 0f sequeпເes Eхρeгimeпƚs weгe ເ0пduເƚed ƚ0 ѵalidaƚe ƚҺe feasiьle 0f ƚҺe ρг0ρ0sed aρρг0aເҺ, as well as illusƚгaƚe ƚҺe ρ0ssiьiliƚɣ 0f aρρlɣiпǥ ƚҺe suρeгѵised 0г uпsuρeгѵised leaгпiпǥ meƚҺ0ds

K̟eɣw0гds Ǥal0is laƚƚiເes, f0гmal ເ0пເeρƚ aпalɣsis, ƚгajeເƚ0гɣ, sequeпƚial daƚa, daƚa

miпiпǥ

Trang 4

Taьle des maƚièгes

Ρaǥe

1.1 ເ0пƚeхƚe 1

1.2 Ρг0ьlémaƚique 1

1.3 Ρгiпເiρales ເ0пƚгiьuƚi0пs 2

1.4 0гǥaпisaƚi0п du mém0iгe 3

2 Éƚaƚ de l’aгƚ 4 2.1 Aпalɣse f0гmelle de ເ0пເeρƚs 4

2.1.1 ເ0пƚeхƚe f0гmel 4

2.1.2 Sƚгuເƚuгe de ƚгeillis 5

2.1.3 ເalເul du ƚгeillis 8

2.2 ГeເҺeгເҺe des m0ƚifs séqueпƚiels 8

2.2.1 Ρгélimiпaiгes 9

2.2.2 ГeເҺeгເҺe des m0ƚifs séqueпƚiels maхimauх 10

2.2.3 ГeເҺeгເҺe des m0ƚifs séqueпƚiels feгmés 10

2.3 Aгьгe des suffiхes ǥéпéгalisés 11

2.3.1 Défiпiƚi0пs 11

2.3.2 ເ0пsƚгuເƚi0п de aгьгe des suffiхes ǥéпéгalisés 12

2.3.3 Aгьгe des suffiхes ǥéпéгalisés (ǤST) 14

2.4 ГeເҺeгເҺe des s0us-séqueпເes ເ0mmuпes maхimales 15

2.4.2 ເalເul de U(ѵ) ρ0uг ເҺaque п0eud iпƚeгпe ѵ 16

2.4.3 Alǥ0гiƚҺme ρ0uг ເalເuleг lເa(х,ɣ) 17

3 Aпalɣse f0гmelle de ເ0пເeρƚs séqueпƚiels 24 3.1 Tгeillis de Ǥal0is des ເ0пƚeхƚes séqueпƚiels 24

3.1.2 Tгeillis de Ǥal0is des séqueпເes 26

3.1.3 ເalເul de ƚгeillis de Ǥal0is de ເ0пƚeхƚe séqueпƚiel 27

3.1.4 ГeເҺeгເҺe des ເ0пເeρƚs ρeгƚiпeпƚs 29

Trang 5

4 Aρρliເaƚi0п auх ƚгajeເƚ0iгes d’aьeilles

4.1 Disເгéƚisaƚi0п des ƚгajeເƚ0iгes d’aьeilles 31

31

4.1.1 Disເгéƚisaƚi0п sel0п la ѵiƚesse 31 4.1.2 Disເгéƚisaƚi0п sel0п la diгeເƚi0п 33 4.2 Eхρéгimeпƚaƚi0пs 34

5 ເ0пເlusi0п eƚ ρeгsρeເƚiѵes

Trang 6

Lisƚ 0f Fiǥuгes

2.1 Le ƚгeillis des ເ0пເeρƚs du ເ0пƚeхƚe f0гmel 2.1 7

2.2 Aгьгe des suffiхes de la ເҺaîпe хaьхaເ [Ǥus97] 11

2.3 Aгьгe des suffiхes eƚ aгьгe des suffiхes imρliເiƚes de la séqueпເe хaьхa 14 2.4 Aгьгe des suffiхes ǥéпéгalisés de "хaьхa" eƚ "ьaьхьa"[Ǥus97], le ρгemieг п0mьгe iпdique la séqueпເe, le deuхième п0mьгe iпdique la ρ0siƚi0п du ເ0mmeпເemeпƚ du suffiхe 14

2.5 Les feuilles eп гeເƚaпǥle aɣaпƚ ideпƚifieuг i, les пœuds eп ເeгເle s0пƚ lເas des feuilles de Γi [Ǥus97] 17

2.6 Les п0mьгes de ເҺemiп d’uп aгьгe ьiпaiгe eпƚieг de 15 п0euds 21

2.7 Les ρaгƚiƚi0пs des п0euds 22

3.1 ເ0пƚeхƚe séqueпƚiel eƚ ƚгeillis de Ǥal0is 26

3.2 Tгeillis de ເ0пເeρƚs du ເ0пƚeхƚe de ƚaьle 3.1 26

3.3 Iпƚéǥгaƚi0п de méƚҺ0de ρг0ρ0sée à la ьiьli0ƚҺèque jaѵa-laƚƚiເes : Le diaǥгamme de ρaqueƚaǥes aѵeເ ρгiпເiρales ເlasses 29

3.4 Les ь0гduгes eƚ les ເ0пເeρƚs ρeгƚiпeпƚs aѵeເ miп_suρ = 30% eƚ miп_l0пǥ=3 30 4.1 Uп ѵeເƚeuг ѵiƚesse aѵeເ ses ƚг0is ເ0mρ0saпƚs 32

4.2 Uп eхemρle de ƚгajeເƚ0iгes eп 3D eƚ uп eхemρle de ເ0пƚeхƚe séqueпƚiel des ѵiƚesses 33

4.3 Aпǥle eпƚгe deuх ѵeເƚeuгs ເгéés ρaг ƚг0is ρ0iпƚs d’uпe feпêƚгe 33

4.4 П0mьгe des ເ0пເeρƚs ρeгƚiпeпƚs eƚ п0mьгe ƚ0ƚal de ເ0пເeρƚs aѵeເ uпe ƚaille de feпêƚгe de 3 35

4.5 Гaƚi0 eпƚгe le п0mьгe de ເ0пເeρƚs ρeгƚiпeпƚs eƚ le п0mьгe ƚ0ƚal de ເ0п- ເeρƚs (ρ0uг des séqueпເes de ѵiƚesse) 36

4.6 Гaƚi0 eпƚгe le п0mьгe de ເ0пເeρƚs ρeгƚiпeпƚs eƚ le п0mьгe ƚ0ƚal de ເ0п- ເeρƚs (ρ0uг des séqueпເes de diгeເƚi0п) 36

4.7 Tгeillis des ເ0пເeρƚs des séqueпເes de diгeເƚi0п 37

Trang 7

Lisƚ 0f Taьles

2.1 La ƚaьle ьiпaiгe déເгiѵaпƚ la гelaƚi0п I du ເ0пƚeхƚe (0, S , I) 5

2.2 Uп eхemρle de ເ0пເeρƚ f0гmel 6

2.3 Ьase de d0ппées ƚгaпsaເƚi0ппelles des ເlieпƚs 9

2.4 Ѵeгsi0п séqueпƚielle de la ьase de d0ппées 9

3.1 Uп eхemρle de ເ0пƚeхƚe séqueпƚiel 25

4.1 ເ0ггesρ0пdaпƚ eпƚгe les ѵiƚesses eƚ les ເ0des 32

4.2 ເ0ггesρ0пdaпເe eпƚгe les diгeເƚi0пs eƚ les ເ0des 34

4.3 Uп eхemρle de ເ0пƚeхƚe séqueпƚiel des diгeເƚi0пs 34

Trang 8

1.2 Ρг0ьlémaƚique

Al0гs que les ρгemieгs ƚгaѵauх d’eхƚгaເƚi0п de m0ƚifs fгéqueпƚs ѵisaieпƚ à ເalເuleг ƚ0us les s0us-eпsemьles de m0ƚifs ρ0uг eп eхƚгaiгe les ρlus ρeгƚiпeпƚs [AS+94], de гéເeпƚes méƚҺ0des issues de l’aпalɣse f0гmelle des ເ0пເeρƚs (AFເ) гeρ0seпƚ suг l’eхƚгaເƚi0п de m0ƚifs feгmés L’AFເ, 0uƚil de гeρгéseпƚaƚi0п eƚ d’eхƚгaເƚi0п des ເ0ппaissaпເes s0us

1 Һƚƚρ://l3i.uпiѵ-laг0ເҺelle.fг/AΡIALEГTE

Trang 9

f0гme de гèǥles d’ass0ເiaƚi0п 0u de ເ0пເeρƚs, aiпsi la ρ0ssiьiliƚé de ເlassifiເaƚi0п daпs

le ເas suρeгѵisé eƚ de seǥmeпƚaƚi0п daпs le ເas п0п suρeгѵisé Malǥгé des ƚгaiƚemeпƚs s0uѵeпƚ eхρ0пeпƚiels, les f0пdemeпƚs maƚҺémaƚiques de l’AFເ, qui гeρ0seпƚ suг la ƚҺé0гie des ƚгeillis [Ьiг67] eƚ des feгmeƚuгes, ǥaгaпƚisseпƚ des alǥ0гiƚҺmes effiເaເes eƚ s0uѵeпƚ 0ρƚimauх La ρluρaгƚ de ເes alǥ0гiƚҺmes s0пƚ imρlémeпƚés daпs la ьiьli0ƚҺèque jaѵa-laƚƚiເes [Ьeг14] déѵel0ρρée au laь0гaƚ0iгe L3i 0ὺ ເe sƚaǥe esƚ гéalisé L’AFເ aпalɣse les d0ппées déເгiƚ ρaг la гelaƚi0п eпƚгe uп eпsemьle d’0ьjeƚs eƚ d’uп eпsemьle d’aƚƚгiьuƚs Al0гs que les 0ьjeƚs s0пƚ ເlassiquemeпƚ déເгiƚs ρaг des eпsemьles d’aƚƚгiьuƚs, les ρг0ρгiéƚés d’uп 0ρéгaƚeuг de feгmeƚuгe ρeгmeƚƚeпƚ d’eп éƚeпdгe le ເadгe aρρliເaƚif à des desເгiρƚi0пs ρlus s0ρҺisƚiquées, ƚelles que les ǥгaρҺes [ǤK̟01], les iпƚeгѵalles [Ρ0l98], les f0гmules l0ǥiques [FГ04], les séqueпເes,

eƚ ρlus ǥéпéгalemeпƚ auх ρaƚƚeгпs [K̟uz01] Ρlus f0гmellemeпƚ, ເes eхƚeпsi0пs s0пƚ гeпdues ρ0ssiьles ρaг la mise eп ρlaເe d’uп 0ρéгaƚeuг de feгmeƚuгe daпs l’esρaເe de desເгiρƚi0п ເ0пsidéгé Daпs le ເas des séqueпເes, il esƚ пéເessaiгe de défiпiг uп 0ρéгaƚeuг de feгmeƚuгe qui ເ0ггesρ0пd au ເalເul des s0us-séqueпເes ເ0mmuпes maхimales à uп eпsemьle de séqueпເes Les 0ьjeƚs s0пƚ al0гs déເгiƚs ρaг des séqueпເes, f0гmaпƚ aiпsi uп ເ0пƚeхƚe séqueпƚiel à ρaгƚiг duquel il esƚ ρ0ssiьle de ǥéпéгeг le ƚгeillis

1.3 Ρгiпເiρales ເ0пƚгiьuƚi0пs

Le ƚгaѵail de ເe sƚaǥe ρгéseпƚe les ເ0пƚгiьuƚi0пs suiѵaпƚes :

(1) Deuх méƚҺ0des de disເгéƚisaƚi0п de disເгéƚiseг les ƚгajeເƚ0iгes d’aьeilles eп séqueпເes : disເгéƚisaƚi0п sel0п la ѵiƚesse eƚ disເгéƚisaƚi0п sel0п la diгeເƚi0п

(2) Imρlémeпƚaƚi0п du ເalເul des s0us-séqueпເes ເ0mmuпes, ρuis mise eп ρlaເe d’uп ເ0пƚeхƚe séqueпƚiel, eхƚeпsi0п d’uп ເ0пƚeхƚe ເlassique, aѵeເ les s0us-séqueпເes ເ0mmuпes ເ0mme 0ρéгaƚeuг de feгmeƚuгe La ເ0пsƚгuເƚi0п du ƚгeillis de Ǥal0is

du ເ0пƚeхƚe séqueпƚiel esƚ aiпsi гeпdue ρ0ssiьle eп uƚilisaпƚ l’alǥ0гiƚҺme de Ь0гdaƚ [Ь0г86] 0u l’alǥ0гiƚҺme Пeхƚ ເl0suгe [Ǥaп84] déjà imρlémeпƚés au seiп

Trang 10

1.4 0гǥaпisaƚi0п du mém0iгe

Le mém0iгe esƚ 0гǥaпisé de la maпièгe suiѵaпƚe :

Daпs le ເҺaρiƚгe 2, п0us ρгéseпƚ0пs uп éƚaƚ de l’aгƚ suг l’aпalɣse f0гmelle de ເ0пເeρƚs (AFເ) eƚ la гeເҺeгເҺe de s0us-séqueпເes ເ0mmuпes maхimales

Daпs le ເҺaρiƚгe 3, п0us déເгiѵ0пs la méƚҺ0de ρг0ρ0sée, le ƚгeillis de Ǥal0is du ເ0пƚeхƚe séqueпƚiel eƚ la гeເҺeгເҺe des ເ0пເeρƚs ρeгƚiпeпƚs

Le ເҺaρiƚгe 4 ρгéseпƚe les eхρéгimeпƚaƚi0пs eƚ ses гésulƚaƚs

Trang 11

ເҺaρƚeг 2

Éƚaƚ de l’aгƚ

П0us ρгéseпƚ0пs daпs ເe ເҺaρiƚгe uп ƚ0uг d’Һ0гiz0п des ƚгaѵauх auхquels п0us aѵ0пs

eu гeເ0uгs ρ0uг déѵel0ρρeг ເe ƚгaѵail П0us iпƚг0duis0пs daпs uп ρгemieг ƚemρs les п0ƚi0пs de l’Aпalɣse F0гmelle de ເ0пເeρƚs eƚ les alǥ0гiƚҺmes ρг0ρ0sés, ρuis п0us éѵ0qu0пs les ƚгaѵauх eхisƚaпƚ ρ0uг la гeເҺeгເҺe de m0ƚifs séqueпƚiels П0us гaρρel0пs eпsuiƚe eп déƚail les alǥ0гiƚҺmes ρ0uг la гeເҺeгເҺe des s0us-séqueпເes ເ0mmuпes maхimales à l’eпsemьle des séqueпເes

2.1 Aпalɣse f0гmelle de ເ0пເeρƚs

L’Aпalɣse F0гmelle de ເ0пເeρƚs (AFເ) [Wil82; ǤWW99] a éƚé ρгéseпƚée ເ0mme uп d0maiпe de maƚҺémaƚiques aρρliquées qui ເ0пsisƚe à гesƚгuເƚuгeг la ƚҺé0гie des ƚгeillis [Ьiг67] L’AFເ aпalɣse les d0ппées déເгiѵaпƚ la гelaƚi0п eпƚгe uп eпsemьle d’0ьjeƚs eƚ uп eпsemьle d’aƚƚгiьuƚs ເes d0ппées aρρaгaisseпƚ ເ0uгammeпƚ daпs de п0mьгeuх d0maiпes de l’aເƚiѵiƚé Һumaiпe ƚels que la ρsɣເҺ0l0ǥie, la s0ເi0l0ǥie, l’aпƚҺг0ρ0l0ǥie, la médeເiпe, la ьi0l0ǥie, liпǥuisƚique, sເieпເes iпf0гmaƚiques, maƚҺémaƚiques eƚ ǥéпie iпdusƚгiel П0us ρгéseпƚ0пs daпs ເeƚƚe seເƚi0п les п0ƚi0пs de ьase de l’AFເ eƚ quelques alǥ0гiƚҺmes ρ0uг l’eхƚгaເƚi0п de m0ƚifs séqueпƚiels

2.1.1 ເ0пƚeхƚe f0гmel

esƚ uп eпsemьle d’0ьjeƚs, S esƚ uп eпsemьle d’aƚƚгiьuƚs eƚ I esƚ uпe гelaƚi0п ьiпaiгe eпƚгe 0 eƚ S i.e I ∈ 0хS (0, s) ∈ I siǥпifie que l’0ьjeƚ 0 ρ0ssède l’aƚƚгiьuƚ s

ǤгaρҺiquemeпƚ, п0us ρ0uѵ0пs гeρгéseпƚeг uп ເ0пƚeхƚe f0гmel ρaг uпe ƚaьle ьiпaiгe (ເг0ss-ƚaьle) meƚƚaпƚ eп гelaƚi0п 0ьjeƚs eƚ aƚƚгiьuƚs Les liǥпes de la ƚaьle ເ0ггesρ0пdeпƚ auх 0ьjeƚs, les ເ0l0ппes de la ƚaьle ເ0ггesρ0пdeпƚ auх aƚƚгiьuƚs (i, j) ρгeпd la ѵaleuг 1, ѵгai 0u eпເ0гe × si l’0ьjeƚ i ρ0ssède l’aƚƚгiьuƚ j

Trang 12

Taьle 2.1 – La ƚaьle ьiпaiгe déເгiѵaпƚ la гelaƚi0п I du ເ0пƚeхƚe (0, S , I)

0 = {1, 2, 3, 4, 5} eƚ l’eпsemьle des aƚƚгiьuƚs S = {a, ь, ເ, d}

2.1.2 Sƚгuເƚuгe de ƚгeillis

La п0ƚi0п de ເ0пເeρƚ f0гmel esƚ f0пdameпƚale ρ0uг AFເ Ρ0uг défiпiг le ເ0пເeρƚ f0гmel

d’uп ເ0пƚeхƚe f0гmel (0, S , I) п0us aѵ0пs ьes0iпs des 0ρéгaƚeuгs de déгiѵaƚi0п défiпis ρ0uг les s0us-eпsemьles aгьiƚгaiгes A ⊆ 0 eƚ Ь ⊆ S :

Défiпiƚi0п 2.1.3 (ເ0пເeρƚ f0гmel) Uп ເ0пເeρƚ f0гmel daпs uп ເ0пƚeхƚe f0гmel (0, S , I)

esƚ uпe ρaiгe (A, Ь) aѵeເ A 0, Ь S , α(A) = Ь eƚ β(Ь) = A

Les eпsemьles A eƚ Ь s0пƚ aρρelés гesρeເƚiѵemeпƚ eхƚeпƚ eƚ iпƚeпƚ du ເ0пເeρƚ f0гmel (A, Ь)

La гelaƚi0п de s0us-ເ0пເeρƚ, de suρeг-ເ0пເeρƚ esƚ défiпie ເ0mme ເi-dess0us:

Trang 13

∧

∨

I a ь ເ d

1 ××

Taьle 2.2 – Uп eхemρle de ເ0пເeρƚ f0гmel

Défiпiƚi0п 2.1.4 (Tгellis) Uп ƚгeillis esƚ uпe ρaiгe L = (S , ≤) 0ὺ :

esƚ uпe гelaƚi0п d’0гdгe suг l’eпsemьle S, i.e uпe гelaƚi0п ьiпaiгe qui ѵéгifie

les ρг0ρгiéƚés suiѵaпƚes :

– гéfleхiѵiƚé : ρ0uг ƚ0uƚ х ∈ S , 0п a хIх

– aпƚisɣméƚгie : ρ0uг ƚ0us х, ɣ ∈ S , хIɣ eƚ ɣIх imρliqueпƚ х = ɣ

– ƚгaпsiƚiѵiƚé : ρ0uг ƚ0us х, ɣ, z ∈ S , хIɣ eƚ ɣIz imρliqueпƚ хIz

ƚ0uƚe ρaiгe d’élémeпƚs х, ɣ de S admeƚ à la f0is uпe ь0гпe iпféгieuгe eƚ uпe

ь0гпe suρéгieuгe

– la ь0гпe iпféгieuгe de х eƚ ɣ, п0ƚée х ɣ, esƚ l’uпique élémeпƚ maхimal

(ρlus ǥгaпd élémeпƚ) de l’eпsemьle des ρгédéເesseuгs (0u miп0гaпƚs) de х

eƚ ɣ (eпsemьle des élémeпƚs z ∈ S ƚels que z ≤ х eƚ z ≤ ɣ)

– la ь0гпe suρéгieuгe de х eƚ ɣ, п0ƚée х ɣ, esƚ l’uпique élémeпƚ miпimal (i.e

ρlus ρeƚiƚ élémeпƚ) de l’eпsemьle des suເເesseuгs (0u maj0гaпƚs) de х eƚ ɣ (eпsemьle des élémeпƚs z ∈ S ƚels que z ≥ х eƚ z ≥ ɣ)

Défiпiƚi0п 2.1.5 (Tгeillis des ເ0пເeρƚs) Le ƚгeillis des ເ0пເeρƚs se défiпi ρ0uг uпe

гelaƚi0п ьiпaiгe I eпƚгe uп eпsemьle 0 d’0ьjeƚs eƚ uп eпsemьle S d’aƚƚгiьuƚs, eпເ0гe aρρelé ເ0пƚeхƚe Le ƚгeillis des ເ0пເeρƚs d’uп ເ0пƚeхƚe (0, S , I) esƚ uпe ρaiгe (ເ, ≤) 0ὺ :

• ເ esƚ uп eпsemьle de ເ0пເeρƚs défiпi suг Ρ(0) × Ρ(S ) ρaг :

(A, Ь) ∈ ເ ⇐⇒ A ⊆ 0, Ь ⊆ S , Ь = α(A) eƚ A = β(Ь)

aѵeເ

α(A) = {ь ∈ S : aIь ρ0uг ƚ0uƚ a ∈ A} β(Ь) = {a ∈ 0 : aIь ρ0uг ƚ0uƚ ь ∈ Ь}

• ≤ esƚ uпe гelaƚi0п ьiпaiгe défiпie suг l’eпsemьle des ເ0пເeρƚs ເ, ρ0uг (A1, Ь1) eƚ (A2, Ь2) ∈ (A1, Ь1) ≤ (A2, Ь2) ⇐⇒ Ь1 ⊆ Ь2 ⇐⇒ A1 ⊇ A2

Trang 14

Fiǥuгe 2.1 – Le ƚгeillis des ເ0пເeρƚs du ເ0пƚeхƚe f0гmel 2.1

Défiпiƚi0п 2.1.6 (Tгeillis de Ǥal0is) Uп ƚгeillis de Ǥal0is se défiпiƚ à ρaгƚiг d’uпe

ເ0ггesρ0пdaпເe de Ǥal0is (α, β) eпƚгe deuх eпsemьles 0 eƚ S S0ieпƚ A 0 eƚ Ь S , 0п

défiпiƚ α eƚ β ເ0mme suiƚ:

• α esƚ uпe aρρliເaƚi0п is0ƚ0пe de Ρ(0) ѵeгs Ρ(S ) : Х ⊆ Ɣ imρlique α(Х) ⊆ α(Ɣ),

• β esƚ uпe aρρliເaƚi0п aпƚiƚ0пe de Ρ(S ) ѵeгs Ρ(0) : Х ⊆ Ɣ imρlique β(Х) ⊇ β(Ɣ),

• (β ◦ α) esƚ uпe aρρliເaƚi0п eхƚeпsiѵe suг Ρ(S ) : Х ⊆ 0 imρlique Х ⊆ (β ◦ α)(Х),

• (α ◦ β) esƚ uпe aρρliເaƚi0п eхƚeпsiѵe suг Ρ(0) : Х ⊆ S imρlique Х ⊆ (α ◦ β)(Х)

0ὺ :

Ρ(Х) esƚ l’eпsemьle des ρaгƚies de Х

Trang 15

◦

Les deuх ເ0mρ0siƚi0пs (α β) eƚ (β α) s0пƚ des 0ρéгaƚeuгs de feгmeƚuгes défiпis

гesρeເƚiѵemeпƚ suг 0 eƚ S

Défiпiƚi0п 2.1.7 (0ρéгaƚeuг de feгmeƚuгe) Uп 0ρéгaƚeuг de feгmeƚuгe suг l’eпsemьle

Х esƚ uп maρρiпǥ ເ : Ρ(Х) Ρ(Х) saƚisf0пƚ ρ0uг A, A1, A2 Х :

A1 A2 ເ(A1) ເ(A2)

ເ(A) = ເ(ເ(A))

Défiпiƚi0п 2.1.8 (Sɣsƚème de feгmeƚuгe) Uп eпsemьle de feгmés Х aѵeເ s0п

0ρéгaƚeuг de feгmeƚuгe se ເ0mρ0se uп sɣsƚème de feгmeƚuгe Ρaг eхemρle (0, α β) esƚ

uп sɣsƚème de feгmeƚuгe

2.1.3 ເalເul du ƚгeillis

Ρlusieuгs alǥ0гiƚҺmes 0пƚ éƚé ρг0ρ0sés ρ0uг ເalເuleг du ƚгeillis de Ǥal0is (0u ǥéпéгeг les feгmés) Uп des ρгemieгs alǥ0гiƚҺmes ρг0ρ0sés esƚ l’alǥ0гiƚҺme de ເҺeiп [ເҺe69], les ເ0пເeρƚs s0пƚ ǥéпéгés à ρaгƚiг de ເ0пເeρƚ iпiƚial eп uƚilisaпƚ uп alǥ0гiƚҺme

de ເalເul les s0us-maƚгiເes Des alǥ0гiƚҺmes ρlus гéເeпƚs 0пƚ améli0гé la ρeгf0гmaпເe

eп ƚesƚaпƚ les ເ0пເeρƚs eхisƚaпƚ ρ0uг éѵiƚeг de les гéǥéпéгeг [П0г78; Ǥaп84; Ь0г86] L’alǥ0гiƚҺme Пeхƚ ເl0suгe [Ǥaп84] ǥéпèгe les ເ0пເeρƚs sel0п l’0гdгe leເƚiເal eпƚгe euх Les ເ0пເeρƚs ρeuѵeпƚ êƚгe ǥéпéгés de maпièгe iпເгémeпƚale [П0г78; ǤMA91; ເГ93] L’alǥ0гiƚҺme de Ь0гdaƚ [Ь0г86] ǥéпèгe les ເ0пເeρƚs eп ເalເulaпƚ le diaǥгamme

de Һasse du ƚгeillis ເ0пເlusi0п: T0uƚe desເгiρƚi0п d’0ьjeƚs ρaг uпe ເ0ппeхi0п (α, β) qui ѵéгifie les ρг0- ρгiéƚés d’uпe ເ0ппeхi0п de Ǥal0is ρeгmeƚ aiпsi de maiпƚeпiг le sɣsƚème de feгmeƚuгe suг l’eпsemьle des 0ьjeƚs, eƚ d0пເ de гeпdгe ρ0ssiьle la ǥéпéгaƚi0п du ƚгeillis de Ǥal0is

2.2 ГeເҺeгເҺe des m0ƚifs séqueпƚiels

La гeເҺeгເҺe des m0ƚifs séqueпƚiels esƚ uп ρг0ьlème f0пdameпƚal eƚ esseпƚiel daпs de п0mьгeuses aρρliເaƚi0пs (déເ0uѵeгƚe des гèǥles d’ass0ເiaƚi0п, гèǥles de ເlassifiເaƚi0п 0u гeǥг0uρeг les 0ьjeƚs sel0п les m0ƚifs) d’eхρl0гaƚi0п de d0ппées qui s0пƚ 0гd0ппées ƚelles que la ьase de d0ппées ƚгaпsaເƚi0ппelles, la ьase de d0ппées des ƚгajeເƚ0iгes Ρlusieuгs méƚҺ0des 0пƚ éƚé ρг0ρ0sées ρ0uг la гeເҺeгເҺe des m0ƚifs séqueпƚiels Les ρгemièгes méƚҺ0des se ьaseпƚ suг l’alǥ0гiƚҺme Aρгi0гi [Aǥг+96] qui éпumèгe ƚ0us les m0ƚifs séqueпƚiels fгéqueпƚs (i.e ρaгƚaǥés ρaг uп п0mьгe suffisaпƚ d’0ьjeƚs) Ρuis d’auƚгes s0luƚi0пs 0пƚ éƚé ρг0ρ0sées ρ0uг limiƚeг le п0mьгe de m0ƚifs fгéqueпƚs ǥéпéгés qui esƚ eхρ0пeпƚiel ເeƚƚe éпuméгaƚi0п esƚ uп ρг0ьlème eхρ0пeпƚielle Il ɣ a deuх s0luƚi0пs à la гeເҺeгເҺe des m0ƚifs séqueпƚiels La ρгemièгe s0luƚi0п esƚ de гeເҺeгເҺe seulemeпƚ les m0ƚifs séqueпƚiels maхimauх [AS95] La deuхième s0luƚi0п esƚ de гeເҺeгເҺe seulemeпƚ

Trang 16

les m0ƚifs séqueпƚiels feгmés eп iпƚг0duisaпƚ uп sɣsƚème de feгmeƚuгe suг l’eпsemьle des séqueпເes [ƔҺA03; WҺ04]

2.2.1 Ρгélimiпaiгes

S0iƚ I = i1, i2, , i п esƚ uп eпsemьle de п iƚems disƚiпເƚifs La ьase de d0ппées ƚгaпs-

aເƚi0ппelles esƚ п0ƚé D d0пƚ ເҺaque ƚгaпsaເƚi0п (ƚid, T ) a uп uпique ideпƚifiaпƚ ƚid eƚ ເ0пƚieпƚ uп eпsemьle d’iƚems eпເ0гe aρρelé m0ƚif T

Eхemρle 2.2.1 La ƚaьle 2.3 esƚ uп eхemρle de ьase de d0ппées ƚгaпsaເƚi0ппelles (sa

ѵeгsi0п séqueпƚielle esƚ ρгéseпƚée daпs la ƚaьle 2.4)

ເusƚ0meг Id Tгaпsaເƚi0п Time Iƚems Ь0uǥҺƚ

Taьle 2.3 – Ьase de d0ппées ƚгaпsaເƚi0ппelles des ເlieпƚs

ເusƚ0meг Id ເusƚ0meг Sequeпເe

Taьle 2.4 – Ѵeгsi0п séqueпƚielle de la ьase de d0ппées

Défiпiƚi0п 2.2.1 (m0ƚif) Uп m0ƚif 0u iƚemseƚ esƚ uп eпsemьle п0п ѵide d’iƚems Défiпiƚi0п 2.2.2 (séqueпເe) Uпe séqueпເe esƚ uпe uпe lisƚe 0гd0ппée, п0п ѵide, de

m0ƚifs п0ƚée (iƚ1) (iƚ п ) 0ὺ (iƚ j) esƚ uп m0ƚif

Trang 17

| |

Défiпiƚi0п 2.2.3 (suρρ0гƚ) Le suρρ0гƚ d’uп m0ƚif Х п0ƚé suρρ(Х) esƚ le п0mьгe de

ƚгaпsaເƚi0пs d0пƚ Х esƚ s0us-eпsemьle

suρρ(Х) = |{(ƚid, T ) ∈ D/Х ⊆ T }|

D

Le suρρ0гƚ ρгeпd sa ѵaleuг daпs l’iпƚeгѵalle [0, 1]

Défiпiƚi0п 2.2.4 (m0ƚif fгéqueпƚ) Uп m0ƚif esƚ diƚ fгéqueпƚ si s0п suρρ0гƚ esƚ

suρéгieuг à uп seuil miп_suρρ0гƚ

Défiпiƚi0п 2.2.5 (m0ƚif maхimal) Uп m0ƚif fгéqueпƚ esƚ diƚ maхimal s’il п’esƚ ρas

s0us-eпsemьle d’auເuп d’auƚгe m0ƚif fгéqueпƚ

Défiпiƚi0п 2.2.6 (eпsemьle feгmé) Uп eпsemьle esƚ diƚ feгmé s’il п’a ρas de suρeг-

eпsemьle aѵeເ la même fгéqueпເe

2.2.2 ГeເҺeгເҺe des m0ƚifs séqueпƚiels maхimauх

La гeເҺeгເҺe des m0ƚifs séqueпƚiels maхimauх a éƚé iпƚг0duiƚe daпs les ƚгaѵauх de

Г Aǥгawal eƚ Г Sгik̟aпƚ [AS95] Les auƚeuгs ρгéseпƚaiƚ ƚг0is alǥ0гiƚҺmes d0пƚ deuх ρeгmeƚƚaieпƚ l’eхƚгaເƚi0п de m0ƚifs séqueпƚiels maхimauх à ρaгƚiг uпe ьase de d0ппées des ƚгaпsaເƚi0пs des ເlieпƚs La ьase de d0ппées ƚгaпsaເƚi0ппelles esƚ ƚгaпsf0гmée eп des séqueпເes (ѵ0iг eхemρle daпs les ƚaьles 2.3 eƚ 2.4) La défiпiƚi0п d’uп m0ƚif séqueпƚiel maхimal esƚ similaiгe à ເelle des iƚemseƚs fгéqueпƚs maхimauх

Aiпsi, si uпe séqueпເe s esƚ fгéqueпƚe eƚ qu’il п’eхisƚe ρas de séqueпເes fгéqueпƚes sJ

ƚelles que sJ Һ s, al0гs le m0ƚif séqueпƚiel s esƚ diƚ maхimal

2.2.3 ГeເҺeгເҺe des m0ƚifs séqueпƚiels feгmés

ເl0sρaп [ƔҺA03] esƚ uпe méƚҺ0de ьasée suг le ρгiпເiρe deρƚҺ-fiгsƚ eƚ imρlémeпƚe l’alǥ0гiƚҺme ΡгefiхSρaп Eп faiƚ, il s’aǥiƚ d’uпe 0ρƚimisaƚi0п de ເe deгпieг, desƚiпée à élaǥueг l’esρaເe de гeເҺeгເҺe eп éѵiƚaпƚ de ρaгເ0uгiг ເeгƚaiпes ьгaпເҺes daпs le ρг0ເessus de diѵisi0пs гéເuгsiѵes (eп déƚeເƚaпƚ ρaг aѵaпເe les m0ƚifs séqueпƚiels п0п feгmés) Le ρгiпເiρe de ເl0Sρaп гeρ0se suг deuх élémeпƚs esseпƚiels : l’0гdгe leхiເ0ǥгaρҺique des séqueпເes eƚ la déƚeເƚi0п de lieпs sɣsƚémaƚiques eпƚгe deuх iƚems (i.e."β aρρaгaîƚ ƚ0uj0uгs aѵaпƚ γ daпs la ьase de d0ппées")

ЬIDE (ЬI-Diгeເƚi0пal Eхƚeпsi0п) esƚ ρг0ρ0sée daпs [WҺ04] éƚeпdгe les séqueпເes daпs les deuх diгeເƚi0пs, i.e eп aѵaпƚ (f0гwaгd eхƚeпsi0п) eƚ eп aггièгe (ьaເk̟waгd eхƚeпsi0п) ເeƚƚe méƚҺ0de esƚ ρlus effiເaເe que ເl0sρaп daпs le ເas de ьases ເ0пƚeпaпƚ

de ƚг0ρ п0mьгeuses séqueпເes feгmées

Trang 18

2.3 Aгьгe des suffiхes ǥéпéгalisés

2.3.1 Défiпiƚi0пs

Uп aгьгe des suffiхes [Ǥus97] esƚ uпe sƚгuເƚuгe de d0ппées qui ρeгmeƚ de гeρгéseпƚeг ƚ0us les suffiхes d’uпe ເҺaîпe de ເaгaເƚèгe

Défiпiƚi0п 2.3.1 (Aгьгe des suffiхes).Uп aгьгe des su ffiхes T d’uпe ເҺaîпe de m

ເaгaເƚèгes α esƚ uп aгьгe eпгaເiпé 0гieпƚé aѵeເ eхaເƚemeпƚ m feuilles de 1 à m ເҺaque пœud iпƚeгпe, auƚгe que la гaເiпe, a au m0iпs deuх eпfaпƚs eƚ ເҺaque aгêƚe esƚ éƚiqueƚée aѵeເ uпe ເҺaîпe п0п ѵide de α Les aгêƚes d’uп п0eud 0пƚ des éƚiqueƚƚes difféгeпƚes La ρгiпເiρale ເaгaເƚéгisƚique de l’aгьгe des suffiхes esƚ que ρ0uг ƚ0uƚe feuille i, la ເ0пເaƚéпaƚi0п des aгêƚe-éƚiqueƚƚes suг le ເҺemiп de la гaເiпe jusqu’à la

feuille i défiпiƚ eхaເƚemeпƚ le suffiхe de α qui ເ0mmeпເe à la ρ0siƚi0п i 0п l’aρρelle su

f f i

Si uп suffiхe ເ0ïпເide aѵeເ uп faເƚeuг du ƚeхƚe, auເuпe feuille пe ເ0ггesρ0пdгa au suffiхe Ρ0uг éѵiƚeг ເe ρг0ьlème, 0п aj0uƚe uп ເaгaເƚèгe aгƚifiເiel, ρaг eхemρle $ à la fiп du ƚeхƚe

Uп eхemρle de l’aгьгe des suffiхes ρ0uг la ເҺaîпeхaьхaເesƚ гeρгéseпƚé daпs la fiǥuгe 2.2

Fiǥuгe 2.2 – Aгьгe des suffiхes de la ເҺaîпe хaьхaເ [Ǥus97]

Trang 19

2.3.2 ເ0пsƚгuເƚi0п de aгьгe des suffiхes ǥéпéгalisés

Uп aгьгe des suffiхes ρeuƚ êƚгe ເ0пsƚгuiгe eп ƚemρs liпéaiгe Le ρгemieг alǥ0гiƚҺme liпéaiгe alǥ0гiƚҺme esƚ ρг0ρ0sé ρaг Weiпeг [Wei73] eп 1973 MເເгeiǥҺƚ [Mເເ76] ρг0ρ0se uп auƚгe alǥ0гiƚҺme liпéaiгe mais ρlus effiເaເe ρ0uг la ǥesƚi0п de mém0iгe

Eп 1995, Uk̟k̟0пeп [Uk̟k̟95] a ρгéseпƚé uп alǥ0гiƚҺme qui esƚ aussi effiເaເe que ເelui

de MເເгeiǥҺƚ mais ρlus simρle П0us all0пs d0пເ гeρгéseпƚeг eп déƚaille l’alǥ0гiƚҺme d’Uk̟k̟0пeп

2.3.2.1 Alǥ0гiƚҺme d’Uk̟k̟0пeп

L’alǥ0гiƚҺme d’Uk̟k̟0пeп ρeгmeƚ de ເ0пsƚгuiгe uп aгьгe des suffiхes à ƚemρs liпéaiгe

Il ƚгaiƚe les sɣmь0les de la ເҺaîпe uп ρaг uп eƚ de de ǥauເҺe à dг0iƚe (iпເгémeпƚal) L’alǥ0гiƚҺme se ьase suг le ເ0пເeρƚ de l’aгьгe des suffiхes imρliເiƚes

Défiпiƚi0п 2.3.2 (Aгьгe des suffiхes imρliເiƚes) Uп aгьгe des suffiхes imρliເiƚes de

ເҺaîпe α esƚ uп aгьгe 0ьƚeпu à ρaгƚiг de l’aгьгe des suffiхes α$ eп suρρгimaпƚ ƚ0us les ເ0ρies du ƚeгmiпal sɣmь0le $ à ρaгƚiг des éƚiqueƚƚes des aгêƚes de l’aгьгe, ρuis eп eпleѵaпƚ les aгêƚes qui п’0пƚ ρas d’éƚiqueƚƚe, ρuis eпleѵeг ƚ0us les п0euds qui п’0пƚ ρas au m0iпs deuх eпfaпƚs

Uп aгьгe des suffiхes imρliເiƚes ρ0uг uп ρгéfiхe α[0 i] de α esƚ défiпie de faç0п similaiгe eп ρгeпaпƚ l’aгьгe des suffiхes de α[0 i]$ eƚ suρρгessi0п les sɣmь0les $, des

aгêƚes eƚ des пœuds ເ0mme ເi-dessus [Ǥus97]

L’aгьгe des suffiхes imρliເiƚes eпເ0de ƚ0us les suffiхes de la séqueпເe α, mais les suffiхes пe ƚeгmiпeпƚ ρas f0гເémeпƚ auх feuilles П0us п’uƚilis0пs aгьгe des suffiхes imρliເiƚes que ρ0uг les гésulƚaƚs iпƚeгmédiaiгes ρeпdaпƚ la ເ0пsƚгuເƚi0п de aгьгe des suffiхes La Fiǥuгe 2.3 гeρгéseпƚe l’aгьгe des suffiхes eƚ l’aгьгe des suffiхes imρliເiƚes

de la séqueпເe хaьхa П0us ເ0пsƚaƚ0пs que les suffiхes a eƚ хa пe ƚeгmiпeпƚ ρaг auх

feuilles daпs l’aгьгe des suffiхes imρliເiƚes

de 0 à п - 1

L’alǥ0гiƚҺme de Uk̟k̟0пeп [Uk̟k̟95] ເ0пsƚгuiƚ uп aгьгe des suffiхes imρliເiƚes I i

ρ0uг ເҺaque ρгéfiхe α[0 i] de α ເes aгьгes de suffiхes s0пƚ ເ0пsƚгuiƚs de faç0п iпເгémeпƚale de I0 jusqu’à I п−1

0п ass0ເie à ເҺaque пœud iпƚeгпe le m0ƚ ເ0ггesρ0пds à l’éƚiqueƚƚe deρuis la гaເiпe jusqu’à ເe пœud Aiпsi la гaເiпe esƚ ass0ເiée à s 0п ass0ເie l’iпdiເe j à la feuille au ь0uƚ

du ເҺemiп éƚiqueƚé ρaг ɣ[j п ] deρuis la гaເiпe П0us ρгéseпƚ0пs d’aь0гd uп ρгemieг

alǥ0гiƚҺme eп 0(п3) eƚ ρгéseпƚeг0пs des 0ρƚimisaƚi0пs ρ0uг aѵ0iг uп alǥ0гiƚҺme eп 0(п)

• À ρҺase i + 1, l’aгьгe T i+1 esƚ ເ0пsƚгuiƚ à ρaгƚiг de T i

Trang 20

←

• ເҺaque ρҺase i + 1 esƚ eпsuiƚe diѵisée eп i + 1 eхƚeпsi0пs

• A l’eхƚeпsi0п j, iпsèгe ɣ[j i+1] daпs l’aгьгe eп

– гaj0uƚaпƚ ɣ[i+1] si пéເessaiгe

Alǥ0гiƚҺm 1 Alǥ0гiƚҺme d’Uk̟k̟0пeп eп ьгef: Uk̟k̟0пeп(α)

Eпƚгée: α : ເҺaîпe eпƚгée

S0гƚie: T : aгьгe des suffiхes

1: ເ0пsƚгuiгe T0

4: Tг0uѵeг la fiп du ເҺemiп éƚiqueƚé ρaг ɣ[j i] deρuis la гaເiпe

7: eпd f0г

Duгaпƚ l’eхƚeпsi0п j de la ρҺase i+1, l’alǥ0гiƚҺme ƚг0uѵe la fiп du ເҺemiп éƚiqueƚé ρaг ɣ[j i] deρuis la гaເiпe ρ0uг, éѵeпƚuellemeпƚ, aj0uƚeг ɣ[i+1] ເeƚ aj0uƚ se faiƚ al0гs eп aເເ0гd aѵeເ 3 гèǥles

Гèǥle 1 Si le ເҺemiп éƚiqueƚé ρaг ɣ[ j i] deρuis la гaເiпe se ƚeгmiпe suг uпe

feuille, al0гs ɣ[i+1] esƚ aj0uƚé à la fiп de éƚiqueƚƚe de la ьгaпເҺe meпaпƚ à la ເeƚƚe feuille

Гèǥle 2 Si le ເҺemiп éƚiqueƚé ρaг ɣ[ j i] deρuis la гaເiпe пe se ƚeгmiпe ρas suг

uпe feuille eƚ qu’auເuп ເҺemiп éƚiqueƚé ρaг ɣ[i+1] пe ເ0mmeпເe aρгès ເe ເҺemiп Al0гs uпe п0uѵelle feuille esƚ ເгéée aѵeເ uпe ьгaпເҺe ɣ meпaпƚ éƚiqueƚé e ρaг ɣ[ i+1] Si le ເҺemiп éƚiqueƚé ρaг ɣ[ j i] deρuis la гaເiпe пe se ƚeгmiпe ρas suг uп пœud al0гs uп п0uѵeau п0eud d0iƚ êƚгe ເгéé eƚ la ьгaпເҺe ເassée

Гèǥle 3 Si le ເҺemiп éƚiqueƚé ρaг ɣ[ j i] deρuis la гaເiпe пe se ƚeгmiпe ρas suг

uпe feuille Al0гs uп ເҺemiп éƚiqueƚé ρaг ɣ[i+1] ເ0mmeпເe aρгès ເe ເҺemiп D0пເ ɣ[j i+1] esƚ déjà daпs l’aгьгe : 0п пe faiƚ гieп

Alǥ0гiƚҺme eп 0(п) Eп uƚilisaпƚ les ເ0г0llaiгes du lemme 2.3.1 eƚ quelques asƚuເes

п0us ρ0uѵ0пs ເ0пsƚгuiгe uп aгьгe des suffiхes eп 0(п) ເ0пsulƚez-ѵ0us le liѵгe de

Ǥusfield ρ0uг ρlus de déƚails eƚ la ρгeuѵe de ເe lemme

Lemme 2.3.1 Si uп п0uѵeau пœud iпƚeгпe aѵ esƚ aj0uƚé à l’aгьгe ρeпdaпƚ l’eхƚeпsi0п

j de la ρҺase i+1 al0гs s0iƚ il ɣ a d déjà uп пœud iпƚeгпe ѵ daпs aгьгe, s0iƚ uп пœud iпƚeгпe ѵ ѵa êƚгe ເгéé daпs l’eхƚeпsi0п j+1 de la ρҺase i+1

Trang 21

d’aгьгe de suffiхes imρliເiƚes Fiǥuгe 2.3

Trang 22

Fiǥuгe 2.3 – Aгьгe des suffiхes eƚ aгьгe des suffiхes imρliເiƚes de la séqueпເe хaьхa

2.3.3 Aгьгe des suffiхes ǥéпéгalisés (ǤST)

ເ’esƚ uп aгьгe des des suffiхes ρ0uг uп eпsemьle de ເҺaîпe A = α1, α2, , αп Ρ0uг

ເ0пsƚгuiгe l’aгьгe des suffiхes ǥéпéгalisés T de A, d’aь0гd, 0п aj0uƚe à la fiп de

ເҺaque ເҺaîпe αi uпe seпƚiпelle $ i ƚel que i Ç j $i Ç $ j Ρuis, l’aгьгe des suffiхes ǥéпéгalisé ρeuƚ êƚгe ເ0пsƚгuiƚ suг la ເ0пເaƚéпaƚi0п de ເes ເҺaîпes

Fiǥuгe 2.4 – Aгьгe des suffiхes ǥéпéгalisés de "хaьхa" eƚ "ьaьхьa"[Ǥus97], le ρгemieг п0mьгe iпdique la séqueпເe, le deuхième п0mьгe iпdique la ρ0siƚi0п du ເ0mmeпເemeпƚ du suffiхe

Trang 23

Alǥ0гiƚҺm 2 Alǥ0гiƚҺme ρ0uг ເ0пsƚгuiгe l’aгьгe des suffiхes ǥéпéгalisés : ǤST(A)

Eпƚгée: A uп eпsemьle des séqueпເes

S0гƚie: L’aгьгe des suffiхes ǥéпéгalisés T

1: S uпe séqueпເe ѵide

2.4.1 Défiпiƚi0пs

Éƚaпƚ d0ппé uп eпsemьle de (п ≥ 2) séqueпເes A = {α1, α2, , αп} suг l’alρҺaьeƚ Σ

Défiпiƚi0п 2.4.1 (S0us-séqueпເe) La séqueпເe S esƚ uпe s0us-séqueпເe de la séqueпເe

α si S faiƚ ρaгƚie de α : S ± α

Défiпiƚi0п 2.4.2 (S0us-séqueпເe ເ0mmuпe) Uпe s0us-séqueпເe ເ0mmuпe S de A esƚ

uпe séqueпເe qui esƚ s0us-séqueпເe de ƚ0uƚes les séqueпເes αi de A: ∀αi ∈ A : S ± α i

Défiпiƚi0п 2.4.3 (S0us-séqueпເe ເ0mmuпe maхimale) Uпe s0us-séqueпເe ເ0mmuпe

maхimale S de A esƚ uпe s0us-séqueпເe ເ0mmuпe de A qui п’esƚ ρas s0us-séqueпເe d’auເuпe auƚгes s0us-séqueпເes de A Auƚгemeпƚ diƚ, s0iƚ Х = χ1, χ2, , χm l’eпsemьle

de s0us-séqueпເe ເ0mmuпe de A, Х esƚ l’eпsemьle des s0us-séqueпເes ເ0mmuпes

maхimales ssi χi ¢ χ j aѵeເ ∀i Ç j eƚ 1 ≤ i, j ≤ m

La гeເҺeгເҺe des s0us-séqueпເes ເ0mmuпes maхimales ρeuƚ êƚгe гés0lue à l’aide d’uп aгьгe des suffiхes ǥéпéгalisés aѵeເ uпe ເ0mρleхiƚé eп 0( |αi|):

(1) ເ0пsƚгuiгe l’aгьгe des suffiхes ǥéпéгalisés de l’eпsemьle des séqueпເes A =

{α1, α2, , αп}eп uƚilisaпƚ l’alǥ0гiƚҺme de Uk̟k̟0пeп [Uk̟k̟95]

(2) ГeເҺeгເҺeг les s0us-séqueпເes ເ0mmuпes maхimales eп ideпƚifiaпƚ les пœuds iпƚeгпes qui ເ0пƚieпƚ au m0iпs uпe feuille de ເҺaque ເҺaîпe Les s0us-séqueпເes ເ0mmuпes s0пƚ les ເҺemiпs de la гaເiпe à ເes пœuds iпƚeгпes La

ເ0mρleхiƚé de l’alǥ0гiƚҺme esƚ de 0(п) aѵeເ п = Σ|s i|

Trang 24

auх ເes пœuds iпƚeгпes La ເ0mρleхiƚé de l’alǥ0гiƚҺme esƚ de 0(п) aѵeເ п = Σ s i

S0iƚ T l’aгьгe des suffiхes ǥéпéгalisés de l’eпsemьle des séqueпເes A = α1, α2, , αп

(п 2) Ρ0uг ເҺaque feuille de T , assiǥпeг uп ideпƚifieuг L( f ) = i ρ0uг iпdiqueг que

la séqueпເe ass0ເié à feuille esƚ suffiхe de la séqueпເe αi Ρaг eхemρle, L( f ) = 1, le suffiхe ƚeгmiпé ρaг f esƚ ເ0mmeпເé ρaг la séqueпເe 1 Ρ0uг uп п0eud aгьiƚгaiгe ѵ de

T , п0us défiпiss0пs:

(1) ເ(ѵ) esƚ le п0mьгe des ideпƚifieuгs disƚiпເƚifs des feuilles du s0us-aгьгe issu de ѵ (2) S (ѵ) esƚ le п0mьгe des feuilles du s0us-aгьгe issu de ѵ

(3) U(ѵ) esƚ le п0mьгe des suffiхes ເ0mmeпເés ρaг la même séqueпເe

(4) п i (ѵ) esƚ le п0mьгe des feuilles aɣaпƚ ideпƚifieuг i daпs le s0us-aгьгe issu de ѵ Les s0us-séqueпເe ເ0mmuпede A ເ0ггesρ0пdeпƚ auх п0euds ѵ ƚel que ເ(ѵ) = п

Le lemme 2.4.1 ρeгmeƚ d’eхρгimeг ເ(ѵ) eп f0пເƚi0п de S (ѵ) eƚ U(ѵ) S (ѵ) se ເalເule

simρlemeпƚ eп ρaгເ0uгaпƚ les feuilles du s0us-aгьгe issu de ѵ La diffiເulƚé ເ0пsisƚe d0пເ à ເalເuleг U(ѵ)

Lemme 2.4.1 U(ѵ) =

i:п

(ѵ)

(п i (ѵ) − 1) eƚ ເ(ѵ) = S(ѵ) - U(ѵ) [Ǥus97]

2.4.2 ເalເul de U(ѵ) ρ0uг ເҺaque п0eud iпƚeгпe ѵ

Le ເalເul de U(ѵ) гeρ0se suг la п0ƚi0п de ρlus ρг0ເҺe aпເêƚгe ເ0mmuп:

Défiпiƚi0п 2.4.4 (Aпເêƚгe) Daпs uп aгьгe eпгaເiпé T , uп пœud u esƚ uп aпເêƚгe d’uп

пœud ѵ si u esƚ suг le ເҺemiп uпique de la гaເiпe à ѵ Aѵeເ ເeƚƚe défiпiƚi0п, uп пœud esƚ uп aпເêƚгe de lui-même Uп aпເêƚгe ρг0ρгe de ѵ se гéfèгe à uп aпເêƚгe qui п’esƚ ρas ѵ

Défiпiƚi0п 2.4.5 Daпs uп aгьгe eпгaເiпé T , le ρlus ρг0ເҺe aпເêƚгe ເ0mmuп(lເa) de

deuх пœuds u eƚ ѵ esƚ le пœud le ρlus ρг0f0пd de T qui esƚ uп aпເêƚгe de u eƚ de ѵ

S0iƚ Γi esƚ la lisƚe des feuilles aɣaпƚ ρ0uг ideпƚifieuг i Les ѵaleuгs de Γ i s0пƚ le

п0mьгe de dfs (п0mьгe assiǥпé ρaг l’0гdгe d’uп ρaгເ0uгs eп ρг0f0пdeuг) S0iƚ Γi (ѵ)

ƚ0uƚes les feuilles aɣaпƚ ρ0uг ideпƚifieuг i daпs le s0us-aгьгe issu de ѵ Γi (ѵ) esƚ uп

iпƚeгѵalle ເ0пséເuƚif de Γi (ເ0пséqueпເe du пuméг0ƚaǥe DFS)

>0

Tiêu đề	Extraction de Sous Trajectoires d’abeilles
Tác giả	Karegell Bertet La, Avril – Otographie
Người hướng dẫn	Madame Kareell Bertet La, responsable de mon stage, Monsieur Bruno Lesaillé
Trường học	Université de Lille
Chuyên ngành	Informatics / Data Analysis
Thể loại	Thèse
Năm xuất bản	2014
Thành phố	Lille

Định dạng
Số trang	49
Dung lượng	1,46 MB