О представлении подстановок в виде произведений транспозиции и полного цикла

Предлагается метод решения уравнений вида $g^{y_1}\cdot h\cdot g^{y_2}\cdot h\cdot\ldots\cdot g^{y_l}\cdot h\cdot g^{y_{l+1}}=\sigma$ в симметрической группе $\mathrm S_n$, где $h$ – транспозиция, $g$ – полный цикл, $\sigma\in\mathrm S_n$. Метод основан на построении всех множеств обобщённых инверсий нижней строки подстановки $\sigma$ с помощью системы булевых уравнений, ассоциированных с $\sigma$. Приведён пример решения уравнения в группе $\mathrm S_6$.