Сложность аддитивных вычислений семейств целочисленных линейных форм

Аддитивное вычисление семейства линейных форм может быть представлено последовательностью квадратных матриц $Q_1,\dots,Q_T$ ($Q_T$ равна единичной матрице, уменьшенной или увеличенной на 1 в одной из клеток). Сложность аддитивного вычисления есть минимальное число матриц в таком представлении. Доказано соотношение, связывающее сложности вычислений семейств линейных форм с матрицами коэффициентов $A$ и $A^T$. Библ. – 4 назв.