A simple proof of the Moore-Hodgson Algorithm for minimizing the number of late jobs

04/13/2021
by   Joseph Cheriyan, et al.
0

The Moore-Hodgson Algorithm minimizes the number of late jobs on a single machine. That is, it finds an optimal schedule for the classical problem 1 | | ∑U_j. Several proofs of the correctness of this algorithm have been published. We present a new short proof.

READ FULL TEXT

page 1

page 2

page 3

research
07/27/2023

Single machine rescheduling for new orders: properties and complexity results

Rescheduling problems arise in a variety of situations where a previousl...
research
04/28/2022

Generic Dijkstra: correctness and tractability

The recently-proposed generic Dijkstra algorithm finds shortest paths in...
research
05/13/2021

Verification of the Incremental Merkle Tree Algorithm with Dafny

The Deposit Smart Contract (DSC) is an instrumental component of the Eth...
research
08/04/2022

Makespan Scheduling of Unit Jobs with Precedence Constraints in O(1.995^n) time

In a classical scheduling problem, we are given a set of n jobs of unit ...
research
07/05/2022

An almost linear time complexity algorithm for the Tool Loading Problem

As shown by Tang, Denardo [9] the job Sequencing and tool Switching Prob...
research
02/23/2018

Abstract Completion, Formalized

Completion is one of the most studied techniques in term rewriting and f...
research
01/07/2020

Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof

In his seminal paper of 2004, Ulrich Junker proposed the QuickXPlain alg...

Please sign up or login with your details

Forgot password? Click here to reset