stringtranslate.com

Problema de no tener tres en la fila

Un conjunto de 20 puntos en una cuadrícula de 10 × 10, sin tres puntos en una línea.

El problema de no encontrar tres puntos en la línea en geometría discreta plantea la pregunta de cuántos puntos se pueden colocar en la cuadrícula de modo que no haya tres puntos en la misma línea. El problema se refiere a líneas de todas las pendientes , no solo a aquellas alineadas con la cuadrícula. Fue introducido por Henry Dudeney en 1900. Brass, Moser y Pach lo llaman "una de las cuestiones geométricas más antiguas y estudiadas sobre los puntos de la red". [1]

Se pueden colocar como máximo 100 puntos, ya que los puntos de una cuadrícula incluirían una fila de tres o más puntos, según el principio del palomar . Aunque el problema se puede resolver con puntos para cada hasta , se conjetura que se pueden colocar menos de 100 puntos en cuadrículas de gran tamaño. Los métodos conocidos pueden colocar linealmente muchos puntos en cuadrículas de tamaño arbitrario, pero los mejores de estos métodos colocan ligeramente menos de 100 puntos, no 100 .

También se han estudiado varios problemas relacionados con la búsqueda de puntos sin tres en la línea, entre otros conjuntos de puntos que no sean cuadrículas. Aunque se originó en las matemáticas recreativas , el problema de los tres en la línea tiene aplicaciones en el dibujo de gráficos y en el problema del triángulo de Heilbronn .

Pequeñas instancias

Solución al rompecabezas de Dudeney de colocar 16 peones en un tablero de ajedrez de manera que no haya tres peones en la misma línea, con dos peones en las casillas d4 y e5.

El problema fue planteado por primera vez por Henry Dudeney en 1900, como un rompecabezas de matemáticas recreativas, expresado en términos de colocar los 16 peones de un tablero de ajedrez sobre el tablero de modo que no haya tres en línea. [2] Este es exactamente el problema de no haber tres en línea, para el caso . [3] En una versión posterior del rompecabezas, Dudeney modificó el problema, haciendo que su solución fuera única, al pedir una solución en la que dos de los peones estuvieran en las casillas d4 y e5 , atacándose entre sí en el centro del tablero. [4]

Muchos autores han publicado soluciones a este problema para valores pequeños de , [5] y en 1998 se sabía que se podían colocar puntos en una cuadrícula sin tres en una línea para todos hasta 46, y algunos valores mayores. [6] La cantidad de soluciones con puntos para valores pequeños de , a partir de , es

1, 2, 11, 32, 50, 132, 380, 368, 1135, 1120, 4348, 3622, 10568, ... (secuencia A000755 en la OEIS ).

Los números de clases de equivalencia de soluciones con puntos bajo reflexiones y rotaciones son

1, 1, 4, 5, 11, 22, 57, 51, 156, 158, 566, 499, 1366, ... (secuencia A000769 en la OEIS ). [3]

Límites superior e inferior

No se conoce el número exacto de puntos que se pueden colocar en función de . Sin embargo, tanto los límites probados como los conjeturados limitan este número dentro de un rango proporcional a .

Métodos generales de colocación

Colocación subóptima de puntos en la cuadrícula, utilizando el método de Erdős. El primo más grande menor que el tamaño de la cuadrícula es ; la solución coloca los puntos en coordenadas mod para . Por ejemplo, se incluye porque ( mod ).

Una solución de Paul Erdős , publicada por Roth (1951), se basa en la observación de que cuando es un número primo , el conjunto de puntos de la cuadrícula mod , para , no contiene tres puntos colineales. Cuando no es primo, se puede realizar esta construcción para una cuadrícula contenida en la cuadrícula, donde es el primo más grande que es como máximo . Debido a que la brecha entre primos consecutivos es mucho menor que los primos mismos, siempre estará cerca de , por lo que este método se puede utilizar para colocar puntos en la cuadrícula sin tres puntos colineales. [7]

