Научная статья на тему 'Длина обучения пороговой функции многозначной логики'

Длина обучения пороговой функции многозначной логики Текст научной статьи по специальности «Математика»

CC BY
155
41
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПОРОГОВАЯ ФУНКЦИЯ / РАЗРЕШАЮЩЕЕ МНОЖЕСТВО / ДЛИНА ОБУЧЕНИЯ / THRESHOLD FUNCTION / TEACHING SET / TEACHING DIMENSION

Аннотация научной статьи по математике, автор научной работы — Золотых Н. Ю.

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

TEACHING DIMENSION OF THRESHOLD FUNCTION OF MANY-VALUED LOGIC

An overview of the results on structural and cardinality properties of a minimal teaching set of a threshold function of k -valued logic is presented.

Текст научной работы на тему «Длина обучения пороговой функции многозначной логики»

Математическое моделирование. Оптимальное управление Вестник Нижегородского университета им. Н .И. Лобачевского, 2014, № 1 (1), с. 262-267

УДК 519.6

ДЛИНА ОБУЧЕНИЯ ПОРОГОВОЙ ФУНКЦИИ МНОГОЗНАЧНОЙ ЛОГИКИ

© 2014 г. Н.Ю. Золотых

Нижегородский госуниверситет им. Н.И. Лобачевского

zolotykh@vmk.unn.ru

Поступила в редакцию 06.11.2013

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

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

1. Определения и предварительные сведения

Пороговой функцией ¿-значной логики п переменных называется такое отображение f k-

ичного п-мерного гиперкуба ЕП ={0,1,...,k- 1}п в множество {°,1} , для которого найдутся вещественные числа а°, ах,..., ап, такие, что

