<p>We contribute <i>the first</i> randomized algorithm that is an integration of <i>arbitrarily many</i> deterministic algorithms for the fully online multiprocessor scheduling with testing problem to minimize the makespan. When there are only two machines, we show that using two component algorithms its expected-competitive ratio is already strictly smaller than the best proven deterministic competitive ratio lower bound. Such algorithmic results are rarely seen in the literature. Multiprocessor scheduling is one of the first combinatorial optimization problems that have received numerous studies. Recently, several research groups examined its testing variant, in which each job <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(J_j\)</EquationSource> </InlineEquation> arrives with an upper bound <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(u_j\)</EquationSource> </InlineEquation> on the processing time and a testing operation of length <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(t_j\)</EquationSource> </InlineEquation>; one can choose to execute <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(J_j\)</EquationSource> </InlineEquation> for <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(u_j\)</EquationSource> </InlineEquation> time, or to test <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(J_j\)</EquationSource> </InlineEquation> for <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(t_j\)</EquationSource> </InlineEquation> time to obtain the exact processing time <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(p_j\)</EquationSource> </InlineEquation> followed by immediately executing the job for <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(p_j\)</EquationSource> </InlineEquation> time. Our target problem is the fully online version, in which the jobs arrive in sequence so that the testing decision needs to be made as well as the designated machine at or after a job arrives. We propose a <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((\sqrt{\varphi + 3} + 1) (\approx 3.1490)\)</EquationSource> </InlineEquation>-expected-competitive randomized algorithm as a <i>non-uniform</i> probability distribution over arbitrarily many deterministic algorithms, where <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\varphi = \frac{\sqrt{5} + 1}{2}\)</EquationSource> </InlineEquation> is the Golden ratio. When there are only two machines, we show that our randomized algorithm based on two deterministic algorithms is already <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\frac{3 \varphi + 3 \sqrt{13 - 7\varphi }}{4} (\approx 2.1839)\)</EquationSource> </InlineEquation>-expected-competitive. Besides, we use Yao’s principle to prove lower bounds of 1.5376 and 1.6105 on the expected-competitive ratio for any randomized algorithm at the presence of at least three and only two machines, respectively, and prove a lower bound of 2.2117 on the competitive ratio for any deterministic algorithm when there are only two machines.</p>

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

Randomized algorithms for fully online multiprocessor scheduling with testing

  • Mingyang Gong,
  • Zhi-Zhong Chen,
  • Guangting Chen,
  • Guohui Lin,
  • Lusheng Wang

摘要

We contribute the first randomized algorithm that is an integration of arbitrarily many deterministic algorithms for the fully online multiprocessor scheduling with testing problem to minimize the makespan. When there are only two machines, we show that using two component algorithms its expected-competitive ratio is already strictly smaller than the best proven deterministic competitive ratio lower bound. Such algorithmic results are rarely seen in the literature. Multiprocessor scheduling is one of the first combinatorial optimization problems that have received numerous studies. Recently, several research groups examined its testing variant, in which each job \(J_j\) arrives with an upper bound \(u_j\) on the processing time and a testing operation of length \(t_j\) ; one can choose to execute \(J_j\) for \(u_j\) time, or to test \(J_j\) for \(t_j\) time to obtain the exact processing time \(p_j\) followed by immediately executing the job for \(p_j\) time. Our target problem is the fully online version, in which the jobs arrive in sequence so that the testing decision needs to be made as well as the designated machine at or after a job arrives. We propose a \((\sqrt{\varphi + 3} + 1) (\approx 3.1490)\) -expected-competitive randomized algorithm as a non-uniform probability distribution over arbitrarily many deterministic algorithms, where \(\varphi = \frac{\sqrt{5} + 1}{2}\) is the Golden ratio. When there are only two machines, we show that our randomized algorithm based on two deterministic algorithms is already \(\frac{3 \varphi + 3 \sqrt{13 - 7\varphi }}{4} (\approx 2.1839)\) -expected-competitive. Besides, we use Yao’s principle to prove lower bounds of 1.5376 and 1.6105 on the expected-competitive ratio for any randomized algorithm at the presence of at least three and only two machines, respectively, and prove a lower bound of 2.2117 on the competitive ratio for any deterministic algorithm when there are only two machines.