覆盖阵列大小的上界
组合数学
2016-03-28 v1
摘要
覆盖阵列在软件和硬件交互测试中有重要应用。对于实际应用，确定或限制给定参数和下覆盖阵列的最小行数CAN是有用的。CAN的渐近上界先前已使用Stein-Lov\'asz-Johnson策略和Lov\'asz局部引理建立。本文发展了一系列对这些界的改进。首先推导了离散Stein-Lov\'asz-Johnson界的估计。然后利用alteration，改进了Stein-Lov\'asz-Johnson界，导致了两阶段构造算法。通过检查符号集上的群作用，以不同方式改进了Lov\'asz局部引理的界。建立了两个比已知界更紧的CAN渐近上界。推导了一个采用Lov\'asz局部引理和条件Lov\'asz局部引理分布的两阶段界。
引用
@article{arxiv.1603.07809,
title = {Upper bounds on the size of covering arrays},
author = {Kaushik Sarkar and Charles J. Colbourn},
journal= {arXiv preprint arXiv:1603.07809},
year = {2016}
}