La cota de Erdős se ha mejorado posteriormente: Hall et al. (1975) muestran que, cuando es primo, se puede obtener una solución con puntos, colocando puntos en múltiples copias de la hipérbola (mod ), donde puede elegirse arbitrariamente siempre que sea distinto de cero mod . Nuevamente, para arbitrario se puede realizar esta construcción para un primo cercano para obtener una solución con puntos. [8]

Límite superior

Como máximo, se pueden colocar puntos en una cuadrícula de cualquier tamaño . Porque, si se colocan más puntos, entonces, por el principio del palomar, unos tres de ellos se encontrarían todos en la misma línea horizontal de la cuadrícula. Para , se sabe que este límite trivial es estricto. [3]

Límites conjeturados

Aunque se pueden colocar exactamente puntos en cuadrículas pequeñas, Guy y Kelly (1968) conjeturaron que para cuadrículas grandes, existe un límite superior significativamente menor en la cantidad de puntos que se pueden colocar. Más precisamente, conjeturaron que la cantidad de puntos que se pueden colocar es como máximo una cantidad sublineal mayor que , con [9] Después de que se descubrió un error en el razonamiento heurístico que condujo a esta conjetura, Guy corrigió el error y formuló la conjetura más sólida de que no se puede hacer más que sublinealmente mejor que con [10]

Aplicaciones

Las soluciones al problema de no-tres-en-la-línea se pueden utilizar para evitar ciertos tipos de degeneraciones en el dibujo de grafos . El problema al que se aplican implica colocar los vértices de un grafo dado en coordenadas enteras en el plano y dibujar los bordes del grafo como segmentos de línea recta . Para ciertos grafos, como el grafo de utilidad , los cruces entre pares de bordes son inevitables, pero uno debe evitar colocaciones que hagan que un vértice se encuentre en un borde a través de otros dos vértices. Cuando los vértices se colocan sin tres en la línea, este tipo de colocación problemática no puede ocurrir, porque toda la línea a través de dos vértices cualesquiera, y no solo el segmento de línea, está libre de otros vértices. [11] El hecho de que el problema de no-tres-en-línea tenga una solución con muchos puntos linealmente puede traducirse en términos de dibujo de grafos en el sentido de que cada grafo, incluso un grafo completo , puede dibujarse sin incidencias no deseadas de aristas de vértice utilizando una cuadrícula cuya área es cuadrática en el número de vértices, y que para grafos completos no es posible tal dibujo con un área menor que cuadrática. Los grafos completos también requieren un número lineal de colores en cualquier coloración de grafos , pero otros grafos que pueden colorearse con menos colores también pueden dibujarse en cuadrículas más pequeñas: si un grafo tiene vértices y una coloración de grafos con colores, puede dibujarse en una cuadrícula con un área proporcional a . El dibujo de no-tres-en-línea de un grafo completo es un caso especial de este resultado con . [12]

El problema de no-tres-en-línea también tiene aplicaciones a otro problema en geometría discreta, el problema del triángulo de Heilbronn . En este problema, uno debe colocar puntos, en cualquier lugar en un cuadrado unitario, no restringido a una cuadrícula. El objetivo de la colocación es evitar triángulos de área pequeña, y más específicamente maximizar el área del triángulo más pequeño formado por tres de los puntos. Por ejemplo, una colocación con tres puntos en línea sería muy mala según este criterio, porque estos tres puntos formarían un triángulo degenerado con área cero. Por otro lado, si los puntos se pueden colocar en una cuadrícula de longitud de lado dentro del cuadrado unitario, sin tres en una línea, entonces por el teorema de Pick cada triángulo tendría área al menos , la mitad de un cuadrado de cuadrícula. Por lo tanto, resolver una instancia del problema de no-tres-en-línea y luego reducir la escala de la cuadrícula entera para que encaje dentro de un cuadrado unitario produce soluciones al problema del triángulo de Heilbronn donde el triángulo más pequeño tiene área . Esta aplicación fue la motivación para que Paul Erdős encontrara su solución para el problema del triángulo de Heilbronn. [13] Siguió siendo el mejor límite inferior del área conocido para el problema del triángulo de Heilbronn desde 1951 hasta 1982, cuando se mejoró con un factor logarítmico utilizando una construcción que no se basaba en el problema del triángulo de Heilbronn. [14]

