java - 如何在 Java 中通过 JaCop 使用 SumInt？

Question

我一直在尝试学习 Jacop 来解决我的约束满足问题。除了 Api，我在网上找不到任何教程。

所以我试图测试它的方法是如何工作的。

例如使用 SumInt。我试图计算一个数字出现在列表中的次数。我怎样才能使用 JaCop 做到这一点？

就像我有一个包含这些数据的列表：10,20,10,30,10,50,40

我如何计算 10, 20 , 30 ,40 , 50 使用 JaCop 出现了多少次？这是我从在线 Api 页面获得的示例。但这看起来不像我想做的。

    Store store = new Store();
    IntVar a = new IntVar(store, "a", 1, 3); 
    IntVar b = new IntVar(store, "b", 1, 3); 
    IntVar c = new IntVar(store, "c", 1, 3); 
    IntVar sum = new IntVar(store, "sum", 1, 10); 
    IntVar[] v = {a, b, c}; 
    Constraint ctr = new SumInt(store,v, "==", sum); 
    store.impose(ctr);

Answer 1

您可以使用Count或Among约束。