Научная статья на тему 'Параллельный алгоритм для исследования графов Кэли групп подстановок'

Параллельный алгоритм для исследования графов Кэли групп подстановок Текст научной статьи по специальности «Математика»

CC BY
463
47
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ГРАФ КЭЛИ / МНОГОПРОЦЕССОРНАЯ ВЫЧИСЛИТЕЛЬНАЯ СИСТЕМА / CAYLEY GRAPH / A MULTIPROCESSOR COMPUTING SYSTEM

Аннотация научной статьи по математике, автор научной работы — Кузнецов Александр Алексеевич, Кузнецова Александра Сергеевна

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

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

A parallel algorithm for study of the Cayley graphs of permutation groups

An algorithm for computing the diameter, the average diameter and the growth function of the Cayley graph of a finite group given a fixed set of generators is presented. The correctness of the algorithm is proved. After that a parallel version of the algorithm for study of the Cayley graphs ofpermutation groups is presented. This algorithm can be useful in the design of the topology of a multiprocessor computing system (MCS). In this case the model of MCS will be presented as the Cayley graph in which the processors are the vertices of the graph and the edges correspond to physical connections between processors. Using of this algorithm allows us to study the characteristics of the Cayley graph to evaluate the performance of MCS.

Текст научной работы на тему «Параллельный алгоритм для исследования графов Кэли групп подстановок»

3. Красненко, С. С. Многоканальный цифровой синтез в имитаторах радионавигационных сигналов // Журнал Сибирского федерального университета. Серия «Техника и технологии». 2013. Т. 6, № 5. С. 521-526.

4. Красненко С. С., Пичкалев А. В. Способы формирования сигналов в радионавигационных имитаторах // Навигационные спутниковые системы, их роль и значение в жизни современного человека: Тезисы доклада 2-й Междунар. науч.-техн. конф., посвященной 30-летию запуска на орбиту первого навигационного космического аппарата «Глонасс» / под общ. ред. Н. А. Тестоедова ; ОАО «Информационные спутниковые системы» ; Сиб. гос. аэрокосмич. ун-т. Красноярск, 2012. C. 75-77.

5. Красненко С. С., Пичкалев А. В. Имитатор радионавигационных сигналов в модульном исполнении // Решетневские чтения : матер. XIV Междунар. науч. конф. Красноярск, 2010. Ч. 1. С. 154-155.

6. Красненко С. С., Недорезов Д. А. Практическое применение модульных приборов компании National Instruments при разработке имитаторов радионавигационных сигналов // Интеллект и наука : тр. XII Меж-дунар. науч. конф. Железногорск, 2012. С. 43-44.

References

1. Zubavichus V. A., Balabanov A. Z., Komarov V. A., Marareskul D. I., Furmanov V. V., Cvetkova O. I., Udin V. A., Ankudinov A. V. Dvukhsistemnyy navigatsionnyy priyemnik kosmicheskogo apparata [Two-system navigation receiver spacecraft]. Patent RF no. 112401, MPK G01C21/24.

2. Nepomnyashcy O. V., Shaidurov V. V., Veisov E. A. VestnikSibGAU. 2013, № 2 (48), р. 133-136.

3. Krasnenko S. S, Nedorezov D. A., Kashkin V. B., Hazagarov U. G., Pichkalev A. V. Zurnal Sibirskogo Federalnogo Universiteta, seria "Tehnaka I Tehnologia" (Siberian Federal University. Engineering & Technologies). 2013, vol. 6, no. 5, p. 521-526.

4. Krasnenko S. S., Pichkalev A. V. [Ways of signal formation in radionavigating simulators]. Tezisu doklada II Mezhdunarodnoy nauchno-tehnicheskoi konferentsii posvachennoi 30-letiu zapuska na orbity pervogo navigacionnogo kosmicheskogo apparata "Glonnas "; "Navigacionnue sputnikovue sistemu, ih rol i znachenie v zhizni sovremennogo cheloveka" [Theses of the report 2nd International Scientific and Technical Conference devoted to the 30th anniversary of launching the into orbit of the first navigation of the spacecraft "Glonass"; "Navigation satellite systems, their role and importance in the life of modern man"]. Krasnoyrsk, 2012, 75 p. (In Russian).

5. Krasnenko S. S., Pichkalev A. V. Materialy XIV Mezhdunarodnoy nauchnoy konferentsii "Reshetnevskie chteniya" [Materials of the XIV Intern. scientific. conf. "Reshetnev reading"], Krasnoyrsk, 2010, 154 p. (In Russian).

