Download (PDF, 801KB) - Blog Kerios
Download (PDF, 801KB) - Blog Kerios
Download (PDF, 801KB) - Blog Kerios
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
comparableaveclesmotsdeZpourlesordresprexeetsuxe. 7.1.CODESPREFIXES,SUFFIXESETBIFIXESMAXIMAUX desmotsPouS-comparablesaunmotdeX).Deplus,commeUZ,lemotw Supposonsdoncquew=2ZA[AZ[ZA+[A+Z,c'est-a-direwn'estpas Remarquonsque,commeXZ,onaw=2C(onrappellequeCestl'ensemble 121<br />
Enn,onaw:b=2Ujwj1,puisquesinononauraitw2P(Ujwj1)etonavuque auxmotsdeUjwj1etona:Ujwj1\P(w)=;: n'estpasP-comparableauxmotsdeU.<br />
w:b=2Ujwj1,onobtientdoncUjwj1\P(w:b)=;: wn'estpasP-comparableauxmotsdeUjwj1.AinsionaUjwj1\P(w)=;et Ona,pardenitiondeU,Ujwj1U,lemotwn'estdoncpasP-comparable<br />
{Siz2AX[AXalors,commey0estsuxedez,lemoty0estS-comparable {Siz2XA[XAalors,puisquewestprexedez,westP-comparableavecles avecunmotdeX.L'ensembleX[fy0gn'estdoncpassuxe,cequicontredit motsdeX.Cequicontreditw=2C. Montronstoutd'abordquez=2C. Posonsz=wbajwjy0etmontronsquez2Ujwj.<br />
z=wbajwjy0,d'oupardenitiondeUjwj,onobtientz2Ujwj. doncavoirw=2ZA[AZ[ZA+[A+Z. ladenitiondey0.<br />
doncmaximaldansFbif. Onadoncz=2C.Deplus,nousavonsvuqueUjwj1\P(w:b)=;.Onapose Cecicontreditlefaitquewn'estpasP-comparableauxmotsdeU.Onnepeut Ainsi,pourtoutmotw=2Z,onaw2ZA[AZ[ZA+[A+Z,lecodeZest<br />
Proposition7.1.6L'ensembleZn'estpasmaximaldansFcode. And'etablirletheoreme7.1.2,ilnousresteamontrerlapropositionsuivante: <br />
uncodemaximal. aby0=2X.Onadoncby0=2Z. nousavonsdoncby0=2U.Deplus,y0n'etantpasS-comparableauxmotsdeX,on Preuve.Consideronslemotb:y0.Pardenition,a:y0estsuxedetoutmotdeU, MontronsqueZ[fb:y0gestsuxe,cequisurapourarmerqueZn'estpas
Change language