{"title":"On Detecting Some Defective Items in Group Testing","authors":"Nader H. Bshouty, Catherine A. Haddad-Zaknoon","doi":"10.1007/s10878-026-01394-8","DOIUrl":null,"url":null,"abstract":"Group testing is an approach aimed at identifying up to <italic>d</italic> defective items among a total of <italic>n</italic> 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 <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>ℓ</mml:mi><mml:mo><</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\ell < d$$\\end{document}</tex-math></alternatives></inline-formula> defective items. We develop upper and lower bounds on the number of tests required to detect <inline-formula><alternatives><mml:math><mml:mi>ℓ</mml:mi></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\ell $$\\end{document}</tex-math></alternatives></inline-formula> defective items in both the adaptive and non-adaptive settings while considering scenarios where no prior knowledge of <italic>d</italic> is available, and situations where some non-trivial estimate of <italic>d</italic> is at hand. When <italic>d</italic> is unknown, we prove a lower bound of <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>Ω</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mfrac><mml:mrow><mml:mi>ℓ</mml:mi><mml:msup><mml:mo>log</mml:mo><mml:mn>2</mml:mn></mml:msup><mml:mi>n</mml:mi></mml:mrow><mml:mrow><mml:mo>log</mml:mo><mml:mi>ℓ</mml:mi><mml:mo>+</mml:mo><mml:mo>log</mml:mo><mml:mo>log</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:mfrac><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\varOmega (\\frac{\\ell \\log ^2n}{\\log \\ell +\\log \\log n})$$\\end{document}</tex-math></alternatives></inline-formula> tests in the randomized non-adaptive settings and an upper bound of <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>O</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>ℓ</mml:mi><mml:msup><mml:mo>log</mml:mo><mml:mn>2</mml:mn></mml:msup><mml:mi>n</mml:mi><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$O(\\ell \\log ^2 n)$$\\end{document}</tex-math></alternatives></inline-formula> for the same settings. Furthermore, we demonstrate that any non-adaptive deterministic algorithm must make <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>Θ</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varTheta (n)$$\\end{document}</tex-math></alternatives></inline-formula> 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 <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>Θ</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>ℓ</mml:mi><mml:mo>log</mml:mo><mml:mrow><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo stretchy=\"false\">/</mml:mo><mml:mi>ℓ</mml:mi><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varTheta (\\ell \\log {(n/\\ell )})$$\\end{document}</tex-math></alternatives></inline-formula>. Moreover, in the randomized settings, we derive a tight bound of <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>Θ</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>ℓ</mml:mi><mml:mo>log</mml:mo><mml:mrow><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo stretchy=\"false\">/</mml:mo><mml:mi>d</mml:mi><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varTheta (\\ell \\log {(n/d)})$$\\end{document}</tex-math></alternatives></inline-formula>. When <italic>d</italic>, or at least some non-trivial estimate of <italic>d</italic>, is known, we prove a tight bound of <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>Θ</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>d</mml:mi><mml:mo>log</mml:mo><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo stretchy=\"false\">/</mml:mo><mml:mi>d</mml:mi><mml:mo stretchy=\"false\">)</mml:mo><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varTheta (d\\log (n/d))$$\\end{document}</tex-math></alternatives></inline-formula> for the deterministic non-adaptive settings, and <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>Θ</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>ℓ</mml:mi><mml:mo>log</mml:mo><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo stretchy=\"false\">/</mml:mo><mml:mi>d</mml:mi><mml:mo stretchy=\"false\">)</mml:mo><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varTheta (\\ell \\log (n/d))$$\\end{document}</tex-math></alternatives></inline-formula> for the randomized non-adaptive settings. In the adaptive case, we present an upper bound of <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>O</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>ℓ</mml:mi><mml:mo>log</mml:mo><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo stretchy=\"false\">/</mml:mo><mml:mi>ℓ</mml:mi><mml:mo stretchy=\"false\">)</mml:mo><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$O(\\ell \\log (n/\\ell ))$$\\end{document}</tex-math></alternatives></inline-formula> for the deterministic settings, and a lower bound of <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>Ω</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>ℓ</mml:mi><mml:mo>log</mml:mo><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo stretchy=\"false\">/</mml:mo><mml:mi>d</mml:mi><mml:mo stretchy=\"false\">)</mml:mo><mml:mo>+</mml:mo><mml:mo>log</mml:mo><mml:mi>n</mml:mi><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varOmega (\\ell \\log (n/d)+\\log n)$$\\end{document}</tex-math></alternatives></inline-formula>. Additionally, we establish a tight bound of <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>Θ</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>ℓ</mml:mi><mml:mo>log</mml:mo><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo stretchy=\"false\">/</mml:mo><mml:mi>d</mml:mi><mml:mo stretchy=\"false\">)</mml:mo><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varTheta (\\ell \\log (n/d))$$\\end{document}</tex-math></alternatives></inline-formula> for the randomized adaptive settings.","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"70 1","pages":""},"PeriodicalIF":0.8000,"publicationDate":"2026-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Combinatorial Optimization","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s10878-026-01394-8","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}
引用次数: 0
Abstract
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 ℓ<d\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ell < d$$\end{document} defective items. We develop upper and lower bounds on the number of tests required to detect ℓ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ell $$\end{document} 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 Ω(ℓlog2nlogℓ+loglogn)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \varOmega (\frac{\ell \log ^2n}{\log \ell +\log \log n})$$\end{document} tests in the randomized non-adaptive settings and an upper bound of O(ℓlog2n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$O(\ell \log ^2 n)$$\end{document} for the same settings. Furthermore, we demonstrate that any non-adaptive deterministic algorithm must make Θ(n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (n)$$\end{document} 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 Θ(ℓlog(n/ℓ))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (\ell \log {(n/\ell )})$$\end{document}. Moreover, in the randomized settings, we derive a tight bound of Θ(ℓlog(n/d))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (\ell \log {(n/d)})$$\end{document}. When d, or at least some non-trivial estimate of d, is known, we prove a tight bound of Θ(dlog(n/d))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (d\log (n/d))$$\end{document} for the deterministic non-adaptive settings, and Θ(ℓlog(n/d))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (\ell \log (n/d))$$\end{document} for the randomized non-adaptive settings. In the adaptive case, we present an upper bound of O(ℓlog(n/ℓ))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$O(\ell \log (n/\ell ))$$\end{document} for the deterministic settings, and a lower bound of Ω(ℓlog(n/d)+logn)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varOmega (\ell \log (n/d)+\log n)$$\end{document}. Additionally, we establish a tight bound of Θ(ℓlog(n/d))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (\ell \log (n/d))$$\end{document} for the randomized adaptive settings.
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 ℓ<d\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ell < d$$\end{document} defective items. We develop upper and lower bounds on the number of tests required to detect ℓ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ell $$\end{document} 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 Ω(ℓlog2nlogℓ+loglogn)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \varOmega (\frac{\ell \log ^2n}{\log \ell +\log \log n})$$\end{document} tests in the randomized non-adaptive settings and an upper bound of O(ℓlog2n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$O(\ell \log ^2 n)$$\end{document} for the same settings. Furthermore, we demonstrate that any non-adaptive deterministic algorithm must make Θ(n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (n)$$\end{document} 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 Θ(ℓlog(n/ℓ))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (\ell \log {(n/\ell )})$$\end{document}. Moreover, in the randomized settings, we derive a tight bound of Θ(ℓlog(n/d))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (\ell \log {(n/d)})$$\end{document}. When d, or at least some non-trivial estimate of d, is known, we prove a tight bound of Θ(dlog(n/d))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (d\log (n/d))$$\end{document} for the deterministic non-adaptive settings, and Θ(ℓlog(n/d))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (\ell \log (n/d))$$\end{document} for the randomized non-adaptive settings. In the adaptive case, we present an upper bound of O(ℓlog(n/ℓ))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$O(\ell \log (n/\ell ))$$\end{document} for the deterministic settings, and a lower bound of Ω(ℓlog(n/d)+logn)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varOmega (\ell \log (n/d)+\log n)$$\end{document}. Additionally, we establish a tight bound of Θ(ℓlog(n/d))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (\ell \log (n/d))$$\end{document} for the randomized adaptive settings.
期刊介绍:
The objective of Journal of Combinatorial Optimization is to advance and promote the theory and applications of combinatorial optimization, which is an area of research at the intersection of applied mathematics, computer science, and operations research and which overlaps with many other areas such as computation complexity, computational biology, VLSI design, communication networks, and management science. It includes complexity analysis and algorithm design for combinatorial optimization problems, numerical experiments and problem discovery with applications in science and engineering.
The Journal of Combinatorial Optimization publishes refereed papers dealing with all theoretical, computational and applied aspects of combinatorial optimization. It also publishes reviews of appropriate books and special issues of journals.