[Choco] makeIntVarArray

Version imprimable

16/07/2012, 17h01
devhercule

[Choco] makeIntVarArray

Bonjour

J'utilise l'API Choco pour un problème de satisfaction de contraintes. Je suis débutante.

J'utilise makeIntVarArray dans mon code pour choisir des éléments à partir d'un autre tableau.
J'aimerais savoir comment retourner l'indice de l’élément retourné, par exemple à partir d'un tableau qui contient 30, 16, 32 et 28, le solveur me retourne 16 et 28, comment puis-je avoir leurs indices dans le tableau, c'est-à-dire 1 et 3 ?

Merci d'avance pour votre aide.
17/07/2012, 07h14
andry.aime

Bonjour,

Un exemple:

Code:

Arrays.asList(new Integer[] {30 , 16 , 32 , 28}).indexOf(16);

A+.

Merci pour l'aide mais ce n'est pas ce que je cherche, en fait j'ai un tableau et le solveur devrait me retourner les trois cases du tableau qui ont une somme égale à X.

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
 int somme = 13;
        int[] tab = new int[] {5, 8, 13, 2, 3, 9, 4};
 
 
            Model m = new CPModel();
            Solver s = new CPSolver();
 
            IntegerVariable[] res = Choco.makeIntVarArray("res", 3, tab);
            //m.addConstraint(Choco.allDifferent(res));
            m.addConstraint(Choco.eq(somme, Choco.sum(res)));
 
 
            s.read(m);
            s.solve();
            if (s.isFeasible())
            {
                int cpt =1;
                do
                {
                    System.out.print((cpt++)+ " - "+ somme+" = " + s.getVar(res[0]).getVal());
                    for (int i = 1; i < res.length; i++)
                    {
                        System.out.print(" + " + s.getVar(res[i]).getVal());
                    }
                    System.out.println();
                }
                while (s.nextSolution()!=false);
            } else
                System.err.println("Pas de solutions");

Je veux modifier alldifferent par un truc qui désigne l'indice de l’élément retourné dans le tableau tab.

17/07/2012, 10h30
wax78

Citation:

Envoyé par sophie12

Je veux modifier alldifferent par un truc qui designe l'indice de l'element retourné ds le tableau tab

Pourquoi tu veux modifier AllDifferent ??? Tu comptes te servir des index comme contraite en plus ?

La solution d'andry.Aime me semblait bien de prime a bord...
17/07/2012, 10h46
devhercule

parceque dans le cas ou j'ai un entiers qui se repete, exp 3,5,13,5 9, le 5 se répéte, avec alldifferent il sera pris une seule fois, or en réalité il doit être considerer deux fois,

Pour cela j'avais l'idée d'appliquer une contraintes sur l'indice de l’élément ds le tableau tab

En plus, les index peuvent me servir a assurer l'ordre des éléments sélectionnés et donc je pourrais m'en passer de alldifferent
17/07/2012, 11h10
devhercule

Mon problème est plus compliqué que celui la, mais si je resoud ce truc des indices je pourrais avancer :)
en fait je veux que le choix des élément soit dans l'ordre de leurs apparence dans le tableau tab
et le solveur tiendra comptes des redondances de valeur dans tab

je suppose que la récupération des indices sera une bonne piste
17/07/2012, 14h25
wax78

M'envoyez un message privé ne t'aidera pas... si j'avais put te donner réponse je l'aurais déja fait sur ce même forum.