АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1981 г.

тройки в пределах периода для данной разности L 2 ~ L 1 , т . е . до тох пор, пока не больше периода. Когда это будем достигнуто, добавим число 2 к разности L 2 - L 1 - K и исследуем в пределах периода следующий набор троек с новой разностью. Мы проводили с помощью ЭИ,, исследование для всех четных к ЬО , т .е . исследовали тройки для 20 различных значений к . Количество значентг к , которые мы хотим проверять, обозначались н аш че^ез I I . Мы для всех наших величин берем начальные буквы I , Э » К , L , П , М по той причине, что лишь .ни машиной воспринимаются как целые, а не дробные, числа. ЭШ по нашей программе не только показывала, при каких { L 1 , L 2 , L 3 ) есть решения, но и пока­ зывала, какой неправильный орграф получится в случае, если нет решения: jc a t — x . 3 или . § 3 . Блок-схема и программа проверки существования решений Г/ Мы составили следующую блок-охему, спираясь на выше- сделаякый алгоритм (см .р и с .З ). По этой блок-схеме была сос­ тавлена программа на алгоритмическом языке P L - 1 , которая затем была в в е д е .а на ЭВМ ЕС - 1022. ПРОГРАММА. проверки, для каких троек ( М , 1 2 , L 3 ) длин слов /4? , А , А ъ существует решение. А : PROC OPTIOMS (МАТЫ) \ к = ф ; Н: U 1 = 2 ; Н 1 : U2 - Ы + * \ L 3 = L 1 + I 2 j K1=-L 1*1 К 2 ~ 2 « К 1 + Ь 2 ; К З - Ь З + 2 ' , T=> 2* /(i-2 - А ' 2 ~ 2 * Ы ЫЗ~Л /А+Л ; М 1 ~ 2 * К 1 ; М 2 = 2 * К З ; м з - 2 * Л З ; J - K 2 ; Н2 : D - М 3 -С / i f 3 < H 2 t h e m ъ о ; 3 - ^ 1 - э ; а о т о н з ; е м ъ * Z f - й - У 2 T H E M , ъ о ; Р И Т Е Ъ Т Т ^'реш ение ' ){Х(20)Л $ Х 1 Р ( 2 , , Р и т ГйАТА ( P 1 , L 2 , L 3 ) S K I P (2 ) d О ТО ИЗ] Е м 2); X F С - Mb T H EM Ъ о * PUT Е 7 ) 1 Т ( ‘ нет решения ') х з ( Ь£) , Х ( ± .3 ) ,А ) S K I Р (2 ) • p v r Ъ А Т А ( L 1 , L 2 , C 3 ) S K i P ( 2 ) - > - 68 -