,
János Pach
Creative Commons Attribution 4.0 International license
A plank is the part of space between two parallel planes. The following open problem, posed 45 years ago, can be viewed as the converse of Tarski’s plank problem (Bang’s theorem): Is it true that if the total width of a collection of planks is sufficiently large, then the planks can be individually translated to cover a unit ball B?
A translative covering of B by planks is said to be non-dissective if the planks can be added one by one, in some order, such that the uncovered part remains connected at each step and is empty at the end. Improving a classical result of Groemer, we show that every set of C/ε^{7/4} planks of width ε admits a non-dissective translative covering of a 3-dimensional ball B³, provided C is large enough. Our proof yields a low-complexity algorithm. We also show that c/ε^{4/3} planks are, in general, insufficient for a non-dissective covering of B³. This provides the first non-trivial lower bound for this problem.
@InProceedings{kupavskii_et_al:LIPIcs.SoCG.2026.67,
author = {Kupavskii, Andrey and Pach, J\'{a}nos},
title = {{Non-Dissective Coverings by Planks}},
booktitle = {42nd International Symposium on Computational Geometry (SoCG 2026)},
pages = {67:1--67:11},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-418-5},
ISSN = {1868-8969},
year = {2026},
volume = {367},
editor = {Ahn, Hee-Kap and Hoffmann, Michael and Nayyeri, Amir},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2026.67},
URN = {urn:nbn:de:0030-drops-258743},
doi = {10.4230/LIPIcs.SoCG.2026.67},
annote = {Keywords: Tarski’s plank problem, translative cover, non-dissective cover}
}