The Challenge of Generating Spatially Balanced Scientific Experiment Designs

  title={The Challenge of Generating Spatially Balanced Scientific Experiment Designs},
  author={Carla P. Gomes and Meinolf Sellmann and Cindy van Es and Harold van Es},
  booktitle={Integration of AI and OR Techniques in Constraint Programming},
The development of the theory and construction of combinatorial designs originated with the work of Euler on Latin squares. A Latin square on n symbols is an n × n matrix (n is the order of the Latin square), in which each symbol occurs precisely once in each row and in each column. Several interesting research questions posed by Euler with respect to Latin squares, namely regarding orthogonality properties, were only solved in 1959 [3]. Many other questions concerning Latin squares… 

In Search of Balance: The Challenge of Generating Balanced Latin Rectangles

In this work, some of the properties of balanced Latin rectangles are studied, the nonexistence of perfect balance for an infinite family of sizes is proved, and several methods to generate the most balanced solutions are presented.

An Efficient Local Search for Partial Latin Square Extension Problem

This paper proposes an efficient local search for the partial Latin square extension problem, and designs a prototype iterated local search algorithm that is effectiveness in comparison with state-of-the-art optimization solvers such as IBM ILOG CPLEX and LocalSolver.

Iterated local search with Trellis-neighborhood for the partial Latin square extension problem

This work considers the local search such that the neighborhood is defined by (p, q)-swap, i.e., the operation of dropping exactly p symbols and then assigning symbols to at most q empty cells, and proposes a novel swap operation, Trellis-Swap, which is a generalization of (p), q-swap.

From Streamlined Combinatorial Search to Efficient Constructive Procedures

This work proposes an approach that integrates specialized combinatorial search, using so-called streamlining, with a human computation component, and discovers two complementary efficient constructions for generatingSo-called Spatially Balanced Latin squares of any order N, such that 2N+1 is prime.

Polynomial Time Construction for Spatially Balanced Latin Squares

This paper aims to demonstrate the efforts towards in-situ applicability of EMMARM, which aims to provide real-time information about the physical and social barriers to efficient and sustainable use of data storage and retrieval.

Streamlining Local Search for Spatially Balanced Latin Squares

This work uses so-called spatially balanced Latin squares to show how streamlining can also be very effective for local search, and believes that streamlined local search is a general technique suitable for solving a wide range of hard combinatorial design problems.

Bound-Consistent Deviation Constraint

This work introduces bound-consistent propagators running in linear time with respect to the number of variables on the Balanced Academic Curriculum Problem and evaluates the improvement in terms of efficiency and pruning obtained with the new propagators.

Iterated local search with Trellis-neighborhood for the partial Latin square extension problem

A partial Latin square (PLS) is a partial assignment of n symbols to an n×n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb}

Global Constraints for the Mean Absolute Deviation and the Variance: Application to the Vertical Line Balancing

Optimization with a balancing objective often appear in practical problems where humans are implied in the solution. For example, in tasks assignment problems it is a desirable property that the

Solving balancing and bin-packing problems with constraint programming

Two real problems are modelled and efficiently solved in CP using the new algorithms: - The assembly line balancing design problem, and - A nurse rostering problem.




  • R. C. BoseS. Shrikhande
  • Mathematics
    Proceedings of the National Academy of Sciences of the United States of America
  • 1959
Since R is a noetherian domain, it follows that a minimal prime ideal p is principal if the authors can show that hd Rip < 2, which completes the proof.

Reducing Symmetry in a Combinatorial Design Problem

The most successful strategy for the problem of this paper employs a complex model with less inherent symmetry than the others, combined with symmetry breaking during search.

Redundant Modeling for the QuasiGroup Completion Problem

It is shown that the pure constraint satisfaction approach can solve many problems of order 45 in the transition phase, which corresponds to the peak of difficulty.

Specifying Latin square problems in propositional logic

This chapter discusses how to specify various Latin squares so that their existence can be eeciently decided by computer programs. The computer programs considered here are so-called general-purpose

A simulated annealing approach to the traveling tournament problem

A simulated annealing algorithm (TTSA) is proposed for the traveling tournament problem (TTP) which abstracts the salient features of major league baseball in the United States and is shown to be robust.

Tabu Search

From the Publisher: This book explores the meta-heuristics approach called tabu search, which is dramatically changing our ability to solve a hostof problems that stretch over the realms of resource

A Filtering Algorithm for Constraints of Difference in CSPs

A new filtering algorithm is presented that achieves the generalized arc-consistency condition for these non-binary constraints and has been successfully used in the system RESYN, to solve the subgraph isomorphism problem.

Principles and Practice of Constraint Programming – CP 2003

  • F. Rossi
  • Computer Science
    Lecture Notes in Computer Science
  • 2003
Algorithmic Mechanism Design and Constraints, An Euclidean Distance Global Constraint, and more.

One hundred years of the design of experiments on and off the pages of Biometrika

The earliest important papers on planned experiments in Biometrika appeared within a year of each other in 1917 and 1918. Roughly speaking, one was concerned with design optimality and industrial

Spatial Nature of Randomization and Its Effect on the Outcome of Field Experiments

Many sites used for field trials exbibit a spatially-dependent variance structure in that nearby observations are autocorrelated. This may affect treatment comparisons made at unequal distances. This