TY - JOUR
T1 - The union of congruent cubes in three dimensions
AU - Pach, János
AU - Safruti, Ido
AU - Sharir, Micha
PY - 2003/7
Y1 - 2003/7
N2 - A dihedral (trihedral) wedge is the intersection of two (resp. three) half-spaces in R3. It is called α-fat if the angle (resp., solid angle) determined by these half-spaces is at least α > 0. If, in addition, the sum of the three face angles of a trihedral wedge is at least γ > 4π/3, then it is called (γ, α-substantially fat. We prove that, for any fixed γ > 4π/3, α > 0, the combinatorial complexity of the union of n (a) α-fat dihedral wedges, and (b) (γ, α)-substantially fat trihedral wedges is at most O(n2+ε), for any ε > 0, where the constants of proportionality depend on ε, α (and γ). We obtain as a corollary that the same upper bound holds for the combinatorial complexity of the union of n (nearly) congruent cubes in R3. These bounds are not far from being optimal.
AB - A dihedral (trihedral) wedge is the intersection of two (resp. three) half-spaces in R3. It is called α-fat if the angle (resp., solid angle) determined by these half-spaces is at least α > 0. If, in addition, the sum of the three face angles of a trihedral wedge is at least γ > 4π/3, then it is called (γ, α-substantially fat. We prove that, for any fixed γ > 4π/3, α > 0, the combinatorial complexity of the union of n (a) α-fat dihedral wedges, and (b) (γ, α)-substantially fat trihedral wedges is at most O(n2+ε), for any ε > 0, where the constants of proportionality depend on ε, α (and γ). We obtain as a corollary that the same upper bound holds for the combinatorial complexity of the union of n (nearly) congruent cubes in R3. These bounds are not far from being optimal.
UR - http://www.scopus.com/inward/record.url?scp=0038648110&partnerID=8YFLogxK
U2 - 10.1007/s00454-003-2928-3
DO - 10.1007/s00454-003-2928-3
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0038648110
SN - 0179-5376
VL - 30
SP - 133
EP - 160
JO - Discrete and Computational Geometry
JF - Discrete and Computational Geometry
IS - 1
ER -