RESERVATION PROCESSOR, RESERVATION RECEPTION TERMINAL, RESERVATION PROCESSING METHOD, AND COMPUTER PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide a reservation processor determining whether or not a resource can be allocated to a reservation within a realistic time.SOLUTION: A reservation processor A has: a variable setting part 50 setting a plurality of variables for representing an allocation state of a resource required for provision of service to a plurality of reservations; a first restriction condition generation part 51 generating a first restriction condition representing possibility/impossibility of allocation of the resource to the reservation; a second restriction condition generation part 52 generating a second restriction condition representing that the same resources cannot be allocated to the plurality of reservations each having an overlapping time on the basis of start times and end times of the reservations; a SAT (SATisfiability problem) processing execution part 54 making a SAT solver retrieve a solution of the variables satisfying a logical expression in which a restriction condition including the first restriction condition and the second restriction condition is represented by the variables; and an allocation possibility/impossibility determination part 55 determining the possibility/impossibility of the allocation of the resource to the reservation on the basis of a retrieval result by the SAT solver.