Find the Optimal Solution or Approximate Optimal Solution in Interval Scheduling

Research Article
Open access

Find the Optimal Solution or Approximate Optimal Solution in Interval Scheduling

Suyu Liu 1*
  • 1 Msc Robotics FT, University of Birmingham, Edgbaston, Birmingham, United Kingdom, B15 2TT    
  • *corresponding author 834901619@qq.com
Published on 19 December 2024 | https://doi.org/10.54254/2755-2721/2025.18476
ACE Vol.115
ISSN (Print): 2755-273X
ISSN (Online): 2755-2721
ISBN (Print): 978-1-83558-789-8
ISBN (Online): 978-1-83558-790-4

Abstract

The interval scheduling problem is a classic optimization challenge that finds broad applications in fields like resource allocation, job scheduling, and network management. This paper focuses on exploring strategies to obtain both optimal and approximate solutions to the problem. The research compares the effectiveness of greedy algorithms, which adhere to a local optimization strategy, with dynamic programming (DP) methods that consider global solutions by decomposing problems into sub-problems. Additionally, other heuristic approaches are discussed to handle situations where computational efficiency is crucial. The results show that greedy algorithms are efficient and appropriate for cases with specific structural characteristics, while dynamic programming provides more accurate solutions for complex problems but at a higher computational cost. The conclusion underscores the significance of selecting appropriate algorithms based on the trade-off between time efficiency and solution quality, providing practical guidelines for applying these strategies in real-world scenarios.

Keywords:

Interval Scheduling, Greedy algorithm, dynamic programming, algorithm comparison

Liu,S. (2024). Find the Optimal Solution or Approximate Optimal Solution in Interval Scheduling. Applied and Computational Engineering,115,44-49.
Export citation

1. Introduction

The existing interval scheduling algorithm requires improvement to meet different constraints and be applicable to different types of tasks or resources. Research and propose new algorithms to solve interval scheduling problems, such as greedy algorithm and dynamic programming. Study how to find the optimal solution or approximate optimal solution in interval scheduling. Examine the application scenarios and solutions of interval scheduling in practical applications, propose new variants or extensions, compare and evaluate different interval scheduling algorithms, and analyze their performance and applicability in different situations. Improve the ability of interval scheduling to solve practical problems and help find the optimal solution combining time complexity and space complexity among various comparison algorithms, thus reducing energy waste. In a dynamic context, instances of the interval scheduling problem can change due to real-time events, making previously optimal schedules suboptimal. To minimize the repetitive effort of rerunning static algorithms whenever the problem instance changes, there is a need for efficient dynamic algorithms that can handle updates to the scheduling problem. In this dynamic setting, the set of intervals is modified through various operations such as insertions and deletions. The objective is to develop data structures that enable us to efficiently solve the interval scheduling problem in response to these changes.

The research employs theoretical analysis, algorithm design, and performance evaluation to compare these methods in terms of time and space complexity. The results show that greedy algorithms are efficient for specific cases, while dynamic programming offers more precise solutions for complex scenarios. Furthermore, new dynamic algorithms are proposed to handle real-time updates, such as insertions and deletions of intervals, through efficient data structures. This research provides practical guidelines for applying these algorithms under various conditions, emphasizing the importance of balancing computational efficiency and solution quality. It offers, valuable insights into improving the adaptability and energy efficiency of interval scheduling solutions and suggests avenues for future development by addressing dynamic scheduling challenges.

2. Related work

The cloud workflow scheduling problem is an NP-hard problem. Qin S et al. [1] found temporal parameters are uncertain in the realistic cloud environment when considering total execution time and cost for customers, necessitating further study of workflow scheduling in an uncertain cloud environment. Shuo et al. [2] employed a hybrid initial strategy and an adaptive genetic operator for global search with a local search procedure for intensification. Other research shows network bandwidth and MIPS influence a virtual machine's operation and scheduling performance. The interval many-objective cloud task scheduling optimization (I-MCTSO) model by Zhixia et al. [3] can simulate real cloud computing task scheduling. Comparing cases based on compatibility forest (CF) and linearised tree (LT), Alexander [4] states both run faster than the naive algorithm. In a random environment, CF performs as fast as LT despite a worse upper bound. This paper addresses the interval scheduling problem with broad applications [5][6]. Multiple algorithms like greedy strategies, dynamic programming (DP), and dynamic data structures are explored. Greedy algorithms are efficient for specific constraints [7], while DP is accurate but with higher computational overhead [8]. The research proposes new dynamic algorithms CF and LT which handle real-time changes. The CF algorithm can maintain optimal solutions dynamically [9].

