We examine the polyhedral structure of Balanced Incomplete Block Designs (BIBDs) in an effort to improve runtimes for finding optimal solutions via constraint or integer program. For example, an optimal BIBD is one that minimizes the range of blocksums. This range, which we refer to as diffsum, has applications in drug trials and Redundant Arrays of Independent Disks (RAID). The polytope we explore is the convex hull of all lexicographically-ordered BIBD solutions satisfying a given set of parameters, ( v , b , r , k , λ ) , with solutions represented as a vector in R kb . The dimension-reducing equations and the facets for some of the smaller polytopes were found by using the Double-Description Method on a algebraic program modelling these solutions. Because of the presence of the lexicographic ordering, none of these polytopes are full dimensional. After describing some of these smaller BIBD polytopes, we generalize some dimension-reducing equations, and evaluate the efficiency of these equations to optimization models.
Read full abstract