Целочисленная минимизация дробно-сепарабельных функций

Для одного подкласса функций вида
$$ \biggl[\sum_{i=1}^n A_i(x_i)\biggr]\biggl[\sum_{i=1}^n B_i(x_i)\biggr]^{-1}, $$
где $x_i$ – неотрицательные целые, дан алгоритм минимизации с оценкой трудоемкости $O(n\ln n\ln u)$, где $u\equiv\max\limits_i x_i^*$, $x^*$ – точка минимума.