<p>We consider single machine scheduling problems minimizing the makespan when tasks are subject to precedence constraints with minimum, exact or maximum delays. We investigate the parameterized complexity of these problems with respect to the maximum delay value <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\ell _{max}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mrow> <mi mathvariant="italic">max</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, and we complement the landscape of results in this field.</p><p>We prove that several special cases of the problem with either exact or minimum delays are para-<InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textsf{NP}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">NP</mi> </math></EquationSource> </InlineEquation>-complete or <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textsf{XNLP}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">XNLP</mi> </math></EquationSource> </InlineEquation>-hard with respect to <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\ell _{max}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mrow> <mi mathvariant="italic">max</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>. In particular, in the case of precedence chains and unit processing times, we establish that the problem is para-<InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textsf{NP}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">NP</mi> </math></EquationSource> </InlineEquation>-complete with exact delays and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\textsf{XNLP}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">XNLP</mi> </math></EquationSource> </InlineEquation>-hard with minimum delays, while it is polynomial-time solvable with maximum delays. We then investigate the combination of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\ell _{max}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mrow> <mi mathvariant="italic">max</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> with the width of the precedence graph, and aim for drawing the line of fixed-parameter tractability for the three types of delays. We show that for those combined parameters, the maximum delays case is polynomial-time solvable for chains, whereas for minimum delays it is proved <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textsf{XNLP}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">XNLP</mi> </math></EquationSource> </InlineEquation>-complete even with unit processing times and only two available delay threshold values. If a general precedence graph is assumed, we also establish that the problem with minimum delays is <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\textsf{XNLP}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">XNLP</mi> </math></EquationSource> </InlineEquation>-complete, even for unit processing time and equal delays, whereas it is in <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\textsf{FPT}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">FPT</mi> </math></EquationSource> </InlineEquation> for exact delays. Finally we consider problems with time windows, and propose a fixed-parameter tractable algorithm for problems with unbounded processing times, a general precedence graph and all types of delays, with respect to parameters <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\ell _{max}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mrow> <mi mathvariant="italic">max</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> combined with the maximum slack of a task.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Single Machine Scheduling with Precedence Constraints and Bounded Maximum Delay Value

  • Maher Mallem,
  • Claire Hanen,
  • Alix Munier-Kordon

摘要

We consider single machine scheduling problems minimizing the makespan when tasks are subject to precedence constraints with minimum, exact or maximum delays. We investigate the parameterized complexity of these problems with respect to the maximum delay value \(\ell _{max}\) max , and we complement the landscape of results in this field.

We prove that several special cases of the problem with either exact or minimum delays are para- \(\textsf{NP}\) NP -complete or \(\textsf{XNLP}\) XNLP -hard with respect to \(\ell _{max}\) max . In particular, in the case of precedence chains and unit processing times, we establish that the problem is para- \(\textsf{NP}\) NP -complete with exact delays and \(\textsf{XNLP}\) XNLP -hard with minimum delays, while it is polynomial-time solvable with maximum delays. We then investigate the combination of \(\ell _{max}\) max with the width of the precedence graph, and aim for drawing the line of fixed-parameter tractability for the three types of delays. We show that for those combined parameters, the maximum delays case is polynomial-time solvable for chains, whereas for minimum delays it is proved \(\textsf{XNLP}\) XNLP -complete even with unit processing times and only two available delay threshold values. If a general precedence graph is assumed, we also establish that the problem with minimum delays is \(\textsf{XNLP}\) XNLP -complete, even for unit processing time and equal delays, whereas it is in \(\textsf{FPT}\) FPT for exact delays. Finally we consider problems with time windows, and propose a fixed-parameter tractable algorithm for problems with unbounded processing times, a general precedence graph and all types of delays, with respect to parameters \(\ell _{max}\) max combined with the maximum slack of a task.