м ° (./)=1х=(х15 х2... хп Ь щ: ¿ах ^ а° I

j=i

где

Mv(/)={xЕEl: f(x) = v} (v = 0,1), при этом неравенство

п

S ajxj < a0

(1)

j=1

называется пороговым. Легко видеть, что коэффициенты (веса) порогового неравенства функции f можно сделать целыми. Множество всех

пороговых функций, заданных на ЕП, обозначим Т(п, k), п > 1, k > 2.

Вопросы, возникающие в ходе исследований пороговых функций, как правило, оказываются весьма сложными. Например, до сих пор не известна асимптотика величины |Т(п, k) (п ^ да).

Из результатов Л. Шлефли [1] о числе открытых областей, получаемых при разбиении п-мерного пространства т = 2п гиперплоскостями, легко получить верхнюю оценку:

Л

< 2п

п (9п— 1

|Т(п,2)<2]Г(2;1

j=0 V J

С. Яджима и Т. Ибараки [2] получили первую нетривиальную нижнюю оценку:

|Т (п,2)|> 2п2/2.

Ю.А. Зуев [3, 4] доказал, что

|Т(п,2) > 2п2(1-10/lnп>, (2)

тем самым установив асимптотику логарифма числа булевых пороговых функций:

log|Т(п,2)| ~ п2 (п — да) (3)

(log здесь и далее означает логарифм по основанию 2 ). При этом использовался следующий комбинаторно-вероятностный результат о (± 1) -матрицах, полученный А.М. Одлыжко [5]. Обозначим P(m, п) вероятность того, что в линейной оболочке строк случайной матрицы A Е {- мГ содержится хотя бы один вектор, отличный от строк матрицы A и им противоположных. Одлыжко [5] доказал, что существует такая положительная последовательность а(п)< 10/ln п, что

Р(п(1 - а(п)), п) —— 0 (п — да). (4)

Дж. Кан, Я. Комлош и Е. Семереди [6] усилили этот результат, доказав асимптотику (4) для а(п)< с / п, где с - некоторая положительная константа, т.е.

Р(п - с, п) — 0 (п — да). (5)

Отсюда следует усиление неравенства (2):

Т(п 2) > 2п-пlog п-о(п)

Более того, в [6] выдвинута гипотеза, что (5) имеет место уже при с = 1. Как показано в [6, 7], в случае справедливости этой гипотезы конструкция Зуева для получения нижней оценки

величины \Т (п,2)| приводит к асимптотическому равенству

2п2

|Т(п,2)| ~ 2 —j- (п — да).

Другой подход к получению асимптотики логарифма (3), также использующий лемму Од-лыжко [5], предложил А.А. Ирматов [8].

Обстоятельный обзор результатов по пороговым булевым функциям и пороговым представлениям булевых функций содержится в [9].

Для числа пороговых функций k-значной логики А.А. Ирматов и Ж.Д. Ковиянич [10] получили нижнюю оценку

Л V

V

2n

log kn + 4

k

' kn

n - 4 - 2n /log k n j

справедливую для достаточно больших n. Отсюда и из оценки Шлефли получается асимптотика логарифма числа таких функций:

log|Т(n, k| ~ n1 log k (n ^ да).

Для пороговых функций k-значной логики двух переменных в [11] получена оценка:

6k 4

Т(2, k) = —г + O(k3 log k) (k ^ да)

%

Множество T с El называется разрешающим для функции f е Т(n, k), если для любой другой функции g е Т (n, k) найдется x е T, такой, что f (x)^ g (x). Разрешающее множество T функции f называется тупиковым или неприводимым, если никакое собственное подмножество множества T не является разрешающим для функции f. Разрешающее множество функции f минимальной мощности называется ее наименьшим разрешающим множеством. Точка x е E1 называется существенной для функции f е Т(n, k), если найдется функция g е Т (n, k), отличная от f только в точке x. Очевидно, что любая существенная точка принадлежит всякому разрешающему множеству заданной пороговой функции.

Мощность минимального разрешающего множества пороговой функции f обозначим

ст(f). Длиной обучения называется величина

CT('nk )=ж)f)'

Средней мощностью минимального разрешающего множества называется

(n, k )<

1

CTl n

I—1—¥ У |ст'

|V(n, k) f £(n,k)

(f ).

Conv X - выпуклая оболочка множества X, а Cone X - коническая оболочка этого множества (множество всех неотрицательных линейных комбинаций).

2. Длина обучения и строение минимального разрешающего множества

Следующее построение хорошо известно в пороговой логике (см., например, [4, 12]). С каждой функцией f е Т(n, k) в пространстве весов a0,aj,...,anсвяжем так называемый конус C(f) разделяющих функционалов, заданный как множество решений следующей системы:

У ajxj < a0 для всех (x1, x2,... ,xn )e M0 (f )

У ajxj < a0

j=1

n

У ajxj > a

„ j=1

(6)

У ajxj > a0 для всех (x1,x2,...,xn)e M1 (f ) j=i

Пусть T œ Mv (f ) ( v = 0,1). Рассмотрим

подсистему системы (6):

Уajxj <a0 для всех (x1,x2,...,xn)eT0;

j=1

ajxj > a0 для всех ^x1,x2,...,xn)e

(xl,

n )e T,.

(7)

j=1

Утверждение. Для того чтобы множество Т = т° , Ту с му (/) (у = 0,1), было разре-

шающим для / е Т(п, k), необходимо и достаточно, чтобы система неравенств (6) была эквивалентна системе неравенств (7).

Можно доказать, что в системе (7) найдется минимальная подсистема, эквивалентная всей системе:

У ajxj < a0 для всех (x1,x2,...,xn)e T0(f ),

j=1

У ajXj > a0 для всех (x1, x2,., xn ) e T1 (f )

j=1

(8)

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

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Если P - полиэдр (выпуклое многогранное множество) в Rn, то будем обозначать через Vert P множество его вершин. Если X œ Rn, то

Следствие 1. Для любой / е Т(п, k) множество Т = Т° ^ Т1, где Ту с Му(п, к) (у = 0,1), является тупиковым разрешающим тогда и только тогда, когда Ту =Ту(/) (у = 0,1).

Следствие 2. Для любой / е Т(п, к) существует единственное тупиковое разрешающее множество Т (/ ) = Т (/ )и Т (/). Оно совпадает с множеством всех существенных точек функции /.

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

Теорема 1 [12]. Для любой функции

/ є Т(п, k)

Tv(/ )ç Vert M v(f ) (v = 0,1).

Оценивая |Vert ConvMv(f ) сверху, В.Н. Шевченко [12] доказал, что

ст(п, к )< 2n logn (к +1).

Более точную (при фиксированном п ) оценку получил T. Hegedüs [13] на основе результатов [14] о числе вершин в неявно заданных целочисленных полиэдрах:

а(п, к) = o(logп-1к) (к ^ да). (9)

Полиэдр называется целочисленным, если все его вершины целые. Рассмотрим полиэдр P = {х є Жп : Ax < b}, где A є Z"xn, b є Zm, и «неявно заданный» целочисленный полиэдр Pz = Conv (p ^ Zп ). Проблемой получения оценок величины | Vert Pz | занимались В.Н. Шевченко, С.И. Веселов, А.Ю. Чирков, A.S. Hayes,

D.C. Larman, I. Bârâny, R. Howe, L. Lovâsz, W. Cook, M. Hartmann, R. Kannan, C. McDiarmid и др., см. обзор работ в [15].

Полностью структуру T(/) описывают теоремы 2 и 4 ниже.

Теорема 2 [16, 17]. Для любой функции / є Т(п, к)

то(/ )=т (g)=Vert Conv іx є ei : ÿ

a, ac\

а-х-=а01,

где g = 1 - / и объединение берется по всем а = (а1, а2,..., ап), а0, таким, что неравенство (1) является пороговым для функции /.

На основе теоремы 2 в [16, 17] получена первая нетривиальная оценка для ст(п, к) снизу.

Теорема 3 [16, 17]. При любом фиксированном п > 2

о(п, к) = п(^п-2 к) (к ^ да). (10)

Прогресс на пути построения более точных верхних и нижних оценок для ст(п, к) долгое время происходил за счет использования новых результатов о числе вершин в неявно заданных целочисленных полиэдрах. Все полученные на этом пути оценки, тем не менее, имели при фиксированном п тот же вид, что и (9), (11) -уточнялась лишь мультипликативная константа. В частности, в [18] получена двусторонняя оценка:

log к - п - 3 - (п - 1)^(п - 2)

Долгое время недоказанной оставалась гипотеза ст n k ) = 0(l°gn~2 k ) (пр и любом фиксированном n > 2 ). На пути к ее доказательству в [19] предложена новая характеризация T(f ). Обозначим K (f )= Cone (Mj( f ) - M0( f )) F (f) = = ConvMо (f ) - K (f ), F (f ) = ConvM! (f ) + K (f ).

Теорема 4 [19]. Для любой функции

f G T (n, k )

Tv(f ) = Vert Fv(f ) (v = 0,1). Следствие. Пусть f G T (n, k ) , ^ y G Tv(f) (v = 0,1), x ^ y. Тогда

2x - y Й Fo (f)u F (f). (11)

К сожалению, удобного описания F0 (f )u u F (f ) не известно. Рассмотрим, однако, множество T' (n, k) таких пороговых функций из T (n, k), для каждой из которых найдется пороговое неравенство (1) с целыми коэффициентами, такими, что 0 < a0 < aj (k -1) (j = 1,2, — , n). Для

любой f G T' (n, k) имеем (F>( f ) F,( f )) n n Zn = Z+, где Z+ - множество неотрицательных целых чисел. Тогда условие (11) превращается в свойство разделенности, введенное В.Н. Шевченко в [20] в связи с исследованием задачи о числе вершин неявно заданных целочисленных полиэдров. Говорят, что множество G с Z+ обладает свойством разделенности, если из условий x, y g G , x Ф y следует 2x - y g Z + .

Теорема 5 [20]. Пусть множество N с Z” обладает свойством разделенности и для каждого х = (х1, х2,..., хп) е N выполнено а < х- < Р-

(- = 1,2,.,п -1), где а1,а2,...,ап-1, Р1, Р2,.,Рп-1 - неотрицательные числа, тогда

, ii Р+ 2 Щ <^1 + log J

,=1

а +1

4(п -1)3п-1 (п - 2)п-2 ((п - 2)!)2

< ст(п, к) < 2п log(2n)(l + log^ + 1))п-1.

Теорема 5 позволяет доказать следующий результат о мощности T (f), если f е Т' (n, k) Теорема 6 [19]. Для любой f е Т'(n,k) при

и > 2

T (f) < n(1 + log n)(1 + log(k + 1))n-2 (v = 0,1).

Для уточнения верхней оценки |T(f) в общем случае полезным оказалось понятие неприводимой точки. Пусть P - полиэдр в Жn. Точка x е P n Zn называется неприводимой в P (а точнее: в Pn Zn), если x нельзя представить в

п-2

Рис. 1. Разбиение первой четверти плоскости весов а1,а2 прямыми а1х1 + а2 х2 =1 , где (х1, х2 )е

е{1,2,.,4}2

виде x = (y + z )/ 2 ни для каких двух различных y и z из P n Zn. Легко видеть, что любая вершина в Conv (p n Zn ) является неприводимой в P. Обратное в общем случае неверно. Тем не менее, эти понятия близки, как показывают оценки числа вершин и числа неприводимых точек.

Теорема 7 [21]. Пусть P = {x g Жп :Ax< b],

где A G ZmXK, b G Zm и P n Zn ç El. Если N -множество неприводимых точек в P , тогда при любом фиксированном n

N = 0(mn/2 logn-1 k) (k ^ да).

В [21] эта теорема используется для получения лучшей верхней оценки для ст(п, k ).

Теорема 8 [21]. При любом фиксированном

n>2

ст(п, k) = o(logn-2 k) (k ^ да).

Из теорем 3, 8 получаем, что для любого фиксированного n > 2

ст(п,k) = ©(logn-2 k) (k ^ да).

M. Antony, G. Brightwell, D. Cohen, J. Shawe-Taylor [22] получили верхнюю оценку средней мощности минимального разрешающего множества булевых пороговых функций:

ст(п,2)< n2.

Этот результат можно обобщить (см. [23]) на случай пороговых функций k-значной логики:

ст(п, k)< n2 log k.

3. Длина обучения пороговой функции двух переменных

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

Теорема 9 [16, 24]. Для любого к > 2 ст(2, к )= 4.

Более того, среднее значение мощности наименьшего разрешающего множества пороговой функции двух переменных асимптотически равно 7/2.

Теорема 10 [25].

Пересекая конусы разделяющих функционалов для всех пороговых функций из Т(2, k) в

пространстве весов a0,a1, a2 с плоскостью a0 = 1, получаем интересное геометрическое следствие.

Теорема 11. Среди ограниченных областей, получаемых при разбиении плоскости весов a1, a2 всеми прямыми alxl + a2 x2 =1, где

(xj, x2 )е{0,1,..., k -1}2, встречаются только треугольники и четырехугольники, причем их количества асимптотически равны.

Аналогичный результат получается, если разбивать плоскость весов a1, a2 прямыми

a1x1 + a2 x2 =1, где (x1, x2 )е{1,2,., k}2 и т.п. В частности, на рис. 1 представлено разбиение указанными прямыми первой четверти плоскости.

Список литературы

1. Schlafli L. Gesammelte mathematisce Abhanglugen. Band 1. Basel: Verlag Birkhauzer, 1950.

2. Yajima S., Ibaraki T. A lower bound of the number of threshold functions // IEEE Trans. on Electronic Comput. 1965. V. 14. № 6. P. 926-929.

3. Зуев Ю.А. Асимптотика логарифма числа пороговых функций алгебры логики // Доклады АН СССР. 1989. Т. 306. № 3. С. 528-530.

4. Зуев Ю.А. Комбинаторно-вероятностные и геометрические методы в пороговой логике // Дискретная математика. 1991. Т. 3. № 2. С. 47-57.

5. Odlyzko A.M. On subspaces spanned by random selection of +1 vectors // J. Combin. Theory, A. 1988. V. 47. № 1. С. 124-133.

6. Kahn J., Komlos J., Szemeredi E. On the probability that a random +1 -matrix is singular // J. American Math. Society. 1995. V. 8. № 1. P. 223-240.

7. Зуев Ю.А. По океану дискретной математики: От перечислительной комбинаторики до современной криптографии. В 2 тт. М.: Либрокомб, 2012.

8. Ирматов А.А. О числе пороговых функций // Дискретная математика. 1993. Т. 5. № 3. С. 40-43.

9. Зуев Ю.А. Пороговые функции и пороговые представления булевых функций // Матем. вопросы кибернетики. Вып. 5. М.: Физматлит, 1994. С. 5-61.

10. Ирматов А.А., Ковиянич Ж.Д. Об асимптотике логарифма числа пороговых функций А>значной логики // Дискретная математика. 1998. Т. 10. № 3. С. 35-56.

11. Koplowitz J., Lindenbaum M., Bruckstein A.M. The number of digital straight lines on an N x N grid // IEEE Trans. Inform. Theory. 1990. V. 36. P. 192-197.

12. Шевченко В.Н. О некоторых функциях многозначной логики, связанных с целочисленным программированием // Методы дискретного анализа в теории графов и схем. Вып. 42. Новосибирск: Ин-т матем. СО АН СССР, 1985. С. 99-108.

13. Hegedus T. Geometrical concept learning and convex polytopes // Proc. 7th Ann. ACM Conf. on Computational Learning Theory. New York: ACM Press, 1994. P. 228-236.

14. Cook W., Hartmann M., Kannan R., McDiarmid C. On integer points in polyhedra // Combinatorica. 1992. V. 12. № 1. P. 27-37.

15. Веселов С.И., Чирков А.Ю. Оценки числа вершин целых полиэдров // Дискретный анализ и исследование операций. Серия 2. 2007. Т. 14. № 2. C. 14-31.

16. Шевченко В.Н., Золотых Н.Ю. О сложности расшифровки пороговых функций А>значной логики // Доклады Академии наук. 1998. Т. 362. № 5. C. 606608.

17. Золотых Н.Ю., Шевченко В.Н. О нижней оценке сложности расшифровки пороговых функций k-значной логики // Журн. вычисл. матем. и матем. физики. 1999. Т. 39. № 2. С. 346-352.

18. Золотых Н.Ю. Оценки мощности минимального разрешающего множества пороговой функции многозначной логики // Матем. вопросы кибернетики. Вып. 17. М.: Физматлит, 2008. С. 159-168.

19. Золотых Н.Ю., Чирков А.Ю. О верхней оценке мощности минимального разрешающего множества пороговой функции // Дискретный анализ и исследование операций. 2012. Т. 19. № 5. С. 35-46.

20. Шевченко В.Н. О числе крайних точек в целочисленном программировании // Кибернетика. 1981. № 2. С. 133-134.

21. Chirkov A.Yu., Zolotykh N.Yu. On the number of irreducible points in polyhedral // arXiv:1306.4289. 2013.

22. Antony M., Brightwell G., Shawe-Taylor J. On exact specification by labelled examples // Discrete Applied Mathematics. 1995. V. 61. № 1. С. 1-25.

23. Вировлянская М.А., Золотых Н.Ю. Верхняя оценка средней мощности минимального разрешающего множества пороговой функции многозначной логики // Вестник Нижегород. ун-та им. Н.И. Лобачевского. Матем. моделирование и оптимальное управление. 2003. № 1. С. 238-246.

24. Золотых Н.Ю. О сложности расшифровки пороговых функций, зависящих от двух переменных // Материалы XI Межгосударственной школы-семинара «Синтез и сложность управляющих систем». Часть I. М.: Изд-во Центра прикладных исследований при механико-матем. ф-те МГУ, 2001. С. 74-79.

25. Alekseyev M.A., Basova M.G., Zolotykh N.Yu. The average cardinality of the minimal teaching set of a threshold function on a two-dimensional rectangular grid // arXiv:1307.1058. 2013.

TEACHING DIMENSION OF THRESHOLD FUNCTION OF MANY-VALUED LOGIC

N. Yu. Zolotykh

An overview of the results on structural and cardinality properties of a minimal teaching set of a threshold function of ¿-valued logic is presented.

Keywords: threshold function, teaching set, teaching dimension.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

References

1. Schläfli L. Gesammelte mathematisce Abhanglugen. Band 1. Basel: Verlag Birktauzer, 1950.

2. Yajima S., Ibaraki T. A lower bound of the number of threshold functions // IEEE Trans. on Electronic Comput. 1965. V. 14. № 6. P. 926-929.

3. Zuev Ju.A. Asimptotika logarifma chisla poro-govyh funkcij algebry logiki // Doklady AN SSSR. 1989. T. 306. № 3. S. 528-530.

4. Zuev Ju.A. Kombinatorno-verojatnostnye i geo-metricheskie metody v porogovoj logike // Dis-kretnaja matematika. 1991. T. 3. № 2. S. 47-57.

5. Odlyzko A.M. On subspaces spanned by random selection of +1 vectors // J. Combin. Theory, A. 1988. V. 47. № 1. C. 124-133.

6. Kahn J., Komlös J., Szemeredi E. On the probability that a random +1 -matrix is singular // J. American Math. Society. 1995. V. 8. № 1. P. 223-240.

7. Zuev Ju.A. Po okeanu diskretnoj matematiki: Ot perechislitel'noj kombinatoriki do sovremennoj kripto-grafii. V 2 tt. M.: Librokomb, 2012.

8. Irmatov A.A. O chisle porogovyh funkcij // Diskretnaja matematika. 1993. T. 5. № 3. S. 40-43.

9. Zuev Ju.A. Porogovye funkcii i porogovye preds-tavlenija bulevyh funkcij // Matem. voprosy kibernetiki. Vyp. 5. M.: Fizmatlit, 1994. S. 5-61.

10. Irmatov A.A., Kovijanich Zh.D. Ob asimptotike logarifma chisla porogovyh funkcij k-znachnoj logiki // Diskretnaja mate-matika. 1998. T. 10. № 3. S. 35-56.

11. Koplowitz J., Lindenbaum M., Bruckstein A.M. The number of digital straight lines on an N x N grid // IEEE Trans. Inform. Theory. Ш0. V. З6. P. Ш-Ш.

12. Shevchenko V.N. O nekotoryh funkcijah mno-goznachnoj logiki, svjazannyh s celochislennym pro-grammirovaniem // Metody diskretnogo analiza v teorii grafov i shem. Vyp. 42. No-vosibirsk: In-t matem. SO AN SSSR, ^83. S. 99-108.

13. Hegedüs T. Geometrical concept learning and convex polytopes // Proc. 7th Ann. ACM Conf. on Computational Learning Theory. New York: ACM Press, Ш4. P. 228-2З6.

14. Cook W., Hartmann M., Kannan R., McDiarmid C. On integer points in polyhedra // Combinatorica. Ш2. V. і2. № і. P. 27-З7.

іЗ. Veselov S.I., Chirkov A.Ju. Ocenki chisla vershin celyh polijedrov // Diskretnyj analiz i issledovanie ope-racij. Serija 2. 2007. T. і4. № 2. C. і4-Зі.

16. Shevchenko V.N., Zolotyh N.Ju. O slozhnosti ras-shifrovki porogovyh funkcij k-znachnoj logiki // Doklady Akademii nauk. 1998. T. З62. № 3. C. 606-608.

17. Zolotyh N.Ju., Shevchenko V.N. O nizhnej ocenke slozhnosti rasshifrovki porogovyh funkcij k-znachnoj logiki // Zhurn. vychisl. matem. i matem. fiziki. ^Q. T. 39. № 2. S. З46-ЗЗ2.

18. Zolotyh N.Ju. Ocenki moshhnosti minimal'-nogo razreshajushhego mnozhestva porogovoj funkcii mno-goznachnoj logiki // Matem. voprosy kibernetiki. Vyp. і7. M.: Fizmatlit, 2008. S. 139-168.

19. Zolotyh N.Ju., Chirkov A.Ju. O verhnej ocenke moshhnosti minimal'nogo razreshajushhego mnozhestva porogovoj funkcii // Diskretnyj analiz i issledovanie ope-racij. 20і2. T. W. № 3. S. ЗЗ-46.

20. Shevchenko V.N. O chisle krajnih tochek v ce-lochislennom programmirovanii // Kibernetika. 1981. № 2. S. іЗЗ-іЗ4.

21. Chirkov A.Yu., Zolotykh N.Yu. On the number of irreducible points in polyhedral // arXiv:1306.4289. 20іЗ.

22. Antony M., Brightwell G., Shawe-Taylor J. On exact specification by labelled examples // Discrete Applied Mathematics. ШЗ. V. 6і. № і. С. і-23.

23. Virovljanskaja M.A., Zolotyh N.Ju. Verhnjaja ocenka srednej moshhnosti minimal'nogo razreshajush-hego mnozhestva porogovoj funkcii mnogoznachnoj logiki // Vestnik Nizhegorod. un-ta im. N.I. Lobachevskogo. Matem. modelirovanie i optimal'noe upravlenie. 200З. № і. S. 2З8-246.

24. Zolotyh N.Ju. O slozhnosti rasshifrovki porogovyh funkcij, zavisjashhih ot dvuh peremennyh // Materialy XI Mezhgosudarstvennoj shkoly-seminara «Sintez i slozhnost' upravljajushhih sistem». Chast' I. M.: Izd-vo Centra prikladnyh issledovanij pri mehaniko-matem. f-te MGU, 200і. S. 74-7Q.

23. Alekseyev M.A., Basova M.G., Zolotykh N.Yu. The average cardinality of the minimal teaching set of a threshold function on a two-dimensional rectangular grid // arXiv:1307.1058. 20іЗ.

i Надоели баннеры? Вы всегда можете отключить рекламу.