Kompleksitas Pelokalan di Jaringan Nirkabel


12

Biarkan poin berbeda duduk di . Kita katakan poin dan adalah tetangga jika | ij | <3 \ pmod {n-2} , artinya setiap titik bertetangga dengan titik dengan indeks dalam 2 , membungkus.R 2 i j1...nR2ij|ij|<3(modn2)2

Masalahnya adalah:

Untuk setiap pasangan tetangga, kami diberi jarak berpasangan (dan kami tahu jarak mana yang sesuai dengan titik mana), dan kami ingin merekonstruksi jarak berpasangan dari semua titik. Pertanyaan saya adalah, apa kompleksitas masalah pelokalan ini?

Saya tidak tahu algoritma waktu polinomial.

Ini dimotivasi oleh masalah dalam pelokalan dalam jaringan sensor , di mana agen, ditempatkan ad-hoc, dapat berkomunikasi secara nirkabel dengan tetangga leksikografis mereka, dan kami ingin merekonstruksi posisi mereka.

Saya tidak tahu banyak tentang masalah geometri / lokalisasi, jadi ini mungkin mudah atau diketahui. Masalah terdekat yang saya tahu adalah masalah Turnpike , baru-baru ini ditunjukkan di forum ini oleh @Suresh Venkat.


terdefinisi dengan baik? jika dua titik diizinkan untuk mendarat pada titik yang sama di R ^ 2, maka Anda dapat membuat engsel.
RJK

maaf memperbaiki ...
Lev Reyzin

1
Lev, sepertinya tex sekarang diaktifkan. dapatkah Anda mencoba mengedit posting Anda untuk menggunakan lateks dan melihat apakah itu berfungsi?
Suresh Venkat

Anda belum mengklarifikasi apakah diberikan jarak dan saya tahu pasangan mana (i, j) berhasil. perbedaannya sangat penting
Suresh Venkat

@ suresh - Saya telah mengklarifikasi pertanyaan Anda - kami tahu jarak yang sesuai. juga dukungan tex hebat! @Jukka - terima kasih saya akan memeriksa tautan Anda.
Lev Reyzin

Jawaban:


4

(Saya tidak punya jawaban nyata, tapi ini terlalu panjang untuk dikomentari, jadi tetap posting di sini ...)

Saya menduga bahwa masalahnya adalah NP-keras, dengan pengurangan dari masalah jumlah subset. Ide pembuktian:

Reduksi: jika elemen ke- dalam instance jumlah himpunan bagian adalah , maka jarak antara node dan adalah , jarak antara dan adalah , jarak antara dan juga , dan jarak antara dan adalah .ixi2i12is2i12i+1xi2i2i+2xi2i2i+1s2+xi2

Asumsikan tepi antara dan untuk semua adalah vertikal. Kemudian seluruh grafik terdiri dari rantai persegi panjang dengan diagonal. Namun, Anda dapat "membalik" setiap kotak sehingga berada di sisi kiri atau sisi kanan . Dan Anda perlu menemukan subset flips yang tepat sehingga jarak antara simpul terakhir dan simpul adalah "benar" (dan jarak antara dan benar dan jarak antara dan benar).2i12ii2i+22i2in=2k22k112k12

Sejauh ini bagus, tapi persegi panjang kami tidak terlalu kaku; kita juga bisa membalik diagonal. Namun, saya pikir jika kita memilih nilai jahat , maka mungkin kita bisa menunjukkan bahwa semuanya berjalan mengerikan salah jika kita pernah membalik sepanjang diagonal (misalnya, koordinat tidak akan rasional)? Ini mungkin memerlukan beberapa penyesuaian dalam nilai .s2kxi


ide yang menarik - terima kasih. pertanyaan klarifikasi cepat - apa yang memungkinkan Anda menganggap semua sisi 1-tetangga vertikal?
Lev Reyzin

1
Saya hanya berasumsi bahwa tepian 1-2, 3-4, ... adalah vertikal. Tentu saja Anda dapat memilih orientasi tepi 1-2 secara sewenang-wenang, dan menentukan bahwa itu adalah "vertikal". Kemudian hanya ada dua konfigurasi yang mungkin untuk tepi 3-4: apakah itu vertikal atau Anda telah "membalik" (mirror) di sepanjang tepi 2-3. Kami ingin menghindari kemungkinan kedua yang memperumit bukti; lihat bagian "sejauh ini sangat bagus ..." untuk ide yang mungkin tentang bagaimana mengatasinya.
Jukka Suomela

Saya mengerti - ide bagus
Lev Reyzin

Thm 4.1 (hal 50) dari cs.yale.edu/homes/dkg6/papers/thesis.pdf tesis ini mengatakan bahwa kuadrat dari setiap 2 grafik yang terhubung memiliki lokalisasi yang unik. Mengingat Anda mempresentasikan lokalisasi global yang ditemukan dengan memecahkan jumlah subset, kami tahu tidak ada lagi jawaban (dan tidak perlu khawatir tentang membalik diagonal). Saya pikir ini menyelesaikan buktinya!
Lev Reyzin

6

Ini sebenarnya NP-hard. Lihat kertas berikut untuk referensi.

Sriram V. Pemmaraju, Imran A. Pirwani: Realisasi Virtual Berkualitas Baik dari Grafik Bola Unit. ESA 2007: 311-322


1
Apakah referensi benar-benar mencakup kasus khusus yang disebutkan dalam OP? Artinya, topologi grafik Anda adalah kuadrat dari suatu siklus?
Jukka Suomela

1
Kamu sangat benar. Ini mencakup hanya embeddings ke R ^ d.
Imran Rauf

Referensi yang bagus - terima kasih
Lev Reyzin

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.