Unreliable Job Selection and Sequencing Problem

• UJSSP is a stochastic combinatorial optimization problem that integrates job selection and sequencing under the risk of stochastic failures.
• It employs a Z-ordering strategy alongside MILP, dynamic programming, and stepwise exact algorithms to optimize expected net profit.
• Empirical results demonstrate its effectiveness for large-scale scheduling, with extensions applicable to distributed and real-time frameworks.

The Unreliable Job Selection and Sequencing Problem (UJSSP) is a stochastic combinatorial optimization problem that generalizes classical sequencing and scheduling models to incorporate explicit job- or resource-level unreliability. It encompasses single-machine stochastic breakdown models, deadline-constrained multi-worker scheduling, and robust job shop formulations under parametric uncertainty. The defining feature is that both which jobs are selected and the sequential order in which they are executed must be optimized in the presence of uncertain, potentially catastrophic failure events, with the objective of maximizing an expected utility such as net profit or aggregate completion rate.

1. Formal Problem Definition and Stochastic Failure Model

Let $J = \{1,2,\ldots,n\}$ be a set of jobs. Each job $j \in J$ has a nonnegative setup cost $c_j \geq 0$, reward $r_j \geq 0$, and a success probability $\pi_j \in [0,1]$. When job $j$ is selected for processing, a cost $c_j$ is incurred. The machine is subject to failure: if the machine fails before or during job $j$, no reward is obtained for $j$ and no subsequent jobs can be executed (permanent breakdown). For a selected subset $S \subseteq J$, the sequence (permutation) $j \in J$0 determines the order in which jobs from $j \in J$1 are processed.

The expected reward for processing sequence $j \in J$2 is: $j \in J$3 Total cost is $j \in J$4. The expected net profit is $j \in J$5. Once the subset $j \in J$6 is fixed, the optimal sequencing $j \in J$7 ranks jobs by descending $j \in J$8. The UJSSP is then formulated as

$j \in J$9

where $c_j \geq 0$0, the expected reward under the optimal $c_j \geq 0$1-order (Agnetis et al., 21 Nov 2025).

2. Computational Complexity and Special-Case Solvability

The general UJSSP is strongly NP-hard. NP-hardness is established by reduction from the Product Partition Problem (PPP) via a parameterization mapping integers $c_j \geq 0$2 to $c_j \geq 0$3, $c_j \geq 0$4, $c_j \geq 0$5 where $c_j \geq 0$6, such that achieving a specified net profit is equivalent to solving PPP. Hence, no polynomial-time solution is likely to exist for general parameter choices (Agnetis et al., 21 Nov 2025).

However, two important special cases admit efficient solutions:

• Identical costs $c_j \geq 0$7: The problem reduces to a monotone submodular maximization with cardinality constraint, solved optimally by the classical greedy algorithm based on marginal increases in net profit [Stadje 1995; Chade & Smith 2006].
• Identical success probabilities $c_j \geq 0$8: The optimal subset consists of the jobs with the highest $c_j \geq 0$9 values, sequenced arbitrarily, again solvable greedily as a polymatroid base maximization [Olszewski & Vohra 2016].

Thus, while UJSSP is hard in general, parameter-homogeneous settings are tractable.

3. Optimization Techniques and Exact Algorithms

Three classes of exact algorithms have been developed:

1. Compact Mixed-Integer Linear Programming (MILP) Formulation (Z-ordering):
   • Binary selection $r_j \geq 0$0, continuous variables $r_j \geq 0$1 for cumulative survival up to job $r_j \geq 0$2, sequencing in descending $r_j \geq 0$3 order. The MILP optimizes

   $r_j \geq 0$4

   under linear constraints propagating survival probabilities.

2. Dynamic Programming (DP) Approach:

   • When costs are integer and problem size is moderate, define $r_j \geq 0$5 as the maximal expected reward from jobs $r_j \geq 0$6 with budget $r_j \geq 0$7. Standard forward recursion computes $r_j \geq 0$8 with or without selecting $r_j \geq 0$9, yielding the optimal net profit by maximization over feasible budgets. Time complexity is $\pi_j \in [0,1]$0 (pseudopolynomial for costs) (Agnetis et al., 21 Nov 2025).
