Складність локалізації в бездротових мережах


12

Нехай окремі точки сидять у . Ми говоримо, що точки і є сусідами, якщо | ij | <3 \ pmod {n-2} , що означає, що кожна точка є сусідами з точками з індексами в межах 2 , обертаючись навколо.R 2 i j | i - j | < 31...nR2ij|ij|<3(modn2)2

Проблема полягає в наступному:

Для кожної пари сусідів нам даються їх парні відстані (і ми знаємо, яка відстань відповідає яким точкам), і ми хочемо реконструювати попарні відстані всіх точок. Мої запитання полягають у тому, яка складність цієї проблеми локалізації?

Я не знаю поліноміального алгоритму часу.

Це мотивовано проблемами локалізації в сенсорних мережах , де агенти, розміщені спеціально, можуть бездротово спілкуватися зі своїми лексикографічними сусідами, і ми хочемо реконструювати їхні позиції.

Я мало знаю про проблеми геометрії / локалізації, тому це може бути простим чи відомим. Найближча проблема, про яку я знаю, - це проблема Turnpike , яку нещодавно вказав на цьому форумі @Suresh Venkat.


чітко визначений? якщо двом точкам дозволяється приземлятися на одну і ту ж точку в R ^ 2, то ви можете зробити петлі.
RJK

вибачте виправлення ...
Лев Рейзін

1
Лев, здається, текс зараз увімкнено. чи можете ви спробувати відредагувати свою публікацію, щоб використовувати латекс і подивитися, чи працює вона?
Суреш Венкат

Ви не з'ясували, чи дано відстань, я знаю, яка пара (i, j) зробила це. різниця є вирішальною
Суреш Венкат

@suresh - Я уточнив ваше запитання - ми знаємо відповідні відстані. також підтримка текса чудова! @Jukka - дякую, я перевірю ваше посилання.
Лев Рейзін

Відповіді:


4

(У мене немає реальної відповіді, але це було занадто довго для коментарів, тому розміщуйте його тут все одно ...)

Я підозрюю, що проблема є NP-жорсткою, зменшуючи від заданої суми підмножини. Доказна ідея:

Зменшення: якщо й елемент в екземплярі суми підмножини дорівнює , то відстань між вузлами і дорівнює , відстань між і - , відстань між - також , а відстань між та дорівнює .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

Припустимо, що краї між та для всіх є вертикальними. Тоді весь графік складається з ланцюжка прямокутників з діагоналями. Однак ви можете «перевернути» кожен прямокутник так, щоб або з лівого боку або з правого боку . І вам потрібно знайти правильну підмножину фліпсів, щоб відстань між останнім вузлом і вузлом було "правильним" (а відстань між і є правильною і відстань між і правильно).2 i i 2 i + 2 2 i 2 i n = 2 k 2 2 k - 1 1 2 k - 1 22i12ii2i+22i2in=2k22k112k12

Поки що добре, але наші прямокутники насправді не жорсткі; ми також могли прогорнутись по діагоналі. Однак я думаю, що якщо ми виберемо неприємне значення , то, можливо, ми могли б показати, що все страшенно неправильно, якщо ми колись перекинемось по діагоналі (наприклад, координати не будуть раціональними)? Однак це може зажадати певних змін у значеннях .2 k x is2kxi


цікава ідея - спасибі. питання швидкого уточнення - що дозволяє припустити, що всі 1-сусідні краї вертикальні?
Лев Рейзін

1
Я лише припускаю, що краї 1-2, 3-4, ... вертикальні. Звичайно, ви можете вибрати орієнтацію краю 1-2 довільно і визначити, що він "вертикальний". Тоді є лише дві можливі конфігурації для краю 3-4: або вона вертикальна, або ви "перевернулися" (дзеркально) по краю 2-3. Ми хотіли б уникати другої можливості, яка ускладнює доказ; Дивіться частину "поки що так добре ...", щоб дізнатися, як з цим впоратися.
Юкка Суомела

Бачу - приємна ідея
Лев Рейзін

Thm 4.1 (стор. 50) cs.yale.edu/homes/dkg6/papers/thesis.pdf ця теза говорить про те, що квадрат будь-якого 2-з'єднаного графіка має унікальну локалізацію. З огляду на те, що ви представили глобальну локалізацію, яку ви знайдете шляхом вирішення суми підмножини, ми знаємо, що відповідей більше немає (і про діагональні перевороти не потрібно хвилюватися). Я думаю, що це закінчує доказ!
Лев Рейзін

6

Це насправді NP-важко. Довідкові матеріали див. У наступному документі.

Sriram V. Pemmaraju, Imran A. Pirwani: Віртуальна реалізація хорошої якості одиничних кульових графіків. ESA 2007: 311-322


1
Чи справді посилання охоплюють особливий випадок, зазначений в ОП? Тобто, ваша топологія графа - це квадрат циклу?
Jukka Suomela

1
Ви так праві. Він охоплює лише вбудовування в R ^ d.
Імран Рауф

Хоча гарне посилання - дякую
Лев Рейзін

4

Drineas та ін. написав статтю Відновлення матриці відстані від неповної інформації про відстань для локалізації сенсорної мережі . Але те, чого вони досягають, мабуть, не зовсім те, про що ви просите: вони обчислюють всю карту відстані від неповної, навіть за наявності шуму та несправностей вузлів.

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.