Let D = {B1 , B2 , . . . , B b } be a finite family of k-subsets (called blocks) of a vset X(v) = {1, 2, . . . , v} (with elements called points). Then D is a (v, k, t) covering design or covering if every t-subset of X(v) is contained in at least one block of D. The number of blocks, b, is the size
Lower bounds estimation of factor-covering design sizes
β Scribed by Nobuhiko Ido; Tohru Kikuno
- Publisher
- John Wiley and Sons
- Year
- 2003
- Tongue
- English
- Weight
- 115 KB
- Volume
- 11
- Category
- Article
- ISSN
- 1063-8539
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
Factorβcovering designs have been studied with the aim of making efficient suites of test cases for software testing. One of the major concerns in these studies is the construction of factorβcovering designs of smaller sizes. In this paper, we propose a method of estimating the lower bounds of the sizes. The proposed method is based on two assumptions that a test design has parameters of the same range, and that all the values in the range are tested equally. Β© 2003 Wiley Periodicals, Inc. J Combin Designs 11: 89β99, 2003; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/jcd.10039
π SIMILAR VOLUMES
Let D be a finite family of k-subsets (called blocks) of a v-set X(v). Then D is a (v, k, t) covering design or covering if every t-subset of X(v) is contained in at least one block of D. The number of blocks is the size of the covering, and the minimum size of the covering is called the covering nu
## Abstract In this paper, by applying the discharging method, we obtain new lower bounds for the size of edge chromatic critical graphs for small maximum degree Ξ. Β© 2004 Wiley Periodicals, Inc. J Graph Theory 46: 81β92, 2004
We prove a lower bound, exponential in the eighth root of the input length, on the size of monotone arithmetic circuits that solve an NP problem related to clique detection. The result is more general than the famous lower bound of Razborov and Andreev, because the gates of the circuit are allowed t