Der Johnson-Algorithmus ist ein Optimierungsverfahren für Warteschlangen, das 1954 von Selmer M. Johnson vorgestellt wurde. Es findet unter anderem bei der Reihenfolgeplanung zur Bestimmung der minimalen Zykluszeit in der Produktionswirtschaft Anwendung.

Der Johnson-Algorithmus liefert eine hinsichtlich der Zykluszeit optimale Reihenfolge von unbestimmt vielen Aufträgen, die jeweils auf genau zwei Maschinen nacheinander bearbeitet werden sollen. Der Algorithmus lässt sich auf mehr als zwei Maschinen verallgemeinern, indem Hilfsprobleme erzeugt werden.

Es existiert ein Stapel mit unbestimmt vielen Aufträgen ${\displaystyle A_{n}}$, die in einer optimalen Reihenfolge bezüglich der Zykluszeit auf genau zwei Maschinen / Prozessoren ${\displaystyle M_{j}}$ nacheinander bearbeitet werden sollen.

Beispiel: Fünf Aufträge mit unterschiedlichen Bearbeitungszeiten sollen Zykluszeit-optimal jeweils zuerst auf der Maschine ${\displaystyle M_{1}}$ und danach auf der Maschine ${\displaystyle M_{2}}$ bearbeitet werden. Die folgende Tabelle gibt an, wie viel Zeit (in ZE) ein Auftrag A_i auf einer Maschine ${\displaystyle M_{j}}$ benötigt.

Das Problem kann mit folgender iterativer Vorschrift gelöst werden:

1. Suche den Auftrag A_i mit der absolut kürzesten Bearbeitungszeit
2. Entscheide:
   • Falls ${\displaystyle j=1}$: Ordne den Auftrag ${\displaystyle A_{i}}$ so weit vorn wie möglich in der Reihenfolge an
   • Falls ${\displaystyle j=2}$: Ordne den Auftrag ${\displaystyle A_{i}}$ so weit hinten wie möglich in der Reihenfolge an
3. fahre fort bei 1. solange bis jeder Auftrag zugeordnet ist.

Der Johnson-Algorithmus sucht sich jetzt den kürzesten Auftrag, also ${\displaystyle A_{1}}$ mit 4 ZE. Da ${\displaystyle A_{1}}$ auf ${\displaystyle M_{2}(j=2)}$ am wenigsten Zeit benötigt, wird er in der neuen Reihenfolge so weit wie möglich hinten eingeordnet.

Der nächst-kürzeste Auftrag ist ${\displaystyle A_{3}}$ mit 7 ZE. Da ${\displaystyle A_{3}}$ auf ${\displaystyle M_{1}}$ am wenigsten Zeit benötigt, wird er in der neuen Reihenfolge so weit vorn wie möglich eingeordnet usw.

Im Folgenden wird der Algorithmus anhand eines Beispiels demonstriert. Die Formatierungen haben folgende Bedeutung:

als kürzeste Laufzeit identifizierter Wert

bereits sequenzierter Auftrag

Der Startzustand umfasst eine zufällige Auftragsreihenfolge:

Zustand 1:

Zustand 2:

Zustand 3:

Zustand 4:

Zustand 5:

Zustand 6 (Endzustand a):

Anmerkung: Hier wäre der Algorithmus theoretisch schon zu Ende, bei einer Implementierung kann jedoch noch ein weiterer Zustand aufgrund verschiedener Elementsgrößenüberprüfung angezeigt werden.

Zustand 7 (Endzustand b):

Es gibt bei diesem Beispiel somit 2 richtige Ergebnisse.

1. Bilde eine Gruppe von Aufträgen mit Bearbeitungszeit, die auf der ersten Maschine kürzer sind, als auf der zweiten.
   • Sortiere diese Gruppe aufsteigend nach der Bearbeitungszeit auf Maschine 1.
2. Bilde eine zweite Gruppe mit restlichen Aufträgen.
   • Sortiere sie absteigend nach der Bearbeitungszeit auf Maschine 2.

Die Aufträge ${\displaystyle A_{2}(M_{1}=12),A_{3}(M_{1}=7),A_{5}(M_{1}=11)}$ bilden die erste Gruppe. Die Sortierung nach der kürzesten Bearbeitungsdauer auf der Maschine M₁ ergibt den ersten Teil der Lösung: ${\displaystyle A_{3}\to A_{5}\to A_{2}}$.

Die zweite Gruppe enthält die Aufträge ${\displaystyle A_{1}(M_{2}=4),A_{4}(M_{2}=9)}$. Die Sortierung nach der längsten Bearbeitungsdauer auf der Maschine ${\displaystyle M_{2}}$ ergibt den zweiten Teil der Lösung: ${\displaystyle A_{4}\to A_{1}}$.

Die durchlaufzeitoptimale Reihenfolge für dieses Beispiel ist demnach: ${\displaystyle A_{3}\to A_{5}\to A_{2}\to A_{4}\to A_{1}}$. Die Abbildung „Optimale Maschinenbelegung“ stellt die optimale Lösung grafisch dar.

• Selmer Martin Johnson: Optimal two- and three-stage production schedules with setup times included. In: Naval Research Logistics Quarterly, vol. 1, iss. 1, 1954, S. 61–68.

• Johnson's Algorithm For Scheduling Ajay Joneja, The Hong Kong University of Science and Technology