Download (PDF, 801KB) - Blog Kerios
Download (PDF, 801KB) - Blog Kerios
Download (PDF, 801KB) - Blog Kerios
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Codesprexes,suxesetbixes Nouspresentonsci-apreslesdierentesversionsintroduitesdanslalitterature. 68Danscertainesfamillesdecodes,lanotiondecompletudepeut^etreprecisee.<br />
CHAPITRE4.SURLESCODESMAXIMAUX<br />
Dem^emenousdironsqueXestcompletagauchesi Nousdironsqu'uncodeXestcompletadroitesi 8w2AwA\X6=;:<br />
Theoreme4.1.2SoitXuncode.Lesproprietessuivantessontequivalentes: (i)Xestuncodeprexe(resp.suxe,bixe)maximaldansFcode. Nousavonsalorsleresultatsuivant[BP85]: 8w2AAw\X6=;:<br />
Codesadelaidedechirageborne (ii)Xestcompletadroite(resp.agauche,agaucheetadroite). Pourtoutentierd>0,nousdironsqu'uncodeestd-completssi<br />
Theoreme4.1.3Soientd>0etXuncodecoupantdeF(d) Ilestclairquetoutcoded-completestcomplet. Nousavonsleresultatsuivant[Sch66]: 8w2A;8x2XdxwA\X6=;:<br />
Codesuniformementsynchronisants vantessontequivalentes: (ii)Xestd-complet. (i)XestmaximaldansFcode. ddb.Lesproprietessuilentes:<br />
Theoreme4.1.4Soit>0etXuncode.Lesproprietessuivantessontequiva-<br />
(i)XestuncodedeFus,dedelaipluspetitouegala,maximaldansFcode. PourlescodesdeFus,letheoreme4.1.1peutsereformulerainsi[Bru98]: