.. _optimize:
*****************************
Optimizing with Artelys Kalis
*****************************
In this section, you will find all relevant information to perform optimization
with Artelys Kalis. This includes:
* how to define an objective function and associate it to a problem ;
* how to start the optimization process ;
* how to limit the tree search algorithm in order to obtain acceptable computation times;
* how to specify tolerances for the optimality of the solution ;
* how to get statistics about the solving process.
All features are going to be illustrated by a simple scheduling example.
A scheduling problem with time windows
======================================
This problem will be used as example throughout this chapter. We will briefly describe how to build the problem using classes which have been described in the previous chapter and then explore in depth the optimization techniques available in Artelys Kalis.
Let us assume that you are in charge of a project composed of seven tasks, each of them being mandatory. Each task has a duration, a release date and a due date. The objective is to carry this project through to a successful conclusion as soon as possible, by deciding the start date of each task: the start date of each task is a *decision variable* of the problem.
Here are the *constraints* that must be taken into account:
* Each task must begin after its release date.
* Each task must be finished before its due date.
* The last task is the delivery date of the project: all six other tasks must be finished before the last one begins.
* Some tasks cannot begin before another task has ended. These are: task 1 and 2 cannot be started before task 0 has finished, task 4 must be started after the end of task 2, task 5 cannot start before task 1 has ended and finally task 3 can take place only after the end of task 4. We call these constraints *precedence constraints*.
* One can do only one task at a time: for each couple of tasks which could be performed at the same time considering the constraints which we have already stated, we add a *disjunction constraint* forbidding it. These couples are tasks 1 and 2, 4 and 5, 1 and 4, 2 and 5, 3 and 5, 1 and 3.
*“Carrying the project to successful conclusion as soon as possible”* means ending the last task as early as possible. This is equivalent to *start it as early as possible*. So not only do we have to find a start date for each task in such a way that all constraints are satisfied (*solve the problem*), but we must choose one solution, among all of them, which *minimizes* the start date of the last task. This is what we call *optimizing* the problem, and the start date of the last task is the *objective* which we try to minimize.
In the following sections, we show how Artelys Kalis can be used to perform such optimizations within a C++, Python or Java program.
Building the problem
====================
If you have not read :ref:`Chapter 3, “Solving a constraint problem” `, we recommend that you do so before carrying on with this chapter. Below we use concepts and classes which have been explained in :ref:`Chapter 3 `.
Here are some variables we declare at the beginning of our program to make it more concise in the reminder.
.. tabs::
.. code-tab:: c++
int nbTasks = 7;
int releaseDates[7] = {0,4,0,6,3,7,0};
int dueDates[7] = {4,9,3,12,12,20,30};
int durations[7] = {2,2,1,4,3,5,0};
.. code-tab:: py
nbTasks = 7
releaseDates = [0,4,0,6,3,7,0]
dueDates = [4,9,3,12,12,20,30]
durations = [2,2,1,4,3,5,0]
.. code-tab:: java
int nbTasks = 7;
int[] releaseDates = {0,4,0,6,3,7,0};
int[] dueDates = {4,9,3,12,12,20,30};
int[] durations = {2,2,1,4,3,5,0};
.. tabs::
.. code-tab:: c++
int nbPrecedence = 5;
int precedencesFirstElements[5] = {0,0,2,1,4};
int precedencesSecondElements[5] = {1,2,4,5,3};
.. code-tab:: py
nbPrecedence = 5
precedencesFirstElements = [0,0,2,1,4]
precedencesSecondElements = [1,2,4,5,3]
.. code-tab:: java
int nbPrecedence = 5;
int[] precedencesFirstElements = {0,0,2,1,4};
int[] precedencesSecondElements = {1,2,4,5,3};
.. tabs::
.. code-tab:: c++
int nbDisjunctions = 6;
int disjunctionsFirstElements[6] = {1,5,1,2,5,1};
int disjunctionsSecondElements[6] = {2,4,4,5,3,3};
.. code-tab:: py
nbDisjunctions = 6
disjunctionsFirstElements = [1,5,1,2,5,1]
disjunctionsSecondElements = [2,4,4,5,3,3]
.. code-tab:: java
int nbDisjunctions = 6;
int[] disjunctionsFirstElements = {1,5,1,2,5,1};
int[] disjunctionsSecondElements = {2,4,4,5,3,3};
For the tasks, we have declared:
* their number: :cpp:var:`nbTasks` ;
* their release dates: :cpp:var:`releaseDates` ;
* their due dates: :cpp:var:`dueDates` ;
* their durations: :cpp:var:`durations`.
For the precedence constraints, we have declared:
* their number: :cpp:var:`nbPrecedence` ;
* the tasks to be performed first for each constraint: :cpp:var:`precedencesFirstElements` ;
* the tasks to be performed second for each constraint: :cpp:var:`precedencesSecondElements`.
Therefore, for the i\ :sup:`th` precedence constraint, the task :cpp:var:`precedencesFirstElements[i]` must be performed before the task :cpp:var:`precedencesSecondElements[i]`. Note that the tasks are numbered from 0 to 6.
For the disjunction constraints, we have declared:
* their number: :cpp:var:`nbDisjunctions` ;
* the tasks that cannot be performed at the same time: :cpp:var:`disjunctionsFirstElements` and :cpp:var:`disjunctionsSecondElements`.
The i\ :sup:`th` disjunction constraint will state that the tasks :cpp:var:`disjunctionsFirstElements[i]` and :cpp:var:`disjunctionsSecondElements[i]` cannot be performed at the same time.
Now we can construct the Artelys Kalis objects to state our scheduling problem:
.. tabs::
.. code-tab:: c++
KProblem scheduling(session, "Scheduling");
KIntVarArray startDates(scheduling,7,0,100,"StartDate");
.. code-tab:: py
scheduling = KProblem(session, "Scheduling")
startDates = KIntVarArray(scheduling, 7, 0, 100, "StartDate")
.. code-tab:: java
KProblem scheduling = new KProblem(session, "Scheduling with time windows");
KIntVarArray startDates = new KIntVarArray(scheduling,7,0,100,"StartDate");
Here we have built our ``KProblem`` object :cpp:var:`scheduling` and the ``KIntVarArray`` :cpp:var:`startDates` that contains the seven decision variables representing the start dates of each task. These start dates can be between 0 and 100. We can then add the constraints to our problem. These are the constraints stating that “each task must begin after its release date” and that “each task must end before its due date”:
.. tabs::
.. code-tab:: c++
for(taskIndex=0; taskIndex < nbTasks; taskIndex++)
{
scheduling.post(startDates[taskIndex] >= releaseDates[taskIndex]);
scheduling.post(startDates[taskIndex] + durations[taskIndex] <= dueDates[taskIndex]);
}
.. code-tab:: py
for taskIndex in range(nbTasks):
scheduling.post(startDates[taskIndex] >= releaseDates[taskIndex])
scheduling.post(startDates[taskIndex] + durations[taskIndex] <= dueDates[taskIndex])
.. code-tab:: java
for(taskIndex=0; taskIndex < nbTasks; taskIndex++)
{
scheduling.post(new KGreaterOrEqualXc(startDates.getElt(taskIndex), releaseDates[taskIndex]));
scheduling.post(new KLessOrEqualXc(startDates.getElt(taskIndex), dueDates[taskIndex] - durations[taskIndex]));
}
These are the constraints stating that “each of the six first tasks must end before the last task may start”:
.. tabs::
.. code-tab:: c++
for(taskIndex=0; taskIndex < nbTasks-1; taskIndex++)
{
scheduling.post(startDates[taskIndex] + durations[taskIndex] <= startDates[nbTasks-1]);
}
.. code-tab:: py
for taskIndex in range(nbTasks - 1):
scheduling.post(startDates[taskIndex] + durations[taskIndex] <= startDates[nbTasks - 1])
.. code-tab:: java
for(taskIndex=0; taskIndex < nbTasks-1; taskIndex++)
{
scheduling.post(new KGreaterOrEqualXyc(startDates.getElt(nbTasks-1),startDates.getElt(taskIndex),durations[taskIndex]));
}
These are the precedence constraints:
.. tabs::
.. code-tab:: c++
for(taskIndex=0; taskIndex < nbPrecedence; taskIndex++)
{
scheduling.post(startDates[precedencesFirstElements[taskIndex]] + durations[precedencesFirstElements[taskIndex]] <= startDates[precedencesSecondElements[taskIndex]]);
}
.. code-tab:: py
for taskIndex in range(nbPrecedence):
scheduling.post(startDates[precedencesFirstElements[taskIndex]] + durations[precedencesFirstElements[taskIndex]] <= startDates[precedencesSecondElements[taskIndex]])
.. code-tab:: java
for(taskIndex=0; taskIndex < nbPrecedence; taskIndex++)
{
scheduling.post(new KGreaterOrEqualXyc(startDates.getElt(precedencesSecondElements[taskIndex]),startDates.getElt(precedencesFirstElements[taskIndex]),durations[precedencesFirstElements[taskIndex]]));
}
Finally, these are the disjunction constraints:
.. tabs::
.. code-tab:: c++
for(taskIndex=0; taskIndex < nbDisjunctions; taskIndex++)
{
scheduling.post((startDates[disjunctionsFirstElements[taskIndex]] + durations[disjunctionsFirstElements[taskIndex]] <= startDates[disjunctionsSecondElements[taskIndex]]) || (startDates[disjunctionsSecondElements[taskIndex]] + durations[disjunctionsSecondElements[taskIndex]] <= startDates[disjunctionsFirstElements[taskIndex]]));
}
.. code-tab:: py
for taskIndex in range(nbDisjunctions):
scheduling.post((startDates[disjunctionsFirstElements[taskIndex]] + durations[disjunctionsFirstElements[taskIndex]] <= startDates[disjunctionsSecondElements[taskIndex]]) || (startDates[disjunctionsSecondElements[taskIndex]] + durations[disjunctionsSecondElements[taskIndex]] <= startDates[disjunctionsFirstElements[taskIndex]]))
.. code-tab:: java
for(taskIndex=0; taskIndex < nbDisjunctions; taskIndex++)
{
scheduling.post(new KDisjunction(
new KGreaterOrEqualXyc(startDates.getElt(disjunctionsSecondElements[taskIndex]), startDates.getElt(disjunctionsFirstElements[taskIndex]),durations[disjunctionsFirstElements[taskIndex]]),
new KGreaterOrEqualXyc(startDates.getElt(disjunctionsFirstElements[taskIndex]),startDates.getElt(disjunctionsSecondElements[taskIndex]), durations[disjunctionsSecondElements[taskIndex]])));
}
Adding an objective
===================
The *objective* of an optimization problem is a decision variable that we try to minimize (or to maximize). Here our objective is simply made up of the start date of the last task (:cpp:var:`startDates[6]`).
We can specify the objective variable by calling the :cpp:var:`setObjective` method:
.. tabs::
.. code-tab:: c++
scheduling.setObjective(startDates[6]);
.. code-tab:: py
scheduling.setObjective(startDates[6])
.. code-tab:: java
scheduling.setObjective(startDates.getElt(6-1));
We wish to minimize this objective. The minimization is the default sense for the optimization, but we could also specify it by using the :cpp:var:`setSense` method:
.. tabs::
.. code-tab:: c++
scheduling.setSense(KProblem::Minimize);
.. code-tab:: py
scheduling.setSense(KProblem.Minimize)
.. code-tab:: java
scheduling.setSense(KProblem.Sense.Minimize);
Another example: if we wish to maximize the time interval between the start date of task 0 and the start date of task 3, we would have written:
.. tabs::
.. code-tab:: c++
KIntVar varObj;
scheduling.post(varObj == startDates[3]-startDates[0]);
scheduling.setObjective(varObj);
scheduling.setSense(KProblem::Maximize);
.. code-tab:: py
varObj = KIntVar(scheduling, "obj")
scheduling.post(varObj == startDates[3] - startDates[0])
scheduling.setObjective(varObj)
scheduling.setSense(KProblem.Maximize)
.. code-tab:: java
KIntVar varObj = new KIntVar(scheduling,"varObj");
// *** create the linear combination 1 * startDates[3] - 1 * startDates[0]
KLinTerm linearTerm = new KLinTerm();
linearTerm.add(startDates.getElt(3),1);
linearTerm.add(startDates.getElt(0),-1);
// *** add the linear combination equality startDates[3] - 1 * startDates[0] - varObj == 0
KNumVarArray intVarArrayToSet = linearTerm.getLvars();
KDoubleArray coeffsToSet = linearTerm.getCoeffs();
intVarArrayToSet.add(varObj);
coeffsToSet.add(-1.0);
scheduling.post(new KNumLinComb("",coeffsToSet,intVarArrayToSet,0,KNumLinComb.LinCombOperator.Equal));
scheduling.setObjective(varObj);
scheduling.setSense(KProblem.Sense.Maximize);
Controlling the search
======================
Searching for solutions is performed by the mean of a *tree search* algorithm. We can see this algorithm as the construction of a *tree* whose nodes represent states of the decision
variables *domains*. The tree search algorithm looks for nodes where these domains are restricted to unique values satisfying the constraints.
Although the propagation engine and the search-tree exploration algorithm are very effective, it could happen that the number of nodes in the search-tree becomes huge, making the optimization process too long and/or using all the memory. This is an inherent characteristic of all scientific methods solving general combinatorial problems: the mathematical theory of NP-Completeness tells us that all methods encounter such problems. In order to control this
behavior, Artelys Kalis allows you to *limit* the search in several ways:
* setting a maximum computation time, in seconds: the search process will stop as soon as the computation time exceeds this maximum ;
* setting a maximum number of nodes to explore: the search process will stop as soon as the number of explored nodes exceeds this threshold ;
* setting a maximum number of solutions: the search process will stop as soon as this number of admissible, but perhaps non-optimal, solutions found is reached ;
* setting a maximum depth for the search-tree: the branch-and-bound will not explore nodes of the search-tree deeper than this maximum depth ;
* setting a maximum number of backtracks\ [#f1]_ for the exploration of the search-tree: the search process will stop as soon as this number of backtracks is exceeded.
Of course, while optimizing, these limits may be reached only if the optimal solution has not been found before.
These limits are set through *control parameters* stored in the ``KSolver`` object that we will use in order to optimize our problem. Some other classes hold control parameters in Artelys Kalis
and the way to use them will always be the same. There are two different types of parameters:
* *double* parameters are encoded as C++ :cpp:type:`double` variables ; they can be written with the :cpp:func:`setDblControl` method and read with the :cpp:func:`getDblControl` method ;
* *integer* parameters are encoded as C++ :cpp:type:`int` variables ; they can be written with the :cpp:func:`setIntControl` method and read with the :cpp:func:`getIntControl` method.
Here is the declaration and construction of the ``KSolver`` object that we will use to optimize our problem:
.. tabs::
.. code-tab:: c++
KSolver mySolver(scheduling);
.. code-tab:: py
mySolver = KSolver(scheduling)
.. code-tab:: java
KSolver schedulingSolver = new KSolver(scheduling);
Of course this scheduling example is straightforward and we do not need to limit the search process in any way. In this case Artelys Kalis will find the optimal solution almost immediately. But if you want to test these search limiting possibilities, here is an example of the code you could write:
.. tabs::
.. code-tab:: c++
mySolver.setIntControl(KSolver::MaxNumberOfNodes,5);
mySolver.setIntControl(KSolver::MaxNumberOfSolutions,3);
.. code-tab:: py
mySolver.setIntControl(KSolver.MaxNumberOfNodes, 5)
mySolver.setIntControl(KSolver.MaxNumberOfSolutions, 3)
.. code-tab:: java
mySolver.setIntControl(KSolver.IntControl.MaxNumberOfNodes, 5);
mySolver.setIntControl(KSolver.IntControl.MaxNumberOfSolutions, 3);
Here we have limited the search to 5 nodes and to 3 admissible solutions. Note that as for the ``KSolution`` attributes (see :ref:`Chapter 3 `), controls are accessed through the :cpp:func:`set` methods
with an integer parameter whose value is stored in the ``KSolver`` class with a comprehensive identifier. :cpp:any:`MaxNumberOfNodes` and :cpp:any:`MaxNumberOfSolutions` are such identifiers. The identifiers for the maximum depth, for the maximum computation time and for the maximum number of backtracks are respectively :cpp:any:`MaxDepth`, :cpp:any:`MaxComputationTime` and :cpp:any:`MaxNumberOfBacktracks`.
Control parameters in Artelys Kalis always have a *default value*. In the case of the limiting controls, this value is –1 and means: no limit. For example, if we had written:
.. tabs::
.. code-tab:: c++
double maxTime = mySolver.getDblControl(KSolver::MaxComputationTime);
.. code-tab:: py
maxTime = mySolver.getDblControl(KSolver.MaxComputationTime)
.. code-tab:: java
double maxTime = mySolver.getDblControl(KSolver.DblControl.MaxComputationTime);
Here :cpp:any:`maxTime` would have received the value –1, because we have not set any maximum computation time.
Optimality tolerance
====================
Sometimes it is not worth searching for the *very best* solution (exact optimization). If retrieving a *good* solution (approximate optimization) meets your needs it is very important to store this information in the ``KSolver`` object. This may leads to avoid the exploration of a great number of nodes thereby reducing significantly computation time.
Two control parameters specify what is considered to be a good solution. Both are based on the fact that, at each node of the search tree, the solver knows an upper and a lower *bound* of the objective value. In maximization (respectively in minimization) the quality of the current best solution is as good as the objective value is close to the upper (respectively lower) bound. The two control parameters set a limit on this quality.
The first control is :cpp:any:`KSolver::OptimalityTolerance` and is a double control. If this value is set, the optimization algorithm will not expand nodes for which:
.. math::
upper\: bound\: –\: best\: solution\: objective\: value\: <\: OptimalityTolerance
and the minimization algorithm will not explore nodes for which:
.. math::
best\: solution\: objective\: value\: –\: lower\: bound\: <\: OptimalityTolerance
This tolerance is called an *absolute* tolerance. In our example, setting this control to 2 would state that “solutions in which the project ends two time units (hours) later than the minimum time are good solutions”.
The second control is :cpp:any:`KSolver::OptimalityRelativeTolerance` and is a double control. If this value is set, the maximization algorithm will not expand nodes for which:
.. math::
(upper\: bound\: –\: best\: objective)\: /\: best\: objective\: <\: OptimalityRelativeTolerance
and the minimization algorithm will not explore nodes for which:
.. math::
(best\: objective\: -\: lower\: bound)\: /\: lower\: bound\: <\: OptimalityRelativeTolerance
This tolerance is a *relative* tolerance.
Using parallel search
=====================
Artelys Kalis can benefit from shared memory multi-core architectures through multi-threaded search algorithms. These *parallel* search use multiple workers that explore different parts of the *search tree* in order to speed-up to the discovery of new solutions and pruning of suboptimal/infeasible nodes. Synchronization mechanisms have been implemented within Artelys Kalis in order to let the different workers communicate search information between
eachother (such as objective bounds, solution found events or search statistics). For optimization problems, performance speed-ups may sometimes be super-linear: a search with **n** workers may be more than **n** times faster than a search with only one worker.
Each worker operates on and modifies its own problem instance during the search. Therefore, it is necessary to create as many problem instances as the number of workers needed. In Artelys Kalis, it is possible to create multiple problem instances using the following syntax:
.. tabs::
.. code-tab:: c++
// *** Creation of a problem with n instances
KProblem problem(session,"MyProblem", n);
// *** Creation of the solver that will automatically use n workers
KSolver solver(problem);
.. code-tab:: py
# Creation of a problem with n instances
problem = KProblem(session,"MyProblem", n)
# Creation of the solver that will automatically use n workers
solver = KSolver(problem)
.. code-tab:: java
// Creation of a problem with n instances
KProblem problem = new KProblem(session,"MyProblem", n);
// Creation of the solver that will automatically use n workers
KSolver solver = new KSolver(problem);
The generation of variables and constraints remains identical and Artelys Kalis will automatically maintain **n** instances of the same problem. The default value for **n** is -1, which means that Kalis is in single-threaded mode. If **n** is set to 0, the number of ``KProblem`` instances generated correspond to number of logical cores available.
The ``KSolver`` object created using the multi-instance ``KProblem`` object will then automatically use **n** workers for the search.
Another way of controlling the number of search workers is to set the integer control :cpp:any:`KSolver::NumberOfThreads` to any specific value lower or equal to **n**.
Multiple modes of optimization
==============================
In applying the tree search algorithm in optimization mode, we are not interested in solutions for which the value of the objective is worse than or equal to the value of the objective of the best admissible solution that we have already found. The knowledge of such an admissible solution allows the algorithm to limit the search-tree size, by not expanding nodes for which the propagation engine has deduced that all potential solutions below these nodes are worse than the best one that we already know.
There are several available options for the search algorithm implemented in Artelys Kalis to take into account this knowledge:
* *Optimizing with branch-and-bound*: in this case, the search is not restarted when finding a better solution, but *goes on* with the nodes that it has explored. The additional constraint stating that the objective value must be better than the new value is added to each node which has not been expanded so far.
* *Optimizing with restarts*: in this case, as soon as Kalis finds a better solution than its best known solution (or as soon as it find its first solution), the search is restarted at the root node with an additional constraint stating that the objective value must now be better than the value of the objective for the last solution.
* *Dichotomic/binary objective search*: in this case, the objective domain is split into two subintervals and Kalis explores the most promising interval (lower interval in case of minimization, upper interval in case of maximization). If Kalis finds a solution, the *best known solution* value is updated, the objective domain is split again and the search is continued on the most promising subinterval. Otherwise, the *optimality bound* (best possible objective value for the optimal solution) is updated and the search is also restarted at the root node.
* *Parallel n-ary objective search*: this option is only available when using more than one worker to solve the problem (see previous section on parallel search). In this case, the objective domain is split into multiple subintervals and Kalis explores all subintervals simultaneously. Whenever a solution is found, the *best known solution* value is updated, the objective domain is split again and the search continues. Whenever a worker finishes its search on its assigned subinterval, the *optimality bound* (best possible objective value for the optimal solution) is updated and the search is restarted at the root node.
* *Combined search options*: it is possible to combine the restart option with binary and parallel n-ary search options. In this case, the search will be restarted everytime a new solution is found, using the corresponding objective domain splitting strategy.
There is no general rule to choose between these possibilities when optimizing a particular problem. By default the branch-and-bound algorithm is performed and you should not change this default value unless you have some good reasons to think that it is worthwhile to test the other algorithmic options.
As for the :cpp:func:`solve` method (see :ref:`Chapter 3 `), during the optimization process, the ``KSolver`` object stores in the ``KProblem`` all the solutions it has found as ``KSolution`` objects.
Here is the code to be used to perform an optimization with branch-and-bound:
.. tabs::
.. code-tab:: c++
int found = mySolver.optimize();
.. code-tab:: py
found = mySolver.optimize()
.. code-tab:: java
int found = mySolver.optimize();
The method :cpp:func:`optimize` of the ``KSolver`` class performs the tree search. It returns 1 if at least one solution has been found and 0 otherwise.
By default, the ``KSolver`` object will use the optimization with branch and bound. Therefore if we want to use the restart option, we should write:
.. tabs::
.. code-tab:: c++
mySolver.setIntControl(KSolver::NumberOfSolutionBetweenRestarts, 1);
int found = mySolver.optimize(false);
.. code-tab:: py
mySolver.setIntControl(KSolver.NumberOfSolutionBetweenRestarts, 1)
found = mySolver.optimize(False)
.. code-tab:: java
mySolver.setIntControl(KSolver.IntControl.NumberOfSolutionBetweenRestarts, 1);
found = mySolver.optimize(false);
For selecting the optimization search algorithm, we should set the appropriate value, 0 for branch and bound or 1 for binary search or 2 for parallel n-ary search, to the integer control :cpp:any:`KSolver::NumberOfSolutionBetweenRestarts`:
.. tabs::
.. code-tab:: c++
mySolver.setIntControl(KSolver::OptimizationAlgorithm, 1); // Dichotomy
int found = mySolver.optimize(false);
.. code-tab:: py
mySolver.setIntControl(KSolver.OptimizationAlgorithm, 1) # Dichotomy
found = mySolver.optimize(False)
.. code-tab:: java
mySolver.setIntControl(KSolver.IntControl.OptimizationAlgorithm, 1); // Dichotomic
found = mySolver.optimize(false);
Since we are only interested in the best solution, we can write:
.. tabs::
.. code-tab:: c++
KSolution bestSolution;
if (found)
{
bestSolution = scheduling.getBestSolution();
}
.. code-tab:: py
if found:
bestSolution = scheduling.getBestSolution()
.. code-tab:: java
KSolution bestSolution = new KSolution();
if (found)
{
bestSolution = scheduling.getBestSolution();
}
All the information about solutions that we could get when performing simple solving in :ref:`Chapter 3 ` can still be retrieved. These include the number of nodes explored, the computation time, etc. As in this example we put an objective in the problem, we can also get the value of this objective for this particular solution:
.. tabs::
.. code-tab:: c++
int lastTaskStartDate = bestSolution.getObjectiveValue();
.. code-tab:: py
lastTaskStartDate = bestSolution.getObjectiveValue()
.. code-tab:: java
int lastTaskStartDate = bestSolution.getObjectiveValue();
Finally, :cpp:var:`lastTaskStartDate` holds the best starting date for the last task of our project. By getting the solution values of all our decision variables, we could build the complete planning of the project:
.. tabs::
.. code-tab:: c++
int task0StartDate = bestSolution.getValue(startDates[0]);
.. code-tab:: py
task0StartDate = bestSolution.getValue(startDates[0])
.. code-tab:: java
int task0StartDate = bestSolution.getValue(startDates.getElt(0));
Getting some statistics about the optimization
==============================================
Once we have solved our problem, it can be useful to get some statistics about the optimization process. This is especially true when trying to find the best parameters of the solver for solving a particular problem, or a particular type of problem. In this case, several optimizations with distinct parameters have to be run, collecting statistics after each run is completed.
Statistics are also important when we apply some search limits and/or an optimality tolerance. In this case it is important to know if these limits and/or this tolerance are involved or not in the end of the algorithm. If not, then we either have found the *optimal* solution or *proved* that there is no solution. The search is said to be *complete*. On the other hand if the algorithm has stopped by reaching a user limit or has avoided to expand some nodes due to the optimality tolerance, we cannot be sure that our best solution is optimal (if we found some solution) nor that the problem is infeasible (if we did not find any solution). The search is said to be *incomplete*.
Basic statistics are:
* the total computation time, reachable through the double attribute :cpp:any:`KSolver::ComputationTime`
* the total number of nodes explored, reachable through the integer attribute :cpp:any:`KSolver::NumberOfNodes`
* the depth of the final search-tree, reachable through the integer attribute :cpp:any:`KSolver::Depth`
In order to know if some user limit has been reached during the optimization, the value of the integer attribute :cpp:any:`KSolver::SearchLimitReached` has to be checked. This attribute can have several integer values (enumerate structure), each of these having a comprehensive identifier in the ``KSolver`` class:
* :cpp:any:`KSolver::SearchLimitUnreached` if no limit has been reached ;
* :cpp:any:`KSolver::SearchLimitedByNodes` if the maximum number of nodes has been reached ;
* :cpp:any:`KSolver::SearchLimitedByDepth` if the maximum depth has been reached ;
* :cpp:any:`KSolver::SearchLimitedByTime` if the maximum computation time has been reached ;
* :cpp:any:`KSolver::SearchLimitedBySolutions` if the maximum number of admissible solutions has been reached.
If the value is different from :cpp:any:`KSolver::SearchLimitUnreached`, then the search is incomplete.
In order to know if the tolerances put by the user have influenced the algorithm, the value of the integer attribute :cpp:any:`KSolver::ToleranceLimitReached` has to be checked. This attribute can receive three distinct integer values, each of these having a comprehensive identifier in the ``KSolver`` class:
* :cpp:any:`KSolver::ToleranceLimitUnreached` if no tolerance had an influence ;
* :cpp:any:`KSolver::OptimalityToleranceReached` if some nodes have not been expanded due to the absolute optimality tolerance ;
* :cpp:any:`KSolver::OptimalityRelativeToleranceReached` if some nodes have not been expanded due to the relative optimality tolerance.
.. warning::
Many limits can be activated during the tree search but only the last one is kept and indicated by :cpp:any:`KSolver::ToleranceLimitReached` and :cpp:any:`KSolver::SearchLimitReached`.
Example summary
===============
Below is the complete program for optimizing the scheduling example:
.. tabs::
.. code-tab:: c++
int taskIndex;
// *** Description of datas
// *** Number of tasks in the project
int nbTasks = 7;
// *** Release date of each task ( each task cannot begin before its release date)
int releaseDates[7] = {0,4,0,6,3,7,0};
// *** Due date of each task ( each task cannot end after its due date )
int dueDates[7] = {4,9,3,12,12,20,30};
// *** Duration of eack task
int durations[7] = {2,2,1,4,3,5,0};
// *** Number of precedences constraints
int nbPrecedence = 5;
// *** First task of each precedence constraint
int precedencesFirstElements[5] = {0,0,2,1,4};
// *** Second task of each precedence constraint
// *** The ith precedence constraint assures that the precedenceFirstElements[i]
// *** task cannot start before the precedenceSecondElements[i] task has finished
int precedencesSecondElements[5] = {1,2,4,5,3};
// *** Number of disjunction constraints
// *** --> some tasks cannot be performed at the same time because they require
// *** the same resource
int nbDisjunctions = 6;
// *** First task of each disjunction constraint
int disjunctionsFirstElements[6] = {1,5,1,2,5,1};
// *** Second task of each precedence constraint
// *** --> The ith disjunction constraint assures that the
// *** disjunctionsFirstElements[i] task and the disjunctionsSecondElements[i]
// *** task are not performed at the same time
int disjunctionsSecondElements[6] = {2,4,4,5,3,3};
try {
// *** Creation of the Session
KSession session;
// *** Modeling of the problem
// *** Creation of the problem "Scheduling with time windows" in this Session
KProblem scheduling(session, "Scheduling with time windows");
// *** Declaration and creation of the array of integer variables startDates,
// *** with 7 integer variables whose lower bounds are 0 and upper bound is 100
// *** startDates[i] will be the start date of the ith task
KIntVarArray startDates(scheduling,7,0,100,"StartDate");
// *** Creation of the time windows constraints for each task,
// *** using overloaded '>=', '<=' and '+' operators
// *** Post of these constraints in the problem
for(taskIndex=0; taskIndex < nbTasks; taskIndex++)
{
scheduling.post(startDates[taskIndex] >= releaseDates[taskIndex]);
scheduling.post(startDates[taskIndex] + durations[taskIndex] <= dueDates[taskIndex]);
}
// *** Creation of the constraint: "The six first tasks must be completed
// *** before the last begins"
// *** Post of this constraint in the problem
for(taskIndex=0; taskIndex < nbTasks-1; taskIndex++)
{
scheduling.post(startDates[taskIndex] + durations[taskIndex] <= startDates[nbTasks-1]);
}
// *** Creation and post of the precedences constraints
for(taskIndex=0; taskIndex < nbPrecedence; taskIndex++)
{
scheduling.post(startDates[precedencesFirstElements[taskIndex]] + durations[precedencesFirstElements[taskIndex]] <= startDates[precedencesSecondElements[taskIndex]]);
}
// *** Creation and post of the disjunction constraints,
// *** using the '||' overloaded operator
for(taskIndex=0; taskIndex < nbDisjunctions; taskIndex++)
{
scheduling.post((startDates[disjunctionsFirstElements[taskIndex]] + durations[disjunctionsFirstElements[taskIndex]] <= startDates[disjunctionsSecondElements[taskIndex]]) || (startDates[disjunctionsSecondElements[taskIndex]] + durations[disjunctionsSecondElements[taskIndex]] <= startDates[disjunctionsFirstElements[taskIndex]]));
}
// *** Setting the objective "Objective function" for this problem,
// *** using an Objective object
// *** Problem::Minimize --> It's a minimization problem
// *** startDate[nbTasks-1] --> The variable to optimize: we try to minimize the
// *** start date of the last task
scheduling.setObjective(startDates[nbTasks-1]);
// *** Specification of the tree search controls to be used in the resolution
// *** algorithm
// *** Declaration and creation of the array of branching schemes
// *** It will contains the BranchingSchemes objects controlling the tree search
KBranchingSchemeArray myBranchingArray;
// *** Creation of an BranchingScheme object of type AssignVar,
// *** working on all the variables
// *** - SmallestMin: At each node it will choose between all the variables the
// *** one with the smallest lower bound
myBranchingArray += KAssignVar(KSmallestMin(),KMinToMax());
// *** Creation of the solver using our tree search controls for this problem
KSolver schedulingSolver(scheduling,myBranchingArray);
// *** Set controls of the solver
// *** schedulingSolver.setIntControl(Solver::MaxNumberOfNodes, 5);
// *** schedulingSolver.setIntControl(Solver::MaxNumberOfSolutions, 3);
// *** Show the controls of the solver
cout << "MaxNumberOfNodes = " << schedulingSolver.getIntControl(KSolver::MaxNumberOfNodes) << endl;
cout << "MaxNumberOfSolutions = " << schedulingSolver.getIntControl(KSolver::MaxNumberOfSolutions) << endl;
cout << "MaxDepth = " << schedulingSolver.getIntControl(KSolver::MaxDepth) << endl;
cout << "OptimalityTolerance = " << schedulingSolver.getIntControl(KSolver::OptimalityTolerance) << endl;
cout << "MaxComputationTime = " << schedulingSolver.getDblControl(KSolver::MaxComputationTime) << endl;
cout << "OptimalityRelativeTolerance = " << schedulingSolver.getDblControl(KSolver::OptimalityRelativeTolerance) << endl;
// *** Search for the solution minimizing the start date of the last task
// *** Solver::optimize(true) posts a cut a the root node of the search tree and
// *** restart the search
cout << endl << "Start optimization with restart" << endl;
schedulingSolver.optimize(true);
// *** Exploration of the solutions of the optimization with restart
// *** Print the number of solutions
cout << endl << "Optimize with restart, number of solutions = " << scheduling.getNumberOfSolutions() << endl;
// *** Get the last ( therefore the best ) solution and store it in a Solution
// *** object
KSolution solution = scheduling.getSolution();
// *** Print variables values for this solution
cout << "Optimize with restart, best solution:" << endl;
solution.print();
// *** Print the objective value
cout << "Optimize with restart, objective Value = " << solution.getObjectiveValue() << endl;
// *** Print global statistics about the resolution
cout << "Optimize with restart, solver computation time = " << schedulingSolver.getDblAttrib(KSolver::ComputationTime) << endl;
cout << "Optimize with restart, number of nodes = " << schedulingSolver.getIntAttrib(KSolver::NumberOfNodes) << endl;
cout << "Optimize with restart, depth = " << schedulingSolver.getIntAttrib(KSolver::Depth) << endl;
// *** Optimization without restart ( branch and bound )
// *** Search for the solution minimizing the start date of the last task
// *** Solver::optimize(false) use a branch and bound algorithm
cout << endl << "Start branch-and-bound" << endl;
schedulingSolver.optimize(false);
// *** Exploration of the solutions of the branch and bound
// *** Get of the last ( therefore the best ) solution and stockage of it in the
// *** solution object
solution = scheduling.getSolution();
// *** Print of the variables values for this solution
cout << endl << "Branch and bound, best solution:" << endl;
solution.print();
// *** Print of the objective value
cout << "Branch and bound, objective Value = " << solution.getObjectiveValue() << endl;
// *** Print of the number of solutions
cout << "Branch and bound, number of solutions = " << scheduling.getNumberOfSolutions() << endl << endl;
// *** Optimization without restart ( branch and bound ) with an additional
// *** constraint
// *** Addition of the constraint "Task 5 cannot start at the date 12" and
// *** optimize again
KConstraint c = (startDates[5] != 12);
scheduling.post(c);
// *** Search for the optimal solution
cout << "Start branch-and-bound with additional constraint (startDate[5] != 12)" << endl;
schedulingSolver.optimize(false);
// *** Informations about this optimization
solution = scheduling.getSolution();
cout << endl << "Branch-and-bound with additional constraint best solution: " << endl;
solution.print();
cout << "Branch-and-bound with additional, objective Value = " << solution.getObjectiveValue() << endl;
cout << "Branch-and-bound with additional, number of solution = " << scheduling.getNumberOfSolutions() << endl;
printf("End solving scheduling with time windows problem\n");
}
catch (ArtelysException &artelysException)
{
// *** An error occured
cout << "Exception " << artelysException.getCode() << " raised: " << artelysException.getMessage() << endl;
}
.. code-tab:: py
### Description of data ###
# Number of tasks in the project
nbTasks = 7
# Release date of each task ( each task cannot begin before its release date)
releaseDates = [0,4,0,6,3,7,0]
# Due date of each task ( each task cannot end after its due date )
dueDates = [4,9,3,12,12,20,30]
# Duration of eack task
durations = [2,2,1,4,3,5,0]
# Precedence constraints : the ith precedence constraint assures that the
# precedenceFirstElements[i] task cannot start before the precedenceSecondElements[i]
# task has finished.
# Number of precedences constraints
nbPrecedence = 5
# First task of each precedence constraint
precedencesFirstElements = [0,0,2,1,4]
# Second task of each precedence constraint
precedencesSecondElements = [1,2,4,5,3]
# Disjunction constraints: some tasks cannot be performed at the same time because they
# require the same resource. The ith disjunction constraint assures that the
# disjunctionsFirstElements[i] task and the disjunctionsSecondElements[i] task are not
# performed at the same time.
# Number of disjunction constraints
nbDisjunctions = 6
# First task of each disjunction constraint
disjunctionsFirstElements = [1,5,1,2,5,1]
# Second task of each precedence constraint
disjunctionsSecondElements = [2,4,4,5,3,3]
try:
# Creation of the Session
session = KSession()
### Modeling of the problem ###
# Creation of the problem "Scheduling with time windows" in this Session
scheduling = KProblem(session, "Scheduling with time windows")
# Declaration and creation of the array of integer variables startDates,
# with 7 integer variables whose lower bounds are 0 and upper bound is 100
# startDates[i] will be the start date of the ith task.
startDates = KIntVarArray(scheduling, 7, 0, 100, "StartDate")
# Creation of the time windows constraints for each task, using overloaded '>=',
#'<=' and '+' operators.
for taskIndex in range(nbTasks):
scheduling.post(startDates[taskIndex] >= releaseDates[taskIndex])
scheduling.post(startDates[taskIndex] + durations[taskIndex] <= dueDates[taskIndex])
# Creation of the constraint: "The six first tasks must be completed
# before the last begins".
for taskIndex in range(nbTasks - 1):
scheduling.post(startDates[taskIndex] + durations[taskIndex] <= startDates[nbTasks - 1])
# Creation and post of the precedences constraints
for taskIndex in range(nbPrecedence):
scheduling.post(startDates[precedencesFirstElements[taskIndex]] + durations[precedencesFirstElements[taskIndex]] <= startDates[precedencesSecondElements[taskIndex]])
# Creation and post of the disjunction constraints, using the '|' overloaded
# operator.
for taskIndex in range(nbDisjunctions):
scheduling.post((startDates[disjunctionsFirstElements[taskIndex]] + durations[disjunctionsFirstElements[taskIndex]] <= startDates[disjunctionsSecondElements[taskIndex]]) | (startDates[disjunctionsSecondElements[taskIndex]] + durations[disjunctionsSecondElements[taskIndex]] <= startDates[disjunctionsFirstElements[taskIndex]]))
# Setting the objective "Objective function" for this problem :
# It's a minimization problem
scheduling.setSense(KProblem.Minimize)
# The variable to optimize: we try to minimize the start date of the last task
scheduling.setObjective(startDates[nbTasks - 1])
# Specification of the tree search controls to be used in the resolution algorithm
# Declaration and creation of the array of branching schemes. It will contains the
# BranchingSchemes objects controlling the tree search.
myBranchingArray = KBranchingSchemeArray()
# Creation of an BranchingScheme object of type AssignVar, working on all the
# variables:
# - SmallestMin: At each node it will choose between all the variables the
# one with the smallest lower bound
# - KMinToMax: For a given variable, it will choose between all the values the
# lowest one. It helps choosing values in increasing order.
myBranchingArray += KAssignVar(KSmallestMin(),KMinToMax())
# Creation of the solver using our tree search controls for this problem
schedulingSolver = KSolver(scheduling, myBranchingArray)
# Set controls of the solver
# schedulingSolver.setIntControl(KSolver.MaxNumberOfNodes, 5)
# schedulingSolver.setIntControl(KSolver.MaxNumberOfSolutions, 3)
# Show the controls of the solver
print("MaxNumberOfNodes = %d" % schedulingSolver.getIntControl(KSolver.MaxNumberOfNodes))
print("MaxNumberOfSolutions = %d" % schedulingSolver.getIntControl(KSolver.MaxNumberOfSolutions))
print("MaxDepth = %d" % schedulingSolver.getIntControl(KSolver.MaxDepth))
print("OptimalityTolerance = %d" % schedulingSolver.getIntControl(KSolver.OptimalityTolerance))
print("MaxComputationTime = %d" % schedulingSolver.getIntControl(KSolver.MaxComputationTime))
print("OptimalityRelativeTolerance = %d" % schedulingSolver.getIntControl(KSolver.OptimalityRelativeTolerance))
# Search for the solution minimizing the start date of the last task.
# KSolver.optimize(true) posts a cut a the root node of the search tree and restart
# the search.
print("\nStart optimization with restart")
schedulingSolver.optimize(True)
# Exploration of the solutions of the optimization with restart
# Print the number of solutions
print("Optimize with restart, number of solutions = %d" % scheduling.getNumberOfSolutions())
# Get the last ( therefore the best ) solution and store it in a KSolution object.
solution = scheduling.getSolution()
# Print variables values for this solution
print("Optimize with restart, best solution:")
solution.display()
# Print the objective value
print("Optimize with restart, objective Value = %d" % solution.getObjectiveValue())
# Print global statistics about the resolution
print("Optimize with restart, solver computation time = %f" % schedulingSolver.getDblAttrib(KSolver.ComputationTime))
print("Optimize with restart, number of nodes = %d" % schedulingSolver.getIntAttrib(KSolver.ComputationTime))
print("Optimize with restart, depth = %d" % schedulingSolver.getIntAttrib(KSolver.ComputationTime))
# Optimization without restart (branch and bound)
# Search for the solution minimizing the start date of the last task
# KSolver.optimize(false) use a branch and bound algorithm
print("Start branch-and-bound")
schedulingSolver.optimize(False)
# Exploration of the solutions of the branch and bound
# Get of the last (therefore the best) solution and stockage of it in the solution
# object.
solution = scheduling.getSolution()
# Print of the variables values for this solution
print("Branch and bound, best solution:")
solution.display()
# Print the objective value
print("Optimize with restart, objective Value = %d" % solution.getObjectiveValue())
# Print of the number of solutions
print("Branch and bound, number of solutions = %d" % scheduling.getNumberOfSolutions())
# Optimization without restart (branch and bound) with an additional constraint.
# Addition of the constraint "Task 5 cannot start at the date 12" and optimize
# again.
additionalConstraint = (startDates[5] != 12)
scheduling.post(additionalConstraint)
# Search for the optimal solution
print("Start branch-and-bound with additional constraint (startDate[5] != 12)")
schedulingSolver.optimize(False)
# Information about this optimization
solution = scheduling.getSolution()
print("Branch-and-bound with additional constraint best solution: ")
solution.display()
print("Branch-and-bound with additional, objective Value = %d" % solution.getObjectiveValue())
print("Branch-and-bound with additional, number of solution = %d" % scheduling.getNumberOfSolutions())
print("End solving scheduling with time windows problem")
except ArtelysException as e:
# An error occured
print("Exception ", e.getCode(), " raised: ", e.getMessage())
.. code-tab:: java
try {
// *** Creation of the Session
KSession session = new KSession();
// *** Modeling of the problem
// *** Creation of the problem "Scheduling with time windows" in this Session
KProblem scheduling = new KProblem(session, "Scheduling with time windows");
// *** Declaration and creation of the array of integer variables startDates,
// *** with 7 integer variables whose lower bounds are 0 and upper bound is 100
// *** startDates[i] will be the start date of the ith task
KIntVarArray startDates = new KIntVarArray(scheduling,7,0,100,"StartDate");
// *** Creation of the time windows constraints for each task,
// *** Post of these constraints in the problem
for(taskIndex=0; taskIndex < nbTasks; taskIndex++)
{
scheduling.post(new KGreaterOrEqualXc(startDates.getElt(taskIndex), releaseDates[taskIndex]));
scheduling.post(new KLessOrEqualXc(startDates.getElt(taskIndex), dueDates[taskIndex] - durations[taskIndex]));
}
// *** Creation of the constraint: "The six first tasks must be completed
// *** before the last begins"
// *** Post of this constraint in the problem
for(taskIndex=0; taskIndex < nbTasks-1; taskIndex++)
{
scheduling.post(new KGreaterOrEqualXyc(startDates.getElt(nbTasks-1),startDates.getElt(taskIndex),durations[taskIndex]));
}
// *** Creation and post of the precedences constraints
for(taskIndex=0; taskIndex < nbPrecedence; taskIndex++)
{
scheduling.post(new KGreaterOrEqualXyc(startDates.getElt(precedencesSecondElements[taskIndex]),startDates.getElt(precedencesFirstElements[taskIndex]),durations[precedencesFirstElements[taskIndex]]));
}
// *** Creation and post of the disjunction constraints,
for(taskIndex=0; taskIndex < nbDisjunctions; taskIndex++)
{
scheduling.post(new KDisjunction(
new KGreaterOrEqualXyc(startDates.getElt(disjunctionsSecondElements[taskIndex]), startDates.getElt(disjunctionsFirstElements[taskIndex]),durations[disjunctionsFirstElements[taskIndex]]),
new KGreaterOrEqualXyc(startDates.getElt(disjunctionsFirstElements[taskIndex]),startDates.getElt(disjunctionsSecondElements[taskIndex]), durations[disjunctionsSecondElements[taskIndex]])));
}
// *** Setting the objective "Objective function" for this problem,
// *** using an Objective object
// *** Problem::Minimize --> It's a minimization problem
// *** startDate[nbTasks-1] --> The variable to optimize: we try to minimize the
// *** start date of the last task
scheduling.setObjective(startDates.getElt(nbTasks-1));
// *** Specification of the tree search controls to be used in the resolution
// *** algorithm
// *** Declaration and creation of the array of branching schemes
// *** It will contains the BranchingSchemes objects controlling the tree search
KBranchingSchemeArray myBranchingArray = new KBranchingSchemeArray();
// *** Creation of an BranchingScheme object of type AssignVar,
// *** working on all the variables
// *** - SmallestMin: At each node it will choose between all the variables the
// *** one with the smallest lower bound
myBranchingArray.add(new KAssignVar(new KSmallestMin(),new KMinToMax()));
// *** Creation of the solver using our tree search controls for this problem
KSolver schedulingSolver = new KSolver(scheduling,myBranchingArray);
// *** Set controls of the solver
schedulingSolver.setIntControl(KSolver.IntControl.MaxNumberOfNodes, 5);
schedulingSolver.setIntControl(KSolver.IntControl.MaxNumberOfSolutions, 3);
// *** Show the controls of the solver
System.out.println("MaxNumberOfNodes = " + schedulingSolver.getIntControl(KSolver.IntControl.MaxNumberOfNodes));
System.out.println("MaxNumberOfSolutions = " + schedulingSolver.getIntControl(KSolver.IntControl.MaxNumberOfSolutions));
System.out.println("MaxDepth = " + schedulingSolver.getIntControl(KSolver.IntControl.MaxDepth));
System.out.println("OptimalityTolerance = " + schedulingSolver.getDblControl(KSolver.DblControl.OptimalityTolerance));
System.out.println("MaxComputationTime = " + schedulingSolver.getDblControl(KSolver.DblControl.MaxComputationTime));
System.out.println("OptimalityRelativeTolerance = " + schedulingSolver.getDblControl(KSolver.DblControl.OptimalityRelativeTolerance));
// *** Search for the solution minimizing the start date of the last task
// *** Solver::optimize(true) posts a cut a the root node of the search tree and
// *** restart the search
System.out.println("Start optimization with restart");
schedulingSolver.optimize(true);
// *** Exploration of the solutions of the optimization with restart
// *** Print the number of solutions
System.out.println("Optimize with restart, number of solutions = " + scheduling.getNumberOfSolutions());
// *** Get the last ( therefore the best ) solution and store it in a Solution
// *** object
KSolution solution = scheduling.getSolution();
// *** Print variables values for this solution
System.out.println("Optimize with restart, best solution:");
solution.print();
// *** Print the objective value
System.out.println("Optimize with restart, objective Value = " + solution.getObjectiveValue());
// *** Print global statistics about the resolution
System.out.println("Optimize with restart, solver computation time = " + schedulingSolver.getDblAttrib(KSolver.DblAttrib.ComputationTime));
System.out.println("Optimize with restart, number of nodes = " + schedulingSolver.getIntAttrib(KSolver.IntAttrib.NumberOfNodes));
System.out.println("Optimize with restart, depth = " + schedulingSolver.getIntAttrib(KSolver.IntAttrib.Depth));
// *** Optimization without restart ( branch and bound )
// *** Search for the solution minimizing the start date of the last task
// *** Solver::optimize(false) use a branch and bound algorithm
System.out.println("Start branch-and-bound");
schedulingSolver.optimize(false);
// *** Exploration of the solutions of the branch and bound
// *** Get of the last ( therefore the best ) solution and stockage of it in the
// *** solution object
solution = scheduling.getSolution();
// *** Print of the variables values for this solution
System.out.println("Branch and bound, best solution:");
solution.print();
// *** Print of the objective value
System.out.println("Branch and bound, objective Value = " + solution.getObjectiveValue());
// *** Print of the number of solutions
System.out.println("Branch and bound, number of solutions = " + scheduling.getNumberOfSolutions());
// *** Optimization without restart ( branch and bound ) with an additional
// *** constraint
// *** Addition of the constraint "Task 5 cannot start at the date 12" and
// *** optimize again
KConstraint c = new KNotEqualXc(startDates.getElt(5),12);
scheduling.post(c);
// *** Search for the optimal solution
System.out.println("Start branch-and-bound with additional constraint (startDate[5] != 12)");
schedulingSolver.optimize(false);
// *** Informations about this optimization
solution = scheduling.getSolution();
System.out.println("Branch-and-bound with additional constraint best solution: ");
solution.print();
System.out.println("Branch-and-bound with additional, objective Value = " + solution.getObjectiveValue());
System.out.println("Branch-and-bound with additional, number of solution = " + scheduling.getNumberOfSolutions());
System.out.println("End solving scheduling with time windows problem");
}
catch (Exception e)
{
e.printStackTrace();
}
.. rubric:: Footnotes
.. [#f1] The algorithm *backtracks* when it returns to the parent node of the current node, in order to explore a new branch.