Scheduling Plans of Tasks
Internship report. Supervisors: Amal El Fallah Seghrouchni, Safia-Kedad Sidhoum

A typical formal way to describe the scheduling problems is by using the three-field classification $[\alpha,\beta,\gamma]$ introduced by Graham et al. [9], where

• •

  $\alpha$ specifies the machine environment,

• •

  $\beta$ specifies the characteristics of the activities,

• •

  $\gamma$ and describes the objective function(s).

An extension of the Graham’s classification has been proposed in order to provide a more accurate way to formally describe the scheduling problems [10]. According to the extended notation, the plans of tasks scheduling problem can be stated as

The mathematical formulations for the RCPSP can be conveniently employed to model the objective function with respect to the temporal, precedence and resource constraints [11]. The proposed formulation is based on time discretization for describing the usage of the resources and the processing of the tasks over time. In our context the time horizon, divided into unitary time periods, is a fixed time window $[W_{s},W_{e}]$, where the maximum number of plans has to be scheduled. Given a plan $\Pi_{k}\in\mathcal{P}$ and a task $J^{k}_{i}\in\Pi_{k}$, and a time instant $t\in[r^{k}_{i},d^{k}_{i}]$, let $y^{k}_{it}$ be a boolean variable that indicates whether the task $J^{k}_{i}$ starts exactly at time $t$. Also, let $x_{k}$ be a boolean variable that indicates whether a plan $\Pi_{k}\in\mathcal{P}$ is executed. Thus, a plan $\Pi_{k}\in\mathcal{P}$ is executed if

Constraint (2) imposes that for each plan $\Pi_{k}\in\mathcal{P}$ all the tasks $J^{k}_{i}\in\Pi_{k}$ have a starting time assigned. Constraint (3) imposes that each task $J^{k}_{i}$ has a starting time and a completion time within the time window $[r^{k}_{i},d^{k}_{i}]$. Constraints (4) and (5) impose respectively the precedence and resource constraints.

The proposed heuristic (Algorithm 1) ($BuildSchedule$) takes in input a set $\mathcal{P}$ of plans and a set $\mathcal{R}$ of resources, and it gives as output a feasible schedule $S_{l}$, that is, a vector of starting times $s^{k}_{i}$ for each scheduled task $J^{k}_{i}\in\Pi_{k}$ such that the constraints discussed in the previous section are met.

At the beginning, the algorithm initializes the used data structures. At line 1 and  2 respectively, two set $\mathcal{P}_{s}$ and $\mathcal{P}_{f}$ are initialized: they will be used to store respectively the successfully scheduled plans and the discarded (unscheduled) plans. Then, two empty schedules $S_{l}$ and $S_{w}$ are initialized. They will contain respectively the last feasible schedule found and the current working schedule. The working schedule is a schedule used for testing the feasibility of the plans during the search. Finally, an event list $\mathcal{EL}$ is initialized at line 5. The first step of the algorithm is to sort the set $\mathcal{P}$ of plans according to both precedence relations and priority values (line 6). This is done by Algorithm 2, that returns a sorted list $\mathcal{P}_{u}$ of plans. Then, a loop over $\mathcal{P}_{u}$ starts until there is a plan left to schedule (line 7). At line 8, the highest priority plan $\Pi_{k}$ is taken from the sorted set $\mathcal{P}_{u}$ of plans. Then, at line 10 the algorithm checks if there exists more than one plan in $\mathcal{P}_{u}$ with the same priority value $\alpha_{k}$ of $\Pi_{k}$. If the value of $\alpha_{k}$ is unique among the values of priority of the plans in $\mathcal{P}_{u}$, the algorithm tries to schedule the plan (line 11), otherwise a set $\mathcal{P}_{\alpha_{k}}\subset\mathcal{P}$ of plans is calculated, containing all the plans that have priority value $\alpha_{k}$. All the plans in $\mathcal{P}_{\alpha_{k}}$ are then scheduled by Algorithm 5. Thus, the plans successfully scheduled are added into $\mathcal{P}_{s}$ (line 20), and the plans not scheduled are removed from the working schedule (line 22). Finally, the last feasible schedule $S_{l}$ is updated (line 24).

Algorithm 1 takes at most $O(K^{3}n^{3})$ time, where $K=|\mathcal{P}|$ is the number of plans to schedule.

All the data structures used for storing plans, $\mathcal{P}$, $\mathcal{P}_{u}$, $\mathcal{P}_{s}$ and $\mathcal{P}_{f}$, are implemented as self-balancing binary search trees to ensure insertion, removal and get operations in logarithmic time [7]. At line 5 the event list $\mathcal{EL}$ is initialized. As the data structures used for storing plans, the event list is implemented as self-balancing binary search tree. At line 6 the plans are sorted by the Algorithm 2.

