дискретно-тонового изображения оказывается, что различные значения таких параметров, как количество подряд идущих пикселей одного цвета, а также расстояние до ближайшего встреченного пикселя такого же цвета, не являются равновероятными, то есть такие данные имеют статистическую избыточность.
3. Массив пикселей. Будем называть этот массив остаточным изображением. Это те пиксели исходного изображения, которые не были заменены в ходе кодирования гибридным алгоритмом некоторыми служебными данными. Как правило, статистическая избыточность в этом массиве невысока. Зато в этих данных присутствует некоторая пространственная избыточность. Часто в остаточном изображении можно увидеть группы подряд идущих пикселей по вертикали или горизонтали близких цветов. Такой тип пространственной избыточности характерен для остаточного изображения, так как гибридный алгоритм не может его устранить.
Каждый из результирующих наборов данных гибридного алгоритма обладает специфическим типом избыточности и поэтому сжимается по отдельности на втором этапе выполнения комбинированного алгоритма. Создано два комбинированных алгоритма, использующих гибридный алгоритм на первом этапе сжатия. При тестировании комбинированный алгоритм, использущий на втором этапе библиотеку zlib [3], продемонстрировал более высокую степень сжатия. В тестировании принимали участие реализации 14 алгоритмов, некоторые из них с различными настройками. Тестирование проводилось на двух наборах данных: изображениях с преобладанием текста и с преобладанием деловой графики. Комбинированный алгоритм, основанный на гибридном алгоритме и zlib, обеспечил наивысшую степень сжатия на обоих тестовых наборах данных, превзойдя по этому показателю следующий за ним zlib с уровнем сжатия 9 на 9,5 % при сжатии изображений с преобладанием деловой графики и на 4 % — изображений с преобладанием текста. При этом комбинированный алгоритм, использующий на втором этапе zlib, производит сжатие быстрее, чем zlib уровня 9, в обоих случаях.
ЛИТЕРАТУРА
1. Сэломон Д. Сжатие данных, изображений и звука. М.: Техносфера, 2006. 365 с.
2. Дружинин Д. В. Комбинированный алгоритм сжатия ключевых кадров экранного видео // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. №3(16). С. 67-77.
3. гИЬ [Электронный ресурс]. http://zlib.net
УДК 519.212.2
ВЕРОЯТНОСТНЫЕ ХАРАКТЕРИСТИКИ ВЕСОВЫХ СПЕКТРОВ СЛУЧАЙНЫХ ЛИНЕЙНЫХ ПОДКОДОВ НАД 0¥(р)
А. М. Зубков, В. И. Круглов
Получены формулы для первых двух моментов элементов весового спектра равновероятно выбранного линейного подкода фиксированного линейного кода над конечным полем Ер в терминах его весового спектра, а также оценки для распределения минимального веса ненулевого кодового слова в выбранном подкоде. Выведены формулы для распределения веса суммы двух независимых случайных векторов над с заданными весами, вычислены математическое ожидание и дисперсия этого распределения.
Ключевые слова: линейные коды, случайные подкоды, весовой спектр, слово минимального веса.
Пусть р — фиксированное простое число. Будем обозначать через = {X = = (х^ ... ,xN) : Х\,... ,Хм Є Гр} линейное N-мерное пространство над простым полем Гр. Любое к-мерное (к < N) подпространство Ь С будем называть к-мерным линейным кодом.
Весом вектора X = (хі,...,х^) Є назовём число -№(Х) = ^ I {хк = 0} его
Определение 1. Пусть Vs(Ь) = |ЬП (Г^)в | и ^(Ь) = |ЬП (Г^) ^ | — количество
Предельные пуассоновские теоремы для случайных величин у3 (Ь) и аналогичных им доказаны в [1, 2].
Зафиксируем некоторый к-мерный линейный код Ь и рассмотрим к*-мерный случайный код Ь*, выбранный случайно и равновероятно из множества всех к*-мерных подкодов кода Ь. Пусть {^5(Ь*)}^=0 —весовой спектр выбранного случайного кода Ь*.
Теорема 1. Если Ь С — линейный к-мерный код в с весовым спектром
{у, = у3(Ь)}^=0, а Ь* — случайный равновероятный к*-мерный подкод Ь, 1 ^ к* < к, то при ^ = 1,... , N
Вероятностные характеристики элементов весового спектра случайно выбранно-
от аналогичных характеристик элементов весового спектра случайного множества М,
N
N
соответственно векторов веса в и ненулевых векторов веса не больше в в линейном коде Ь; набор {у5(Ь)}^=0 называют весовым спектром кода Ь.
и при в,і Є {1,... , N}, ^ = і,
Если Ь = , т. е. 1 ^ к* < к = N, то, согласно теореме 1,
и 7" х к* 1
го линейного кода Ь , содержащего рк — 1 ненулевых векторов, заметно отличаются
выбранного равновероятно из совокупности (рк — 1)-элементных подмножеств множе-
гpN Р
ства . Математические ожидания элементов весового спектра совпадают:
рк * — 1 р)р^—Г
Evs(M) = vs(FN)= Evs(Ь*),
а отношение дисперсий
рк * _ 2 рN _ рк *
1 _ р_____2 _ о, (FN )___р______р______
Dvs(M) _ 1 ^ рк* ^ pN — 2 р ) ^ — 1)(pN — 2)
БоДЬ*) р — 1^' pN — рк *у ^ Vs(FpN) — (р — 1)
1
pN — р
заметно меньше 1 (более того, меньше 1/(р — 1)) при р ^ 3. Теорема 2. Если выполнены условия теоремы 1, то
к * 1 Р — 1 Е^(Ь*) = Р— и<в(Ь), рк — 1
ТЛ (Т*\ (Р 1)(Рк — Р )(Р — 1) Рк — 1 — ^(Ь) , ^Рк — Рк ^ ,г*^
С^<Ь ) =--------------(Рг-Тр------------------рг—р— (Ь) « (Р — 1) ~РГ—т Е^<Ь )
и для минимального веса ^(Ь *) = ) : X Е Ь *\{0}} ненулевых векторов в Ь *
справедлива оценка
1
к к* "С А ^(-у^5\
__ Т)
1 + -1—^- (р — 1)(ЕМЬ *))-1 рк - 1
Теорема 3. Если X и У — независимые случайные векторы, причём вектор X имеет равномерное распределение на множестве (Г^)8 всех векторов веса в, а вектор У имеет равномерное распределение на множестве (Г^)4 всех векторов веса і, то при |в — і| ^ т ^ шіп{в + і, N}
Р М* + У )= т} = і ^ СГ« ,
,7=шах{0,«+і—N} CN (р 1)
Ew(X + У > = в +і — р—! I-
ві [ р2 N / і \ л в \ р — 2
N У(р — 1)2 N — 1^ N/4 N7 (р — 1)2
Доказательства теорем 1-3 опубликованы в [3]; перечисленные результаты могут применяться при исследовании системы шифрования Мак-Элис [4, 5].
ЛИТЕРАТУРА
1. Копытцев В. А., Михайлов В. Г. Теоремы пуассоновского типа для числа специальных решений случайного линейного включения // Дискретная математика. 2010. Т. 22. Вып. 2. С. 3-21.
2. Михайлов В. Г. Предельные теоремы для числа решений системы случайных линейных уравнений, попавших в заданное множество // Дискретная математика. 2007. Т. 19. Вып. 1. С. 17-26.
3. Зубков А. М., Круглов В. И. Статистические характеристики весовых спектров случайных линейных кодов над GF(p) // Математические вопросы криптографии. 2014. Т. 5. Вып. 1. С. 27-38.
4. Berson T. Failure of the McEliece public-key cryptosystem under message-resend and related-message attack // LNCS. 1997. V. 1294. P. 213-220.
5. McEliece R. J. A public-key cryptosystem based on algebraic coding theory. Jet Propulsion Lab. DSN Progress Report 42-44, 1978.