Вот смотрите как у них там записано
![$max(y'a|X'a=kX'e_n, a\in [0,1]^n)$ $max(y'a|X'a=kX'e_n, a\in [0,1]^n)$](https://dxdy-04.korotkov.co.uk/f/b/2/7/b27c8dde3cf02a0b29d3d9331ee4c86182.png)
это запись в матричной форме, но думаю понятно,

- это собственно искомый вектор,

- вектор из

единиц,

- скалярная константа.
В этой постановке вообще нет этих злополучных неравенств, но вместо них указана область определения.
Вычисляются они там методом обратной матрицы (m-simplex).
Но есть одна тонкость, не входящие в план переменные

могут принимать значения не только

, но и

, т.е. два фиксированных значения. Может это не просто область определения, а она используется и в решении.
-- 30.06.2018, 00:43 --Написано, что это
Цитата:
Such "bounded variables" problems
, я так понимаю как раз то, на что Вы
Someone и намекали. Значит это не просто область определения, видимо таким путём указаны эти ограничения, собственно это те же неравенства и есть + условия не отрицательности. (правда у меня , условия не отрицательности в явном виде не получились, может что то упустил).