SLP последовательность:

, 

, 

, 

Для шага 

 без ограничения общности можно считать 

, для этого при вычитании достаточно рассматривать абсолютную величину результата. Положим: 

 и 

.
Теорема. Для любой SLP последовательности 

 существует эквивалентная ей последовательность 

 , состоящая из тех же чисел, что 

, либо 

.
Если убрать случай 

, то резко сокращается пространство перебора.
Приведенную теорему необходимо проверить, т.к. я мог совершить ошибку. Первоначально мне показалось, что при переборе можно убрать вариант 

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

.