4. Декомпозиция
Жадным способом выделяем максимально длинные ожерелья из последовательности слева направо. Так как выявляются ожерелья максимальной длины, то выполняется условие
Ti не является "ожерельем". Второе условие вытекает из первого – если бы выполнялось
T_{i+1}\ ≥\ T_i , то
T_i\ T_{i+1} являлось бы ожерельем. Проверка произвольной последовательности на то, что она является ожерельем выполняется путем сравнения этой последовательности со всеми ее циклическими сдвигами. Частичное решение – разбиение последовательности на подпоследовательности вида (0…01…1) – дает 15 баллов.