Снижение оценки длины запрета С. Н. Сумарокова Текст научной статьи по специальности «Математика»

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

Вычисления дают следующие результаты: |(4) = 0,6, |(B) = 0,4, |(С) = 0,3, |ф) = 0,2, |№) = 0,7.

На основе полученных результатов принимается решение о предпочтительности выбора электронного учебника «E».

Для сравнения качества образовательных информационных ресурсов при одинаковых результатах можно использовать, например, интегральную характеристику качество/затраты (если ресурс платный). При выборе образовательных информационных ресурсов пользователь стремится максимизировать это отношение как за счет поиска ресурсов с наилучшими функциями, эффективностью и высокими характеристиками качества, так и за счет минимальной или рациональной стоимости покупаемого продукта.

Выводы. Развитие информационных технологий в сфере образования и появление большого количества образовательных информационных ресурсов привело к тому, что для оценки и выбора ресурсов стали необходимы формализованные модели. Разработка этих моделей сопровождается рядом объективных и субъективных сложностей,

часть из которых авторы пытались устранить в настоящей работе, предлагая подход на основе теории нечетких множеств. Этот подход позволил построить нечеткую логическую модель многокритериального выбора образовательных информационных ресурсов, которая оперирует не с оценками экспертов, а со степенями их уверенности в этих оценках, что существенно повышает достоверность самих оценок и модели в целом.

Библиографический список

1. Полещук, О.М. Применение семантических пространств для экспертного оценивания характеристик качества программных средств и нечеткого многокритериального выбора / О.М. Полещук // Вестн. Моск. гос. ун-та леса - Лесной вестник. - 2004. - № 1(32). - С. 120-125.

2. Полещук, О.М. Построение интегральных моделей в рамках нечеткой экспертной информации / О.М. Полещук // Вестн. Моск. гос. ун-та леса - Лесной вестник.

- 2003. - № 5(30). - С. 155-159.

3. Полещук, О.М. Методы предварительной обработки нечеткой экспертной информации на этапе ее формализации / О.М. Полещук // Вестн. Моск. гос. ун-та леса

- Лесной вестник. - 2003. - № 5(30). - С. 160-167.

4. Нечеткие множества в моделях управления и искусственного интеллекта / А.Н. Аверкин, И.З. Батыршин, А.Ф. Блишун и др. - М.: Наука. Гл. ред. физ-мат. лит., 1986. - 312 с.

СНИЖЕНИЕ ОЦЕНКИ ДЛИНЫ ЗАПРЕТА С.Н. СУМАРОКОВА

Н.В. НИКОНОВ, Институт криптографии, средств связи и информатики

Данная работа посвящена исследованию систем нелинейных k-значных (k > 2) уравнений сдвигового типа, порожденных схемой, построенной на базе регистра сдвига с k-значной функцией

fk(xx, ..., Хп) (рис. 1)

f ,xn) = Y1

