Abstract

We consider a single-machine scheduling problem with an outsourcing option in an environment where the processing time and outsourcing cost are uncertain. The performance measure is the total cost of processing some jobs in-house and outsourcing the rest. The cost of processing in-house jobs is measured as the total weighted completion time, which can be considered the operating cost. The uncertainty is described through either an interval or a discrete scenario. The objective is to minimize the maximum deviation from the optimal cost of each scenario. Since the deterministic version is known to be NP-hard, we focus on two special cases, one in which all jobs have identical weights and the other in which all jobs have identical processing times. We analyze the computational complexity of each case and present the conditions that make them polynomially solvable.

1. Introduction

We consider a single-machine scheduling problem with an outsourcing option such that the processing time and outsourcing cost are not known in advance. The uncertainty of two parameters is motivated from unpredictable events, such as the introduction of new machines and disruptions in the finished product’s delivery.

In this paper, their uncertainty is described as two types of the scenario set, that is, an interval scenario and a discrete scenario. Let be the set of scenarios. Let and denote the processing time and the outsourcing cost of job under scenario , respectively. In the interval scenario, the processing time and outsourcing cost of job are given as any value within the intervals and , where , , , and . A discrete scenario is described as a vector of processing times and outsourcing costs .

The scheduling problems under the scenario-based uncertainty above have been studied since Daniels and Kouvelis [1] and Kouvelis and Yu [2] (see Aissi et al. [3] for the comprehensive survey). Furthermore, the deterministic version of the single-machine scheduling problem with an outsourcing option has been extensively studied since Vickson [4] (see Shabtay et al. [5] for comprehensive survey). To our best knowledge, the scheduling problem with an outsourcing option under uncertainty for some parameters has only been studied by Choi and Chung [6]. The authors considered the case in which the processing time is uncertain while the outsourcing cost is known. They analyzed the computational complexity for various cases, depending on the following:(i)Whether the performance measure of in-house jobs is the makespan or the total completion time.(ii)Whether the uncertainty is described as the interval scenario or the discrete scenario.

They showed that, for the problem with the makespan as the performance measure of in-house jobs, an interval scenario case is polynomially solvable, while a discrete scenario case is NP-hard. Furthermore, they developed the 2-approximation algorithm based on the linear programming and the fully polynomial-time approximation scheme for the discrete scenario case. For the problem with the total completion time as the performance measure of in-house jobs, referred to as Problem TCO, it is known that both scenario cases are NP-hard. Thus, they focused on the case with a special structure of processing times, , and proved the polynomiality for both scenario cases. Our problem can be considered a general version of Problem TCO, in that the performance of in-house jobs is the total weighted completion time and the outsourcing cost is uncertain.

The formal definition of our problem is as follows: Consider the set of independent jobs that can be either processed on a single in-house machine or outsourced to a subcontractor. Let be the weight of job . Let be the schedule such that(i) and are the sets of in-house and outsourced jobs, respectively,(ii) is a sequence of jobs in .

In this paper, the performance measure for in-house jobs is expressed as the total weighted completion time. Let be the completion time of an in-house job in under scenario . Our problem is to find an optimal schedule to minimize where (i);(ii) is the optimal schedule to minimize under scenario .

Let our problem be referred to as Problem P. For both scenarios, Problem P is NP-hard because the problem of finding is known to be NP-hard [7, 8]. For the interval scenario case, however, the optimal schedule under a midpoint scenario is known to have an approximation factor of two in [911], where and for each . Thus, we focus on two cases below:(i)The weight of each job is identical; that is, for each .(ii)The processing time of each job is identical under each scenario; that is, for each and each .

Let cases (i) and (ii) be referred to as Problem P1 and Problem P2, respectively. Note that, for two cases, can be obtained in by the algorithm in [7, 8].

The remainder of the paper is organized as follows. Sections 2 and 3 analyze the computational complexity and the polynomially solvable case for Problems P1 and P2. Finally, Section 4 draws conclusions and suggests future research directions.

2. Problem P1

Both scenario cases of Problem P1 without an outsourcing option, that is, the min–max regret version of , are NP-hard [2, 12], which implies that both scenario cases of Problem P1 are at least NP-hard, even if the outsourcing costs are certain. In this section, firstly, we prove the NP-hardness of the discrete scenario case with certain processing times. Note that the complexity of the interval scenario case with certain processing times is open. Then, we introduce two polynomially solvable cases.

2.1. NP-Hardness

In this subsection, we prove the NP-hardness for the discrete scenario case with certain processing times. In this case, the sequence of in-house jobs is identical for an optimal schedule under each . Thus, throughout the remainder of the section, we use instead of for notational simplicity.

Theorem 1. The discrete scenario case of Problem P1 is NP-hard, even if the processing times are certain; that is, for each .

