Scheduling Problems

Pedagogical Contributions to Learning within the Scope of Computation Theory

Authors

DOI:

https://doi.org/10.20873/uft.2675-3588.2026.v7n2.p51-60

Keywords:

NP-completeness, Scheduling, Polynomial reduction, 3-SAT, Computational complexity

Abstract

Scheduling problems constitute a fundamental class of challenges in optimization and computing, particularly in operating systems, parallel processing, and real-time applications. Despite their wide practical use, many variants remain computationally intractable, even under strong structural restrictions. This article investigates the NP-completeness of two specific versions of the scheduling problem: scheduling with unit processing time and scheduling on two processors with tasks of duration one or two time units. The theoretical foundation relies on classical polynomial-time reductions, especially from the 3-SAT problem, which allows logical assignments to be encoded directly into precedence constraints and processor-capacity limitations. Furthermore, additional transformations between restricted versions of the problem are employed to preserve the structural equivalence of solutions. The contributions include a didactic reconstruction of the original proofs, an analysis of the mechanisms that give rise to computational hardness, and a discussion of the practical implications of these results in real scheduling systems. The results presented in the literature reinforce that even seemingly simple scenarios exhibit NP-complete behavior.

Author Biography

Tanilson Dias dos Santos

Professor do Curso de Ciência da Computação - UFT. Doutor em Engenharia de Sistemas e Computação pelo PESC/COPPE-UFRJ. Possui Mestrado em Sistemas e Computação pelo Instituto Militar de Engenharia (IME,2014). É também pesquisador da área de Teoria dos Grafos e Teoria da Computação. Possuo graduação em Ciência da Computação e tem interesse de estudo nas áreas de Inteligência Artificial, Grafos, Otimização e Autômatos. Participou, anteriormente, do projeto de futebol de robôs na liga de simulação 2D. Possuo Certificação Internacional em Teste de Qualidade de Software, em exame realizado pela BSTQB, no nível CTFL (Foudation Level).

Published

2026-02-10

How to Cite

[1]
Rolins Ribeiro, H. et al. 2026. Scheduling Problems: Pedagogical Contributions to Learning within the Scope of Computation Theory. Academic Journal on Computing, Engineering and Applied Mathematics. 7, 2 (Feb. 2026), 51–60. DOI:https://doi.org/10.20873/uft.2675-3588.2026.v7n2.p51-60.

Issue

Section

Special Issue

Categories

Most read articles by the same author(s)

Similar Articles

1 2 > >> 

You may also start an advanced similarity search for this article.