Transformando una cubierta arbitraria en una cubierta de vértice

16

Dado es un gráfico plano y deje que G denote su incrustación en el plano st cada borde tiene una longitud 1 . Tengo además un conjunto C de puntos en los que cada punto c C está contenido en G . Además, para cualquier punto p en G, existe un c C con una distancia geodésica a p como máximo uno. (La distancia se mide como la distancia más corta dentro de G ).G=(V,E)G1CcCGpGcCpG

Quiero argumentar que dada una para la cual se cumple la condición anterior, puedo transformarla fácilmente en una cubierta de vértice, o decirlo de otra manera, transformarla en una C ' de la misma cardinalidad st cualquier c C ' se coloca en G en un vértice de G , y C ' todavía cubre G .CCcCGGCG

Mi enfoque fue orientar los bordes y mover los puntos en en el vértice final del arco. Pero hasta ahora no he encontrado una orientación correcta que produce C ' de C .CCC

Alguien tiene una idea?

usuario695652
fuente
No entiendo bien el problema. ¿Qué significa " en G "? ¿Cómo mides exactamente las distancias? Si quiere decir que p siempre está en un borde, entonces parece que si lo coloca en cualquier extremo, entonces cada punto a distancia como máximo 1 de él, es decir, ambos puntos finales, todavía está a distancia como máximo 1 de él. Para cualquier orientación. pGp11
Yuval Filmus
1
@Yuval Filmus es un dibujo de arco de Jordania de G , es decir, un subconjunto de \ mathhbb R 2 . p G solo significa que el punto debe estar contenido en el dibujo y no en cualquier parte del plano. La distancia se mide como la distancia geodésica en G , es decir, la ruta más corta que conecta dos puntos en el dibujo. Para su último comentario, tome un ciclo de 4 y coloque dos puntos en el medio del primer y tercer borde. Esto cubre todo el gráfico, pero si ahora mueve un punto en su punto final del vértice en el sentido de las agujas del reloj y un punto en su punto final del vértice en el sentido contrario a las agujas del reloj, no cubreGG\mathhbbR2pGG
user695652

Respuestas:

5

Si no hay puntos en se encuentran exactamente en el punto medio de una arista en G , entonces es suficiente para asociar cada punto C al vértice más cercano en G . Lo dejaré como ejercicio para que el lector pruebe esto (pista: probar por contradicción).CGCG

Por otro lado, si se permite que los puntos en se encuentren en el punto medio de los bordes, entonces podemos proporcionar un contraejemplo:C

ingrese la descripción de la imagen aquí

Las líneas azules y los círculos son y las cruces rojas son C .GC

EDITADO PARA AGREGAR: Un ejemplo con un gráfico biconnectado

ingrese la descripción de la imagen aquí

mhum
fuente
Muchas gracias por el contraejemplo. ¿Está de acuerdo en que si restringimos los gráficos para que se conecten entre sí, entonces la afirmación es cierta, incluso si todos los puntos están en el medio?
user695652
No creo que la bi-conexión te salve. Edité mi respuesta con un nuevo ejemplo.
mhum
Esta es una pregunta bastante diferente. Puede tener sentido publicarlo por separado.
mhum
@mhum ¿Cómo hiciste fotos de gráficos? ¿Existe algún programa para eso?
Tacet
@Tacet No recuerdo exactamente cómo hice esto. Creo que el primero podría haber sido MS Paint o GIMP. El segundo podría ser GIMP o Geogebra.
mhum