Conflict-Based Statistics

Screen Description

The Conflict-Based Statistics screen displays the conflicts created during the solver’s attempts to assign possible rooms and times to the class (i.e., other class assignments that were incompatible) and the reasons for these conflicts. These reasons correspond to violations of various constraints on the problem (for example, two classes requiring a single instructor at the same time, or three classes requiring the same time when only two rooms are available). Typically these conflicts are caused by too many classes competing over a fixed resource. The statistics can help point out the constraining resource, or an overly restrictive requirement, so that changes can be made to the input data which allow the problem to be solved.

Conflict-Based Statistics

Hint: To check the feasibility of a problem, you can try to solve it using Check configuration first (using Solver page). This will ignore all but required or prohibited constraints so that if there is no complete solution due to some inconsistencies in the problem, these will be easier to see in the Conflict-Based Statistics (since classes are competing only for required resources/constraints).



Conflict-based Statistics

The structure for each mode is as follows