Proof. We reduce the partition problem known to be NP-complete [13], defined below, to Problem P1: given positive integers such that , is there a subset such that ?
Given an instance of the partition problem, we can construct an instance of Problem P1 with two scenarios, as follows: set and . For , (i),(ii) and ,(iii) and , where is a sufficiently large value. Clearly, this reduction can be done in polynomial time. Note the following: (i)The optimal schedule of scenario 1 is to outsource all jobs. Thus, (ii)The optimal schedule of scenario 2 is to process all jobs in-house. Thus, Henceforth, we show that a schedule exists such that if and only if there exists a solution to the partition problem.
Suppose that there exists a solution to the partition problem. We can construct a schedule . Then, in , we have the following:(i)Exactly one of the jobs in , is processed in-house. Thus, under scenarios 1 and 2, the total completion time of in-house jobs is (ii)The total outsourcing cost is, under scenario 1, and, under scenario 2, it is Then, Suppose a schedule exists such that Claim. In , exactly one of the jobs in , is processed in-house.
Proof. Let be the largest index such that both jobs in are processed in-house and let be the largest index such that both jobs in are outsourced. If or does not exist, then let and for consistency of notation. Consider the following two cases.(i).In this case, exactly one of the jobs in , is processed in-house. Then, Note that the value in the right-hand side is the lower bound of the total completion time of in-house jobs in . Since and , however, This is a contradiction.(ii).In this case, exactly one of the jobs in , is outsourced. Then, Note that the value in the right-hand side means the total cost of jobs in . Since however, This is a contradiction. By cases (i) and (ii), the proof is complete.
Let . Then, by the above claim, we have Hence, This implies that and is the solution to the partition problem.

2.2. Polynomiality

In this subsection, we introduce the conditions that make Problem P1 polynomially solvable. Consider two cases below.(i) and . In the interval scenario case, the uncertainty values of and have any values from and , where and ( and ) are the lower and upper bounds of (), respectively. On the other hand, the discrete scenario case has the finite set of scenarios .(ii), and the ordered conditions are satisfied. In the interval scenario case, the ordered conditions can be stated as follows: In the discrete scenario case, for each ,

Note that in-house jobs are processed by increasing order of in an optimal schedule for both cases due to the special structure of the processing time uncertainty. Thus, we use and instead of and , respectively, throughout the remainder of the section.

First, we consider case (i). Using the following lemma, the interval scenario case is reduced to the discrete scenario case.

Lemma 2. For the interval scenario case of Problem P1 with and , is determined by a scenario in

Proof. can be expressed as follows: where if and otherwise. Thus, is a linear function of and . Since is a minimum function of linear functions, it is a concave function of and . Thus, is a convex function of and . Since is the maximum of convex functions on , it is obtained for one scenario in .

Now, we focus on the discrete scenario case. Without loss of generality, we assume that . Let be the schedule that minimizes among schedules with in-house jobs, where is the total cost of under . Let .

Lemma 3. For Problem P1 with and , an optimal schedule exists in .

Proof. Suppose that and . Then, for each scenario , The proof is complete.

Theorem 4. Both scenario cases of Problem P1 with and can be solved in .

Proof. By Lemma 3, a schedule with the minimum is optimal. The values for all can be obtained in by the algorithm of Engels et al. [7] and Ghosh [8]. The set can be obtained in by the algorithm of Choi and Chung [6]. Since can be calculated in for each and , the value can be calculated in . Hence, the values for all can be found in .

Henceforth, we consider case (ii).

Lemma 5. If for each and each and the ordered conditions are satisfied, then an optimal schedule exists in

Proof. Suppose that, in an optimal schedule , (i);(ii) and . Let be a new schedule constructed by letting . Now, we will show that .
First, we consider the discrete scenario case. Then, it is observed that Thus, Lemma 5 holds.
Before considering the interval scenario case, we introduce the concept of the worst case scenario for , defined as follows: let be the worst case scenario for if Furthermore, it is observed that the worst case scenario for can be constructed as follows [14]: If , then, for each scenario , which implies that . Thus, we assume that . Let and be the worst case scenarios of and , respectively. It is observed from (25) that Then, Consider the following three cases. (i)Jobs in are processed in-house in . Then, since , it is observed from (28) that .(ii)Exactly one job in is processed in-house in . Since , Let . Then, since , it is observed from (28) that .(iii)No job in is processed in-house in . Since , it is observed from (28) that .By cases  (i)–(iii), . Thus, by repeatedly applying the argument above, we can construct the optimal schedule satisfying Lemma 5 from without an increase of the objective value. The proof is complete.

Theorem 6. Both scenario cases of Problem P1 with for each and each and the ordered conditions can be solved in .

Proof. This holds immediately from Lemma 5.

3. Problem P2

In this section, we show the discrete scenario case of Problem P2 remains NP-hard even if only one of the processing times and outsourcing costs is uncertain and we introduce a polynomially solvable case. Note that the complexity of the interval scenario case with certain processing times is open. Since the processing time of each job is identical for each scenario, in-house jobs are processed in nonincreasing order of in an optimal schedule. Thus, for notational simplicity, we use and instead of and , respectively, throughout this section.

3.1. NP-Hardness

In this subsection, we prove NP-hardness for the discrete scenario case of Problem P2.

