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

更具体地说，"IlcStrictLexicographic(x, y)认为，从词典学的意义上讲，"x严格小于 "y。 这意味着存在 "i < size(x)，对于所有 "j < i、"x[j] = y[j]"和 "x[i] < y[i]"。

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