The while loop 7-26 iterates until the set of plans $\mathcal{P}_{u}$ is not empty. In the worst case, if the plans belongs all to the same frontier, the inner loop takes at most $O(K^{3}n^{3})$ time.

The $Get$ operations at line 8 takes logarithmic time with respect to the number of elements in $\mathcal{P}_{u}$.

At line 9 the algorithm get the number of plans in $\mathcal{P}_{u}$ that have priority value $\alpha_{k}$. We use an auxiliary data structure to store this information and get the value in $O(1)$.

The $Add$ and $Remove$ operations at line 13 and 15 respectively require both $O(\log K)$ time. Getting the plans with priority $\alpha_{k}$ (line 18) requires constant time, since a hash map is used to store the plans with the same priority value: the key of a record is a value of priority $\alpha_{k}$, and the value is a list of plans having each one $\alpha_{k}$ as priority value.

The $Add$ operation at line 20 requires $O(K\log K)$ time. The $Remove$ operations at line 21 and 22 require both $O(K\log K)$ time.

Algorithm 2 ($SortPlans$) sort a set $\mathcal{P}$ of plans in decreasing order of priority so that the precedence constraints between plans are also respected. At line 1 a topological sort algorithm is executed for the plan set. A set of couples $(\Pi_{i},F_{i})$ is returned, where $\Pi_{i}$ is the $i$-th plan in the topological sorting, and $F_{i}$ is the subset of plans of the frontier $f_{i}$ which the plan $\Pi_{i}$ belongs to. Then, let $F$ be the set of subsets $F_{i}$ of plans for each frontier $f_{i}$ (line 2), a loop over each set $F_{i}$ is done (line 4-7), where each $F_{i}$ is sorted according to the priority value the plans in the frontier $f_{i}$ (line 5), and then added to the set $\mathcal{P}_{u}$ of sorted plans (line 6).

Algorithm 2 takes at most $O(K\log K+n_{k})$, where $K=|\mathcal{P}|$ is the number of the plans to be sorted. At line 1, the set of plans is topologically sorted. The topological sort requires at most $O(K+n_{k})$ where $n_{k}$ is the number of predecessors in the precedence’s graph of the plan $\Pi_{k}$.

At line 2 the set of frontiers discovered by the topological sort is assembled: this set is implemented as an hash table where the key of a record is a priority value $\alpha_{k}$, and the value is a list of plans having each one $\alpha_{k}$ as priority value.

The loop 4-7 iterates over each frontier in the precedence’s graph, and sort the plans belonging to that frontier according to their priority value. At line 5, plans belonging to a specific frontier $f$ are sorted by using the timsort algorithm [12]. The for loop requires at most $O(K\log K)$ time if all the plans belong to the same frontier.

Algorithm 3 ($SchedulePlan$) schedules a single plan $\Pi_{k}$ into a schedule $S_{w}$ using an event list $\mathcal{EL}$. It iterates over all the tasks $J^{k}_{i}\in\Pi_{k}$ and for each task, the precedence constraints are checked, and then the task is scheduled into the schedule $S_{w}$. If at least one task could not be scheduled, the algorithm immediately breaks the loop, and false is returned, since the plan could not be scheduled such that all the constraints are satisfied.

Algorithm 3 takes $O(n^{3})$ time, where $n=\sum_{k}n_{k},\forall\Pi_{k}\in\mathcal{P}$ is the total number of tasks already scheduled in $S_{w}$. Inside the loop the Algorithm 4 is executed $O(n_{k})$ time.

Algorithm 4 ($ScheduleTask$) do the actual task insertion into a schedule. It starts by calculating the earliest possible starting time given by (1) if we do not consider the resource availability. At line 2 the algorithm searches for an event $e$ in $\mathcal{EL}$ such that $t(e)=s^{k}_{i}$. If such event does not exist, a new event $e$ is created at $t(e)=s^{k}_{i}$. At line 4, the algorithm starts a loop to search for the earliest feasible start and end events $e$ and $f$ for the task $J^{k}_{i}$. The loop iterates until $f$ is not the last event or the remaining duration $\mu$, initially set to $p^{k}_{i}$, it is not null. If the condition of the while loop is satisfied, $g$ is assigned the event following $f$ (line 5), and the algorithm proceeds by checking the resource availability and the constraints test for $J^{k}_{i}$ in $t(e)$ (line 6). If both the tests succeed, $\mu$ is decreased by $t(g)-t(f)$ and $g$ is assigned to $f$. If the tests fail, then $e$ is not a valid insertion position, and then $e$ is set to $g$ while $\mu$ is reset to $p^{k}_{i}$. After the loop, a final check for the constraints is done (line 13). If the final check fails, then all the tasks of the plan $\Pi_{k}$ are removed from each event $e$ in the event list $\mathcal{EL}$ (line 14), the plan $\Pi_{k}$ is marked as unschedulable (line 15) and $false$ is returned.

