Trasformare una copertura arbitraria in una copertina di vertice


16

Dato è un grafico planare e lascia che denoti l'incorporamento nel piano st ogni bordo ha lunghezza . Ho inoltre un setG=(V,E)G1C di punti in cui ciascun punto è contenuto in G . Inoltre, esso vale per ogni punto p in G che esiste un c C con geodetica distanza a p al massimo uno. (La distanza viene misurata come la distanza più breve entro G. )cCGpGcCpG

Voglio sostenere che, dato un per il quale vale la condizione di cui sopra, posso facilmente trasformarlo in una copertura del vertice o, in altre parole, trasformarlo in un C della stessa cardinalità st qualsiasi c C è posto in G in un vertice di G e C ' copre ancora G .CCcCGGCG

Il mio approccio era orientare i bordi e spostare i punti in all'estremità del vertice dell'arco. Ma finora non ho trovato un corretto orientamento che produce C ' da C .CCC

Qualcuno ha un'idea?


Non capisco bene il problema. Cosa significa " in G "? Come misurate esattamente le distanze? Se intendi che p è sempre su uno spigolo, allora se lo metti a una delle estremità, allora ogni punto a una distanza massima di 1 da essa - vale a dire entrambi gli endpoint - è ancora a una distanza massima di 1 da essa. Per qualunque orientamento. pGp11
Yuval Filmus,

1
@Yuval Filmus è un disegno ad arco di Giordania di G , ovvero un sottoinsieme di \ mathhbb R 2 . p G significa solo che il punto deve essere contenuto nel disegno e non in qualsiasi punto del piano. La distanza viene misurata come distanza geodetica in G , ovvero il percorso più breve che collega due punti nel disegno. Per la tua ultima osservazione, prendi un ciclo di 4 e metti due punti nel mezzo del primo e del terzo bordo. Questo copre l'intero grafico, ma se ora si sposta di un punto sul suo vertice del vertice in senso orario e di un punto sul suo vertice del vertice in senso antiorario, si copresolsol\ mathhbbR2psolsol
user695652

Risposte:


5

Se nessun punto in si trovano esattamente sul punto medio di un bordo in G , allora è sufficiente associare ogni punto C al vertice più vicino a G . Lascerò che sia un esercizio per il lettore dimostrare questo (suggerimento: dimostrare per contraddizione).CsolCsol

D'altra parte, se i punti in possono trovarsi sul punto medio dei bordi, allora possiamo fornire un contro-esempio:C

inserisci qui la descrizione dell'immagine

Le linee blu e cerchi sono e le croci rosse sono C .solC

MODIFICATO PER AGGIUNGERE: un esempio con un grafico biconnesso

inserisci qui la descrizione dell'immagine


Grazie mille per il controesempio. Sei d'accordo sul fatto che se restringiamo i grafici in modo che siano biconnessi, allora l'affermazione è vera, anche se tutti i punti sono nel mezzo?
user695652

Non credo che la bi-connessione ti salverà. Ho modificato la mia risposta con un nuovo esempio.
mhum,

Questa è una domanda piuttosto diversa. Potrebbe avere senso pubblicarlo separatamente.
mum

@mhum Come hai realizzato le immagini dei grafici? Esiste un programma per quello?
Tacet,

@Tacet Non ricordo esattamente come ho fatto questi. Penso che il primo potrebbe essere stato MS Paint o GIMP. Il secondo potrebbe essere GIMP o Geogebra.
mum
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.