82 допустимых последовательностей с небольшим значением функционала. На каждом этапе процесса решения требуется помнить множество полных последовательностей, остающихся для дальнейшего продолжения. Решением задачи является последовательность x={xs : j=l..N}. Решение является допустимой, если Vi G,(x) Хп допустимый начальный отрезок, если: V/ = l..w C,(%J=£g?/(xy)^g0,. (2.37) y=i Пусть задан начальный отрезок Хп. Значения функций G,(Xn) i=l..m являются параметрами начального отрезка, а (т+1)-мерный вектор с компонентами С,(Х) параметрами решения задачи корректировки планграфика. Пусть даны Х\ и Х2 п . мажорирует AT2 n (Л4 п>-Л'2п), если выполнены неравенства <7,(А4,,) G^X2^^), i=l..m (причем хотя бы одно из них строгое). В процессе итераций допустимые начальные отрезки упорядочиваются так, что: GofA'1,,) < < C,(A) <..., n=l..N, (2-38) тогда первый по порядку допустимый начальный отрезок длины N является искомым решением задачи корректировки. Пусть Wn множество всех допустимых отрезков длины п. Пусть W°n, W°n подмножества , такие, что: 2. ^3Хе lv'„ZaE 3. №°п и W'n ^1Гп,№о пп1Г'„ = 0 Процедура выделения в FFn всех начальных отрезков, принадлежащих FF°n, заключается в выполнении следующих шагов: 1. В Wn помечаются все начальные отрезки Xs п, для которыхЛ*п; |
Далее пп.2, 3, 4 циклически повторяются. Если на каком-то этапе процесса решения не останется ни одной допустимой последовательности с непустым или неисключенным родовым множеством, то процесс решения завершен и в качестве решения берется одна из рассмотренных полных допустимых последовательностей с небольшим значением функционала. На каждом этапе процесса решения требуется помнить множество полных последовательностей, остающихся для дальнейшего продолжения. Решением задачи является последовательность x={xj : j=l..N). Решение является допустимой, если Vi Gi(x) ,Х{,..., xn) начальный отрезок длины п. Хпдопустимый начальный отрезок, если V/ = 1..т £г.(Х ) = 2 &,-(*,•) ^ g°i (2-60) 7=1 Пусть задан начальный отрезок Хп. Значения функций Gi(Xn) i=l..m являются параметрами начального отрезка, а (т+ 1 )-мерный вектор с компонентами G[(Xn) параметрами решения задачи корректировки планграфика. Пусть даны Х1п и Х2п . Х]п мажорирует Х2п (Х\>-Х2п), если выполнены ь неравенства 1 2 *Gi(Xn) Gi(Xn)<0, i=l..m (причем хотя бы одно из них строгое) В процессе итераций допустимые начальные отрезки упорядочиваются так, что Go(Xn) S G0 (X2n) < Gi(^n) £ ..., n=l..N (2.61) тогда первый по порядку допустимый начальный отрезок длины N является искомым решением задачи корректировки. Пусть Wnмножество всех допустимых отрезков длины п. Пусть W°n, W°n подмножества W°n, такие, что 1. УУ» е 0", 3 Jf„ е => Y, |