Optimal rectangle packing: a meta-CSP approach

作者: Michael D. Moffitt , Martha E. Pollack

DOI:

关键词: Largest empty rectangleScheduling (computing)ExploitPairwise comparisonAlgorithmSuiteMathematicsRectangle packingConjecture

摘要: We present a new approach to optimal rectangle packing, an NP-complete problem that can be used model many simple scheduling tasks. Recent attempts at incorporating artificial intelligence search techniques the of packing have focused on CSP formulation, in which partial assignments are defined fixed placement subset rectangles. Our technique takes significant departure from this space, as we instead view subsets relative pairwise relationships between This recalls meta-CSP commonly constructed constraint-based temporal reasoning, and is thus candidate for several pruning been developed field. apply these domain develop suite exploit both symmetry geometry particular domain. then provide experimental results demonstrating our performs competitively compared previous state-of-the-art series benchmarks, matching or surpassing it speed nearly all instances. Finally, conjecture particularly appropriate problems containing large rectangles, difficult fixed-placement formulation handle efficiently.

参考文章(25)
Angelo Oddi, Amedeo Cesta, Incremental forward checking for the Disjunctive Temporal Problem european conference on artificial intelligence. pp. 108- 112 ,(2000)
Michael D. Moffitt, Bart Peintner, Martha E. Pollack, Augmenting disjunctive temporal problems with finite-domain constraints national conference on artificial intelligence. pp. 1187- 1192 ,(2005)
ROBERT C. SEAMANS, BENJAMIN G. BROMBERG, L. E. PAYNE, Application of the Performance Operator to Aircraft Automatic Control Journal of the Aeronautical Sciences. ,vol. 15, pp. 535- 555 ,(1948) , 10.2514/8.11644
Bart Peintner, Martha E. Pollack, Low-cost addition of preferences to DTPs and TCSPs national conference on artificial intelligence. pp. 723- 728 ,(2004)
Kostas Stergiou, Manolis Koubarakis, Backtracking algorithms for disjunctions of temporal constraints national conference on artificial intelligence. pp. 248- 253 ,(1998)
Frank S Malvestuto, Herbert S Ribner, Stability derivatives of triangular wings at supersonic speeds ,(1948)
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, SAT-Based Procedures for Temporal Reasoning Lecture Notes in Computer Science. pp. 97- 108 ,(1999) , 10.1007/10720246_8
François Clautiaux, Jacques Carlier, Aziz Moukrim, A new exact method for the two-dimensional orthogonal packing problem European Journal of Operational Research. ,vol. 183, pp. 1196- 1211 ,(2007) , 10.1016/J.EJOR.2005.12.048