Los códigos lexicográficos o lexicodes son códigos de corrección de errores generados con avidez con propiedades notablemente buenas. Fueron producidos de forma independiente por Vladimir Levenshtein [1] y por John Horton Conway y Neil Sloane . [2] Los códigos lexicográficos binarios son códigos lineales e incluyen los códigos Hamming y los códigos binarios Golay . [2]
Se genera un lexicodo de distancia mínima d y longitud n sobre un campo finito comenzando con el vector todo cero y agregando iterativamente el siguiente vector (en orden lexicográfico ) de distancia mínima de Hamming d de los vectores agregados hasta ahora. Como ejemplo, el lexicodo de longitud 3 de distancia mínima 2 estaría formado por los vectores marcados con una "X" en el siguiente ejemplo:
Vector | ¿En codigo? |
---|---|
000 | X |
001 | |
010 | |
011 | X |
100 | |
101 | X |
110 | X |
111 |
Dado que los lexicodes son lineales, también se pueden construir mediante su base . [3]
La teoría de los códigos lexicográficos está estrechamente relacionada con la teoría de juegos combinatorios . En particular, las palabras de código en un código lexicográfico binario de distancia d codifican las posiciones ganadoras en una variante del juego de Grundy , jugado en una colección de montones de piedras, en el que cada movimiento consiste en reemplazar cualquier montón por d - 1 más pequeño. montones, y el objetivo es tomar la última piedra. [2]