Singleton gräns

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 15 oktober 2016; kontroller kräver 2 redigeringar .

Singleton-gränsen (uppkallad efter R.C. Singleton) sätter en gräns för kraften i en kod med tecken från längdfältet och minsta Hamming-avstånd .

Låt beteckna den maximala möjliga kardinaliteten av -ary längdkod ( -ary code är en kod över ett fält av element). Låt det minsta Hamming-avståndet mellan två kodord vara , det vill säga för alla två kodord och .

Sedan

Bevis

Först och främst, notera att den övre gränsen för den maximala kardinaliteten för någon -är längdkod är lika med , eftersom varje komponent i ett givet kodord kan anta ett av olika värden oberoende av de andra komponenterna.

Låt vara en -ic-kod. Då är alla ord i koden olika. Om vi ​​raderar de första tecknen i varje ord, måste alla återstående kodord förbli olika, eftersom Hamming-avståndet mellan kodorden är minst . Därför förblev kraften i koden efter borttagningen av tecken densamma.

Ny ordlängd

och därför är den maximala möjliga kardinaliteten för en sådan kod

Från detta följer den övre gränsen för makten för den ursprungliga koden :

Radkoder

När det gäller linjekoder kan man skriva Singleton bound som

eller

Linjära koder för vilka likheten gäller kallas separerbara koder med ett maximalt avstånd eller MDS-koder. Välkända representanter för denna kodfamilj är Reed-Solomon-koden och koderna som bildas av den.

Litteratur

Se även