Doppi triangoli unici di poligoni semplici


9

Data una triangolazione (senza punti di Steiner) di un semplice poligono , si può considerare il doppio di questa triangolazione, che è definita come segue. Creiamo un vertice per ogni triangolo nella nostra triangolazione e colleghiamo due vertici se i triangoli corrispondenti condividono un bordo. Il doppio grafico è noto per essere un albero con massimo grado tre.P

Per la mia domanda, sono interessato a quanto segue. Dato un albero con grado massimo tre, c'è sempre un poligono semplice P tale che il duale di ogni triangolazione (senza punti di Steiner) di P è uguale a T . Qui, la triangolazione di P potrebbe non essere unica, ma ho bisogno che il doppio grafico sia unico.TPPTP

Questo è certamente vero quando è un percorso, ma diventa poco chiaro quando si hanno vertici di grado tre.T


1
Il doppio grafico non è necessariamente un albero. Considera questa forma a stella , che a seconda della tua definizione di condivisione di un bordo (completo o parziale) è un grafico disgiunto di 4 vertici o un 4 cicli.
orlp,

Buona pesca! Ho dimenticato di dire che non ammetto punti Steiner nelle mie triangolazioni. Aggiornerò la domanda.
Nizbel99,

Domanda interessante, ma sono curioso di sapere quale applicazione possa avere. Puoi dire?
Lucertola discreta

Risposte:


2

Dato un albero con massimo grado tre, c'è sempre un semplice poligono P tale che il doppio di ogni triangolazione (senza punti di Steiner) di P è uguale a T ?TPPT

Sì. Per dimostrarlo, fornirò una procedura per ottenere il risultato apparentemente leggermente più forte *:

Dato un albero con massimo grado tre, costruisci un semplice poligono P , in modo tale che la triangolazione unica di P (senza punti di Steiner) abbia T come doppio.TPPT

Iniziare creando un triangolo iniziale , rappresentando qualche vertice v 0 a T e aggiungere v 0 alla coda Q . Quindi, ripeti quanto segue fino a quando Q è vuoto:Δ0v0Tv0QQ

  • Pop l'elemento superiore, , dalla coda.v
  • wABΔvDABΔABDΔwΔABDwQ

PT

Poligono di esempio

ABAD

CDPQ{B,D}DQPADBDΔABDQesiste solo se esiste un punto analogo per il triangolo posizionato in precedenza. Dal momento che non esiste un punto simile per il primo triangolo, ciò significa che non esiste un punto simile per nessun triangolo che aggiungiamo.

(X,Y)PXYPP

Si noti che i poligoni costruiti con questo metodo tendono ad avere angoli piuttosto acuti. Sospetto che grafi arbitrari di grandi dimensioni richiedano poligoni con angoli piccoli arbitrari, il che potrebbe essere un problema quando si disegnano questi poligoni con precisione finita.

*: La differenza è che, se interpretiamo "unico" fino all'isomorfismo (che è coerente con l'unicità delle triangolazioni e i doppi essendo diversi), staremmo bene con un poligono con più triangolazioni che hanno tutti i doppi isomorfi. Tuttavia, è possibile "attaccare" più triangoli a quei poligoni per assicurarsi che alcuni doppi non siano più isomorfi.

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.