Published 2020 | Version v1
Report

Covering families of triangles

Contributors

Others:

Description

A cover for a family $\mathcal{F}$ of sets in the plane is a set into which every set in $\mathcal{F}$ can be isometrically moved. We are interested in the convex cover of smallest area for a given family of triangles. Park and Cheong conjectured that any family of triangles of bounded diameter has a smallest convex cover that is itself a triangle. The conjecture is equivalent to the claim that for every convex set $\mathcal{X}$ there is a triangle $Z$ whose area is not larger than the area of $\mathcal{X}$, such that $Z$ covers the family of triangles contained in $\mathcal{X}$. We prove this claim for the case where a diameter of~$\mathcal{X}$ lies on its boundary. We also give a complete characterization of the smallest convex cover for the family of triangles contained in a half-disk, and for the family of triangles contained in a square. In both cases, this cover is a triangle.

Abstract (French)

Une couverture pour une famille $\mathcal{F}$ d'ensembles du plan est un ensemble dans lequel chaque ensemble de $\mathcal{F}$ peut être déplacé de manière isométrique. Nous nous intéressons à la couverture convexe ayant la plus petite surface pour une famille de triangles. Park et Cheong ont supposé que toute famille de triangles de diamètre borné a une plus petite couverture convexe qui est elle-même un triangle. Cette conjecture est équivalente à l'affirmation selon laquelle pour chaque ensemble convexe $\mathcal{X}$ il y a un triangle $Z$ dont la surface n'est pas plus grande que celle de $\mathcal{X}$, de sorte que $Z$ couvre la famille de triangles contenus dans $\mathcal{X}$. Nous prouvons cette affirmation dans le cas où un diamètre de $\mathcal{X}$ se trouve sur le bord de $\mathcal{X}$. Nous donnons également une caractérisation complète de la plus petite couverture convexe pour la famille de triangles contenus dans un demi-disque, et pour la famille de triangles contenus dans un carré.

Additional details

Identifiers

URL
https://hal.inria.fr/hal-03031995
URN
urn:oai:HAL:hal-03031995v1

Origin repository

Origin repository
UNICA