Once the constraints are verified for $e$ at line 13, the algorithm proceed with the insertion of the task $J^{k}_{i}$ into the working schedule (line 18), and into the event $e$ (line 19). Then, at line 21, the event $e$ is added into the event list $\mathcal{EL}$ if it is not already in. The steps (23-31) update the event list. The last step consists in updating the resources usage by the scheduled tasks (line 32).

Algorithm 4 has a time complexity of $O(n^{2})$, where $n=\sum_{k}n_{k}$. Searching for a feasible starting time $s^{k}_{i}$ (line 1) requires at most $O(n-1)$ time if task $J^{k}_{i}$ has $n-1$ predecessors. Searching for the event $e$ such that $t(e)=s^{k}_{i}$ (line 2) requires at most $O(\log|\mathcal{EL}|)$ since a balanced tree data structure is used for the event list.

In the worst case, for a set $\mathcal{P}$ of plans with cardinality $|\mathcal{P}|=K$, the maximum number of events in $\mathcal{EL}$ is $2n$ if we suppose that all the tasks are scheduled consecutively with a minimal lag between each task, that is

The while loop (lines 4-12) iterates over the event list $\mathcal{EL}$. Since there are less than $2n$ events, the while loop takes $O(n)$ time.

Searching for the event following $f$ in $\mathcal{EL}$ (line 5) takes at most $O(\log|\mathcal{EL}|)$ time. Checking if the temporal constraints are satisfied at $t(e)$ (line 6) takes $O(1)$ time. The remaining operations inside the loop require constant time.

Removing all the tasks $J^{k}_{i}\in\Pi_{k}$ from each event $e\in\mathcal{EL}$ (line 14) takes $O(n_{k}\log|\mathcal{EL}|)$.

Adding the task $J^{k}_{i}$ to the schedule $S_{w}$ (line 18) requires at most $O(\log n)$ since an efficient balanced tree data structure is used for the schedules. Adding the task $J^{k}_{i}$ to the set $\mathcal{S}_{e}$ (line 19) requires constant time.

Adding the event $e$ to the event list $\mathcal{EL}$ (line 21) requires $O(\log|\mathcal{EL}|)$ time.

The event list update takes $O(\log|\mathcal{EL}|)$ if the event $g$ has to be inserted in $\mathcal{EL}$ (lines 26,29), otherwise the insertion of $J^{k}_{i}$ into $\mathcal{C}(f)$ (line 24) requires $O(1)$ time.

Algorithm 5 ($SchedulePlanSet$) schedules a set $\mathcal{P}_{\alpha_{k}}$ of plans such that each plan $\Pi_{k}\in\mathcal{P}_{\alpha_{k}}$ has a priority value $\alpha_{k}$. The idea of the algorithm is to find, at each iteration, the plan who minimizes the sum of the size of the idle time windows generated by its tasks. The algorithm starts by creating a copy $V$ of the plan set $\mathcal{P}_{\alpha_{k}}$ (line 1). The while loop (lines 3-25) iterates until there is no plan left in $V$ to schedule. At each iteration, two variables $minIdleTime$ and $bestPlan$ are used to keep the next candidate plan to schedule. The loop at (6-19) iterates over the plans in $V$ and searches for the candidate plan to schedule. Each plan $\Pi_{k}$ is scheduled into a temporary schedule $S_{temp}$ (line 9). At each iteration, the algorithm chooses the plan $\Pi_{k}\in\mathcal{P}_{\alpha_{k}}$ that minimizes the sum of the time differences between $t(e)$ and $t(pred_{e})$ (line 11), for each event $e$ such that $J^{k}_{i}\in\mathcal{S}(e)$, $\forall J^{k}_{i}\in\Pi_{k}$.

Algorithm 5 takes at most $O(K^{2}n^{3})$ time. The main loop (lines 3-25) is repeated until there is some plan left to schedule, and it is repeated at most $O(K)$ time. The inner loop (lines 6-19) schedule each plan $\Pi_{k}\in\mathcal{P}_{\alpha_{k}}$ and keeps the plan which minimize the idle times between each task and its predecessor. The inner loop takes $O(Kn^{3})$ time.