constraints - 配列のソートに制約を加える (Choco + java )

Question

電話サポートセンターの計画の問題に対するチョコソルバーを開発しようとしています。8時から20時までの12時間。

変数と制約:

• 従業員数 = 9
• 各従業員の最小および最大営業時間 (h および H)
• すべての従業員の営業時間: 42 時間 <= 合計時間 <= 42+C (私の場合、C は 2 に等しい)
• 時間ごとに働く従業員数の表 (表のサイズ = 12 )

私が作ることができない人を制約す​​る：

各従業員の厄介な時間の数を知ることができましたが、追跡時間に入れることはできません:/

結果は次のようになります。

最終結果

しかし、今まで私は今まで結果を得ました

それは一種の問題だと思います...私の命を救い、私のコードに欠けている制約を教えてください。

私のコード

  package projetppc;

import java.util.Arrays;
import javax.swing.SortingFocusTraversalPolicy;
import org.chocosolver.solver.Model;
import org.chocosolver.solver.Solution;
import org.chocosolver.solver.variables.IntVar;

public class ProjetPPC {

    public void modelAndSolve() {

        int k = 9;
        int htpj = 12;
        int h = 4;
        int H = 6;
        int C = 2;
        int HT = 42;

        Model model = new Model(k + "- CAT");

        int[] numOfemp = {1, 2, 4, 5, 5, 4, 5, 5, 3, 4, 2, 2};

        IntVar[][] matrix = new IntVar[k][htpj];

        for (int i = 0; i < k; i++) {
            for (int j = 0; j < htpj; j++) {
                matrix[i][j] = model.intVar("(" + i + "," + j + ")", 0, 1);

            }

        }


        model.arithm(matrix[0][0], "=", 1).post();

        int[] coeffs1 = new int[htpj];
        Arrays.fill(coeffs1, 1);

        // constraint 1 et 2
        for (int i = 0; i < k; i++) {
            model.scalar(matrix[i], coeffs1, "<=", H).post();
            model.scalar(matrix[i], coeffs1, ">=", h).post();
        }
        int[] coeffs2 = new int[k];
        Arrays.fill(coeffs2, 1);


        IntVar[][] inversematrix = new IntVar[htpj][k];
        for (int i = 0; i < k; i++) {
            for (int j = 0; j < htpj; j++) {
                inversematrix[j][i] = matrix[i][j];
            }

        }
        // constraint
        for (int i = 0; i < htpj; i++) {
            model.scalar(inversematrix[i], coeffs2, "=", numOfemp[i]).post();

        }

        // constraint
        IntVar[] alltable = new IntVar[k * htpj];

        for (int i = 0; i < k; i++) {
            for (int j = 0; j < htpj; j++) {
                alltable[(htpj * i) + j] = matrix[i][j];
            }
        }

        int[] coeffs3 = new int[k * htpj];
        Arrays.fill(coeffs3, 1);
        model.scalar(alltable, coeffs3, ">=", HT).post();
        model.scalar(alltable, coeffs3, "<=", HT + C).post();




        // solution
        Solution solution = model.getSolver().findSolution();
        if (solution != null) {
            for (int i = 0; i < k; i++) {

                System.out.println("employé " + i + " " + Arrays.toString(matrix[i]));

            }


        } else {

            System.out.println("Pas de solution.");
        }
    }

     public static void main(String[] args) {
        new ProjetPPC().modelAndSolve();
    }
}