Abstract
A cogent method is presented for computing the expected cost of an appointment schedule where customers are statistically identical, the service time distribution has known mean and variance, and customer no-shows occur with time-dependent probability. The approach is computationally efficient and can be easily implemented to evaluate candidate schedules within a schedule optimization algorithm.
1. Introduction
Consider a medical service system where a fixed number of patients are to be scheduled for appointments with a single provider over a finite time horizon [1]. The common service time distribution for every patient is known, as is the time-dependent probability that any patient will fail to show up for the appointment. During the time each arriving patient waits for service, an institutional waiting cost of per hour is incurred. Expected waiting times can be kept small by planning large gaps between appointments, but the gap sizes are constrained by a finite provider availability period. To ensure that all patients are served, the availability period can be extended at an institutional overtime cost of per hour. The objective is to determine a schedule of patient arrival times that will minimize the expected total cost (waiting and overtime) of operating the appointment system.
Similar problems could arise in many other operational contexts. For example, a maritime shipping entity may need to optimally schedule vessel dockings within a fixed window of rented dock time (overtime penalties for docks can be quite severe). A surgical suite manager may need to determine a schedule for procedures that minimizes expected waiting times for surgical teams while avoiding intrusion on a subsequent high-priority commitment. Analogous to medical environments, providers in legal, financial, or other personal service professions that operate on an appointment basis are usually concerned with both server efficiency and client waiting times.
Appointment optimization has received substantial attention in operations research literature, originating with a brief reference by Herne in 1951 in the discussion following Kendall’s important article on queueing theory [2]. Numerous attempts followed to obtain reasonable scheduling rules through simulation modeling, beginning with Bailey [3]; relevant surveys are presented in Magerlein and Martin [4], Przasnyski [5], and Ho et al. [6]. Analytic modeling efforts began with steady-state approximation of appointment systems, where statistically identical customers could be scheduled to arrive on a continuous time horizon [7–9]. Transient models and solution methods were later addressed [10–14]. The mathematical complexity of optimization in continuous time led other researchers to constrain arrivals to discrete time points (e.g., a 15-minute lattice) [15, 16]; operationally, this approach was more realistic for most applications. Service time distributions were assumed to be identical and follow exponential, Erlang, or Coxian probability distributions. Vanden Bosch and Dietz [17] generalized the service time model and proposed a heuristic sequencing algorithm for statistically nonidentical customers. Kaandorp and Koole [18] subsequently derived an exact sequencing and scheduling algorithm for customers having exponentially distributed service times with distinct mean values.
Consistent with the standard practice of scheduling appointments on a lattice of time slots with fixed width , assume that each of customers is appointed to enter the service queue at one of discrete times . All customers arrive exactly on time, and the server works under a first-come-first-served (FCFS) discipline whenever one or more customers are in the system. Let be the number of appointments scheduled at time , and define a schedule as a vector such that . Any single component of has a feasible range of 0 to . For example, a trivial problem where and clearly yields an optimal schedule of .
The first customer should always be scheduled in the first time slot, since a later arrival would waste server time with no improvement in waiting times. The total number of schedules that must be considered is the number of ways in which the remaining appointments can be assigned to time slots, which can be computed as . Hence, a typical problem involving 20 customers and 60 time slots would generate candidate schedules. In general, the large number of candidate schedules will prohibit an optimality search by exhaustive enumeration. Assuming that a method exists for determining the total cost of any schedule, optimality can be efficiently achieved using the algorithm below [1].(1)Determine a schedule that is assured to have a lower cost than all earlier schedules, , using the following procedure.(a)Establish an early incumbent schedule . If no better bound is available, let .(b)Let be the largest integer for which the th arriving customer in is not scheduled at time .(c)Establish a candidate early schedule by shifting the arrival of the th arriving customer in by later, unless this shift causes the order of customer arrivals to change. If all customers but the first are scheduled at , stop (recall that the first customer’s arrival is fixed at zero).(d)If , let and return to step 1(b).(e)If , decrement and return to step 1(c). Otherwise, each customer of the current but the first has shifted without improvement, and is established.(2)Establish a candidate late schedule by shifting each arrival time by , if feasible. Perform a parallel procedure to step (shifting arrivals by earlier rather than later).(3)If and differ, the optimal arrival time of each customer is that defined either by or by . Enumerate each of the possible intermediate schedules and evaluate their costs to find the optimum.
Although this algorithm is NP-hard due to the enumeration sometimes required by step and often coincide in practice and seldom differ by more than a few customer arrivals. Computation time is roughly linearly dependent on and in the coincidental case, but the algorithm always requires the evaluation of numerous candidate schedules. Computational efficiency is therefore dependent on a cogent and efficient method for computing the expected cost of a specified appointment schedule, which is the contribution offered by this paper.
2. Service Time Model
Suppose that the customer service times are independent, identically distributed random variables with known mean and variance , so the coefficient of variation is . For , the service time distribution can be modeled as a mixture of Erlang() and Erlang() distributions with density function where . When the parameters , , and are chosen such that the distribution will have the required mean and variance (see Tijms [19, page 358]). This model is desirable, since is always unimodal and is similar in shape to the commonly occurring gamma density function.
For the less typical situation where , we can resort to modeling the service time distribution as a mixture of Erlang() and Erlang() distributions with density function where . In this case, the required mean and variance can be realized when
This approach may be reasonable and useful, but should be applied with caution if distribution characteristics beyond the mean and variance are known. Simulation studies have demonstrated that appointment schedule performance is generally insensitive to higher order moments of the service time distribution [20], but these studies are limited to cases where .
3. Cost Computation
With the chosen service time model, we can compute the expected total cost of a schedule by exploiting the memoryless property of the exponential distribution. The service times are conceptually comprised of exponentially distributed service phases, each with mean duration . Hence, the state of the system at any time can be completely described by the number of unfinished phases remaining in the system. Let , , and . Since each phase completion is an event within a Poisson processs, the probability that phases of service remain at given remains at can be written as for . Now, let and let be the probability that phases remain at . For notational convenience, define a binomial operator , and let
By conditioning on the number of scheduled arrivals that enter the system with fewer than service phases (i.e., with phases when or with a single phase when ), we have and, by recursion,
Expected total cost is then given by
The first summation in (9) is equivalent to and accounts for waiting due to multiple arrivals scheduled in the same time slot.
The method can be easily extended to accommodate probabilistic customer no-shows. Let be the probability that a customer actually appears for an appointment scheduled in slot . By conditioning on the number of customers showing up, (7) can be rewritten as and (8) can become
Expected total cost is then computed as
The cost computation procedure can be embedded in an appointment optimization algorithm for statistically identical customers. Unlike more sophisticated and generalized approaches [17], the distribution parameters are trivially calculated and cost computation requires no matrix exponentiation. Schedule optimization can thus be easily performed on a personal computer with common software such as a macroenabled spreadsheet. It should be noted that the cost evaluation of an individual candidate schedule may not require complete computation of ; summation and supporting calculations can be terminated as soon as the partial cost of the candidate schedule exceeds the cost of the incumbent.
4. Implementation and Performance
Now consider a specific appointment scheduling problem where the number of statistically identical customers is , the number of time slots is , the time slot width is , the mean service time is , the service time variance is , the show probability is , and the cost of server overtime is estimated at ten times the cost of customer waiting (we notionally set and , since only relative values affect the optimal schedule). Because , the applicable service time model is given by (1) and the associated parameter values are computed as , , and . Imbedding the cost computation method within the optimization algorithm described above yields an optimal schedule of
The associated waiting, overtime, and total costs are 4.8603, 4.9541, and 9.8144, respectively. Optimality is achieved after evaluation of 287 candidate schedules, and complete execution requires less than one second of processing time on a personal computer with a 2.26 GHz processor.
Table 1 illustrates the effect of service time variability by parameterizing on . The table quantifies the intuitive positive relationship between variability in service time and the expected cost of the optimal schedule. The number of schedules evaluated diminishes as increases, although computation times are longer for very high or low values of due to the larger number of exponential phases in the associated service time models.
To further exercise the modeling approach, we can enlarge the baseline problem (with ) to schedule customers into time slots. The cost of the optimal schedule is 51.8026, which is obtained after evaluating 34,162 schedules. Execution time for this very large problem is 483 seconds, which equates to about 0.0141 seconds per schedule evaluated.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.