Generalizaciones y variaciones

Subconjuntos de posición general

En geometría computacional , se dice que los conjuntos finitos de puntos sin ningún tres en la línea están en posición general . En esta terminología, el problema de no-tres-en-la-línea busca el subconjunto más grande de una cuadrícula que esté en posición general, pero los investigadores también han considerado el problema de encontrar el subconjunto de posición general más grande de otros conjuntos de puntos que no sean de la cuadrícula. Es NP-difícil encontrar este subconjunto, para ciertos conjuntos de entrada, y difícil aproximar su tamaño dentro de un factor constante; este resultado de dificultad de aproximación se resume diciendo que el problema es APX-difícil . Si el subconjunto más grande tiene tamaño , se puede obtener una solución con la razón de aproximación no constante mediante un algoritmo voraz que simplemente elige los puntos uno a la vez hasta que todos los puntos restantes se encuentren en líneas a través de pares de puntos elegidos. [15]

Se puede obtener una comprensión más precisa del tiempo de ejecución de los algoritmos para encontrar la solución óptima exacta utilizando la complejidad parametrizada , en la que los algoritmos se analizan no solo en términos del tamaño de entrada, sino en términos de otros parámetros de la entrada. En este caso, para las entradas cuyo subconjunto de posición general más grande tiene un tamaño , se puede encontrar en una cantidad de tiempo que es una función exponencial de multiplicada por un polinomio en el tamaño de entrada , con el exponente del polinomio que no depende de . Los problemas con este tipo de límite de tiempo se denominan manejables con parámetros fijos . [16]

Para conjuntos de puntos que tienen como máximo puntos por línea, con , existen subconjuntos de posición general de tamaño casi proporcional a . El ejemplo de la cuadrícula muestra que este límite no se puede mejorar significativamente. [17] La ​​prueba de existencia de estos grandes subconjuntos de posición general se puede convertir en un algoritmo de tiempo polinomial para encontrar un subconjunto de posición general de , de tamaño que coincida con el límite de existencia, utilizando una técnica algorítmica conocida como compresión de entropía . [15]

Colocación codiciosa

Repitiendo una sugerencia de Adena, Holton y Kelly (1974), Martin Gardner pidió el subconjunto más pequeño de una cuadrícula que no se puede extender: no tiene tres puntos en una línea, pero cada superconjunto propio tiene tres en una línea. Equivalentemente, este es el conjunto más pequeño que podría producirse mediante un algoritmo voraz que intenta resolver el problema de no tener tres puntos en una línea colocando los puntos uno a la vez hasta que se queda atascado. [3] Si solo se consideran líneas paralelas al eje y diagonales, entonces cada conjunto de este tipo tiene al menos puntos. [18] Sin embargo, se sabe menos sobre la versión del problema donde se consideran todas las líneas: cada colocación voraz incluye al menos puntos antes de quedarse atascada, pero no se conoce nada mejor que el límite superior trivial . [19]

Dimensiones superiores

Pór y Wood (2007) consideraron conjuntos de puntos no colineales en la cuadrícula tridimensional. Demostraron que el número máximo de puntos en la cuadrícula sin tres puntos colineales es . De manera similar a la construcción 2D de Erdős, esto se puede lograr utilizando puntos mod , donde es un primo congruente con 3 mod 4 . [20] Así como el problema original de no tres en línea se puede utilizar para el dibujo de gráficos bidimensionales, se puede utilizar esta solución tridimensional para dibujar gráficos en la cuadrícula tridimensional. Aquí la condición de no colinealidad significa que un vértice no debe estar en un borde no adyacente, pero es normal trabajar con el requisito más estricto de que no se crucen dos bordes. [21]

