Bagaimana cara menemukan istri saya di supermarket?


27

Jika dua orang tersesat dalam labirin, adakah algoritma yang bisa mereka gunakan untuk menemukan satu sama lain tanpa sebelumnya sepakat algoritma apa yang akan mereka gunakan?

Saya pikir ada beberapa karakteristik yang dimiliki algoritma ini:

  • Setiap orang harus dapat menurunkannya dengan menggunakan logika yang tidak membuat asumsi tentang apa yang diputuskan orang lain, tetapi karena setiap orang tahu yang lain berada di posisi yang sama, mereka dapat membuat kesimpulan tentang apa yang harus diputuskan oleh orang lain.
  • Algoritma yang identik harus diturunkan oleh kedua orang karena ada simetri total dalam situasi mereka (tidak ada yang memiliki pengetahuan tentang posisi awal yang lain, dan labirin adalah ukuran yang tetap, dan sepenuhnya dipetakan oleh keduanya). Perhatikan bahwa algoritma tidak harus bersifat deterministik: diizinkan untuk diacak.

(Supermarket mungkin merupakan contoh yang menyesatkan, karena ada area keluar semi-dapat diamati.) Sekarang, jika keduanya memiliki cara untuk menandai jalan mereka dengan cara yang memungkinkan masing-masing untuk mengetahui sendiri dari yang lain , mereka dapat membalikkan dengan interval tiga kali lipat, masalah mulai ketika menemui sendiri .
greybeard

7
Jawaban logisnya adalah menelepon ponselnya;)
DavidPostill

2
Jawaban non-CS adalah pergi ke titik Schelling . Di supermarket, itu mungkin, misalnya, meja layanan pelanggan atau pintu keluar. Namun, perlu diketahui bahwa dalam kehidupan manusia, poin Schelling sering kali lebih bergantung pada perilaku dan pengetahuan manusia, daripada analisis algoritmik pola konektivitas, sehingga perspektif CS tidak benar-benar memberikan banyak wawasan ketika kita berbicara tentang agen manusia. Apakah Anda benar-benar bermaksud bertanya tentang orang - orang dalam kehidupan nyata, atau apakah Anda bermaksud mengajukan pertanyaan matematis tentang agen robot dalam lingkungan ideal?
DW

Jawaban:


19

Ini disebut masalah pertemuan .

Seperti makalah: Mobile Agent Rendezvous: Sebuah Survei menyebutkan, masalah ini asli yang diajukan oleh Alpern: Masalah Pencarian Rendezvous :

Dua astronot mendarat di benda bulat yang jauh lebih besar dari jari-jari pendeteksian (di mana mereka dapat saling melihat). Tubuh tidak memiliki orientasi tetap di ruang angkasa, juga tidak memiliki sumbu rotasi, sehingga tidak ada gagasan umum tentang posisi atau arah yang tersedia bagi para astronot untuk koordinasi. Mengingat kecepatan unit berjalan untuk kedua astronot, bagaimana mereka harus bergerak untuk meminimalkan waktu pertemuan yang diharapkan T (sebelum mereka datang dalam radius deteksi)?

Dalam makalah survei di atas,

Abstrak: Hasil terbaru tentang masalah pertemuan agen mobile pada jaringan terdistribusi disurvei dengan penekanan pada menguraikan berbagai pendekatan yang diambil oleh para peneliti dalam komunitas ilmu komputer teoritis.

Ini mencakup "Asymmetric Rendezvous" (dalam Bagian 4) dan "Symmetric Rendezvous" (dalam Bagian 5).


Untuk pertemuan simetris, makalah oleh Alpern menunjukkan:

Ditampilkan bagaimana simetri di wilayah pencarian dapat menghambat proses dengan mencegah koordinasi berdasarkan konsep seperti utara atau searah jarum jam.


Ditandai sebaik ini mengarahkan saya ke bidang studi yang relevan. Jika bacaan saya tentang survei ini benar, belum diketahui apakah ada solusi optimal untuk pertemuan simetris.
jl6

-1

Sebenarnya setiap skema yang telah diatur sebelumnya akan dilakukan.

Sebagai contoh:

  1. Belok selalu ke kiri
  2. Jika pada jalur mundur buntu ke belokan sebelumnya dan belok kanan
  3. Yang satu harus berjalan dua kali lipat kecepatan (yang telah diatur sebelumnya) yang lain (atau dalam istilah yang lebih banyak-teoretis, kecepatan kedua agen harus relatif prima, atau lebih umum secara linear-independen).

Atau bahkan lebih sederhana

  1. Satu agen tetap di tempat yang sama
  2. Sementara yang lain menggunakan skema yang konsisten untuk menjelajahi labirin (misalnya menggunakan pendekatan utas Ariadne ).
  3. Akhirnya, dalam waktu terbatas, mereka akan bertemu.

Skema ini akan menjamin bahwa orang-orang akan bertemu pada akhirnya (tetapi mungkin perlu waktu)

