IlcLexicographic函数返回一个约束条件，该约束条件维护两个按词典顺序排列的数组。

更具体地说，"IlcLexicographic(x, y)认为 "x小于或等于词典意义上的 "y。 这意味着，两个数组相等，或者存在 i < size(x) 以至于所有 j < i、x[j] = y[j] 且 x[i] < y[i]。

请注意，两个数组的大小必须相同。