Una conjetura de Chen y Chvátal pregunta por el número mínimo de "líneas" inducidas en un espacio métrico, en el mismo espíritu que la Teorema de De Bruijn-Erdős .
Aunque el planteamiento de este problema en la página de Douglas West sobre la conjetura preguntaba sobre las líneas, me preguntaba si se había hecho algún trabajo sobre el problema con las líneas máximas (que no son un subconjunto propio de otra línea) pero carecen de recursos para comprobarlo. Sería más fácil de refutar que la conjetura original, pero me preguntaba si había un contraejemplo fácil antes de golpearlo en la cabeza con un ordenador.