6. Krasnenko S. S, Nedorezov D. A. Trydy XII Mezhdunarodnoy nauchnoy konferentsii "Intelekt i nayka" [Proceedings of the XII Intern. scientific. conf. "Intelligence and science"], Zheleznogorsk 2012, 43 p. (In Russian).

© Красненко С. С., Пичкалев А. В., Недорезов Д. А.,

Лапин А. Ю., Непомнящий О. В., 2014

УДК 519.6

ПАРАЛЛЕЛЬНЫЙ АЛГОРИТМ ДЛЯ ИССЛЕДОВАНИЯ ГРАФОВ КЭЛИ ГРУПП ПОДСТАНОВОК*

А. А. Кузнецов, А. С. Кузнецова

Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева Российская Федерация, 660014, г. Красноярск, просп. им. газ. «Красноярский рабочий», 31

Е-таП: [email protected]

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

Ключевые слова: граф Кэли, многопроцессорная вычислительная система.

Работа выполнена при поддержке Министерства образования и науки РФ (проект Б 112/14).

A PARALLEL ALGORITHM FOR STUDY OF THE CAYLEY GRAPHS OF PERMUTATION GROUPS

A. A. Kuznetsov, A. S. Kuznetsova

Siberian State Aerospace University named after academician M. F. Reshetnev 31, Krasnoyarsky Rabochy Av., Krasnoyarsk, 660014, Russian Federation E-mail: [email protected]

An algorithm for computing the diameter, the average diameter and the growth function of the Cayley graph of a finite group given a fixed set of generators is presented. The correctness of the algorithm is proved. After that a parallel version of the algorithm for study of the Cayley graphs ofpermutation groups is presented. This algorithm can be useful in the design of the topology of a multiprocessor computing system (MCS). In this case the model of MCS will be presented as the Cayley graph in which the processors are the vertices of the graph and the edges correspond to physical connections between processors. Using of this algorithm allows us to study the characteristics of the Cayley graph to evaluate the performance of MCS.

Keywords: the Cayley graph, a multiprocessor computing system.

Определение графа Кэли было дано известным английским математиком Артуром Кэли в 1878 г. для представления алгебраической группы, заданной фиксированным множеством порождающих элементов.

В последние десятилетия теория графов Кэли развивается как отдельная большая ветвь теории графов. Графы Кэли находят применение как в математике, так и за ее пределами. Заметим, что известная задача по определению так называемого числа Бога кубика Рубика 3^3x3, т. е. минимального количества поворотов граней кубика, за которое его можно собрать из любого начального положения, сводится к исследованию соответствующего графа Кэли [1].

Неожиданное применение графы Кэли нашли в информационных технологиях после пионерской работы 1986 г. С. Эйкерса и Б. Кришнамурти [2], которые впервые предложили применять указанные графы для представления компьютерных сетей, в том числе для моделирования топологий многопроцессорных вычислительных систем (МВС) - суперкомпьютеров. С тех пор данное направление активно развивается. Это связано с тем, что графы Кэли имеют много привлекательных свойств, из которых выделим их регулярность, вершинно-транзитивность, малые диаметр и степень при достаточно большом количестве вершин в графе. Кстати, такие базовые топологии сети, как «кольцо» и «гиперкуб», являются графами Кэли. Среди множества работ отдельно стоит отметить статью С. Шайбелла и Р. Стаффорда 1992 г. [3], в которой показано, что наряду с диаметром графа Кэли очень важное значение для производительности МВС имеет также средний диаметр графа.

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

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

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

Поиск минимального слова в большой конечной группе является хотя и разрешимой, но достаточно сложной проблемой. Это связано с тем, что в общем случае задача по определению минимального слова в группе, а следовательно, и диаметра графа Кэли, как показали С. Ивен и О. Голдрейх в 1981 г., является №-трудной [4]. Поэтому для эффективного решения задач оптимизации на графах Кэли, имеющих большое количество вершин, необходимо применять МВС. В связи с этим представляется актуальной проблема разработки параллельных алгоритмов для исследования графов Кэли частных классов групп.

Основные определения и понятия

Определение 1. Положим О - конечная группа и X с О. Множество X = (х1,х2, ...,хт} называют

порождающим множеством группы, а его элементы -порождающими и записывают О = (X}, если любой

элемент из О можно представить в виде конечного произведения из порождающих:

