Sự phức tạp của nội địa hóa trong mạng không dây


12

Cho điểm khác biệt 1...n ngồi trong R2 . Chúng ta nói điểm Tôij là hàng xóm nếu , nghĩa là mỗi điểm là hàng xóm với các điểm có chỉ số trong vòng , bao quanh.2|Tôi-j|<3(modn-2)2

Vấn đề là:

Đối với mỗi cặp hàng xóm, chúng tôi được cung cấp khoảng cách theo cặp của họ (và chúng tôi biết khoảng cách tương ứng với điểm nào) và chúng tôi muốn xây dựng lại khoảng cách theo cặp của tất cả các điểm. Câu hỏi của tôi là, sự phức tạp của vấn đề nội địa hóa này là gì?

Tôi không biết về thuật toán thời gian đa thức.

Điều này được thúc đẩy bởi các vấn đề trong nội địa hóa trong các mạng cảm biến , nơi các đại lý, được đặt quảng cáo, có thể giao tiếp không dây với các nước láng giềng từ điển của họ và chúng tôi muốn xây dựng lại vị trí của họ.

Tôi không biết nhiều về các vấn đề hình học / nội địa hóa, vì vậy điều này có thể dễ dàng hoặc được biết đến. Vấn đề gần nhất mà tôi biết là vấn đề Turnpike , gần đây đã được chỉ ra trên diễn đàn này bởi @Suresh Venkat.


xác định rõ? nếu hai điểm được phép hạ cánh trên cùng một điểm trong R ^ 2, thì bạn có thể tạo bản lề.
RJK

xin lỗi đã sửa ...
Lev Reyzin

1
Lev, có vẻ như tex đã được kích hoạt. bạn có thể thử chỉnh sửa bài viết của mình để sử dụng latex và xem nó có hoạt động không?
Suresh Venkat

bạn chưa làm rõ liệu có khoảng cách d tôi biết cặp nào (i, j) đã tạo ra nó. sự khác biệt là rất quan trọng
Suresh Venkat

@suresh - Tôi đã làm rõ câu hỏi của bạn - chúng tôi biết khoảng cách tương ứng. hỗ trợ tex cũng rất tuyệt! @Jukka - cảm ơn tôi sẽ kiểm tra liên kết của bạn.
Lev Reyzin

Câu trả lời:


4

(Tôi không có câu trả lời thực sự, nhưng điều này quá dài cho một bình luận, vì vậy dù sao thì việc đăng nó ở đây ...)

Tôi nghi ngờ rằng vấn đề là NP-hard, bằng cách giảm từ vấn đề tổng hợp tập hợp con. Một ý tưởng bằng chứng:

Giảm: nếu phần tử thứ trong thể hiện tổng con là x i , thì khoảng cách giữa các nút 2 i - 12 is , khoảng cách giữa 2 i - 12 i + 1x i , khoảng cách giữa 2 i2 i + 2 cũng là x i và khoảng cách giữa 2 i2 i + 1TôixTôi2Tôi-12TôiS2Tôi-12Tôi+1xTôi2Tôi2Tôi+2xTôi2Tôi2Tôi+1 .S2+xTôi2

Giả sử rằng các cạnh giữa 2 i cho tất cả i đều thẳng đứng. Sau đó, toàn bộ biểu đồ bao gồm một chuỗi các hình chữ nhật với các đường chéo. Tuy nhiên, bạn có thể "lật" từng hình chữ nhật sao cho 2 i + 2 ở bên trái của 2 i hoặc bên phải của 2 i . Và bạn cần tìm tập hợp con đúng của các lần lật để khoảng cách giữa nút cuối cùng n = 2 k và nút 2 là "chính xác" (và khoảng cách giữa 2 k - 12Tôi-12Tôii2i+22i2in=2k22k1 là chính xác và khoảng cách giữa 2 k - 1 2 là chính xác).12k12

Cho đến nay rất tốt, nhưng hình chữ nhật của chúng tôi không thực sự cứng nhắc; chúng ta cũng có thể lật dọc theo đường chéo. Tuy nhiên, tôi nghĩ rằng nếu chúng ta chọn một giá trị khó chịu , thì có lẽ chúng ta có thể thấy rằng tất cả mọi thứ đi sai lầm khủng khiếp nếu chúng ta bao giờ lật dọc theo một đường chéo (ví dụ, tọa độ của 2 k sẽ không hợp lý)? Điều này có thể yêu cầu một số điều chỉnh trong các giá trị x i , mặc dù.s2kxi


ý tưởng thú vị - cảm ơn. một câu hỏi làm rõ nhanh - điều gì cho phép bạn giả sử tất cả các cạnh 1 lân cận đều thẳng đứng?
Lev Reyzin

1
Tôi chỉ giả sử rằng các cạnh 1-2, 3-4, ... là dọc. Tất nhiên, bạn có thể chọn hướng của cạnh 1-2 tùy ý và xác định rằng đó là "dọc". Sau đó, chỉ có hai cấu hình có thể có cho cạnh 3-4: hoặc là dọc hoặc bạn đã "lật" (được nhân đôi) dọc theo cạnh 2-3. Chúng tôi muốn tránh khả năng thứ hai làm phức tạp bằng chứng; xem phần "cho đến nay rất tốt ..." để biết ý tưởng về cách xử lý việc đó.
Jukka Suomela

Tôi hiểu rồi - ý kiến ​​hay
Lev Reyzin

Thm 4.1 (pg 50) của cs.yale.edu/homes/dkg6/auge/thesis.pdf luận án này nói rằng bình phương của bất kỳ đồ thị 2 kết nối nào có một địa phương hóa duy nhất. Do bạn đã trình bày một bản địa hóa toàn cầu được tìm thấy bằng cách giải tổng con, chúng tôi biết không còn câu trả lời nào nữa (và không phải lo lắng về các đường chéo). Tôi nghĩ rằng điều này kết thúc bằng chứng!
Lev Reyzin

6

Nó thực sự là NP-hard. Xem bài viết sau để tham khảo.

Sriram V. Pemmaraju, Imran A. Pirwani: Thực hiện ảo chất lượng tốt của đồ thị bóng đơn vị. ESA 2007: 311-322


1
Các tài liệu tham khảo có thực sự bao gồm các trường hợp đặc biệt được đề cập trong OP? Đó là, cấu trúc liên kết đồ thị của bạn là bình phương của một chu kỳ?
Jukka Suomela

1
Bạn rất đúng. Nó chỉ bao gồm các phần nhúng vào R ^ d.
Imran Rauf

Mặc dù tham khảo tốt - cảm ơn
Lev Reyzin

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.