Complejidad de localización en redes inalámbricas

12

Deje puntos distintos 1...n sentarse en R2 . Decimos que los puntos i y j son vecinos si , lo que significa que cada punto es vecino con puntos con índices dentro de 2 , envolviendo.|ij|<3(modn2)2

El problema es:

Para cada par de vecinos se nos dan sus distancias por pares (y sabemos qué distancia corresponde a qué puntos), y queremos reconstruir las distancias por pares de todos los puntos. Mi pregunta es, ¿cuál es la complejidad de este problema de localización?

No sé de un algoritmo de tiempo polinómico.

Esto está motivado por problemas en la localización en redes de sensores , donde los agentes, colocados ad-hoc, pueden comunicarse de forma inalámbrica con sus vecinos lexicográficos, y queremos reconstruir sus posiciones.

No sé mucho sobre problemas de geometría / localización, por lo que esto podría ser fácil o conocido. El problema más cercano que conozco es el problema Turnpike , recientemente señalado en este foro por @Suresh Venkat.

Lev Reyzin
fuente
¿bien definido? Si se permiten dos puntos en el mismo punto en R ^ 2, entonces puedes hacer bisagras.
RJK
lo siento arreglar ...
Lev Reyzin
1
Lev, parece que tex ahora está habilitado. ¿Puedes intentar editar tu publicación para usar látex y ver si funciona?
Suresh Venkat
no has aclarado si dada una distancia d Sé qué par (i, j) lo hizo. la diferencia es crucial
Suresh Venkat
@suresh: he aclarado su pregunta, sabemos las distancias correspondientes. ¡También el soporte de mensajes de texto es genial! @ Jukka: gracias, revisaré tu enlace.
Lev Reyzin

Respuestas:

4

(No tengo una respuesta real, pero esto fue demasiado largo para un comentario, así que publícalo aquí de todos modos ...)

Yo sospecho que el problema es NP-duro, por la reducción del problema de la suma de subconjuntos. Una idea de prueba:

Reducción: si el ésimo elemento en la instancia de suma de subconjuntos es , entonces la distancia entre los nodos y es , la distancia entre y es , la distancia entre y también es , y la distancia entre y es .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

Suponga que los bordes entre y para todo son verticales. Entonces todo el gráfico consiste en una cadena de rectángulos con diagonales. Sin embargo, puede "voltear" cada rectángulo para que esté en el lado izquierdo de o en el lado derecho de . Y necesita encontrar el subconjunto correcto de volteos para que la distancia entre el último nodo y el nodo sea ​​"correcta" (y la distancia entre y sea ​​correcta y la distancia entre y es correcto).2 i i 2 i + 2 2 i 2 i n = 2 k 2 2 k - 1 1 2 k - 1 22i12ii2i+22i2in=2k22k112k12

Hasta ahora todo bien, pero nuestros rectángulos no son realmente rígidos; También podríamos voltear a lo largo de la diagonal. Sin embargo, creo que si elegimos un valor desagradable , ¿tal vez podríamos demostrar que todo sale terriblemente mal si alguna vez volteamos a lo largo de una diagonal (por ejemplo, las coordenadas de no serán racionales)? Sin embargo, esto puede requerir algunos ajustes en los valores .2 k x is2kxi

Jukka Suomela
fuente
idea interesante, gracias. Una pregunta de aclaración rápida: ¿qué le permite asumir que todos los bordes de 1 vecino son verticales?
Lev Reyzin
1
Solo estoy asumiendo que los bordes 1-2, 3-4, ... son verticales. Por supuesto, puede elegir la orientación del borde 1-2 arbitrariamente y definir que es "vertical". Entonces solo hay dos configuraciones posibles para el borde 3-4: ya sea vertical o se ha "volteado" (reflejado) a lo largo del borde 2-3. Nos gustaría evitar la segunda posibilidad que complica la prueba; vea la parte "hasta ahora muy bien ..." para una posible idea de cómo manejar eso.
Jukka Suomela
Ya veo - buena idea
Lev Reyzin
Thm 4.1 (pg 50) de cs.yale.edu/homes/dkg6/papers/thesis.pdf, esta tesis dice que el cuadrado de cualquier gráfico conectado a 2 tiene una localización única. Dado que presentó una localización global que se encuentra al resolver la suma de subconjuntos, sabemos que no hay más respuestas (y no tenemos que preocuparnos por los cambios diagonales). Creo que esto termina la prueba!
Lev Reyzin
6

En realidad es NP-hard. Consulte el siguiente documento para obtener referencias.

Sriram V. Pemmaraju, Imran A. Pirwani: Realización virtual de buena calidad de gráficos de bolas de unidad. ESA 2007: 311-322

Imran Rauf
fuente
1
¿Las referencias cubren realmente el caso especial mencionado en OP? Es decir, ¿su topología gráfica es el cuadrado de un ciclo?
Jukka Suomela
1
Tienes mucha razon. Cubre solo incrustaciones en R ^ d.
Imran Rauf
Buena referencia aunque - gracias
Lev Reyzin