Theorem 7. The discrete scenario case of Problem P2 is NP-hard, even if the outsourcing cost is certain; that is, for each .

Proof. We reduce the even-odd partition problem known to be NP-complete [13], defined below, to Problem P2: given positive integers with , is there a subset such that and exactly one of the jobs in , belongs to ?
Given an instance of the even-odd partition problem, we can construct an instance of Problem P2 with two scenarios, as follows: set and . Let and . For , (i), and , and, for , (i),(ii),(iii), and , where is a sufficiently large value. Clearly, this reduction can be done in polynomial time. Note the following: (i)The optimal schedule of scenario 1 is to process all jobs in-house. Thus, (ii)The optimal schedule of scenario 2 is to process each job in in-house and to outsource all the other jobs. Thus, We now show that a schedule exists such that if and only if a solution to the even-odd partition problem exists.
Suppose that there exists a solution to the even-odd partition problem. We can construct a schedule by letting . Then, in a schedule , we have the following:(i)Exactly one of the jobs in , is outsourced. Thus, under scenarios 1 and 2, the total outsourcing cost is (ii)The total weighted completion time is, under scenario 1, and, under scenario 2, it is Then, Suppose that a schedule exists such that It is observed that jobs in should be processed in-house in due to , ; that is, . For notational simplicity, let .
Claim. Exactly one of the jobs in , is in .
Proof. Let be the smallest index such that both jobs in are not in , and let be the smallest index such that both jobs in are in . If or does not exist, then let and for notational consistency. Consider the following two cases.(i).In this case, exactly one of the jobs in , is outsourced and both of the jobs in are outsourced. Thus, Since , This is a contradiction.(ii).In this case, exactly one of the jobs in , is processed in-house, and both of the jobs in are processed in-house. Thus, Thus, since , This is a contradiction. By cases (i) and (ii), the proof is complete.
By the above claim, we have Since , Hence, This implies that and is the solution to the even-odd partition problem.

Theorem 8. The discrete scenario case of Problem P2 is NP-hard, even if the processing time of each job is identical under all scenarios; that is, for each and each .

Proof. Given an instance of the partition problem, we can construct an instance of Problem P2 with two scenarios, as follows: set and . For , (i),(ii),(iii) and ,(iv) and , where is a sufficiently large value. Clearly, this reduction can be done in polynomial time. Since the proof is almost similar to that of Theorem 1, we omit it.

3.2. Polynomiality

In this subsection, we prove the polynomiality of the case with and for each and each .

Using the following lemma, the interval scenario case is reduced to the discrete scenario case.

Lemma 9. For the interval scenario case of Problem P2 with and , is determined by a scenario in

Proof. Since the proof is almost similar to that of Lemma 2, we omit it.

Now, we focus on the discrete scenario case. Let be the schedule that minimizes among schedules with in-house jobs, where is the total cost of under . Let .

Lemma 10. For Problem P2 with and , an optimal schedule exists in .

Proof. Since the proof is almost similar to that of Lemma 3, we omit it.

Theorem 11. Both scenario cases of Problem P2 with and can be solved in .

Proof. This holds immediately from Lemmas 9 and 10.

4. Concluding Remarks and Future Work

We considered the min–max regret version of a single-machine problem with an outsourcing option such that(i)the processing time or the outsourcing cost of each job is uncertain,(ii)the cost for processing jobs in-house is expressed as the total weighted completion time.

The uncertainty was described as being of two types with a discrete scenario and an interval scenario. Since the deterministic version of the problem is known to be NP-hard, we considered two cases with identical weights or identical processing times for each scenario. For the first case, we proved the NP-hardness of its discrete scenario case, even if the processing time is certain. Furthermore, we presented two special structures for the processing time and outsourcing cost, each of which makes the first case polynomially solvable. For the second case, we proved the NP-hardness of its discrete scenario case, even if one of the outsourcing cost and the processing time is uncertain. Finally, we presented one special structure for the processing time and outsourcing cost that makes the second case polynomially solvable.

For Problems P1 and P2, it is observed that the complexities remain NP-hard, only if one of the processing time and the outsourcing cost is uncertain. However, their complexities move to the polynomially solvable class, if the impact of uncertainty on each job under each scenario is the same, which is described by and . Thus, our description for the impact of uncertainty may be the starting point to find additional polynomially solvable cases.

For future work, it would be interesting to consider the following:(i)Developing the algorithm for Problem P whose performance is verified through analyzing the approximability or conducting the numerical experiments.(ii)Analysis of computational complexity for the interval scenario cases of Problems P1 and P2 when the processing time is certain.(iii)Analysis of the min–max version of Problems P1 and P2 to find an optimal schedule for minimizing

Note that the discrete scenario case of the min–max version of Problem P1 is NP-hard, even if only the outsourcing cost is uncertain. The reduction from the partition problem is as follows: For ,(i),(ii) and ,(iii) and ,(iv),

where is a sufficiently large value. Since the proof is very similar to that of Theorem 1, we omit it.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This study was financially supported by the research fund of Chungnam National University in 2016.