Изменения

Другими словами, если строка, соответствующая аргументам функции <math>x_1, x_2, ..., x_k</math>, находится в <math>i</math>-й полосе, то функция возвращает значение, записанное в столбце сорта <math>j</math> для этой строки. Если же эта строка находится в другой полосе, то функция вернёт 0. Иллюстрация принципа работы функции <math>g_{ij}</math> приведена на рис. 2.

Поскольку изначальный столбец <math>(\sigma_{k + 1}, \sigma_{k + 2}, ..., \sigma_{n})</math> складывается из столбцов соответствующих сортов в полосах,

<math>f(x_1, x_2, ..., x_k, \sigma_{k + 1}, \sigma_{k + 2}, ..., \sigma_{n}) = g_{1j_1} \vee g_{2j_2} \vee ... \vee g_{pj_p}</math>,