Datalog-查找重复项

Question

我想创建一个约束来过滤nxn矩阵中的所有重复行，其中每个字段都由0或1组成。该矩阵最多可以是10x10行和列。例如，我们有以下4x4矩阵：

0 1 0 1

1 1 1 0

0 1 0 1

1 0 1 1

那么第1行和第3行将是相同的，这应该是不可能的。关于这个问题，我已经考虑了4个小时了，但是没有任何收获。

有人能给我点提示吗？

Answer 1

正如前面提到的，您不能“只是”让行(1,0,1,1)在数据记录关系中出现两次。当然，问题是数据记录关系存储集合，而不是元素的列表或多集。解决这个问题的最好方法是添加额外的数据来跟踪行出现的频率，以将矩阵视为从索引到值的映射。您可以尝试执行以下操作：

myUnorderedMultiset[x,y,z,w]=count -> int(x), int(y), int(z), int(w), int(count).

或

myMatrix[rowIndex, columnIndex] = value -> int(rowIndex), int(columnIndex), int(value).