CC BY
19
УДК 519.174.2
DOI 10.25205/1818-7900-2017-15-4-32-42
А. Е. Малых 1 2, А. Л. Пережогин 1 3
1 Новосибирский государственный университет ул. Пирогова, 1, Новосибирск, 630090, Россия
2 ООО НЦИТ «УНИПРО» ул. Ляпунова, 2, Новосибирск, 630090, Россия
3 Институт математики им. С. Л. Соболева СО РАН пр. Академика Коптюга, 4, Новосибирск, 630090, Россия
awa149@rambler.ru, pereal@math.nsc.ru
КОНСТРУКТИВНЫЙ ПОДХОД К ПЕРЕЧИСЛЕНИЮ СПЕКТРОВ КОДОВ ГРЕЯ В БУЛЕВЫХ КУБАХ МАЛЫХ РАЗМЕРНОСТЕЙ
Спектром п-разрядного кода Грея называется набор из количеств изменений соответствующей позиции при переходе к следующему кодовому слову. Исследуются множества спектров кодов Грея, порождаемых различными известными конструкциями. Перечислены все спектры 7- и 8-разрядных кодов Грея. Ключевые слова: код Грея, гамильтонов цикл, булев куб.
Постановка задачи
Булевым п-кубом Qn называется граф, вершинами которого являются двоичные слова длины п и пара вершин соединены ребром, если соответствующие слова различаются ровно в одной позиции, номер этой позиции определяет направление соответствующего ребра.
Гамильтоновым циклом (цепью) в графе называется такой простой цикл (цепь), который содержит все вершины данного графа. Таким образом, гамильтонов цикл в Qn является циклическим перечислением всех двоичных слов длины п в порядке минимального изменения. Такое перечисление называется кодом Грея (гамильтонову циклу соответствует два кода Грея: обход вершин по циклу в одну сторону и в другую).
Переходная последовательность кода Грея - циклическое слово t = t0t1 ... над алфавитом {1,...,п} такое, что 7-е и {7 + 1)-е слова в коде отличаются в позиции ti, а первое и последнее - в позиции t2n _1.
Наиболее известным кодом Грея является двоично-отражённый или бинарно-рефлексивный код Грея, который был запатентован Френком Греем в 1953 году для использования в преобразовании аналогового сигнала в цифровой [1]. После публикации обзора Карлы Сэ-ведж [2] комбинаторными кодами Грея стали называть перечисления любых комбинаторных объектов в порядке минимального изменения.
Малых А. Е., Пережогин А. Л. Конструктивный подход к перечислению спектров кодов Грея в булевых кубах малых размерностей // Вестн. НГУ. Серия: Информационные технологии. 2017. Т. 15, № 4. С. 32-42.
ISSN 1818-7900. Вестник НГУ. Серия: Информационные технологии. 2017. Том 15, № 4 © А. Е. Малых, А. Л. Пережогин, 2017
Спектром кода Грея в Qn называется набор а = (а1,а2,...,ап), где ai - число рёбер /-го направления в коде Грея. Так, например, двоично-отражённый код Грея имеет спектр (2,2,4,8,..., 2п-1). Большая разница между числами вхождений рёбер разного направления
сужает область применения такого кода, что привело к задаче существования и построения сбалансированных [3-5] и локально сбалансированных [6-10] кодов Грея.
Код Грея со спектром а = (,а2,...,ап), где а1 <...<ап, называется
• сбалансированным, если ап - а1 < 2 ;
• тотально сбалансированным, если ап = а1;
• экспоненциально сбалансированным, если существует такое к, что для любого 1 < / < п аг е{2к ,2к+1}.
Сбалансированные и тотально сбалансированные коды были впервые построены Бакошем (результат опубликован в монографии [3]) и переоткрыты в [4]. Экспоненциально сбалансированные коды построены в [5]. Эти результаты показывают существование кодов Грея с определенным спектром.
В 4-м томе Д. Кнута «Искусство программирования» [11], в разделе, посвящённом кодам Грея, приведены условия, которым должен удовлетворять спектр а = (а1, а2,..., ап), а1 < ... < ап, любого кода Грея:
1) а{ - чётные положительные;
2) I п* а/ = 2п ;
3) Iк=1 а/ * 2к .
Набор а = (а1,а2,...,ап) назовём допустимым, если он удовлетворяет этим трём условиям.
В [11] в качестве нерешённой исследовательской задачи поставлен вопрос: всякий ли допустимый набор является спектром некоторого кода Грея?
Сложность решения данной задачи перебором кодов Грея иллюстрируется следующей таблицей, в которой указано количество допустимых спектров и кодов Грея для малых размерностей куба:
п Количество 1 допустимых наборов в Qn Количество 2 кодов Грея в Qn Количество 3 кодов Грея в Qn с точностью до автоморфизма
3 1 12 1
4 4 2688 9
5 28 1813091520 237675
6 550 71676427445141767741440 777739016577752714
7 28456 -
8 4134861 -
9 1781622569 -
1 https://oeis.org/A091969
2 https://oeis.org/A003042
3 https://oeis.org/A159344
При перечислении кодов Грея с точностью до автоморфизма куба при п = 4 [12] и п = 5 [13] для всех допустимых наборов были найдены коды с таким спектром. В [14] с использованием 8АТ-решателей были перебраны все 6-мерные коды Грея и получено 550 различных
спектров. Уже для следующей размерности такой подход крайне неэффективен, поскольку число кодов Грея растет дважды экспоненциально.
В [15] В. Н. Потаповым была предложена новая конструкция кодов Грея, позволившая доказать теорему, согласно которой существует такое N, что если для всех меньших размерностей любой допустимый набор является спектром некоторого кода, то и для всех больших это утверждение верно. Таким образом, для полного решения задачи нужно уточнение константы N и доказательство базы индукции.
В настоящей статье исследуются известные конструкции кодов Грея на мощность множества порождаемых спектров, и доказано, что при п = 7 и 8 любой допустимый набор является спектром некоторого кода Грея.
Известные конструкции кодов Грея
Конструкция Рамраса. Пусть Тп - переходная последовательность п-мерного кода Грея. Пусть Т'п получается из Тп заменой нечетного числа вхождений буквы п на новую букву п +1. Тогда Т'Т'п является переходной последовательностью {п +1) -мерного кода Грея [16].
Эта конструкция является обобщением простейшей рекурсивной процедуры построения двоично-отражённого кода Грея [1]. Спектр нового кода Грея легко получается из спектра исходного кода, но полученный спектр удовлетворяет жёсткому ограничению: в нём все ai, кроме двух, делятся на четыре. Для нашей задачи данная конструкция малоэффективна.
Торическая конструкция. Разложим п-куб Qn как декартово произведение Qk х Qn_k . Тогда тор, образованный декартовым произведением гамильтоновых циклов в каждом из под-кубов Qk и Qn_k, является подграфом Qn. А следовательно, гамильтонов цикл в полученном торе будет гамильтоновым циклом в п-кубе. Подобная конструкция применялась для перечисления кодов Грея [17-19]. В общем виде она была описана и обоснована в [6] для построения локально равномерных кодов Грея. В [7] она была обобщена на случай произведения трех подкубов и циклов. В [6] доказано, что гамильтоновы циклы в торе, использующие круговой обход вершин, обязательно будут периодическими, что накладывает большие ограничения на спектры кодов Грея, порождаемых этой конструкцией. Также для получения спектра нового кода используются не только спектры исходных кодов, но и сами коды, что недалеко нас уводит от полного перечисления кодов. В общем виде конструкция малоэффективна для нашей задачи.
Потоковая конструкция. В [8] предложено следующее обобщение торической конструкции. В одном из подкубов берется гамильтонов цикл, а в другом поток, порождённый сдвигом вершин куба. Тогда круговой обход декартова произведения цикла на поток будет давать гамильтонов цикл в исходном кубе при некоторых ограничениях на поток. Эта конструкция оказалась очень эффективной для построения локально равномерных кодов Грея с параметрами равномерности близкими к оптимальным [8; 9]. В связи с еще более жесткими ограничениями на периодичность, чем у торической, и сложностью вычисления спектра потока эта конструкция оказалась неприменимой для нашей задачи.
Конструкция Бакоша. Эта конструкция была опубликована в [3] и переоткрыта в [4]. С её помощью построены сбалансированные [3; 4] и экспоненциально сбалансированные [5] коды Грея. Она является частным случаем торической конструкции при к = 2, со специальным видом обхода тора. Рассмотрим переходную последовательность t0t1 ... ^„_2_ гамильтонова
цикла в Qn_2, и кортеж {б1,82,...,52„_2_1 )е{2,4}2 1. В декартовом произведении Q2 хQn_2
четыре копии подкуба Qn_2. В каждой из этих копий строим гамильтонову цепь с переходной последовательностью ... t2n_2 начинающуюся с нулевой вершины. В одной копии
цепь сохраняем, в трёх оставшихся для каждого 7, 1 < 7 < 2п_2 _ 1, если 57 = 2, то в двух копиях рёбра, соответствующие ti, удаляем так, чтобы с помощью рёбер двух новых направлений п _ 1 и п получить общую гамильтонову цепь в этих трёх подкубах. В [3] показано, что такая
гамильтонова цепь строится однозначно и соединяется с гамильтоновои цепью в первой копии в гамильтонов цикл в Qn. Пример цикла, построенного такой конструкцией, на развёртке соответствующего тора показан на рис. 1.
п-1
п-1
1
Рис. 1. Конструкция Бакоша
п
В данной конструкции спектр получаемого кода Грея строится по спектру исходного и не требует перебора самих кодов, что позволяет эффективно получить все спектры, порождаемые этой конструкцией. С ее помощью реализуются сбалансированные и близкие к ним спектры. Выделим два ограничения на получаемые спектры: существует такое 1, что
• а1+1 - а1 < 2 (это ограничение существенно для больших размерностей куба);
• для любого у ё {/, 1 +1} существует такое Ьу, что 2Ьу < а. < 4Ьу., и набор чисел (,...,Ь1-1,Ьi+2,...,Ьп) является допустимым.
Конструкция Потапова. В [15] предложена следующая конструкция кодов Грея. Разложим п-куб Qn как декартово произведение Qk х Qn-k. Рассмотрим гамильтонов цикл в Qk . Множество его рёбер разбивается на два совершенных паросочетания Р1 и Р2. Поскольку каждой вершине из Qk в декартовом произведении Qk х Qn-k соответствует (п - к) -куб, то каждому ребру е из Р1 можно сопоставить в соответствие пару параллельных (п - k) -кубов, то есть один (п - k +1) -куб. Возьмём в этом кубе гамильтонову цепь с концами в вершинах ребра е. Тогда объединение гамильтоновых цепей по всем рёбрам из Р1 с рёбрами из Р2 образует гамильтонов цикл в исходном кубе Qn. Таким образом, спектр нового кода Грея складывается из спектров гамильтоновых цепей в 2^ кубах размерности (п - k +1) и спектра паросочетания Р2 .
Обобщенная конструкция Потапова \ В случае, когда два соседних по коду ребра паросочетания Р имеют одно направление, то соответствующие (п - k +1) -кубы параллельны и
вместо двух гамильтоновых цепей можно рассматривать одну в (п - k + 2) -кубе. Такое
обобщение конструкции Потапова позволяет получать больше спектров, но усложняет реализацию, поскольку для нее требуется рассматривать гамильтоновы циклы в Qk , а не только спектры паросочетаний, составляющих эти циклы.
1 Предложена В. Н. Потаповым в личной беседе.
Свойства конструкции Потапова
Рассмотрим несколько утверждений о спектрах гамильтоновых циклов, которые можно построить с помощью конструкции Потапова. В [15] доказана следующая лемма.
Лемма 1 [15]. Если любой допустимый набор длиной п _ к +1 является спектром гамиль-тонова цикла в Qn_k+1 и имеется гамильтонов цикл в Qk со спектром {{,...,Ьк), то любой допустимый набор {{,..., Ьк, ak+1,..., an) является спектром гамильтонова цикла в Qn.
Лемма 2. Если любой допустимый набор длиной п _ 1 является спектром гамильтонова
цикла в Qn_1, то любой допустимый набор {2,a2,...,an) является спектром гамильтонова цикла в ^ .
Доказательство. Построим два набора {Ь1,...,Ьп1) и {с1,...,сп1) следующим образом. Числа Ь1 и с1 - такие чётные числа, что Ь1 + с1 = a2 + 2 и |Ь1 _ с^ < 2 . Пусть найдены числа Ь1,...,Ьг_1 и с1,...,сг_1. Тогда чётные числа Ьг и сг выбираем так, чтобы были выполнены три условия: Ь{ + с{ = at+1, |bt _ с^ < 2 и каждая из сумм '^i_1bi и ^* ci была не меньше 2t. Это можно сделать, поскольку из допустимости набора {2,a2,...,an) справедливо ^^2ai > >2t+1 _2. Тогда наборы {{,...,Ьп1) и {с1,...,сп1) являются допустимыми и по условию леммы существуют гамильтоновы циклы Н1 и Н2 в Qn_1 со спектрами {Ь1,...,Ьп1) и {,...,сп1) соответственно. Применим конструкцию Потапова с параметром k = 2. В двух подкубах Qn_1 берём полученные из Н1 и Н2 гамильтоновы цепи со спектрами {Ь1 _ 1,Ь2,...,Ьп1) и
{с1 _ 1,с2,...,сп1) и добавляем два оставшихся ребра в Q2. В итоге получим гамильтонов цикл в Qn со спектром {2,a2,...,an) .
Заметим, что конструкция Потапова при k = 2 совпадает с простейшей рекурсивной конструкцией и, как видно из леммы 2, позволяет строить коды Грея со всеми допустимыми спектрами, начинающимися с двойки.
Лемма 3. Гамильтонов цикл в Q8 со спектром (32,32,32,32,32,32,32,32) нельзя получить посредством конструкции Потапова.
Доказательство. Поскольку в Q2 и нет паросочетаний, содержащих рёбра всех направлений, то при применении конструкции Потапова для k < 3 в спектре получившегося гамильтонова цикла будет присутствовать число, не превосходящее 4. Рассмотрим k = 4. В Q4 существует совершенное паросочетание со спектром (2,2,2,2). Но в любом гамильтоно-вом цикле, содержащем такое паросочетание, спектр второго совершенного паросочетания обязательно содержит ноль [12]. Но в подкубе Q5 на ребре е любая гамильтонова цепь с концами в вершинах ребра е имеет не более 15 сонаправленных с е рёбер. Следовательно, у полученного гамильтонова цикла в спектре обязательно будет число, не превосходящее 30. В случае k = 5 в каждом из 16 подкубов Q4 на рёбрах совершенного паросочетания в га-мильтоновой цепи присутствуют рёбра всех четырех направлений. Но тогда в спектре этой цепи три двойки, что противоречит необходимым условиям на спектр гамильтонова цикла. При k > 6 подкубов на рёбрах совершенного паросочетания не меньше 32, следовательно, в спектре итогового гамильтонова цикла должно быть число, не меньшее 64.
Аналогично можно показать, что сбалансированные коды Грея в Q6 и Q7 также нельзя получить посредством конструкции Потапова. Рассмотрим сбалансированный код Грея в Q9.
Лемма 4. Посредством конструкции Потапова можно построить гамильтонов цикл в Q9 со спектром (56,56,56,56,56,58,58,58,58).
Доказательство. Применим конструкцию Потапова при k = 4. В Q4 берём гамильтонов
цикл с переходной последовательностью
1 2 4 2 3 4 2 4 1 4 3 4 2 3 4 3.
Он состоит из двух совершенных паросочетаний со спектрами (2,2,2,2) и (0,2,2,4) соответственно. На рёбрах первого паросочетания рассматриваем 6-кубы. В них берём гамильтоновы цепи со спектрами
(27, 0, 0, 0, 6, 6, 8, 8, 8)
(29, 0, 0, 0, 8, 8, 6, 6, 6)
(0, 27, 0, 0, 6, 6, 8, 8, 8)
(0, 27, 0, 0, 8, 8, 6, 6, 8)
(0, 0, 27, 0, 6, 6, 8, 8, 8)
(0, 0, 27, 0, 8, 8, 6, 8, 6)
(0, 0, 0, 25, 6, 8, 8, 8, 8)
(0, 0, 0, 27, 8, 8, 8, 6, 6)
Объединяя эти цепи со вторым совершенным паросочетанием, получим искомый гамильто-нов цикл.
Теорема 1 [15]. Существует такое натуральное число N, что если для всех меньших размерностей любой допустимый набор является спектром некоторого кода Грея, то для любого п > N и любого допустимого набора длины п с помощью конструкции Потапова можно построить гамильтонов цикл в Qn с данным спектром.
Из леммы 3 следует, что константа N из теоремы 1 не меньше 9. Следовательно, для реализации всех спектров в Q7 и Q8 надо использовать другие конструкции. Остаётся открытым вопрос: будет ли константа N больше 9?
Жадная торическая конструкция
Для построения гамильтоновых циклов со спектрами, близкими к спектру двоично-отражённого кода Грея (т. е. сильно несбалансированные спектры) нами предложена следующая конструкция. Она использует тор как в конструкции Бакоша, только обходит его в одном направлении по большому циклу.
Пусть Т = ... /2„-2_1 - переходная последовательность (п - 2) -разрядного кода Грея,
а набор ё = (^0,...,а?2„-2 1) таков, что di е {0,1,2,3,4}, причём di = 0 тогда и только тогда, когда di_1 > 3 . Поскольку код Грея циклический, без ограничения общности положим ё0 Ф 0, ё2„-2-1 < 2. Построим слово Т' из слова Т по следующим правилам (для 0 < 1 < 2п-1 -1):
• если di = 1, то заменяем на слово (1п -1 п п -1;
• если di = 2, то ti заменяем на слово п-1 п ;
• если di = 3, то titi+1 заменяем на слово t¡t¡+1n -11¡+1п п -11¡+1п -1;
• если di = 4, то titi+1 заменяем на слово t¡t¡+1n t¡+1п -1 п t¡+ln.
Фрагмент тора с обходом, порождённым такими заменами, показан на рис. 2. Видно, что мы обходим все вершины тора, и для того, чтобы этот обход оказался гамильтоновым циклом, достаточно обеспечить возврат в начальную вершину. Обозначим через kj количество
у в наборе d, у е {0,1,2}. Тогда, обход всего тора обеспечивает условие 2ko + ^ + k2 = 2 , а для возврата в исходную вершину необходимо и достаточно, чтобы все три числа kQ, ^ и ^ были одной чётности. Таким образом, при выполнении этих двух условий Т' будет переходной последовательностью п-разрядного кода Грея.
По построению, в последовательность Т' буква ti из последовательности Т утраивается тогда и только тогда, когда di = 0 . Но в наборе d два нуля рядом стоять не могут. Поэтому, чтобы не перебирать все гамильтоновы циклы в Qn_2, а использовать только спектры, мы будем утраивать только рёбра одного направления. Таким образом, верна следующая лемма.
dt n-1 1
2 3
n-1
0 1
4 0
Рис. 2. Жадная торическая конструкция
Лемма 5. Пусть (,...,an-2) - спектр некоторого гамильтонова цикла в Qn-2. Тогда для любых натуральных чисел k0, k1, k2, m1, m2, s, удовлетворяющих условиям
• 2kg + kl + k2 - 2 ;
• k0 + k1 = 0 ( mod 2 ) ;
• m + m2 - k0;
• 1 < s < n - 2;
• k0 < as ,
набор (a1,..., as1, 2k0 + as, ash1,..., an-2, 2k1 + k2 + 3m1 + m2, 2k2 + k1 + 3m2 + m1 ) является спектром гамильтонова цикла в Qn.
Спектры кодов Грея в 7-кубе
Сначала были протестированы все конструкции в применении к допустимым наборам длины 7. Напомним, что всего таких наборов 28 456. Торическую в общем виде и потоковую конструкции не удалось эффективно реализовать и проверить на всех допустимых наборах. Остальные конструкции показали следующие результаты:
Q7 Простейшая рекурсивная конструкция Конструкция Рамра-са Конструкция Бакоша Конструкция Потапова (k - 4) Обобщённая конструкция Потапова (k - 4) Жадная торическая конструкция
Количество спектров 11 692 7 592 21 445 23 362 28 389 3 896
Процент от всех допустимых 41 27 75 82 99,8 14
Как и ожидалось, конструкция Рамраса реализовала мало спектров и в дальнейшем рассматриваться не будет. Простейшая рекурсивная (конструкция Потапова при к = 2) даёт
только спектры, начинающиеся с 2. Конструкция Бакоша реализовала все сбалансированные и близкие к ним спектры.
Конструкция Потапова была реализована только для случая k = 4 . Как уже отмечалось в доказательстве леммы 4, при k = 3 в спектре построенного этой конструкцией кода Грея обязательно присутствует число, не превосходящее 4, а при k = 5 - три числа, не меньших 32. В первом случае такие спектры оказались реализованы рекурсивной конструкцией и конструкцией Потапова при k = 4, во втором случае таких спектров очень мало, а реализация конструкции трудоёмка. При k > 6 в данной размерности куба конструкция Потапова вырождается.
Обобщённая конструкция Потапова при k = 3 вырождается в конструкцию Потапова при k = 2, а при k > 5 сложно реализуема, поскольку использует перебор всех гамильтоновых циклов в Qk . При k = 4 в Q4 всего 9 классов эквивалентности гамильтоновых циклов. Обобщённая конструкция Потапова наилучший результат показала на коде Грея из доказательства леммы 4. С его помощью было реализовано 24 736 спектров.
После применения обобщённой конструкции Потапова ко всем кодам Грея в Q4 осталось всего 67 допустимых наборов длины 7. Среди них оказались как близкие к сбалансированным, так и сильно не сбалансированные. Первые были реализованы конструкцией Бакоша, а для вторых была предложена и реализована жадная торическая конструкция. Таким образом, обобщённая конструкция Потапова, конструкция Бакоша и жадная торическая конструкции реализовали все допустимые спектры гамильтоновых циклов в Q7.
Спектры кодов Грея в 8-кубе
Данная размерность куба уже настолько большая, что любая конструкция, использующая перебор кодов Грея, становится сложно реализуемой. Мы рассматривали только четыре конструкции. Результаты их применения таковы (напомним, что допустимых наборов 4 134 861):
Q8 Простейшая рекурсивная конструкция Жадная торическая конструкция Конструкция Бакоша Конструкция Потапова (k = 5)
Количество спектров 1 288 770 300090 3 274 718 3319047
Процент от всех допустимых 31 7 79 80
Три из этих конструкций: Бакоша, простейшая рекурсивная и жадная торическая, реализуются эффективно, но не покрывают все допустимые наборы. Базовой конструкцией для данной размерности куба стала конструкция Потапова. Рассмотрим основные сложности её реализации.
Параметр k нельзя брать большим, поскольку в конструкции перебираются все коды Грея в Qk . Заметим, что уже в Q7 количество кодов Грея неизвестно. С другой стороны, необходимость перечисления и склейки всех спектров гамильтоновых цепей в 2^ подкубах Qn_+1 на рёбрах паросочетания ограничивает сверху и число п - k. Мы остановились на параметре k = 5.
На первом этапе были перечислены гамильтоновы циклы в 5-кубе и выделены все различные пары спектров совершенных паросочетаний, образующих эти циклы. Таких пар оказалось 836. В каждой паре на рёбрах одного из паросочетаний были рассмотрены 16 кубов размерности 4. Хотя различных спектров кодов грея в 4-кубе всего 4, но для конструкции нужны спектры гамильтоновых цепей, причём с учётом порядка. Таких спектров 31. Склейка этих спектров требует 3116 операций. Чтобы уменьшить это количество мы склеивали спек-
тры попарно и после каждой такой склейки убирали повторы. Это позволило полностью реализовать конструкцию Потапова для k = 5 .
После применения конструкции Потапова осталось 815 814 спектров. Добавление конструкции Бакоша уменьшило количество нереализованных спектров до 91 851. А после рекурсивной и жадной торической осталось 11 937. Тогда в Q4 был взят гамильтонов цикл, приведённый в доказательстве леммы 4, и к нему применялась обобщённая конструкция Потапова для k = 4, пока не были реализованы все оставшиеся спектры. Таким образом, верна следующая теорема.
Теорема 2. Любой допустимый набор длины n < 8 является спектром некоторого кода Грея.
Заключение
В [15] приведено условно асимптотическое решение задачи (теорема 1). Но оценка на константу N, получаемая из доказательства, очень грубая. Лемма 3 показывает, что N > 9, а следовательно, размерности 7 и 8 входят в базу индукции. Лемма 4 даёт надежду, что данная статья полностью доказывает эту базу индукции. Но если это так, и, начиная с размерности 9, конструкция Потапова реализует все спектры, то использованный в данной статье подход с порождением всех спектров, примененный к длине 9, этого не докажет. Для полного решения задачи нужно усиление теоремы Потапова в части уточнения размерности, подходящей в качестве базы индукции.
Список литературы
1. Gilbert E. N. Gray codes and paths on the n-cube // Bell System Tech. J. 1958. Vol. 37. No. 3. P. 815-826.
2. Savage C. D. A survey of combinatorial Gray codes // SIAM Rev. 1996. Vol. 39. No. 4. P.605-629.
3. Adam A. Truth functions and the problem of their realization by two-terminal graphs. Budapest: Academiai Kiado, 1968.
4. Bhat G. S., Savage C. D. Balanced Gray codes // Electron. J. Comb. 1996. Vol. 3. Research Paper 25.
5. Suparta I. N. A simple proof for the existence of exponentially balanced Gray codes // Electron. J. Comb. 2005. Vol. 12. Note 19.
6. Евдокимов А. А. О нумерации подмножеств конечного множества // Методы дискретного анализа в решении комбинаторных задач: Сб. науч. тр. / Ин-т математики СО АН СССР, Новосибирск. 1980. Вып. 34. C. 8-26.
7. Goddyn L., Lawrence G. M., Nemeth E. Gray codes with optimized run lengths // Util. Math. 1988. Vol. 34. P. 179-192.
8. Goddyn L., GvozdjakP. Binary Gray codes with long bit runs // Electron. J. Comb. 2003. Vol. 10. R27.
9. Быков И. С. О локально равномерных кодах Грея // Дискрет. анализ и исслед. опер. 2016. Т. 23, № 1. С. 51-64.
10. Быков И. С., Пережогин А. Л. О дистанционных кодах Грея // Дискрет. анализ и исслед. опер. 2017. Т. 24, № 2. С. 5-17.
11. Knuth D. E. The art of computer programming. Addison; Wesley, New-Jersey, 2009. Vol. 4. 944 p.
12. Пархоменко П. П. Классификация гамильтоновых циклов в двоичных гиперкубах // Автоматика и телемеханика. 2001. № 6. С. 136-150.
13. DejterI. J., DelgadoA. A. Classes of Hamilton cycles in the 5-cube // J. Comb. Math. Comb. Comput. 2007. Vol. 61. Р. 81-95.
14. Chebiryak Yu., Kroening D. Towards a classification of Hamiltonian cycles in the 6-cube // J. Satisf., Boolean Model. Comput. 2008. Vol. 4. No. 1. P. 57-74.
15. Потапов В. Н. Построение гамильтоновых циклов с заданным спектром направлений рёбер в булевом «-мерном кубе // Дискрет. анализ и исслед. опер. 2012. Т. 19, № 2. С. 75-83.
16. Ramras M. A new method of generating Hamiltonian cycles on the «-cube // Discrete Mathematics. 1990. Vol. 85. Issue 3. P. 329-331.
17. Dixon E., Goodman S. On the number of Hamiltonian circuits in the n-cube // Proc. Amer. Math. Soc. 1975. Vol. 50. P. 500-504.
18. Douglas R. G. Bounds on the number of Hamiltonian circuits in the n-cube // Discrete Math. 1977. Vol. 17, No. 2. P. 143-146.
19. MollardM. Un nouvel encadrement du nombre de cycles hamiltoniens du n-cube // European J. Combinatorics. 1988. Vol. 9. No. 1. P. 49-52.
Материал поступил в редколлегию 07.11.2017
A. E. Malykh 1 2, A. L. Perezhogin 1 3
1 Novosibirsk State University 1 Pirogov St., Novosibirsk, 630090, Russian Federation
2 Ltd. UNIPRO 2 Lyapunov St., Novosibirsk, 630090, Russian Federation
3 Institute of Mathematics SB RAS 4 Academician Koptyug Ave., Novosibirsk, 630090, Russian Federation
awa149@rambler.ru, pereal@math.nsc.ru
CONSTRUCTIVE APPROACH TO ENUMERATING THE SPECTRA OF GRAY CODES IN BOOLEAN CUBES OF SMALL DIMENSION
The spectrum of the n-bit Gray code is a set of the number of changes in the corresponding position in the transition to the next codeword. Spectra sets of Gray codes generated by various known constructions are investigated. All the spectra of 7- and 8-bit Gray codes are enumerated.
Keyword: Gray code, Hamiltonian cycle, Boolean cube.
References
1. Gilbert E. N. Gray codes and paths on the n-cube. Bell System Tech. J., 1958, vol. 37, no. 3, p.815-826.
2. Savage C. D. A survey of combinatorial Gray codes. SIAM Rev., 1996, vol. 39, no. 4, p. 605629.
3. Adam A. Truth functions and the problem of their realization by two-terminal graphs. Budapest, Academiai Kiado, 1968.
4. Bhat G. S., Savage C. D. Balanced Gray codes. Electron. J. Comb, 1996, vol. 3, research paper 25.
5. Suparta I. N. A simple proof for the existence of exponentially balanced Gray codes. Electron. J. Comb, 2005, vol. 12, note 19.
6. Evdokimov A. A. On enumeration of subsets of a finite set. Methods of Discrete Analysis for Solving Combinatorial Problems, 34, Novosibirsk, Izd. Inst. Mat., 1980, p. 8-26 (In Russ.).
7. Goddyn L., Lawrence G. M., Nemeth E. Gray codes with optimized run lengths. Util. Math, 1988, vol. 34, p. 179-192.
8. Goddyn L., Gvozdjak P. Binary Gray codes with long bit runs. Electron. J. Comb., 2003, vol. 10, R27.
9. Bykov I. S. On locally balanced Gray codes. J. Appl. Ind. Math, 2016, vol. 10, issue 1, p. 78-85.
10. Bykov S., Perezhogin A. L. On distance Gray codes. J. Appl. Ind. Math, 2016, vol. 11, issue 2, p.185-192.
11. Knuth D. E. The art of computer programming, vol. 4. Addison, Wesley, New-Jersey, 2009, 944 pp.
12. Parkhomenko P. P. Classification of the Hamiltonian Cycles in Binary Hypercubes. Automation and Remote Control, 2001, vol. 62, no. 6, p. 978-991.
13. Dejter I. J., Delgado A. A. Classes of Hamilton cycles in the 5-cube. J. Comb. Math. Comb. Comput., 2007, vol. 61, p. 81-95.
14. Chebiryak Yu., Kroening D. Towards a classification of Hamiltonian cycles in the 6-cube. J. Satisf., Boolean Model. Comput, 2008, vol. 4, no. 1, p. 57-74.
15. Potapov V. N. Construction of Hamiltonian cycles with a given spectrum of edge directions in an n-dimensional Boolean cube. J. Appl. Ind. Math, 2012, vol. 6, issue 3, p. 339-345.
16. Ramras M. A new method of generating Hamiltonian cycles on the n-cube. Discrete Math., 1990, vol. 85, issue 3, p. 329-331.
17. Dixon E., Goodman S. On the number of Hamiltonian circuits in the n-cube. Proc. Amer. Math. Soc, 1975, vol. 50, p. 500-504.
18. Douglas R. G. Bounds on the number of Hamiltonian circuits in the n-cube. Discrete Math., 1977, vol. 17, no. 2, p. 143-146.
19. Mollard M. Un nouvel encadrement du nombre de cycles hamiltoniens du n-cube. European J. Combinatorics, 1988, vol. 9, no. 1, p. 49-52.
For citation:
Malykh A. E., Perezhogin A. L. Constructive Approach to Enumerating the Spectra of Gray Codes in Boolean Cubes of Small Dimension. Vestnik NSU. Series: Information Technologies, 2017, vol. 15, no. 4, p. 32-42. (In Russ.)