3. Stepwise Exact Methods (Forward/Backward Scan, Editor's term):
   • These novel algorithms maintain upper envelopes of affine marginal functions $\pi_j \in [0,1]$1 as partial subsets $\pi_j \in [0,1]$2 are constructed. At each iteration, dominated partial solutions are pruned using parametrized linear criteria, retaining only those that can be optimal for some suffix reward $\pi_j \in [0,1]$3 (forward) or prefix product $\pi_j \in [0,1]$4 (backward). Lines are managed by dynamic convex hull/upper-envelope algorithms [Preparata & Shamos 1979]. In practical computation, candidate set sizes grow subexponentially, enabling solution of real-sized instances with $\pi_j \in [0,1]$5 up to $\pi_j \in [0,1]$6 jobs in seconds to minutes.

Results on artificial and PPP-derived datasets show the stepwise algorithms handle large instances efficiently; MILP is limited by solver scalability, and DP is practical up to a few thousand jobs unless costs are very large (Agnetis et al., 21 Nov 2025).

4. Relationship to Distributed and Real-Time Scheduling Variants

UJSSP theory unifies several lines of research:

• Distributed stochastic real-time job scheduling with unreliable workers (Hsu et al., 2019): In this extension, each of $\pi_j \in [0,1]$7 applications produces random jobs requiring subtasks on $\pi_j \in [0,1]$8 unreliable workers, each with type-specific completion probabilities $\pi_j \in [0,1]$9. There is a single-frame deadline, and a feasible schedule must select a non-interfering set of jobs with completed tasks on distinct (available) workers. The stochastic completion rate region $j$0 is optimized using a Lyapunov drift-based virtual queue construction and NP-hard set-packing for the “max-weight” policy. A $j$1-approximate greedy policy is proved to achieve a fraction $j$2 of $j$3 at $j$4 complexity per frame.
• Uncertainty-robust Job Shop Scheduling (Infantes et al., 2024): Here, each operation's processing time is a random variable, and robust schedules are learned via GNN+PPO (Proximal Policy Optimization) architectures, minimizing expected makespan. The “Wheatley” GNN/DRL policy natively handles machine/process failure and dynamic job arrival by augmentation of the graph model and Markov Decision Process, providing a flexible framework for generalizations of UJSSP with correlated network failures or dynamically arriving task sets.

UJSSP thus constitutes a core combinatorial structure for stochastic scheduling under both selection and execution risk across a spectrum of application domains.

5. Empirical Results and Large-Instance Performance

Systematic computational experiments on diverse instances demonstrate that:

• The stepwise exact algorithms solve random UJSSP instances with $j$5, probabilities $j$6 Unif(0.01,0.99), and randomly assigned costs/rewards in under a second for most parameter schemes; the hardest product-partition-derived instances with non-integer costs and tightly grouped $j$7 are tractable up to $j$8–$j$9.
• MILP solvers reliably find optima for $c_j$0; performance degrades sharply for larger or more degenerate cases (large root LP gaps, slow branch pruning).
• DP methods are effective up to $c_j$1 for moderate integer costs, but are subject to coarse-graining limitations.
• For distributed and deadline settings (Hsu et al., 2019), the $c_j$2-approximate greedy policy tracks the (intractable) optimal scheduling region closely in all tested cases ($c_j$3 up to 30), with $c_j$4 scaling in symmetric per-application rates.

These computational findings establish the practicality of UJSSP formulations and exact solution techniques for large-scale real-world selections and sequence optimization under stochastic failure.

6. Connections, Variants, and Open Questions

UJSSP generalizes and subsumes classical test sequencing, optimal college admission, and single-machine breakdown models. By mapping combinatorial submodular profit functions to special parameter regimes (e.g., uniform $c_j$5 or $c_j$6), UJSSP admits efficient greedy optimization, whereas the full generality with arbitrary continuous parameters is NP-hard (Agnetis et al., 21 Nov 2025).

Extensions to time-window constraints, strong/weak correlated failures, multi-machine selection, and streaming arrivals are possible by embedding the UJSSP core in richer stochastic scheduling frameworks (Hsu et al., 2019, Infantes et al., 2024). Notably, the computational complexity with strictly fractional costs remains unresolved, as does the existence (or tightness) of approximation algorithms for the general parameter set.

A promising direction is the integration of deep RL/GNN optimization policies with the envelope-pruning approach for hybrid data-driven and combinatorial exact methods (Infantes et al., 2024). The UJSSP also serves as a template for evaluating and benchmarking algorithms in stochastic decision-making under cascading failure risk scenarios.

---

Key References:

• "The Unreliable Job Selection and Sequencing Problem" (Agnetis et al., 21 Nov 2025)
• "Scheduling Stochastic Real-Time Jobs in Unreliable Workers" (Hsu et al., 2019)
• "Learning to Solve Job Shop Scheduling under Uncertainty" (Infantes et al., 2024)