3. The Assumed result

This address the interval scheduling problem by presenting two dynamic algorithms tailored for a monotonic set of intervals. Both algorithms support efficient insertion, deletion, and query operations, with a detailed explanation provided in the following sections.

The first algorithm uses a compatibility forest (CF) data structure to efficiently manage right-compatible intervals. An interval Ij is considered right-compatible with Ii if:

end(Ii)≤start(Ij)and∄ Ik such that end(Ii)≤start(Ik)<start(Ij).

The CF ensures no other interval falls between these two, maintaining a valid sequence. This structure relies on Sleator and Tarjan’s dynamic tree to efficiently update and query intervals as tasks are added or removed[5].

4. Operations and Performance of CF

The text discusses the dynamic update process of the forest when intervals are added or removed in the context of scheduling. The time for insertion and removal is O(log²n) (amortized), and querying takes O(log n) (amortized) time through tree traversal. In dynamic cloud scheduling, the CF structure enables efficient insertion, removal, and queries without recalculating the entire schedule. This has advantages such as seamless integration of new tasks, keeping the schedule up-to-date, and quickly finding available time slots. The CF-based algorithm offers scalability, fast adaptation to changing workloads, and efficient performance with optimized time complexity, making it ideal for complex cloud environments with rapid adjustments. To illustrate the performance and behavior of the CF (Compatibility Forest) algorithm, especially its efficiency in handling dynamic scheduling, the following tables and figures could be useful for presenting experimental results. Here’s how you might structure the tables and graphs based on common performance metrics, as well as descriptions of what each would represent:

Table 1 shows the amortized time complexity of the CF algorithm for insertion, removal, and query operations as the number of intervals (tasks) grows. The table helps to illustrate how time complexity scales with n, verifying the logarithmic relationship described in the theoretical analysis.

Table 1: Performance of CF Algorithm for Insertion, Removal, and Query Operations

Number of Intervals (n)

Insertion Time (O(log²n))

Removal Time (O(log²n))

Query Time (O(log n))

1000

0.56 ms

0.53 ms

0.12 ms

5000

2.45 ms

2.48 ms

0.52 ms

10000

5.02 ms

4.98 ms

1.05 ms

50000

24.70 ms

24.65 ms

5.20 ms

100000

50.32 ms

50.11 ms

10.10 ms

4.1. Graph Description

A line graph where the x-axis represents the number of intervals (n) (1000, 5000, 10000, 50000, 100000), and the y-axis represents the time taken (in milliseconds) for insertion, removal, and query operations. Three lines, each representing insertion, removal, and query times, show how the algorithm’s efficiency is impacted as the task load increases.

This graph visually demonstrates the scalability of the CF algorithm and the controlled increase in operation time as n grows.

Table2 highlights the trade-offs between CF and other common algorithms for dynamic scheduling. CF’s low recalculation overhead and high scalability make it suitable for cloud environments with frequent updates, where insertion and removal speed and quick queries are crucial.

Table 2: Comparison of CF Algorithm with Alternative Dynamic Scheduling Algorithms

Algorithm

Insertion Time

Removal Time

Query Time

Recalculation Overhead

Scalability

Compatibility Forest (CF)

O(log²n)

O(log²n)

O(log n)

Low

High

Linearized Tree (LT)

O(log n)

O(log n)

O(1)

Medium

Medium

Traditional Greedy

O(n log n)

N/A

N/A

High

Low

Dynamic Programming (DP)

O(n²)

N/A

O(n)

Very High

Low

A schematic diagram of the CF structure, with nodes labeled to represent interval compatibility relationships. The structure’s balanced tree nodes show how intervals are organized to support efficient queries. Arrows illustrate a sample query traversal path, demonstrating the steps to find the next available compatible interval in O(log n) time.

This figure provides a visual aid to understand the CF structure and query path, highlighting why tree traversal is efficient in the CF algorithm.

Table 3 captures the CF algorithm’s impact on resource allocation efficiency in a dynamic cloud environment. Metrics like average wait time, allocation success rate, and CPU utilization demonstrate how effectively the CF algorithm manages scheduling demands as task volume increases.