f k ( Х2,''', Хп+1) = Y 2

(1)

fk t

f (x

f

'N-

Xn+N-1) = Y N .

Опубликовано значительное число статей, относящихся к этой проблематике (например, [1-7]). Одной из важных задач, возникающих при анализе систем (1), является задача определения ее совместности. Для систем сдвигового типа (1) эта проблематика привела к формированию теории запретов, основы которой были заложены

С.Н. Сумароковым в булевом случае.

Рис. 1. Схема на базе регистра сдвига с k-значной функцией

Далее по тексту переменные х. будем называть входными переменными, а у. - выходными знаками; будем считать, что переменные х. имеют равномерное распределение на множестве {0, ..., k - 1}, а функцияfk(x1, ..., xn) существенно зависит от своих крайних переменных х1 и хп.

Определение 1

Под весом k-значной функции f (Х) понимается вектор длины k W(f ) = (w0, Wj,..., wk-1), где wa - число наборов (x1, ..., xn), на которых функция принимает значение a: wa = | (х ..., xn) / /f k(x1, ..., Хп) = a| .

ЛЕСНОЙ ВЕСТНИК 1/2007

151

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

Функция fk(x) называется равновероятной, если w„ = w, = ... w,, = к”-1.

Определение 2 [1]

Функция f (x) называется сильно равновероятной, если для любого натурального N и любого набора значений (у1, ..., yN) система к-знач-ных уравнений (1) имеет ровно к”-1 решений.

Очевидно, любая сильно равновероятная функция является равновероятной (достаточно в системе (1) положить N = 1).

Определение 3 [1]

Комбинация знаков выходной последовательности у ..., yNназывается запретом функции f (X), если система вида (1) несовместна. При этом число N называется длиной запрета к-знач-ной функции f ( x ) .

Если система (1) для любого N и любой комбинации знаков у ..., yN совместна, то принято говорить, что f (X) не имеет запрета.

Определение 4

Запретную комбинацию у1, ..., yN будем называть кратчайшим запретом функции, если данная комбинация является запретом и не существует комбинации, являющейся запретной с длиной, меньшей N.

С.Н. Сумароковым в работе [1] был сформулирован и доказан критерий отсутствия запрета для булевых функций, который естественным образом распространяется и на k-значный (к > 3) случай. Приведем формулировку и доказательство теоремы полностью, основываясь на следующих замечаниях:

- в доказательстве критерия в работе [1] были рассмотрены не все возможные случаи, и хотя второй случай, разбираемый в настоящей статье, может показаться очевидным, он требует рассмотрения;

- в доказательстве вводится в рассмотрение некоторая величина ц анализ которой позволяет получить оценку длины запрета; дальнейшее изучение данной величины и привело к снижению полученной С.Н. Сумароковым оценки длины запретной комбинации с сохранением логики доказательства критерия, чему и посвящена настоящая статья;

- доказательство сразу проводится для к-значного случая.

Теорема 1 [1]

Функция k-значной логики f (X) не имеет запрета тогда и только тогда, когда она сильно равновероятна.

Доказательство

Достаточность - если функция f (x) сильно равновероятна, то она не имеет запрета - очевидна.

Необходимость - если функция f (X) не имеет запрета, то она сильно равновероятна - докажем от противного.

Пусть функция f (X) не имеет запрета. Предположим, что она не является сильно равновероятной. Тогда найдется натуральное m и такой набор k-значных знаков (у1*, у2*, ..., y*m), что система булевых уравнений вида (1)

1г *

f ,Xn) = Yi

к *

f (X2, —, X„+1) = Y2

(2)

к *

f ( Xm ,"', Xn+m-1) = Y т ,

имеет:

либо а) к”-1 - а решений, где 0 < а < к”-1;

либо b) к”-1 + а решений, где а > 0.

Рассмотрим случай а).

В этом случае число наборов входных переменных (x1, x2,..., Xm+n1), преобразуемых схемой, представленной на рис. 1, в набор у * = (у1*, у2*, ..., Y*m) выходных знаков, равно к”-1 - а.

Рассмотрим теперь наборы выходных знаков длины z = (t + 1)m + t(” - 1), или, после перегруппировки,

z = t(m + ” - 1) + m (3)

вида

у -у/Ч ...,

у”-1

у

(1)-

?

■ (t)

у ;Уl(2), ...,

у ;у , ..., у

l ’M ? *••? in-1

(t);

_7”-1 у \

(2);

(4)

t = 1,2,..., где значения к-значных знаков, не помеченных звездочкой «*» (значения у.&), i = 1, ” -1, j = 1, t), являются произвольными. Общее число таких наборов для данного t равно (к"-1)*.

Входные наборы переменных, преобразуемые схемой в выходные наборы знаков вида (4), имеют длину (t + 1)(m + ” - 1), а их общее число равно (к”-1 - а)+1.

Обозначим через ц отношение числа входных наборов переменных (x x..., xm+n 1) схемы к максимально возможному числу его выходных наборов (4)

(к”1 - а)м

к ”-1

(

1 -

V

а

\ t + 1

к

n-1

У

(5)

152

ЛЕСНОЙ ВЕСТНИК 1/2007

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

Введенная в рассмотрение величина ^ характеризует среднее число входных векторов (xp x2,..., xm+n1), преобразуемых в одну и ту же выходную комбинацию вида (4).

Ввиду неравенства 0 < а < k”-1 имеем 0 < 1 - (а / kn-1) < 1, поэтому

lim ^t = 0 .

t

Отсюда следует, что при достаточно большом t справедливо неравенство

^ < 1. (6)

Значит, некоторый выходной набор вида

(4) не будет иметь прообраза, то есть этот набор будет запретом функции f (x). Получено противоречие с отсутствием у функции f (X) запрета.

Рассмотрим случай b).

В этом случае, число наборов входных переменных (x1, x2,..., xn+m1), преобразуемых рассматриваемой схемой (рис. 1) в набор выходных знаков (у1**, у2**, ..., ym"), равно к”-1 + а. Покажем, что в этом случае существует некоторый иной набор (у1*, у2*, ..., y*m) со свойством а). при каком-то а’, 0 < а’ < k”-1, то есть число входных наборов, его порождающих, меньше, чем k”-1. Действительно, от противного, пусть для любой комбинации (Y1**, Y2**, .., Ym”) число порождающих его входных наборов равно k”-1 и хотя бы для одного - k”-1 + а, а > 0. Тогда число всех таких различных наборов будет больше, чем

k ” 1 + ... + k ” 1 + (k”-1 + а) =

, m-1

k

= k”-1-km + а = kn+m-1 + а, а > 0.

Получаем противоречие, так как данное число больше числа kn+m-1 - числа всевозможных входных наборов, порождающих m-граммы (Y1, Y2, . ., Ym). Таким образом, в этом случае найдется комбинация (y1*, y2*, ..., Y*m) со свойством а). и случай b). сводится к рассмотрению случая а).

Следствие 1

k —»

Если функция f (x) неравновероятна, то она имеет запрет.

В соответствии с критерием С.Н. Сумарокова из существования неравновероятной m-граммы (y1*, y2*, .., Y*m), порождающей систему (2) с k”-1 - а решениями, 0 < а < k”-1, вытекает факт наличия запрета функции. Данное обстоятельство может быть интерпретировано в терминах эффективностей, что в ряде случаев для доказательства наличия запрета у функции оказывается более удобным.

Определение 5

Пусть функция f (x) порождает некоторую m-грамму (y1*, y2*, ..., Y m) в схеме на рис. 1, формирующую сдвиговую систему (2). Введем в рассмотрение параметр, называемый эффективностью m-граммы

n+ m-1

(n + m - 1) - logk П 0 .

е =----------------—, (7)

m

где 0., 0 < 0. < k- число возможных значений переменной x, i = 1, n + m -1 в системе (2). При этом, если существует j, такое что 0j = 0, то будем полагать, что е = да (этот случай соответствует случаю, когда сама m-грамма (y1*, y2*, ..., Y m) является запретом).

В булевом случае введенный параметр характеризует среднее число определившихся переменных при знании одного выходного знака, а в k-значной области - его информационный аналог.

Тогда справедлива теорема.

Теорема 2

Если для функции f (x) существует m-грамма (y,*, Y2*, ..., Y* ) с эффективностью е > 1, то

1 k 2^ m

функция f ( x ) имеет запрет.

Доказательство

В системе вида (2) число возможных значений переменных x. ограничено величинами

0,0 < 0. < k, i = 1, n + m -1

f j ’ ’

f - j- ’ •*•?**' 1

x1 x2 x3 ••• x. J x , , n+m-1

... 4, • 4

01 02 03 •0j • 0 + , n+m-1

Тогда число решений системы будет меньше или равно величины:

n+m-1

еГеА'.'. 0 ... = П 0.. (8)

J=1

По условию теоремы е > 1, тогда

n+m-1

(n + m -1) - log k П 0 .

_____________________j=i J

m

n+m-1

> 1,

(n + m - 1) - log П 0 . > m,

J=i J

n+m-1

- log П 0 . > m - (n + m - 1),

J=i J

n+m-1

log k П 0 < ” - 1,

j=i

n+m-1

П 0 < k”-1.

J

J=1

ЛЕСНОЙ ВЕСТНИК 1/2007

153

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

Исходя из выведенного неравенства, с учетом того, что число решений системы ограничено величиной (8), получаем, что число решений системы (2) меньше, чем величина к”-1, что говорит о нарушении условия сильной равновероятности функции f (X) и, как следствие, о наличии у функции запрета.

В доказательстве критерия С.Н. Сумарокова отсутствия запрета у функции (теорема 1) указывается способ построения запрета функции вида (4), из которого можно оценить его длину ([1]). Сформулируем теорему сразу для k-значного случая.

Теорема 3 [1]

Если ” > 3 и для функции f (X) найдется такой набор длины m к-значных знаков (Y1*, Y2*, .., Y*m) с отклонением от равномерного распределения а, 0 < а < к”-1 (то есть система уравнений (2) имеет к”-1 - а решений), то эта функция имеет запрет длины

q < ((к”-1 - 1)2 -1)(m + ” - 1) + m. (9)

Если функция f (X) неравновероятна и ” > 3, то она имеет запрет длины

q < ((к”-1 - 1)2 -1)” + 1 (последняя оценка получается из оценки (9) при m = 1 для неравновероятных функций).

При доказательстве теоремы 3, С.Н. Сумароков рассматривал параметр ^ (5) и показал, что в случае обнаружения m-граммы, дающей отклонение а от равномерного распределения (0 < а < к”-1), неравенство (6) будет справедливо при выполнении условия

t > (к”-1 - 1)2 -1. (10)

Поэтому при значениях t, удовлетворяющих (10), удается конструктивно построить запрет вида (4) функции f (X). Минимальное t, удовлетворяющее (10), есть

tminc- = (к”-1 - 1)2 -1, (11)

следовательно, длина запрета со структурой (4) длины (3) с учетом (11) будет оцениваться выражением (9).

Следующие две теоремы показывают, что оценка (9) может быть снижена [6, 7].

Теорема 4

Если ” > 3 и для функции f (X) (к > 2) найдется выходная m-грамма (у1*, у2*, ..., y*m) с отклонением от равномерного распределения а, 0 < а < к”-1, то эта функция имеет запрет длины

q <

2(к ” 1 - 1)3 (2к ”-1 - 1)

(m + ” - 1) + m. (12)

Доказательство

Обратимся к рассуждениям доказательства критерия С.Н. Сумарокова и рассмотрим поведение величины ^ подробнее.

Найдем оценку тех значений t (t > 1), при которых условие (6) выполняется. Рассмотрим неравенство f

1-

а

\t + 1

V к ”-1J

1

< ■

Положим

1-

а

”-1

1

0 < а < к”-1. (13)

”-1

1 + Р

где р =

а

1

(к”1 - а)

(1 ”-1 к

> 0 .

-1

V

а

J

Для решения поставленной задачи перейдем от (13) к рассмотрению неравенства

(1 + P)t+1 > к”-1 (14)

(до настоящего момента рассуждения повторяли доказательство теоремы 3 в работе [1]). Для нахождения искомого t будем использовать неравенство

(

Р +

Р

2

(1 + р)х > 1 + X

V 2 J

которое справедливо при р > 0, X > 2 (вообще говоря можно рассматривать и более точное неравенство).

Действительно, разложим левую часть неравенства по Биному Ньютона

(1 + р)х = 1 + хр + X (X -11 p2 + ...

22 X(X-1) 2 p2

> 1 + хр + —-kp2 > 1 + xp + X —,

22

при p > 0, X > 2 (при X = 2 достигается равенство). Итак,

2

2

(1 + p)m > 1 + (t + 1) p + P

V

Рассмотрим величину

P +

t > 1 . (15)

P2 а 2 а

2 (к”-1 - а) 1 2(к”-1 - а)2

2(к”-1 - а)а + а2 1 р 1

2(к”-1 - а)2 2(к”1 - а)2

С учетом (15) перейдем к рассмотрению неравенства(14)

154

ЛЕСНОЙ ВЕСТНИК 1/2007

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

(1 + P)m > 1 + (t + 1)

f P2 Л P+ —

V 2 У

> kn-1, t > 1,

(t+1)

a(kn 1 - a)

> kn-1 - 1, t > 1,

2(kn 1 - a)2

V У

2(kn-1 -a)(kn4 - a)2

t >---------------------------- 1, t > 1. (16)

a(kn 1 - a)

Искомое значение t - натуральное, поэтому минимальным t, удовлетворяющим (16), будет

t

min

2(kn 1 -a)(kn 1 - a)2 a(kn-1 - a)

,0 < a < kn-1 (17)

([ ] - обозначение целой части числа).

Значение (17) - это минимальное натуральное значение t, удовлетворяющее (16). Пусть обнаруженная га-грамма - неравновероятна. Тогда минимальное отклонение от равномерного распределения будет a = 1. Подставим данное значение в формулу (17), получим

t

2(kn-1 -1)3 (2kn-1 -1)

(18)

Заметим, что t > 1 при n > 3, k > 2, то есть

’ min ~ ’ ’

2(kn~1 -1)3

---------------> 1.

(2kn-1 -1)

Действительно, осуществим замену X = kn-1, тогда х > 4 (n > 3, k > 2) и последнее неравенство примет вид 2х3 - 6х2 + 4х - 1 > 0, которое очевидно выполняется при х > 4, так как выполняется неравенство 2х3 > 6х2 или х > 3.

Подставляя найденное tmin в формулу (3), используя вид запретной комбинации (4), получаем искомый результат.

Заметим, что, вообще говоря, из доказательства критерия С.Н. Сумарокова на основании неравенства (6) с учетом (5) можно получить точное значения искомого минимального t из неравенства

t>

У 1 У

ln

V kn-1У

У a

ln 1

V kn-1 У

-1 .

(19)

В данной статье, так же как и в работе [1], ставится задача нахождения некоторой удобной и простой аналитической оценки t, зависящей от kn-1 полиноминально, позволяющей оценить сверху длину существующего запрета у функции и исследовать поведение этой оценки.

Теперь сформулируем и докажем теорему, подтверждающую тот факт, что полученная оценка длины запрета (12) лучше оценки (9), полученной С.Н. Сумароковым работе [1].

Теорема 4

При n > 3, k > 2 справедливо неравенство

2(kn 1 - 1)3 (2kn-1 - 1)

< (kn-1 - 1)2 - 1.

(20)

Доказательство

Докажем, что при n > 3, k > 2, то есть при k-1 > 4, выполняется неравенство (20). Величину

n-1 3

2(kn 1 - 1)3

(2kn 1 - 1)

можно представить в виде

2(kn 1 - 1)3 (2kn-1 - 1)

2( kn 1 - 1)3 (2kn-1 - 1)

-0,

где 0 < 0 < 1.

Заметим, что дробь

2(k n-1 - 1)3

(2kn 1 - 1)

не является натуральным числом, так как в числителе стоит четное число, а в знаменателе - нечетное, поэтому неравенство 0 > 0 - строгое.

Тогда

2(kn 1 - 1)3 (2k n-1 - 1)

2(kn 1 - 1)3 0 2(kn 1 - 1)3

(2kn-1 - 1)

(2kn 1 - 1)

В силу справедливости последнего неравенства, перейдем от рассмотрения (20) к рассмотрению неравенства

2(kn 1 - 1)3 (2kn-1 -1)

< (k”-1 - 1)2 - 1.

(21)

Покажем справедливость неравенства (21) при kn-1 > 4. Будем использовать уже введенное обозначение kn-1 = х. Тогда неравенство (21) примет вид

2(х - 1)3 < ((х - 1)2 - 1)(2х - 1),

которое сводится к неравенству

х2 - 4х + 2 > 0. (22)

ЛЕСНОЙ ВЕСТНИК 1/2007

155

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

Решением последнего неравенства является множество

(-да, 2 - V2 J U [ 2 + V2, +да).

Следовательно, неравенство (21) при kn-1 > 4 верно.

Отметим, что в ряде случаев для получения оценки длины запрета функции удается не только выявить некоторую неравновероятную m-грамму (у1*, у2*, ..., y*m), но и определить ее отклонение от равномерного распределения а, 0 < а < kn-1, что в отдельных случаях позволяет снизить оценку (12) (данное обстоятельство рассматривается на примере одной функции далее по тексту). Поэтому представляет интерес рассматривать не только случай, когда а = 1 (то есть рассматривать «худший» случай, как в работе [1]), но и ситуацию, когда а > 1.

Следствие 2

Пусть при n > 3 функция f (x) (k > 2) обладает выходной m-грамма (у1*, у2*, ..., y*m) с отклонением от равномерного распределения а = 2. Тогда эта функция имеет запрет длины

q < [1/2(kn-1 - 2)2](m + n - 1) + m. (23)

Доказательство

Пусть обнаруженная m-грамма - неравновероятна и дает отклонение а = 2. Подставим данное значение в формулу (17), получим

2(kn-1 -1)(kn-1 -2)2

^min - 2(2kn-1 -2)

(kn-1 -1)(kn-1 -2)2 (2kn-1 -2)

1 (kn-1 - 2)2

2

Можно убедиться в том, что

t

1 (kn-1 - 2)2

2

> 1

?

так как при n > 3, k > 2 неравенство (kn-1 - 2)2 > 2 верно. Исходя из (3) при найденном tmin получаем оценку (23).

В рамках данной тематики сформулируем и докажем следующую теорему.

Теорема 5 [6, 7]

Пусть при n > 2 функция (k > 2) обладает выходной m-граммой (у1*, у2*, ..., y*m) с максимальным из возможных отклонений от равномерного распределения а = к”-1 - 1. Тогда эта функция имеет запрет длины

x1 х2 •" xn fk

q < 2m + 1. (24)

Данная оценка достижима.

Доказательство

Пусть обнаруженная m-граммы у1*, у2*, ..., y*m - неравновероятна и обладает максимальным из возможных отклонением а = kn-1 - 1. Таким образом, система (2) имеет ровно одно решение. Тогда запретную комбинацию можно построить, исходя из сдвиговой диаграммы, представленной на рис. 2, на которой перемещению каждого состояния по регистру отвечает движение по диагонали. В соответствии с диаграммой все переменные х i - m +1, n + m в состоянии (4°) будут определены однозначно. Пусть функция на данном наборе принимает значение 5 е {0, ..., к - 1}, то есть fk(xn+1, ..., x^J = 5. Теперь для построения запрета на месте (4°) в соответствии с рис. 2 в запретной комбинации знаков достаточно взять знак у Ф 5. Тогда комбинация знаков

V V ..., Ym Y V V ..., Y*m (25)

будет искомым запретом к-значной функции

f (x). Длина построенного таким образом запрета равна 2m + 1, откуда и получаем искомую оценку (24).

Теперь покажем, что выведенная оценка (24) - достижима. Приведем пример функции, для которой длина построенного кратчайшего запрета (определение 4) будет достигать значения 2m + 1.

Рассмотрим функцию f(x1, x2) = x1x2. Нетрудно проверить, что комбинация знаков 1 0 1 является кратчайшим запретом функции, длина

156

ЛЕСНОЙ ВЕСТНИК 1/2007

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

которого равна 3, запретов с длиной 1 и 2 функция не имеет. Данная функция неравновероятна и любая ее га-грамма, состоящая из одного знака, дает максимальное из возможных отклонение от равномерного распределения а = kn-1 - 1 = 21 - 1 = 1. Используя формулу (24), получаем, что оценка длины запрета q < 2 х 1 + 1 = 3 достижима.

Замечание 1

Заметим, что рассматривая само неравенство ^ < 1 при а = к”-1 - 1, имеем

\t + 1

к ” - - 0

1 -

V

к

”-1

1

”-1

1

\

t + 1

V к ”-1 J

1

< ■

”-1

<

Последнее неравенство выполняется при t > 0, то есть t = 1.

’ min

Используя формулу (3) для длины запрета в этом случае, выводим оценку

q < 2т + n - 1. (26)

Оценка (26), очевидно, хуже оценки (24) при n > 3 для конструктивно построенной на рис. 2 запретной комбинации, что в частности говорит о том, что не всякий запрет обладает структурой (3) и может обладать меньшей длиной (см. пример 1 далее по тексту).

Для сравнения оценки С.Н. Сумарокова (9) и уточненной оценки (12) длин запрета, справедливых для любой неравновероятной га-граммы, а также рассмотренных оценок (23), (24) и (26), справедливых в частных случаях, приводится табл. 1.

Из таблицы видно, что значения оценок (9) и (12) не сильно отличаются, но все же значения оценки (12) всегда меньше, чем значения соответствующих оценок С.Н. Сумарокова. Отметим, что возможны случаи, когда оценки (23), (24) или (26) лучше оценки (12) (соответственно

и (9)) при обнаружении га-грамм, дающих отклонение а > 1, в частности при а = 2 или а = к”-1. Последнее обстоятельство продемонстрируем на примере одной булевой функции.

Пример 1

*3

Рис. 3. Геометрическое задание неравновероятной булевой функции

Рассмотрим неравновероятную булевую функцию

f(x1, х2, х3) = х1х3 V * х2 *3, геометрическое задание которой отражено на рис. 3. Исследования показали, что данная функция обладает кратчайшими запретами 101000101 101100101 101001101

101101101. (27)

Длины найденных запретов равны 9.

Оценка С.Н. Сумарокова (9) для рассматриваемой функции достигает значения 25, сниженная оценка (12) - 22. Данные значения выделены жирным шрифтом в табл. 1 в соответствующих столбцах. Для рассмотрения оценок (23), (24) и (26) обратимся к табл. 2, в ячейках которой выписаны выходные га-граммы, обладающие максимальным отклонением от равномерного распределения а при данной длине га с указанием самого значения а.

Т а б л и ц а 1

Сравнение оценки С.Н. Сумарокова и уточненных оценок длин запрета

к = n = га = Оценка Сумарокова Формула (9) (а-любое) Сниженная оценка Формула (12) (а-любое) Сниженная оценка Формула (23) (а = 2) Сниженная оценка Формула (26) (а = к”л - 1) Сниженная оценка Формула (24) (а = к”л - 1)

1 25 22 7 4 3

2 34 30 10 6 5

2 3 43 38 13 8 7

3 4 52 46 16 10 9

5 61 54 19 12 11

6 70 62 22 14 13

3 3 1 190 181 73 4 3

2 253 242 98 6 5

3 318 303 123 8 7

ЛЕСНОЙ ВЕСТНИК 1/2007

157

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

Таблица 2

Выходные m-граммы, обладающие максимальным отклонением от равномерного распределения а

m = 1 m = 2 m = 3 m = 4 m = 5 m = 6

1 а = 1 01 а = 1 10 а = 1 11 а = 1 101 а = 2 0101 а = 2 1001 а = 2 1001 а = 2 1010 а = 2 1101 а = 2 00101 а = 2 01001 а = 2 01010 а = 2 01011 а = 2 01101 а = 2 10010 а = 2 10011 а=2 10100 а = 2 10101 а = 2 10110 а = 2 10111 а = 2 11001 а = 2 11010 а = 2 11011 а = 2 11101 а = 2 100101 а = 3 101001 а = 3 101101 а = 3

Таблица 3

Вид запретной комбинации (на месте «*» может стоять любой знак) m = а =

1001011100101 6 3

100101**100101 6 3

10010**10010**10010 5 2

1001**1001**1001 4 2

101**101**101 3 2

10**10**10**10 2 1

1**1**1**1**1 1 1

Замечаем, что при m = 3 обнаруживается одна триграмма, а именно (101), с отклонением а = 2, поэтому, используя оценку (23), получаем значение оценки 13, что отражено в соответствующей ячейке табл. 1 (значение выделено жирным шрифтом). Аналогичным образом, при m = 6 обнаруживаются m-граммы, обладающие максимальным в данном случае из возможных отклонением а = 3. Используя оценки (26) и (24), получаем значения 14 и 13 соответственно, что указано в табл. 1. в соответствующих ячейках. В последнем случае, используя при этом рассуждение теоремы 5 с учетом значений табл. 2, строится запрет длины 13 вида (25), например 1001011100101, который не сводится ни к одному из группы (22) перечисленных выше запретов (не содержит в себе запретную комбинацию в качестве подкомбинации) и не обладает структурой (3) (табл. 3)

Значение длины запрета 13 в этом случае совпадает с оценкой длины запрета, получающегося исходя из обнаружения триграммы с отклонением а = 2.

Итак, в данном примере значения оценок, полученных с использованием известных отклонений а > 1 в распределении m-грамм, оказываются лучше значений оценки, полученной исходя

из знания одного факта неравновероятности в распределении выходных знаков функции (табл. 1). Данное обстоятельство говорит о целесообразности выявления не только неравновероятных m-грамм, но и рассмотрения значений самих отклонений а, что в ряде случаев приводит к снижению оценки длины запрета функции.

Работа выполнена при поддержке гранта Президента РФ (НШ-8564.2006.10)

Библиографический список

1. Сумароков, С.Н. Запреты двоичных функций и обратимость для одного класса кодирующих устройств / С.Н. Сумароков // Обозрение прикладной и промышленной математики. - М.: Научное издательство «ТВП», 1994. - Т. 1. - Вып. 1.

2. Колесников, О.В. Использование запретов двоичных функций при решении систем уравнений / О.В. Колесников // Обозрение прикладной и промышленной математики.

- М.: Научное издательство «ТВП», 1995. - Т. 2. - Вып. 3.

3. Никонов, В.Г Запреты k-значных функций и их связь с проблемой разрешимости систем уравнений специального вида / В.Г. Никонов, Н.В. Никонов // Вестник РУДН, Серия Прикладная и компьютерная математика.

- 2003. - № 1. - Т. 2.

4. Никонов, Н.В. О классификации всех булевых функций от 3-х переменных с обобщенными запретами / Н.В. Никонов // Вестн. Моск. гос. ун-та леса - Лесной вестник.

- 2004. - № 5(36).

5. Никонов, Н.В. Метод растяжения в построении классов равновероятных k-значных функций с запретом / Н.В. Никонов // Обозрение прикладной и промышленной математики. - М.: ОПиПМ, 2006. - Т. 13. - Вып. 6.

6. Никонов, Н.В. О снижении оценки С.Н. Сумарокова длины запрета / Н.В. Никонов // Обозрение прикладной и промышленной математики. - М.: ОПиПМ, 2006. - Т.

13. - Вып. 6.

7. Никонов, Н.В. Об оценках длины запрета k-значной функции / Н.В. Никонов // Материалы XXXIII Международной конференции и дискуссионного научного клуба «Информационные технологии в науке, социологии, экономике и бизнесе», приложение к журналу «Открытое образование», 2006.

158

ЛЕСНОЙ ВЕСТНИК 1/2007