CC BY
40
тами I Е. С. Семенкин, В. А. Лебедев. М. і МАКС-Пресс, 2002.
2. Семенкин, Е. С. Об эволюционных алгоритмах решения сложных задач оптимизации I Е. С. Семенкин, А. В. Гуменникова, М. Н. Емельянова, Е. А. Сопов II Вестн. Сиб. гос. аэрокосмич. ун-та им. акад. М. Ф. Ре-шетнева : сб. науч. тр. I под ред. проф. Г П. Белякова ; Сиб. гос. аэрокосмич. ун-т. Вып. 5. Красноярск, 2003.
С. 14-23.
3. Сергиенко, Р. Б. Разработка турнирного метода перераспределения ресурсов между подпопуляциями в ко-эволюционном алгоритме I Р. Б. Сергиенко II Инновационные недра Кузбасса. IT-технологии : сб. науч. тр. Кемерово : ИНТ, 2007. С. 401-404.
4. Michalewicz, Z. Evolutionary algorithms for constrained parameter optimization problems I Z. Michalewicz, M. Schoenauer II Evolutionary Computation, 1996. Vol. 34, № 1. Р. 1-32.
5. Рубан, А. И. Методы оптимизации : учеб. пособие / А. И. Рубан. Красноярск : НИИ ИПУ, 2001.
6. Ворожейкин, А. Ю. Адаптивные эволюционные алгоритмы решения сложных задач оптимизации : дисс. ... канд. техн. наук / А. Ю. Ворожейкин. Красноярск, 2008.
7. Гмурман, В. Е. Теория вероятностей и математическая статистика : учеб. пособие / В. Е. Гмурман. М. : Высш. образование, 2006.
8. Carr, G. C. Airline arrival prioritization in sequencing and scheduling [Electronic resours] / G. C. Carr, H. Erzberger, F. Neuman // Air Traffic Management R&D Seminar. Orlando, 1998. Access mode: http://www.ctas.arc.nasa.gov/ publications. Title from a display.
9. Scheduling aircraft landings - the static case / J. E. Beasley, M. Krishnamoorthy, Y. M. Sharaiha,
D. Abramson // Transportation Science. 2000. Vol. 34. P. 180-197.
10. Шилдт, Г Теория и практика C++ / Г. Шилдт. СПб. : BHV- Санкт-Петербург, 1996
E. S. Semenkin, R. B. Sergienko
COEVOLUTIONARY GENETIC ALGORITHM FOR SOLVING COMPLEX PROBLEMS OF CONSTRAINED OPTIMIZATION
Coevolutionary algorithm of constrained optimization with automatic tuning of parameters is considered. The process of development and results of effectiveness investigation are described. The algorithm effectiveness is illustrated on the task of aircrafts ’ landing scheduling.
Keywords: genetic algorithm, constrained optimization, coevolution.
УДК 519.682
О. И. Егорушкин, Д. А. Калугин-Балашов, К. В. Сафонов
О РАЗРЕШИМОСТИ СИСТЕМ НЕКОММУТАТИВНЫХ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ, ПОРОЖДАЮЩИХ КОНТЕКСТНО-СВОБОДНЫЕ ЯЗЫКИ
Рассматриваются системы алгебраических (полиномиальных) уравнений над некоммутативным относительно умножения кольцом. Получено условие разрешимости таких систем в виде формальных степенных рядов, изучаются системы линейных алгебраических уравнений, для которых исследована возможность понижения порядка систем. Рассмотренные системы обобщают свойства систем уравнений, определяющих контекстно-свободные и линейные языки.
Ключевые слова: контекстно-свободные языки, системы алгебраических уравнений, некоммутативное кольцо, коммутативный образ, граф инцидентности
Формальным языком Ь называют множество цепочек в алфавите {х ..., хп} выделенных с помощью конечного набора правил. Выделенные цепочки, принадлежащие свободной полугруппе {х ., хп}*, называются при этом либо словами (над алфавитом), либо правильно построенными предложениями (над словарем), либо грамматически правильными предложениями. Конечное множество правил, с помощью которых выделяются цепочки, называют грамматикой. Таким образом, формальный язык определяется совокупностью соответствующих правил и способом выделения цепочек с помощью этих правил.
Практически важный класс формальных языков образуют контекстно-свободные языки (кс-языки), поскольку они являются адекватным средством моделирования естественных языков, а также языков программирования [1-3]. Обозначим Ш= {х1, ..., хп} и {2р ..., 2п} свободную полугруппу с операцией умножения; ее элементами являются произвольные цепочки, составленные из элементов «расширенного» алфавита {х 1, ., хи,21,2п}.
Рассмотрим играющее роль словаря конечное множество X = {х ., хп}, состоящее из слов х. языка и называемое терминальным множеством, а также 2 = {21, ., 2т} -
множество вспомогательных символов 2, необходимых для задания грамматических правил, называемое нетерминальным множеством; Ш* = (Xи 2)*- соответствующая свободная полугруппа относительно операции конкатенации. Дополним ее операцией формального сложения «+» мономов из множества Ш* (вместо суммы можно взять объединение « и », следуя работе [1]), а также коммутативной операцией умножения мономов на (целые) числа. Таким образом, можно рассматривать не только многочлены, но и формальные степенные ряды с числовыми (как правило, целыми) коэффициентами от некоммутативных переменных.
Кс-грамматика есть совокупность правил подстановки, которые каждому нетерминальному символу 2. ставят в соответствие некоторый моном от терминальных и нетерминальных символов:
2, ® Мх 2),..., 2,- ® (x, 2),
где 21 - особый, выделенный символ - начальный символ предложения (или программы). Правилам подстановки ставится в соответствие [3] система полиномиальных уравнений: каждому вспомогательному символу 2,, содержащемуся в левой части подстановки сопоставляется уравнение 2. = р. (х, 2), где
р(х, 2) =£(х, 2) +... +/{Х, 2).
Таким образом, кс-грамматике соответствует система полиномиальных уравнений
2, = р, (х, 2),, =1, ..., т, (1)
и кс-языком называется [3; 4] первая компонента 2. решения (21(х), ., 2т(х)) этой системы полиномиальных уравнений, получаемого методом последовательных приближений:
2.(М) = р(х, 2(к)), 2.(0) = 0, I = 1, ., т,
(к) / (к) (к )\
где 2 = (2. ,..., 2т ), 0 - нулевой моном, такой, что
0-м = м-0 = 0 для любого монома и.
В результате итераций каждая компонента 2. выражается формальным степенным рядом, причем кс-язык и есть тот формальный степенной ряд, который представляет выделенный символ 21:
21 = Е< 2Р, (2)
.
где < 21, V. > - числовой коэффициент, с которым моном V. от некоммутативных переменных входит в ряд 21. Мономы V. являются грамматически правильными предложениями, которые могут быть построены в данном языке из слов х1, ., хп этого языка, а весь ряд (2), т. е. формальная сумма всех правильных предложений, и является данным кс-языком. Построение системы уравнений (1) по грамматическим правилам языка приведено выше, причем условие того, что язык является контекстно-свободным, состоит также и в том, что многочлены р.(х, 2) не содержат мономов 2. и е, где е - пустая цепочка. Таким образом, существование и единственность решения системы (1) обеспечивается ее специфической структурой в совокупности с методом последовательных приближений.
Рассмотрим общий случай, а именно ассоциированную с контекстно-свободными языками произвольную систему алгебраических (полиномиальных) уравнений:
q(x, 2) = 0, / = 1, ., т. (3)
Решением этой системы назовем выражение символов 2 в виде формальных степенных рядов от х, подстановка которых в многочлены д.(х, 2) обращает их в нуль. Нас интересует, каковы условия, при которых система (3) имеет такое решение, и способ получения искомых рядов.
Поставим в соответствие формальному степенному ряду (многочлену) ряд (многочлен) с комплексными переменными, задав отображение терминальных х. и нетерминальных 2. символов из множества X и 2 в множество комплексных переменных, причем за нетерминальными переменными 2. оставляем прежние обозначения, а терминальные символы х. отображаем в комплексные переменные 2. соответственно, тогда (х,2) е Стт++п. Таким образом, получаем фиксированный гомоморфизм, который ставит в соответствие формальному ряду (2) его коммутативный образ - степенной ряд от комплексных переменных
а(г) = Х ак2к
где
аь2 = аки
Л -кп
, кп 21 ... 21
а = Е <r, ^ >,
# х (н>1) = к,,...,# хп (н>1) = кп
символ #с(ё) означает число вхождений символа с в моном ё. Коммутативный образ кс-языка является алгебраической функцией, голоморфной в некоторой окрестности нуля, как показывают оценки коэффициентов степенного ряда.
Имеет место следующая теорема.
Теорема 1. Если выполнено условие
з = аск ^ (0,0)))* 0,
д2.
(4)
то система (3) имеет единственное решение в виде формальных степенных рядов, выражающих вектор-функцию 2 через компоненты вектора х.
Для доказательства заметим, что если формальные ряды 2 = 2(х) удовлетворяют системе уравнений д(х, 2) = 0 то выполняется условие
сг(д(х, а(2(х)))) = 0.
И хотя обратное неверно, условие (4) для якобиана 3 обеспечивает существование и единственность решения системы сг(д(х, 2)) = 0; обозначим это решение с/(2(х)). Учитывая, что условие (4) означает линейную независимость градиентов коммутативных образов многочленов, а также используя метод мономиальных меток, предложенный в [4], получаем, что это решение действительно является коммутативным образом некоторого решения исходной некоммутативной системы.
Далее, в силу невырожденности матрицы Якоби в начале координат, можно сделать линейную замену переменных 2, в результате которой эта матрица становится единичной, что и приводит систему (3) к виду (1), в результате чего ее можно решать методом последовательных приближений. Искомые ряды равны линейной комбинации получаемых рядов.
Рассмотрим теперь системы линейных алгебраических уравнений над некоммутативным кольцом, тесно свя-
к
занные с линейными языками [1]. Возможные методы решения этих систем в виде рядов должны учитывать как некоммутативность переменных по умножению, так и отсутствие операции деления в кольце W Нам понадобятся некоторые определения.
Ь-операторами называются отображения
Я (її- (2И )) =
= ЯР (X Іі,п,кЬі,п,к (2п ) ^.
При этих обозначениях и условиях имеет место следу-
Ь : W ® W, действие которых заключается в умножении ющая теорема.
элемента кольца Ш слева и справа на некоторые мономы I и г: Ь(2) = I • 2 • г • Ь(2) = I • 2 • г.
Основные свойства Ь-операторов:
1) Ь(а21 + р 22) = Ь(а21) + Ь(Р22) - линейность;
Теорема 2. Порядок п системы линейных алгебраических уравнений можно понизить до —1, если существует такая вершина г, которая смежная всем остальным вершинам п. Каждому ребру, инцидентному вершине г, со-
2) если " Ь (2) = 112г1 "и Ь2 (2) = 122г2, то ответствует одно уравнение новой системы. Очевидно,
Ь (Ь2 (2)) = Ь (122г2) = /1/22ггг1 = Ь3 (2) - композиция что таких ребер будет п - 1, следовательно, и порядок
Ь-операторов является Ь-оператором.
новой системы будет п - 1 (при выполнении условий те-
Уравнение$2,, ..., 2т) = g(2l,2) называется приве- оремы для одной вершины граф инцидентности имеет денным, если не существует такого /.-оператора К, что ВИЛ например такой, как на рисунке).
= ->0)*8(2і> ■■;0 = к(81(2р ->2Л
Если уравнение не является приведенным, то его можно
привести к эквивалентному, отбросив оператор Я.
Система линейных алгебраических уравнений порядка п над некоммутативным кольцом имеет вид
X 11,иЬ1,и (21 ) + X11,2,кЬ1,2,к (22 ) + к +
+1 11,П,кЬ1,П,к (2п ) X ф1,кФ1,к , к к
X 12,1,кЬ2,1,к (21 ) + X 12,2,кЬ2,2,к (22 ) + к + к к
+Х 12,п,кЬ2,п,к (2п ) = X ф2,кФ2,к ,
X 1п,1,кЬп,1,к (21 ) + X 1п,2,кЬп,2,к (22 ) + к +
к к
+Х. 1п,п,кЬп,п,к (2п ) = X фп,кФи,к,
Граф инцидентности вершины г
В случае выполнения условий теоремы 2 полученная система запишется в виде
'X Фг,кФг,к -X 1гХкЬг,1,к (21 )-^
к к
где I.. к , ф.к - действительные коэффициенты; ЬР к (2) -Ь-операторы; Фр к - мономы. Можно считать, что все уравнения системы являются приведенными.
Покажем, как исключать из данной системы одно неизвестное и одно уравнение. Исключаем, например, неизвестное 2 . Для каждого уравнения системы оставим все слагаемые с 2 в левой части, а все остальные слагаемые перенесем в правую часть, переписав систему в виде
Xі! п,кЬ1,п,к (2п ) =
к
= X ф1кФ1.* — X 11.1.кЬ1,1,к (21 ) — ■■■ — X 11,п-1,кЬ1,п-1,к (2п-1 ), к к к
X 12,п,кЬ2,п,к (2п ) = к
= X ф2,кФ2,к — X 12,1,кЬ2,1,к (21 ) — ... — X12,п—1,кЬ2,п—1,к (2п—1 ),
к к к
X і . (г) =
п,п,к п,п,к \ п /
к
= X Фп,кФп,к — X 1п,1,кЬп,1,к (21 ) — ... —У, 1п,п—1,кЬп,п—1,к (—1 ). к к к
Построим граф с п вершинами, .-я вершина которого
соответствует XпкЬпк (2п ) . Вершины . и і инцидент-
к
ны, если существуют такие Ь-операторы ЯР и Я , что выполняется равенство
Я
=Я
Я
=Я
Я,
= Яп
••• X 1г,п—1,кЬгп—1,к (2п —1 ) к
X Ф1,к Ф1,к—X кики (21)— к к
— к — X 11,п—1,кЬ1,п—1,к (2п—1 ) к
X фг,кФг,к — X1,1,кЬг,1,к (21 ) — к к
— к — X1 ,п—1,кЬг,п—1,к (2п—1 )
X ф2,кФ2,к X 12,1,кЬ2,1,к (21 )
к к
— к — X 12,п—1,кЬ2,п—1,к (п —1 )
к
'X фг ,к Фг ,к — X1,1, кЬг ,1,к (21 )_^ к к
— к — X1 ,п—1,кЬг,п—1,к (п —1 ) к
X фп,кФп,к — X ^п,1,кЬп,1,к (21 )_ к к
• " X X 1п,п—1,кЬп,п—1,к (п —1 )
Используя свойство линейности Ь-оператора, преобразуем эту систему к виду
к
XФгЛл (Fr,k)-Xlr,l,kRr,l (4,1,к (Zl))-
к к
— K — X lr,n-l,kRr,1 (4,n-l,k (Zn-1 )) _
к
= XФЛ (Fl,k ) - Xll,l,kRl,r (4u (Zl)) -
к к
— K — X ll,n-l,kRl,r (Ll,n-l,k (Zn-1 )),
к
XФЛ (Fr,k)-Xlr,l,kRr,2 (4,l,k (Zl))-
к к
— K — X lr,n-l,kRr,2 (Lr,n-l,k (Zn-1 )) =
к
= X ф2,kR2,r (Ф2,к ) —X l2,l,kR2,r (4,1,к (Z1 )) “ к к
— K — X l2,n-l,kR2,r (4,и-l,k (Zn-1 )),
к
X Фг,kRr,n (Фг,k ) — X lr,1,kRr,n (4,l,k (Z1 )) — к к
— K — X lr,n-l,kRr,n (4,n-l,k (Zn-1 )) _
к
= X Фп,^п,г (фи,к ) — X ln,l,kRn,r (4,l,k (Z1 )) " к к
— K — X ln,n-l,kRn,r (4,и-1,к (Zn-1 ))'
Так как композиция ^-операторов есть Х-оператор, то полученная система является системой линейных алгебраических уравнений (над некоммутативным кольцом), ее порядок равен п - 1. Тем самым порядок системы понижен на единицу, исключена неизвестная 2п.
Библиографический список
1. Глушков, В. М. Алгебра, языки, программирование / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. Киев : Наукова думка, 1974.
2. Семенов, А. Л. Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик / А. Л. Семенов // Докла ды АН СССР. 1973. Т. 212. С. 50-52.
3. Сафонов, К. В. О возможности вычислительного распознавания контекстно-свободных языков / К. В. Сафонов // Вычислительные технологии. 2005. Т. 10. № 4. С. 91-98.
4. Сафонов, К. В. О синтаксическом анализе и проблеме В. М. Глушкова распознавания контекстно-свободных языков Хомского / К. В. Сафонов, О. И. Егорушкин // Вестн. Том. гос. ун-та. Прил. 2006. № 17. С. 63-66.
O. I. Egorushkin, D. A. Kalugin-Balashov, K. V. Safonov
ON SYSTEM SOLVABILITY OF NON-COMMUTATIVE ALGEBRAIC EQUATIONS GERATED CONTEXT CONTEXT-FREE LANGUAGES
Systems of algebraic (polynominal) equations under non-commutative one relative to a multiplication ring are considered. The paper considers the solvability condition of such systems as formal power series, systems of linear algebraic equations. The reduction possibility of the system degree was investigated for such equations. The given systems generalize features of equation systems determining context-free and linear languages.
Keywords: context-free languages, system of algebraic equations, not-commutative ring, not-commutative image, incident graph.
УДК 519.866
П. Н. Победаш
АСИМПТОТИЧЕСКИЙ АНАЛИЗ ДВУХКРИТЕРИАЛЬНОЙ МОДЕЛИ РЕАЛЬНЫХ ИНВЕСТИЦИЙ НА ОСНОВЕ Х-ІІІМ ОБРАЗОВЛПИЯ
Предлагается приложение 2-преобразования к асимптотическому анализу линейных многошаговых задач оптимального управления на примере двухкритериальной модели оптимизации реальных инвестиций предприятия с неограниченным количеством видов производимой продукции и/или спросом на нее на бесконечном горизонте планирования.
Ключевые слова: 2-преобразование, двухкритериальная модель оптимального управления, планирование инвестиций.
В данной работе рассматривается задача, обобщаю- тие имеет капитал К0. При этом государственный орган
щая задачу из работы [1] на случай двух критериев, ко- (ГО) для реализации инвестиционного проекта (ИП)
торую сформулируем следующим образом. Предприя- выделяет инвестиции не более величины 10 на приоб-