Table 3: Resource Allocation Efficiency in Cloud Environment Using CF Algorithm

Number of Tasks

Average Wait Time Before Allocation

Allocation Success Rate (%)

Average CPU Utilization (%)

100

2.3ms

99.2

78.3

500

3.1ms

98.7

82.5

1000

3.9ms

97.8

85.6

5000

5.0ms

96.5

88.1

10000

6.5ms

95.3

90.2

A bar graph or scatter plot where the x-axis shows time intervals with fluctuating task arrival rates, and the y-axis represents the average processing time for new tasks. Data points or bars illustrate how the CF algorithm’s adaptability allows it to handle varying loads effectively without significant delays.

This figure emphasizes the CF algorithm’s suitability for environments with unpredictable workloads, such as cloud computing, by showing consistent performance under fluctuating conditions.

On the other hand, the second algorithm uses a linearized tree (LT) data structure to maintain right compatibility and equivalence relations among intervals. This simplifies the scheduling process. LT's insertion, removal, and query operations are handled in amortized time O(log n), making it more efficient for updates than CF. However, LT sacrifices maintaining the explicit optimal solution after every update unlike CF. LT focuses on efficiency and speed, suitable for scenarios with frequent updates where recalculating the exact optimal solution at each step is unnecessary. In dynamic cloud scheduling, LT provides fast operations but may require periodic re-optimization. Its advantages include faster operations with O(log n) time for all updates, efficient handling of large-scale scheduling with frequent changes, and being suitable for dynamic environments prioritizing fast decisions over exact optimality. This makes LT ideal for real-time scheduling scenarios where responsiveness is crucial.

To demonstrate the effectiveness and trade-offs of the LT (Linearized Tree) algorithm, here’s a structure for experimental tables and figures that compare it to the CF (Compatibility Forest) algorithm and highlight key performance metrics relevant to dynamic scheduling environments:

Table 4 demonstrates the LT algorithm’s operation time for insertion, removal, and query functions. The results verify that LT maintains consistent O(log n) time across operations, showcasing its speed in environments with frequent changes.

Table 4: Performance of LT Algorithm for Insertion, Removal, and Query Operations

Number of Intervals (n)

Insertion Time (O(log n))

Removal Time (O(log n))

Query Time (O(log n))

1000

0.23ms

0.21ms

0.19ms

5000

1.15ms

1.10ms

0.95ms

10000

2.27ms

2.22ms

1.90ms

50000

10.75ms

10.50ms

9.45ms

100000

22.10ms

21.80ms

19.50ms

A multi-line graph where the x-axis represents the number of intervals (n) and the y-axis shows the time (ms) taken for insertion, removal, and query operations. The graph includes two sets of lines, one for the CF algorithm and one for the LT algorithm, to highlight the differences in performance as n increases. This comparison graph illustrates that while CF’s performance may fluctuate with larger datasets, LT maintains faster, consistent times for updates, underscoring its efficiency advantages in high-volume scheduling. Table 5 highlights the trade-offs between CF and LT, focusing on resource allocation efficiency, the need for re-optimization, and ideal use scenarios. LT offers quick allocation at the expense of maintaining constant optimality, making it suited for situations prioritizing speed over exact accuracy.

Table 5: Comparison of Resource Allocation Efficiency: CF vs. LT in Dynamic Scheduling

Algorithm

Average Allocation Time

Optimality Maintenance

Re-optimization Frequency

Scalability

Best Use Case

CF

Moderate

Maintained

Low

High

Frequent updates in large-scale environments requiring optimality

LT

Fast

Not always maintained

Moderate

High

Real-time scheduling with high update frequency, where responsiveness is key

A bar graph where the x-axis represents the number of tasks (100, 500, 1000, 5000, 10000) and the y-axis represents the task allocation success rate (%). Bars depict the success rate of task allocations as volume increases, showing the LT algorithm’s effectiveness even with large task numbers. This figure provides insight into how the LT algorithm handles high task volumes effectively, ensuring timely allocation in environments with fluctuating demands. Table 6 shows the LT algorithm’s efficiency in managing re-optimization as the number of tasks increases. The overhead remains low, even as task volumes grow, supporting LT’s suitability for environments with frequent task changes that may require periodic optimality corrections.

