Tight Approximation Algorithms for Geometric Bin Packing with Skewed Items

In Two-dimensional Bin Packing ( 2BP ), we are given n rectangles as input and our goal is to find an axis-aligned nonoverlapping packing of these rectangles into the minimum number of unit square bins. 2BP admits no APTAS and the current best approximation ratio is 1.406 by Bansal and Khan (ACM-SIA...

Full description

Saved in:
Bibliographic Details
Published in:Algorithmica Vol. 85; no. 9; pp. 2735 - 2778
Main Authors: Khan, Arindam, Sharma, Eklavya
Format: Journal Article
Language:English
Published: New York Springer US 01.09.2023
Springer Nature B.V
Subjects:
Algorithm Analysis and Problem Complexity
Algorithms
Approximation
Bins
Computer Science
Computer Systems Organization and Communication Networks
Data Structures and Information Theory
Mathematical analysis
Mathematics of Computing
Rectangles
Theory of Computation
Guillotine cuts
Approximation algorithms
Geometric bin packing
ISSN:0178-4617, 1432-0541
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In Two-dimensional Bin Packing ( 2BP ), we are given n rectangles as input and our goal is to find an axis-aligned nonoverlapping packing of these rectangles into the minimum number of unit square bins. 2BP admits no APTAS and the current best approximation ratio is 1.406 by Bansal and Khan (ACM-SIAM symposium on discrete algorithms (SODA), pp 13–25, 2014. https://doi.org/10.1137/1.9781611973402.2 ). A well-studied variant of 2BP is Guillotine Two-dimensional Bin Packing ( G2BP ), where rectangles must be packed in such a way that every rectangle in the packing can be obtained by applying a sequence of end-to-end axis-parallel cuts, also called guillotine cuts . Bansal et al. (Symposium on foundations of computer science (FOCS). IEEE, pp 657–666, 2005. https://doi.org/10.1109/SFCS.2005.10 ) gave an APTAS for G2BP. Let λ be the smallest constant such that for every set I of items, the number of bins in the optimal solution to G2BP for I is upper bounded by λ opt ( I ) + c , where opt ( I ) is the number of bins in the optimal solution to 2BP for I and c is a constant. It is known that 4 / 3 ≤ λ ≤ 1.692 . Bansal and Khan (2014) conjectured that λ = 4 / 3 . The conjecture, if true, will imply a ( 4 / 3 + ε ) -approximation algorithm for 2BP. Given a small constant δ > 0 , a rectangle is called large if both its height and width are at least δ , else it is called skewed . We make progress towards the conjecture by showing that λ = 4 / 3 when all input rectangles are skewed. We also give an APTAS for 2BP for skewed items, though general 2BP does not admit an APTAS.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0178-4617
1432-0541
DOI:10.1007/s00453-023-01116-0