Mengapa? Karena skema ini konsisten untuk keduanya dan tidak mengarah ke jalan buntu. Jadi karena labirin terbatas dan terhubung, setelah waktu terbatas mereka akan bertemu.

Jika skema ini tidak konsisten, tidak ada jaminan mereka akan bertemu karena mereka dapat menghasilkan loop tertutup.

Jika mereka memiliki kecepatan yang sama maka tergantung pada arsitektur labirin, misalnya labirin siklik, maka ada kemungkinan mereka selalu dapat berada di titik-titik anti-diametris dari labirin, karenanya tidak pernah bertemu, meskipun skema konsisten.

Jelas dari uraian di atas bahwa skema tersebut perlu diatur sebelumnya, tetapi skema pra-pengaturan yang konsisten akan dilakukan.

Orang lain dapat mengandalkan analisis probabilistik dan menyimpulkan bahwa dengan probabilitas besar mereka akan bertemu, tetapi probabilitas ini tidak satu (yaitu dalam semua kasus).

Satu juga dapat mempertimbangkan kebalikan dari masalah pertemuan , masalah penghindaran di mana tujuannya adalah untuk agen untuk selalu menghindari satu sama lain .

Solusi untuk masalah penghindaran adalah agar para agen mencerminkan satu sama lain secara tepat. Artinya, apa yang dilakukan oleh satu agen yang lain harus mencerminkan hal itu. Karena masalah penghindaran juga memiliki solusi , jelas bahwa strategi untuk masalah pertemuan yang dapat mengarah pada perilaku refleksi agen, tidak dapat menjamin solusi.

Orang dapat mengatakan bahwa strategi untuk masalah penghindaran adalah paralelisasi (yaitu titik divergen maksimum) sedangkan strategi untuk masalah pertemuan adalah ortogonal (yaitu titik paling tidak konvergen)

Analisis di atas dapat diubah menjadi algoritma acak yang tidak mengambil peran yang sudah diatur sebelumnya untuk agen, seperti berikut:

  1. Setiap agen melempar koin untuk memilih peran mana (mis. Tetap di tempat atau menjelajahi labirin)
  2. Kemudian mereka melanjutkan seperti dijelaskan di atas.

Ini rata-rata akan menyebabkan orang akhirnya bertemu, tetapi tidak dijamin dalam semua kasus.

Jika kita mengasumsikan bahwa agen dapat meninggalkan jejak , misalnya label arah dan kecepatan (saat ini) mereka. Kemudian, agen lain, dapat menggunakan jejak ini sebagai informasi untuk menyesuaikan arah dan kecepatannya sendiri (lihat di bawah).

Masalah seperti ini adalah contoh pengoptimalan global yang hanya menggunakan informasi lokal . Atau, dengan kata lain, cara memetakan hambatan global terhadap kendala lokal . Masalah ini, yang lebih umum, (yang merangkum masalah pertemuan) dibahas dalam pos math.se ini (dan referensi di dalamnya) "Metode untuk menerjemahkan kendala global ke kendala lokal"


"Satu agen tetap di tempat yang sama" melanggar properti simetri yang diinginkan OP. di mana kedua agen mengikuti strategi yang sama.
AndyG

@AndyG, ya bagian ini dijawab di bawah ini, menggunakan sejumlah pendekatan Plus itu dijawab dengan mencatat bahwa solusi tidak dijamin dalam kasus ini
Nikos M.

1
@NikosM. Saya tidak percaya sinkronisasi apa pun diperlukan. Seseorang dapat memodelkan masalah ini sebagai skenario pengejaran di mana kedua agen menganggap yang lain sebagai pengelak. Ada pendekatan probabilistik untuk memecahkan masalah ini, dan dalam lingkungan 3D seseorang dapat menunjukkan jumlah minimum pengejar yang diperlukan untuk menjamin penangkapan.
AndyG

1
"Selalu belok kiri" tidak bekerja. Misalkan Anda berada di lorong 2 dan istri Anda di lorong 5. Anda akan berjalan naik dan turun gang 2 dan 3 (atau 1 dan 2, tergantung pada cara Anda awalnya menghadap) selamanya, dan istri Anda akan berjalan dan turun 5 dan 6 (atau 4 dan 5). Atau, jika Anda berada di supermarket kecil yang grafik koneksinya adalah siklus, Anda bisa berakhir berkeliling siklus selamanya, dalam arah yang sama dan pada kecepatan yang sama.
David Richerby

1
"Satu agen tetap di tempat yang sama, yang lain melakukan sesuatu yang lain" tidak berfungsi karena kedua agen mungkin memilih untuk diam dan menunggu yang lain selamanya. Jika agen dapat berkomunikasi untuk menyetujui siapa yang akan diam, mereka mungkin juga akan mengomunikasikan fakta bahwa salah satu dari mereka berdiri di dekat pisang.
David Richerby
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.