Probablemente esta idea puede confirmar la conjetura.
Hay muchas parejas $(a,b)$ tal que $a+b$ es impar, $a<b$ y $\mathrm{Dist}(a,b)\le 2$ . Podemos tratar de encontrar $x\le n$ tal que $$a+x=y^2\quad\text{ and }\quad b+x=(y+1)^2.$$ Así que $1$ está conectado (la longitud de la conexión es $2$ ) con $6$ , $8$ , $\ldots$ $2[\sqrt{n+1}]$ , $2$ está relacionado con $7$ , $9$ , $\ldots$ $2[\sqrt{n+2}]$ etc. Este primer paso da un componente altamente conectado $M$ dentro de $[1,2\sqrt n]$ . Un gran número $2\sqrt n<c\le n$ podemos intentar conectar con $M$ considerando el cuadrado más cercano $[\sqrt c]^2$ porque $|[\sqrt c]^2-c|<2\sqrt n+1.$ Así que necesitamos un paso para $M$ , dos pasos en el interior $M$ y a un paso de $M$ .
4 votos
Freddy Barrera ha comprobado que G(194) es la primera vez que G(n) tiene diámetro 4. Conjetura que el diámetro es 4 para todo n > 328.
1 votos
¿Conoces algún argumento que demuestre que el diámetro no puede ser 3 para un tamaño suficientemente grande $n$ ?
1 votos
Para todo n entre 329 y 7000 el diámetro es 4. Además, la excentricidad del vértice n en G(n) es 4 para todo n entre 243 y 7000.
1 votos
Me pregunto cómo de grande es el número de camarillas de este gráfico. El primer K4 que veo está en n=6724 (los vértices son 2, 167, 674 y 6722). Puede haber otros más pequeños.
1 votos
Encontrar tales camarillas es el problema D15 en Unsolved Problems in Number Theory (3ª edición) de Richard Guy. Se conocen muchos ejemplos de K4. Stan Wagon parece haber encontrado ejemplos de K5.