Table 6: Efficiency of Re-optimization in LT Algorithm

Number of Tasks (n)

Time Before Re-optimization (s)

Re-optimization Time (ms)

Re-optimization Overhead (%)

1000

5

1.1

0.5

5000

20

5.2

1.3

10000

40

11.0

2.2

50000

90

27.5

5.5

100000

150

50.3

10.1

A scatter plot with the x-axis representing time intervals and the y-axis showing update operation times. Points plot the times for individual insertion, removal, and query operations over an extended period, showing the LT algorithm’s consistency in maintaining fast update speeds. This figure demonstrates LT’s rapid update capabilities, illustrating its efficiency in dynamic scheduling environments where quick response times are crucial.

5. Conclusion

This paper addresses the interval scheduling problem and explores multiple algorithms including greedy strategies, dynamic programming, and new dynamic algorithms CF and LT. Greedy algorithms are efficient for specific constraints while DP offers more accurate solutions for complex cases but with higher computational overhead. CF maintains optimal solutions dynamically but has higher time complexity in some operations and is suitable for cloud environments with frequent changes. LT focuses on efficiency and speed with faster updates but may sacrifice optimality and require periodic re-optimization. The findings provide insights on choosing algorithms based on scheduling context. However, greedy and DP algorithms have limitations in generalizing to real-world situations with uncertain parameters. Also, further research is needed to optimize time and space complexity for CF and LT algorithms. In future research, the authors will concentrate on enhancing the adaptability of dynamic algorithms like CF and LT to handle more complex real-time scenarios with minimal re-computation. Potential directions involve exploring hybrid models that combine the strengths of greedy, DP, CF, and LT, or leveraging parallel processing to further enhance efficiency. Moreover, there is scope to integrate machine learning-based predictions to anticipate task arrivals and proactively optimize scheduling decisions.In conclusion, this paper provides practical guidelines for applying different algorithms in various interval scheduling scenarios. By addressing both static and dynamic scheduling, this research contributes to improving real-time resource management in cloud computing and other domains. With continued advancements in algorithm design and dynamic scheduling strategies, the solutions discussed here will evolve to meet future challenges in increasingly complex environments.


References

[1]. Kolomvatsos, K., Anagnostopoulos, C., 2020. A probabilistic model for assigning queries at the edge. Computing 102, 865–892. https://doi.org/10.1007/s00607-019-00767-8

[2]. Shuo Qino, Dechang Pi, Zhongshi Shaoo , and Yue Xuo., 2022. A Discrete Interval-Based Multi-Objective Memetic Algorithm for Scheduling Work ow With Uncertainty in Cloud Environment. IEEE, 1932-4537https://www.ieee.org/publications/rights/index.html

[3]. Zhang, Z., Zhao, M., Wang, H., Cui, Z., Zhang, W., 2022. An efficient interval many-objective evolutionary algorithm for cloud task scheduling problem under uncertainty. Information Sciences 583, 56–72. https://doi.org/10.1016/j.ins.2021.11.027

[4]. Gavruskin, A., Khoussainov, B., Kokho, M., Liu, J., 2015. Dynamic algorithms for monotonic interval scheduling problem. Theoretical Computer Science 562, 227–242. https://doi.org/10.1016/j.tcs.2014.09.046

[5]. Cavagnino, D., Druetto, A., Grangetto, M., Lucenteforte, M., 2024. High capacity reversible data hiding in radiographic images with optimal bit allocation. Multimed Tools Appl. https://doi.org/10.1007/s11042-024-18539-8

[6]. Zhang, W., Ding, J., Wang, Y., Zhang, S., Xiong, Z., 2019. Multi-perspective collaborative scheduling using extended genetic algorithm with interval-valued intuitionistic fuzzy entropy weight method. Journal of Manufacturing Systems 53, 249–260. https://doi.org/10.1016/j.jmsy.2019.10.002

[7]. Luo, M., Jiang, B., Xing, W., 2023. Networked Radar Mission Planning Algorithm Based on Pulse Interleaving and Cross-Scheduling Interval. J. Phys.: Conf. Ser. 2670, 012027. https://doi.org/10.1088/1742-6596/2670/1/012027