О = (X) ^ Vg £ О ^ g = ц - а2 •... • а, где а, е X.

Порождающее множество X называют также алфавитом, а порождающие элементы X, - буквами.

Определение 2. Пусть g элемент из G и g = а1 • а2 •... • аs, где а,, e X. Правую часть данного выражения мы будем называть словом и записывать a¡a2...аs. Множество всех слов над алфавитом X будем обозначать X *.

Если необходимо подчеркнуть, что слово v e X* соответствует элементу g e G , то следует писать: vg. Очевидно, что фиксированное слово v соответствует только лишь одному элементу группы.

Определение 3. Если два различных слова v = а^2...аr и w = P1P2...PÍ представляют один элемент g группы G, т. е. g = а1а2...аг и g = P1P2...Pí, то выражение а1а2...аr = P1P2...PÍ (или vg = wg) называют

соотношением в G.

Определение 4. Положим v произвольное слово из X *. Количество букв, входящее в v, будем называть длиной слова v и обозначать length(v).

Единица группы е будет представлена пустым словом, которое мы также обозначим е. По определению length(e) = 0.

На множестве порождающих введем отношение порядка « X »:

{x1 X Х2 X ... X хт }.

Определение 5. Пусть v и w произвольные слова из X*. Будем говорить, что слово v = а1а2...аr меньше слова w = P1P2...Ps и записывать v X w , если имеет место одно из следующих утверждений:

1) r < s;

2) если r = s , тогда а1 = Р1, а2 = Р2, ..., ак-1 = Рk-1, ак X рk для некоторого 1 < k < s.

Данный способ упорядочивания элементов называют также лексикографическим.

Определение 6. Слово v будем называть минимальным в G относительно введенного порядка, если для любого другого слова w, удовлетворяющего условию vg = wg, будет выполняться v X w .

Определение 7. Длиной length(g, X) элемента g в алфавите X будем называть длину минимального слова vg e X*, представляющего данный элемент, т. е. length(g, X) = min{length(vg )| vg e X}.

Определение 8. Диаметром diam(G, X) группы G относительно порождающего множества X будем называть максимальную длину элементов данной группы. Другими словами:

diam(G, X) = max{length(g, X) | g e G },

или

diam(G, X) = max{min{length(vg) | vg e X* } | g e G }.

Определение 9. Пусть G = (XШаром Kr(G, X)

радиуса r группы G относительно X будем называть множество

Kr(G, X) = { g e G | length(g,X) < r}.

Таким образом, шар Kr(G, X) радиуса r представляет собой все элементы группы G, длины которых относительно порождающего множества X не превышают r.

Определение 10. Функция роста growth (G, X, r) группы G = (X) от аргумента r £ {0}UN задается соотношением growth (G, X ,0) = 1 и growth(G, x, r) =

= \Kr (G, X)| - | Kr-1 (G, X)| при r e N .

Это означает, что каждое значение функции роста growth (G, X, r) равно числу элементов группы

G = (X} фиксированной длины r.

Определение 11. Средним диаметром diam (G, X) конечной группы G будем называть среднюю длину ее элементов в алфавите X! Другими сло-

вами:

X lenght (g, X)

diam (G, X ) =

geG

G|

diam(G, X)

^ growth (G, X, r )• r

= r=0_

= И •

Определение 12. Графом Г = (V, E) называют совокупность двух множеств - множества вершин V = {vj,v2, ...,vm} и множества ребер E = {el,e2, ...,en},

где каждое ребро из E определяется неупорядоченной парой вершин {v„ vg}.

Отметим, что приведенная выше формулировка определяет неориентированный граф. Если же каждое ребро графа задается упорядоченной парой (vi, vg) вершин, то такой граф называют ориентированным.

Далее под графом будем понимать неориентированный граф. Пусть v1 и v2 - вершины графа, e1 -соединяющее их ребро. Тогда вершина v1 и ребро e1 инцидентны, ребро e1 и вершина v2 также инцидентны. Два ребра, инцидентные одной вершине, называются смежными; две вершины, инцидентные одному ребру, также называются смежными.

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

Порядок графа определяется числом его вершин | V|. Определение 13. Автоморфизмом графа Г = (V, E) называется отображение ф множества

вершин на себя, сохраняющее смежность, т. е. если

{u, v} е E , то будет верно {ф(и), ф(у)} е E.

Определение 14. Граф Г = (V, E) называют вер-

шинно-транзитивным, если для любых двух вершин u, v eV существует автоморфизм ф, при котором ф(и) = v.

Определение 15. Маршрутом в графе Г = (V, E) называют последовательность вершин и ребер из Г

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

Граф является связным, если между любыми его двумя вершинами существует маршрут.

Определение 16. Расстоянием d (и, V) между

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

Определение 17. Диаметром Шат(Г) графа Г называется расстояние между двумя наиболее удаленными вершинами в графе, т. е.

Шат(Г) = тах^(и,V) |и,V е¥}. (1)