En dimensiones mucho más altas, los conjuntos de puntos de la cuadrícula sin tres en línea, obtenidos al elegir puntos cerca de una hiperesfera , se han utilizado para encontrar grandes conjuntos de Salem-Spencer , conjuntos de números enteros sin tres que forman una progresión aritmética. [22] Sin embargo, no funciona bien utilizar esta misma idea de elegir puntos cerca de un círculo en dos dimensiones: este método encuentra puntos que forman polígonos convexos, que satisfacen el requisito de no tener tres en línea, pero son demasiado pequeños. Los polígonos convexos más grandes con vértices en una cuadrícula solo tienen vértices. [23] El problema del conjunto de límites se refiere a un problema similar al problema de no tener tres en línea en espacios que son de alta dimensión y se basan como espacios vectoriales sobre cuerpos finitos en lugar de sobre números enteros. [24]

Otra generalización a dimensiones superiores consiste en encontrar tantos puntos como sea posible en una cuadrícula tridimensional de forma que no haya cuatro de ellos en el mismo plano. Esta secuencia comienza con 5, 8, 10, 13, 16, ... OEIS : A280537 para N = 2, 3, 4 , etc.

Toro

Otra variación del problema implica convertir la cuadrícula en un toro discreto mediante el uso de condiciones de contorno periódicas en las que el lado izquierdo del toro está conectado al lado derecho y el lado superior está conectado al lado inferior. Esto tiene el efecto, en líneas inclinadas a través de la cuadrícula, de conectarlas en líneas más largas a través de más puntos y, por lo tanto, hacer más difícil seleccionar puntos con un máximo de dos de cada línea. Estas líneas extendidas también se pueden interpretar como líneas normales a través de una cuadrícula infinita en el plano euclidiano, tomadas módulo las dimensiones del toro. Para un toro basado en una cuadrícula, el número máximo de puntos que se pueden elegir sin tres en la línea es como máximo . [25] Cuando ambas dimensiones son iguales y primos, no es posible colocar exactamente un punto en cada fila y columna sin formar un número lineal de triples colineales. [26] También se han estudiado versiones del problema con toros de dimensiones superiores. [27]

Véase también

Notas

  1. ^ Latón, Moser y Pach 2005.
  2. ^ The Weekly Dispatch , 29 de abril y 13 de mayo de 1900, citado por Knuth 2008.
  3. ^abcdGardner 1976.
  4. ^ Dudeney1917.
  5. ^ Craggs y Hughes-Jones 1976; Klove 1978, 1979; Anderson 1979; Harborth, Oertel y Prellberg 1989; Flammenkamp 1992, 1998.
  6. ^ Flammenkamp 1992, 1998.
  7. ^ Erdős no publicó esta observación; aparece en Roth 1951.
  8. ^ Hall y otros 1975.
  9. ^ Guy y Kelly 1968.
  10. ^ Según informó Pegg 2005. Pegg atribuyó el descubrimiento de este error a Gabor Ellmann.
  11. ^ Latón y otros 2007.
  12. ^ Madera 2005.
  13. ^ Roth 1951.
  14. ^ Komlós, Pintz y Szemerédi 1982.
  15. ^ por Eppstein 2018.
  16. ^ Froese y col. 2017; Eppstein 2018
  17. ^ Payne y Wood 2013.
  18. ^ Cooper y otros. 2014.
  19. ^ Aichholzer, Eppstein y Hainzl (2023).
  20. ^ Por y Wood 2007.
  21. ^ Pach, Thiele y Tóth 1998; Dujmović, Morin y Wood 2005; Di Giacomo, Liotta y Meijer 2005
  22. ^ Elkin 2011.
  23. ^ Jarnik 1926.
  24. ^ Clarreich 2016.
  25. ^ Misiak y otros. 2016.
  26. ^ Cooper y Solymosi 2005.
  27. ^ Ku y Wong 2018.

Referencias

Enlaces externos