Complessità della localizzazione nelle reti wireless


12

Lasciare punti distinti 1...n siediti in R2 . Diciamo che punti ji e sono vicini se | ij | <3 \ pmod {n-2} , il che significa che ogni punto è vicino con punti con indici entro 2 , che si avvolgono.j|ij|<3(modn2)2

Il problema è:

Ad ogni coppia di vicini ci vengono date le distanze a coppie (e sappiamo quale distanza corrisponde a quali punti) e vogliamo ricostruire le distanze a coppie di tutti i punti. La mia domanda è: qual è la complessità di questo problema di localizzazione?

Non conosco un algoritmo temporale polinomiale.

Ciò è motivato da problemi di localizzazione nelle reti di sensori , in cui gli agenti, collocati ad hoc, possono comunicare in modalità wireless con i loro vicini lessicografici e vogliamo ricostruire le loro posizioni.

Non so molto sui problemi di geometria / localizzazione, quindi questo potrebbe essere facile o noto. Il problema più vicino che conosco è il problema Turnpike , recentemente sottolineato su questo forum da @Suresh Venkat.


ben definito? se due punti possono atterrare sullo stesso punto in R ^ 2, allora puoi creare delle cerniere.
RJK,

mi dispiace riparare ...
Lev Reyzin

1
Lev, sembra che tex sia ora abilitato. puoi provare a modificare il tuo post per usare il lattice e vedere se funziona?
Suresh Venkat,

non hai chiarito se data una distanza d so quale coppia (i, j) l'ha fatta. la differenza è cruciale
Suresh Venkat,

@suresh - Ho chiarito la tua domanda - conosciamo le distanze corrispondenti. anche il supporto tex è fantastico! @Jukka - grazie controllerò il tuo link.
Lev Reyzin

Risposte:


4

(Non ho una vera risposta, ma questo era troppo lungo per un commento, quindi pubblicandolo qui comunque ...)

Ho il sospetto che il problema è NP-hard, per riduzione dal problema sottoinsieme somma. Un'idea di prova:

Riduzione: se l' esimo elemento nell'istanza della somma del sottoinsieme è , la distanza tra i nodi e è , la distanza tra e è , anche la distanza tra e è e la distanza tra e è .x i 2 i - 1 2 i s 2 i - 1 2 i + 1 x i 2 i 2 i + 2 x i 2 i 2 i + 1 ixi2i12is2i12i+1xi2i2i+2xi2i2i+1s2+xi2

Supponiamo che i bordi tra e per tutti siano verticali. Quindi l'intero grafico è costituito da una catena di rettangoli con diagonali. Tuttavia, puoi "capovolgere" ciascun rettangolo in modo che sia sul lato sinistro di o sul lato destro di . E devi trovare il giusto sottoinsieme di flip in modo che la distanza tra l'ultimo nodo e il nodo sia "corretta" (e la distanza tra e sia corretta e la distanza tra e è corretta).2 i i 2 i + 2 2 i 2 i n = 2 k 2 2 k - 1 1 2 k - 1 22i12ii2i+22i2in=2k22k112k12

Fin qui tutto bene, ma i nostri rettangoli non sono molto rigidi; potremmo anche capovolgere lungo la diagonale. Tuttavia, credo che se scegliamo un valore brutto , allora forse potremmo dimostrare che tutto va terribilmente male se abbiamo mai lanciamo lungo una diagonale (ad esempio, le coordinate di non saranno razionale)? Tuttavia, ciò potrebbe richiedere alcune modifiche nei valori .2 k x is2kxi


idea interessante - grazie. una rapida domanda di chiarimento: cosa ti permette di presumere che tutti i bordi di 1 vicino siano verticali?
Lev Reyzin

1
Suppongo solo che i bordi 1-2, 3-4, ... siano verticali. Naturalmente è possibile scegliere arbitrariamente l'orientamento del bordo 1-2 e definire che è "verticale". Quindi ci sono solo due possibili configurazioni per il bordo 3-4: o è verticale o hai "capovolto" (specchiato) lungo il bordo 2-3. Vorremmo evitare la seconda possibilità che complica la prova; vedere la parte "finora tutto bene ..." per una possibile idea di come gestirla.
Jukka Suomela,

Vedo - bella idea
Lev Reyzin

Thm 4.1 (pag. 50) di cs.yale.edu/homes/dkg6/papers/thesis.pdf questa tesi afferma che il quadrato di qualsiasi grafico a 2 connessioni ha una localizzazione unica. Dato che hai presentato una localizzazione globale che si trova risolvendo la somma dei sottoinsiemi, sappiamo che non ci sono più risposte (e non dobbiamo preoccuparti di capovolgimenti diagonali). Penso che questo finisca la prova!
Lev Reyzin

6

In realtà è NP-difficile. Vedere il seguente documento per i riferimenti.

Sriram V. Pemmaraju, Imran A. Pirwani: realizzazione virtuale di buona qualità di grafici a sfera unitaria. SEC 2007: 311-322


1
I riferimenti coprono effettivamente il caso speciale menzionato nel PO? Cioè, la tua topologia grafica è il quadrato di un ciclo?
Jukka Suomela,

1
Hai ragione. Copre solo le decorazioni in R ^ d.
Imran Rauf,

Un buon riferimento però - grazie
Lev Reyzin

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.