Es fácil verificar que, dada la cuadrícula d dimensional de los puntos enteros , con la adyacencia regular, se puede encontrar un separador de tamaño n d - 1 (simplemente elija cualquier hiperplano medio y elimine todos sus vértices). Tampoco es demasiado difícil (pero definitivamente no es inmediato) verificar que cualquier separador tenga un tamaño Ω ( n d - 1 ) . Alguien sabe una referencia a esto?
fuente