Определение 18. Средним диаметром Шат(Г) конечного непустого графа Г = (V, Е) будем называть среднее расстояние между его вершинами. Дру-

гими словами:

X d (U v)

diam(r) = -

(2)

Определение 19. Пусть X - порождающее множество группы G, т. е. G = (X}. Графом Кэли

Г = Cay (G, X) = (V, Е) называют ориентированный

граф, обладающий следующими свойствами:

1) множество вершин V(r) соответствуют элементам группы G;

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

2) множество ребер Е(Г) состоит из всех упорядоченных пар (g, xg), где g е G и x е X.

В дальнейшем будем считать порождающее множество X симметричным и свободным от единичного

элемента группы, т. е. х е X ■■

-.X и e g X . По-

скольку X является свободным от единичного элемента, то граф Г не содержит петель. Симметричность порождающего множества означает, что граф будет неориентированным и без кратных ребер, т. е. если в графе имеется ребро из g в xg, то оно совпадает с ребром из xg в х-1 (xg) = g .

Таким образом,

Г = Cay(G, X) = (V, E), где V = G и

E = {{g, х g}| g е G, х е X}.

Последовательный алгоритм A-I

В настоящем разделе будет представлен базовый алгоритм A-I для вычисления характеристик графа Кэли конечной группы, заданной фиксированным порождающим множеством.

Для обоснования корректности алгоритма А-I докажем сначала вспомогательные утверждения.

Лемма 1. Пусть G = (X) и Г = Cay (G, X) - граф

Кэли группы G относительно X. Тогда

(i) Г является связным [^¡-регулярным графом;

(ii) Г является вершинно-транзитивным графом;

(iii) Vg, h е G d (g,h) = length(hg"1,X);

(iv) diam(r) = diam (G, X ) ;

(v) diam(r) = diam(G, X).

Доказательство. (i) Так как X является порождающим множеством группы G, то граф Г является связным, а в связи с тем, что X - симметричное порождающее множество, то каждая вершина в Г имеет степень, равную |X|. Поэтому Г является связным Xl-регулярным графом.

(ii) Если u и v две произвольные смежные вершины в Г, то v = xu для некоторого x е X. Отсюда следует, что для смежных вершин всегда найдется такой элемент x е X, что vu- = x. Обратно, если u и v не являются смежными, то vu- g X .

На множестве вершин из Г рассмотрим отображение ф; такое, что tyh(g) = gh. Докажем, что ф; сохраняет смежность, т. е. если u и v две смежные вершины, то ф^) и ф^) также будут являться смежными. Действительно,

фА (v^h (u) 1 = vh (uh) 1 = vhh^u-1 = vu-1 е X .

Если же u и v не являются смежными, то будет

выполняться фh (v)фА (u )1 g X, поэтому вершины

ф/^u) и ф^) также не будут являться смежными. Так как отображение ф; сохраняет смежность, то оно будет являться автоморфизмом графа Г.

Положим h = uTxv . Тогда фh (u) = ф ,v (u ) =

uu~lv = v. Следовательно, Г является вершинно-транзитивным графом.

(iii) Пусть g и h - произвольные вершины в Г. Согласно (i) данный граф является связным, а значит, существует путь, связывающий эти вершины. Предположим, что кратчайший путь имеет следующий вид: g, a1g , a2a1g , ..., as ^a2a1 g (a; е X), т. е.

d(g, h) = s . С другой стороны, as...a2a1 = hg-1,

следовательно, length (hg_1, X) = s. Таким образом,

между длинами элементов группы G и кратчайшими цепями в графе Г имеется взаимно однозначное соответствие, в частности, имеет место равенство

Vg,h е G ^ d (g,h) = length(hgX). (3)

(iv) Запишем формулу (1) с учетом (3): diam (Г) = max{d (g, h) |g, h е G} =

