TIME SLOT DESIGNING DEVICE, TIME SLOT DESIGNING METHOD, AND RECORDING MEDIUM HAVING TIME SLOT DESIGNING PROGRAM STORED THEREON

摘要

A time slot designing device capable of outputting a correction location and a correction reason of a constraint relating to a slot allocation result that satisfies a corrected constraint is provided. A slot designing device 10 includes an output means 11 for outputting a correction constraint being a constraint as a correction target included in a constraint group relating to a constraint satisfaction problem from which a satisfiable solution is not derived, and a correction reason being a reason why the correction constraint is corrected; and a derivation means 12 for deriving a satisfiable solution of a constraint satisfaction problem generated based on the constraint group in which the output correction constraint is corrected. The derivation means 12 outputs information indicating the correction constraint and the correction reason that are output up until the satisfiable solution is derived.