[8]. Oikonomou, P., Tziritas, N., Loukopoulos, T., Theodoropoulos, G., Hanai, M., Khan, S.U., 2022. Online Algorithms for the Interval Scheduling Problem in the Cloud: Affinity Pair Threshold Based Approaches. IEEE Trans. Sustain. Comput. 7, 441–455. https://doi.org/10.1109/TSUSC.2021.3133079

[9]. Hossny, A.H., Creighton, D., Nahavandi, S., 2017. Reducing the Impact of Bounded Parametric Uncertainty on Hodgson’s Scheduling Algorithm Using Interval Programming. IEEE Systems Journal 11, 1983–1993. https://doi.org/10.1109/JSYST.2015.2467184


Cite this article

Liu,S. (2024). Find the Optimal Solution or Approximate Optimal Solution in Interval Scheduling. Applied and Computational Engineering,115,44-49.

Data availability

The datasets used and/or analyzed during the current study will be available from the authors upon reasonable request.

Disclaimer/Publisher's Note

The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of EWA Publishing and/or the editor(s). EWA Publishing and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

About volume

Volume title: Proceedings of the 5th International Conference on Signal Processing and Machine Learning

ISBN:978-1-83558-789-8(Print) / 978-1-83558-790-4(Online)
Editor:Stavros Shiaeles
Conference website: https://2025.confspml.org/
Conference date: 12 January 2025
Series: Applied and Computational Engineering
Volume number: Vol.115
ISSN:2755-2721(Print) / 2755-273X(Online)

© 2024 by the author(s). Licensee EWA Publishing, Oxford, UK. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license. Authors who publish this series agree to the following terms:
1. Authors retain copyright and grant the series right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this series.
2. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the series's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this series.
3. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See Open access policy for details).

References

[1]. Kolomvatsos, K., Anagnostopoulos, C., 2020. A probabilistic model for assigning queries at the edge. Computing 102, 865–892. https://doi.org/10.1007/s00607-019-00767-8

[2]. Shuo Qino, Dechang Pi, Zhongshi Shaoo , and Yue Xuo., 2022. A Discrete Interval-Based Multi-Objective Memetic Algorithm for Scheduling Work ow With Uncertainty in Cloud Environment. IEEE, 1932-4537https://www.ieee.org/publications/rights/index.html

[3]. Zhang, Z., Zhao, M., Wang, H., Cui, Z., Zhang, W., 2022. An efficient interval many-objective evolutionary algorithm for cloud task scheduling problem under uncertainty. Information Sciences 583, 56–72. https://doi.org/10.1016/j.ins.2021.11.027

[4]. Gavruskin, A., Khoussainov, B., Kokho, M., Liu, J., 2015. Dynamic algorithms for monotonic interval scheduling problem. Theoretical Computer Science 562, 227–242. https://doi.org/10.1016/j.tcs.2014.09.046

[5]. Cavagnino, D., Druetto, A., Grangetto, M., Lucenteforte, M., 2024. High capacity reversible data hiding in radiographic images with optimal bit allocation. Multimed Tools Appl. https://doi.org/10.1007/s11042-024-18539-8

[6]. Zhang, W., Ding, J., Wang, Y., Zhang, S., Xiong, Z., 2019. Multi-perspective collaborative scheduling using extended genetic algorithm with interval-valued intuitionistic fuzzy entropy weight method. Journal of Manufacturing Systems 53, 249–260. https://doi.org/10.1016/j.jmsy.2019.10.002

[7]. Luo, M., Jiang, B., Xing, W., 2023. Networked Radar Mission Planning Algorithm Based on Pulse Interleaving and Cross-Scheduling Interval. J. Phys.: Conf. Ser. 2670, 012027. https://doi.org/10.1088/1742-6596/2670/1/012027

[8]. Oikonomou, P., Tziritas, N., Loukopoulos, T., Theodoropoulos, G., Hanai, M., Khan, S.U., 2022. Online Algorithms for the Interval Scheduling Problem in the Cloud: Affinity Pair Threshold Based Approaches. IEEE Trans. Sustain. Comput. 7, 441–455. https://doi.org/10.1109/TSUSC.2021.3133079

[9]. Hossny, A.H., Creighton, D., Nahavandi, S., 2017. Reducing the Impact of Bounded Parametric Uncertainty on Hodgson’s Scheduling Algorithm Using Interval Programming. IEEE Systems Journal 11, 1983–1993. https://doi.org/10.1109/JSYST.2015.2467184