Search strategies for rectangle packing

H Simonis, B O'Sullivan - … Conference on Principles and Practice of …, 2008 - Springer
International Conference on Principles and Practice of Constraint Programming, 2008Springer
Rectangle (square) packing problems involve packing all squares with sizes 1× 1 to n× n
into the minimum area enclosing rectangle (respectively, square). Rectangle packing is a
variant of an important problem in a variety of real-world settings. For example, in electronic
design automation, the packing of blocks into a circuit layout is essentially a rectangle
packing problem. Rectangle packing problems are also motivated by applications in
scheduling. In this paper we demonstrate that an “off-the-shelf” constraint programming …
Abstract
Rectangle (square) packing problems involve packing all squares with sizes 1 ×1 to n ×n into the minimum area enclosing rectangle (respectively, square). Rectangle packing is a variant of an important problem in a variety of real-world settings. For example, in electronic design automation, the packing of blocks into a circuit layout is essentially a rectangle packing problem. Rectangle packing problems are also motivated by applications in scheduling. In this paper we demonstrate that an “off-the-shelf” constraint programming system, SICStus Prolog, outperforms recently developed ad-hoc approaches by over three orders of magnitude. We adopt the standard CP model for these problems, and study a variety of search strategies and improvements to solve large rectangle packing problems. As well as being over three orders of magnitude faster than the current state-of-the-art, we close eight open problems: two rectangle packing problems and six square packing problems. Our approach has other advantages over the state-of-the-art, such as being trivially modifiable to exploit multi-core computing platforms to parallelise search, although we use only a single-core in our experiments. We argue that rectangle packing is a domain where constraint programming significantly outperforms hand-crafted ad-hoc systems developed for this problem. This provides the CP community with a convincing success story.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果