13 research outputs found
How Fast Can We Play Tetris Greedily With Rectangular Pieces?
Consider a variant of Tetris played on a board of width and infinite
height, where the pieces are axis-aligned rectangles of arbitrary integer
dimensions, the pieces can only be moved before letting them drop, and a row
does not disappear once it is full. Suppose we want to follow a greedy
strategy: let each rectangle fall where it will end up the lowest given the
current state of the board. To do so, we want a data structure which can always
suggest a greedy move. In other words, we want a data structure which maintains
a set of rectangles, supports queries which return where to drop the
rectangle, and updates which insert a rectangle dropped at a certain position
and return the height of the highest point in the updated set of rectangles. We
show via a reduction to the Multiphase problem [P\u{a}tra\c{s}cu, 2010] that on
a board of width , if the OMv conjecture [Henzinger et al., 2015]
is true, then both operations cannot be supported in time
simultaneously. The reduction also implies polynomial bounds from the 3-SUM
conjecture and the APSP conjecture. On the other hand, we show that there is a
data structure supporting both operations in time on
boards of width , matching the lower bound up to a factor.Comment: Correction of typos and other minor correction
Conditional Lower Bounds for Dynamic Geometric Measure Problems
We give new polynomial lower bounds for a number of dynamic measure problems
in computational geometry. These lower bounds hold in the Word-RAM model,
conditioned on the hardness of either 3SUM, APSP, or the Online Matrix-Vector
Multiplication problem [Henzinger et al., STOC 2015]. In particular we get
lower bounds in the incremental and fully-dynamic settings for counting maximal
or extremal points in R^3, different variants of Klee's Measure Problem,
problems related to finding the largest empty disk in a set of points, and
querying the size of the i'th convex layer in a planar set of points. We also
answer a question of Chan et al. [SODA 2022] by giving a conditional lower
bound for dynamic approximate square set cover. While many conditional lower
bounds for dynamic data structures have been proven since the seminal work of
Patrascu [STOC 2010], few of them relate to computational geometry problems.
This is the first paper focusing on this topic. Most problems we consider can
be solved in O(n log n) time in the static case and their dynamic versions have
only been approached from the perspective of improving known upper bounds. One
exception to this is Klee's measure problem in R^2, for which Chan [CGTA 2010]
gave an unconditional lower bound on the worst-case update
time. By a similar approach, we show that such a lower bound also holds for an
important special case of Klee's measure problem in R^3 known as the
Hypervolume Indicator problem, even for amortized runtime in the incremental
setting.Comment: Improved presentation, improved the reduction for the Hypervolume
Indicator problem and added a reduction for dynamic approximate square set
cove
A Survey on Approximation in Parameterized Complexity: Hardness and Algorithms
Parameterization and approximation are two popular ways of coping with
NP-hard problems. More recently, the two have also been combined to derive many
interesting results. We survey developments in the area both from the
algorithmic and hardness perspectives, with emphasis on new techniques and
potential future research directions
LIPIcs, Volume 244, ESA 2022, Complete Volume
LIPIcs, Volume 244, ESA 2022, Complete Volum
LIPIcs, Volume 274, ESA 2023, Complete Volume
LIPIcs, Volume 274, ESA 2023, Complete Volum
Safety and Reliability - Safe Societies in a Changing World
The contributions cover a wide range of methodologies and application areas for safety and reliability that contribute to safe societies in a changing world. These methodologies and applications include: - foundations of risk and reliability assessment and management
- mathematical methods in reliability and safety
- risk assessment
- risk management
- system reliability
- uncertainty analysis
- digitalization and big data
- prognostics and system health management
- occupational safety
- accident and incident modeling
- maintenance modeling and applications
- simulation for safety and reliability analysis
- dynamic risk and barrier management
- organizational factors and safety culture
- human factors and human reliability
- resilience engineering
- structural reliability
- natural hazards
- security
- economic analysis in risk managemen
LIPIcs, Volume 248, ISAAC 2022, Complete Volume
LIPIcs, Volume 248, ISAAC 2022, Complete Volum