<p>Group testing is an approach aimed at identifying up to <i>d</i> defective items among a total of <i>n</i> elements. This is accomplished by examining subsets to determine if at least one defective item is present. We focus on the problem of identifying a subset of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\ell &lt; d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ℓ</mi> <mo>&lt;</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation> defective items. We develop upper and lower bounds on the number of tests required to detect <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> defective items in both the adaptive and non-adaptive settings while considering scenarios where no prior knowledge of <i>d</i> is available, and situations where some non-trivial estimate of <i>d</i> is at hand. When <i>d</i> is unknown, we prove a lower bound of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( \varOmega (\frac{\ell \log ^2n}{\log \ell +\log \log n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Ω</mi> <mo stretchy="false">(</mo> <mfrac> <mrow> <mi>ℓ</mi> <msup> <mo>log</mo> <mn>2</mn> </msup> <mi>n</mi> </mrow> <mrow> <mo>log</mo> <mi>ℓ</mi> <mo>+</mo> <mo>log</mo> <mo>log</mo> <mi>n</mi> </mrow> </mfrac> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> tests in the randomized non-adaptive settings and an upper bound of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(O(\ell \log ^2 n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>ℓ</mi> <msup> <mo>log</mo> <mn>2</mn> </msup> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for the same settings. Furthermore, we demonstrate that any non-adaptive deterministic algorithm must make <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\varTheta (n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Θ</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> tests, signifying a fundamental limitation in this scenario. For adaptive algorithms, we establish tight bounds in different scenarios. In the deterministic case, we prove a tight bound of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\varTheta (\ell \log {(n/\ell )})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Θ</mi> <mo stretchy="false">(</mo> <mi>ℓ</mi> <mo>log</mo> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mi>ℓ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Moreover, in the randomized settings, we derive a tight bound of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\varTheta (\ell \log {(n/d)})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Θ</mi> <mo stretchy="false">(</mo> <mi>ℓ</mi> <mo>log</mo> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. When <i>d</i>, or at least some non-trivial estimate of <i>d</i>, is known, we prove a tight bound of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\varTheta (d\log (n/d))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Θ</mi> <mo stretchy="false">(</mo> <mi>d</mi> <mo>log</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mi>d</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for the deterministic non-adaptive settings, and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\varTheta (\ell \log (n/d))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Θ</mi> <mo stretchy="false">(</mo> <mi>ℓ</mi> <mo>log</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mi>d</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for the randomized non-adaptive settings. In the adaptive case, we present an upper bound of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(O(\ell \log (n/\ell ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>ℓ</mi> <mo>log</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mi>ℓ</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for the deterministic settings, and a lower bound of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\varOmega (\ell \log (n/d)+\log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Ω</mi> <mo stretchy="false">(</mo> <mi>ℓ</mi> <mo>log</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mi>d</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Additionally, we establish a tight bound of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\varTheta (\ell \log (n/d))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Θ</mi> <mo stretchy="false">(</mo> <mi>ℓ</mi> <mo>log</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mi>d</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for the randomized adaptive settings.</p>

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

On Detecting Some Defective Items in Group Testing

  • Nader H. Bshouty,
  • Catherine A. Haddad-Zaknoon

摘要

Group testing is an approach aimed at identifying up to d defective items among a total of n elements. This is accomplished by examining subsets to determine if at least one defective item is present. We focus on the problem of identifying a subset of \(\ell < d\) < d defective items. We develop upper and lower bounds on the number of tests required to detect \(\ell \) defective items in both the adaptive and non-adaptive settings while considering scenarios where no prior knowledge of d is available, and situations where some non-trivial estimate of d is at hand. When d is unknown, we prove a lower bound of \( \varOmega (\frac{\ell \log ^2n}{\log \ell +\log \log n})\) Ω ( log 2 n log + log log n ) tests in the randomized non-adaptive settings and an upper bound of \(O(\ell \log ^2 n)\) O ( log 2 n ) for the same settings. Furthermore, we demonstrate that any non-adaptive deterministic algorithm must make \(\varTheta (n)\) Θ ( n ) tests, signifying a fundamental limitation in this scenario. For adaptive algorithms, we establish tight bounds in different scenarios. In the deterministic case, we prove a tight bound of \(\varTheta (\ell \log {(n/\ell )})\) Θ ( log ( n / ) ) . Moreover, in the randomized settings, we derive a tight bound of \(\varTheta (\ell \log {(n/d)})\) Θ ( log ( n / d ) ) . When d, or at least some non-trivial estimate of d, is known, we prove a tight bound of \(\varTheta (d\log (n/d))\) Θ ( d log ( n / d ) ) for the deterministic non-adaptive settings, and \(\varTheta (\ell \log (n/d))\) Θ ( log ( n / d ) ) for the randomized non-adaptive settings. In the adaptive case, we present an upper bound of \(O(\ell \log (n/\ell ))\) O ( log ( n / ) ) for the deterministic settings, and a lower bound of \(\varOmega (\ell \log (n/d)+\log n)\) Ω ( log ( n / d ) + log n ) . Additionally, we establish a tight bound of \(\varTheta (\ell \log (n/d))\) Θ ( log ( n / d ) ) for the randomized adaptive settings.