Arbeitspapier

New insights on the complexity of resource-constrained project scheduling: A case of single-mode scheduling

Complexity proofs often restrict themselves to stating that the problem at hand is a generalization of some other intractable problem, This proof technique relies on the widely accepted assumptions that complexity results hold regardless of the model formulation used to represent the problem and the encoding used to represent its instances. However, recent results indicate that these assumptions are not always justified. Brüggemann (1995) showed that for at least one model formulation of the discrete lotsizing and scheduling problem (DLSP) and certain, pathological instances the corresponding decision problem cannot be a member of NP; therefore that DLSP-model is exponential.With respect to the field of resource-constrained project scheduling, the question arises whether here this or a similar Situation may occur as well. We extend the findings of Brüggemann to the Single mode project scheduling problem (SMPSP) where we prove the well-known binary programming model of the SMPSP to be exponential as well - regardless of the particular encoding used. In addition, we demonstrate that this result can be improved to a strongly NP-equivalence result by adding one moderate restriction on the problem parameters.

Language
Englisch

Bibliographic citation
Series: Manuskripte aus den Instituten für Betriebswirtschaftslehre der Universität Kiel ; No. 390

Classification
Management
Subject
Resource-Constrained Project Scheduling
Computational Complexity
Produktionssteuerung
Mathematische Optimierung
Engpass
Theorie

Event
Geistige Schöpfung
(who)
Schirmer, Andreas
Event
Veröffentlichung
(who)
Universität Kiel, Institut für Betriebswirtschaftslehre
ZBW – Leibniz Information Centre for Economics
(where)
Kiel
(when)
1996

Handle
Last update
10.03.2025, 11:41 AM CET

Data provider

This object is provided by:
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. If you have any questions about the object, please contact the data provider.

Object type

  • Arbeitspapier

Associated

  • Schirmer, Andreas
  • Universität Kiel, Institut für Betriebswirtschaftslehre
  • ZBW – Leibniz Information Centre for Economics

Time of origin

  • 1996

Other Objects (12)