= max{length (hg"', X )|hg-1 е G} = diam (G, X).'

(v) Согласно (ii) граф Кэли является вершинно -транзитивным, и для любых двух его вершин u и v будет выполняться

Xd (u, v) = Xd (u, v) .

vеV ме¥

С учетом (4) перепишем формулу (2):

_ X d (uv) \V\Xd (u,v) Xd (u,v)

diam (Г) = ^^^-= ^ -=

(4)

V|2 V2 V '

Пусть u = e - единица G. Поскольку V = G, а также в силу (3), получим

diam (Г) = -

X d (e, v) X iength (g,X)

geG

= diam (G, X).

Беря во внимание свойства (ii) и (iii) вышеприведенной леммы, мы можем определить функцию роста графа Кэли growth(Г, r) = growth (G, X, r), которая

задает количество вершин в графе, удаленных от любой заданной вершины на расстояние r.

Ниже представлен последовательный алгоритм для исследования графов Кэли конечных групп. Данный алгоритм можно распараллелить для эффективной реализации на МВС.

Вход: G = (G, •) - конечная группа и X = {xj х x2 х... х xm} - упорядоченное порождающее множество G.

5. Если

6. Если

1 < r < s-1 и growth(0) = 1, diam (Г) =

r=0

Параллельная версия алгоритма A-I для графов групп подстановок

Для увеличения скорости вычислений алгоритм A-I можно распараллелить следующим образом. Множество Ks(Sn, Xn) разбивается на m = n(n-1)(n-2)..(n-k+1)

непересекающихся классов элементов (подстановок):

m

Ks = и K , K n Kj = 0 при i Ф j.

i=1

Каждый класс Ki будет однозначно определяться фиксированным набором значений (i1, i2, ..., ik), т. е.

'12... k... n

Vg e Ki ^ g =

Выкод: диаметр diam(r), средний диаметр diam (Г) графа Кэли Г= Cay(G, X), а также функция роста графа growth(r) = growth(r, r), 0 < r < diam (Г).

1. 5 = 0, Ks = Ks (G, X) = {e} - шар группы G, T = Ks.

2. s = s+1, Ks = Ks-1, U = x1 • T u x2 • T...u xm • T -лексикографически упорядоченное множество.

3. T = 0 , i = 1.

4. Если ui i Ks, то Ks = Ks u ui, T = T u ui. [i < |V|, то i = i +1, переход в пункт 4; [i = |v| , то переход в пункт 6. [T ф 0, то переход в пункт 2; [T = 0, то переход в пункт 7.

7. diam(r) = s -1, growth (r) = |Kr| - |Kr-1| для

s-1

^ growth (r )• r

Возврат полученных значений.

Теорема. Алгоритм A-I корректен, т. е. для любой конечной группы он за конечное число шагов находит характеристики соответствующего графа Кэли.

Доказательство. По построению A-I выражает каждый элемент группы G в виде уникального минимального слова. После каждого прохода от пункта 2 до пункта 6 множество Ks будет представлять собой шар радиуса s группы G в алфавите X. Поскольку количество элементов группы конечно, то через конечное число шагов все g е G будут записаны в формате минимальных слов, длины которых меньше s:

Vg е G ^3ÍMg е K^ ^Vvg g K^ ^ ug < vg .

Это означает, что diam (G, X) = s -1 и Ks-1 однозначно определяет функцию роста группы G в алфавите X. Как было сказано, growth (Г, r) = growth (G, X, r). По лемме 1 диаметр и средний диаметр графа Кэли Г группы G = (X} равны соответствующим характеристикам G. Теорема доказана.

Аналогичным образом массив U при каждом s также делится на m непересекающихся классов элементов:

m

U = Uu , Ul n Uj =0 при i Ф j, i=1

и дальнейшая обработка данных для каждой пары множеств Ui и Ki (пункты 4-5 алгоритма A-I) производится независимо.

Нетрудно заметить, что рассмотренное разделение массивов не влияет на корректность работы алгоритма.

Параметр к определяется экспериментально и зависит от строения группы, а также от характеристик МВС.

Таким образом, представленный выше параллельный алгоритм, как показали вычисления на МВС [5], дает существенный прирост скорости вычислений.

В будущем на основе данного алгоритма планируется провести серию экспериментов по исследованию графов Кэли различных классов групп с целью поиска перспективных топологий для МВС.

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

1. Holt D., Eick B., O'Brien E. Handbook of computational group theory. Boca Raton : Chapman & Hall/CRC Press, 2005. 514 p.

2. Akers S., Krishnamurthy B. A group theoretic model for symmetric interconnection networks // Proceedings of the International Conference on Parallel Processing, 1986. P. 216-223.

3. Schibell S., Stafford R. Processor interconnection networks and Cayley graphs // Discrete Applied Mathematics. 1992. Vol. 40. P. 337-357.

4. Even S., Goldreich O. The Minimum Length Generator Sequence is NP-Hard // J. of Algorithms. 1981. Vol. 2. P. 11-313.

5. Кузнецов А. А., Кузнецова А. С. О взаимосвязи функций роста в симметрических группах с задачами комбинаторной оптимизации // Вестник СибГАУ. 2012. № 6 (46). С. 93-97.

References

1. Holt D., Eick B., O'Brien E. Handbook of computational group theory. Boca Raton: Chapman & Hall/CRC Press, 2005. 514 p.

2. Akers S., Krishnamurthy B. A group theoretic model for symmetric interconnection networks. Proceedings of the International Conference on Parallel Processing, 1986. P. 216-223.

3. Schibell S., Stafford R. Processor interconnection networks and Cayley graphs. Discrete Applied Mathematics. 1992. Vol. 40. P. 337-357.

4. Even S., Goldreich O. The Minimum Length Generator Sequence is NP-Hard. Journal of Algorithms. 1981. Vol. 2. P. 311-313.

5. Kuznetsov A. A., Kuznetsova A. S. [Relation between growth functions in symmetric groups and tasks of combinatorial optimization]. Vestnik SibGAU, 2012, no. 6 (46), p. 93-97.

© Кузнецов А. А., Кузнецова А. С., 2014

УДК 519.7

НЕПАРАМЕТРИЧЕСКАЯ ОЦЕНКА КРИВОЙ РЕГРЕССИИ В УСЛОВИЯХ БОЛЬШИХ ВЫБОРОК*

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

А. В. Лапко1, 2, В. А. Лапко1, 2, Д. В. Борисов1

1 Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева Российская Федерация, 660014, г. Красноярск, просп. им. газ. «Красноярский рабочий», 31

E-mail: [email protected] 2Институт вычислительного моделирования СО РАН Российская Федерация, 660036, г. Красноярск, Академгородок, 50, стр. 44. E-mail: [email protected]

Предлагается методика построения непараметрической регрессии в условиях обучающих выборок большого объема. Синтез модели основывается на декомпозиции исходных статистических данных и анализе вероятностных характеристик получаемых множеств случайных величин. Исследуются асимптотические свойства непараметрической регрессии и рассматриваются результаты вычислительного эксперимента. Устанавливается зависимость свойств непараметрической регрессии от количества интервалов дискретизации значений случайной величины и объёма исходных данных. Проводится сравнение аппроксимационных свойств предлагаемой модели и традиционной непараметрической регрессии. Результаты исследований имеют важное значение при решении задач доверительного оценивания плотности вероятности и кривой регрессии.

Ключевые слова: непараметрическая регрессия, плотность вероятности, регрессионная оценка, аппрокси-мационные свойства, методы дискретизации.

NONPARAMETRIC ESTIMATION OF REGRESSION CURVES IN THE CONDITIONS OF LARGE SAMPLES*

A. V. Lapko1, 2, V. A. Lapko1, 2, D. V. Borisov1

1Siberian State Aerospace University named after academician M. F. Reshetnev 31, Krasnoyarsky Rabochy Av., Krasnoyarsk, 660014, Russian Federation E-mail: [email protected] 2Institute of Computational Modeling, Siberian Branch of RAS 50, Akademgorodok, Krasnoyarsk, 660036, Russian Federation E-mail: [email protected]

The technique of construction of a nonparametric regression in the conditions of training samples of large volume is offered. Model synthesis is based on decomposition of initial statistical data and the analysis of probabilistic characteristics of received random variables sets. Asymptotic properties of a nonparametric regression are investigated and results of computing experiment are considered. Association of nonparametric regression properties on an amount of sampling intervals of values of an random variable and volume of input datas is established. Comparison of approximating properties of offered model and a traditional nonparametric regression is spent. The results of researches are important to the solution of problems of a confidential estimation of a probability density and a regression curves.

Keywords: nonparametric regression, probability density, regression estimations, approximating properties, sampling methods.

* Работа выполнена в рамках базовой части государственного задания Минобрнауки РФ (СибГАУ № Б121/14).

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