1996 Fiscal Year Annual Research Report
| Project/Area Number |
08680407
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Research Institution | University of the Ryukyus |
|---|
Principal Investigator |
翁長 健治 琉球大学, 工学部, 教授 (90029869)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
名嘉村 盛和 琉球大学, 工学部, 助教授 (80237437)
|
|---|
| Keywords | 分散アルゴリズム / 安定結婚問題 / 分散安定結婚問題 / 自律移動ロボット |
|---|
| Research Abstract |
平成8年度における研究では、分散安定結婚問題の応用として以下に示す「自律移動ロボットと充電施設との安定マッチング」を示し、それを解く分散アルゴリズムを提案した。また、その正当性を示した。
〈自律移動ロボットと充電施設との安定マッチング〉
自律移動ロボットは,一定時間ごとに充電施設に移動し,充電を行わなければならない。充電施設はロボットと同数だけ存在し,充電にはかなりの時間を要すると仮定する。このとき,各ロボットは,できるだけ近くにある施設で充電を行いたい。また,施設は,FCFS(First Come First Serve)でサービスを行うものとする。もし,各ロボットが,勝手に近くの充電施設を目指して移動を始めると,おそらく幾つかののロボットは,他のロボットに先を越され,再び別の施設を目指すことになる。最悪の場合には,最後の最後に空の充電施設にたどり着く場合もあるだろう。もしあらかじめメッセージ通信によって充電すべき充電施設を決定しておけば,そのようなことは起こらない。さらに,そのマッチングが距離について安定であれば,ルール違反を犯そうとしても,すなわち決定した施設とは別のより近い施設に移動しようとしても,無駄足を踏むだけである。従って,分散安定結婚問題を応用すれば,ルール違反が起りにくいマッチングを行うことができる。
「自律移動ロボットと充電施設との安定マッチング」においては,安定なマッチングは唯一つだけ存在する。提案する分散アルゴリズムは,Gale & Shapleyの原問題に対する基本アルゴリズムに基づくもので、最悪の場合、O(n^∧)のメッセージ通信量で唯一つの安定マッチングを求めることができる。
|
-
[Publications] H.Kinjo,M.Nakamura,K.Onaga: "Distributed stable marriage problem and Gale-Shapley-based Protocol" Proceedings of Intemational Technical Conference on Circuits/Systems,Computers and Communications. 2. 911-914 (1996)
-
[Publications] H.Kinjo,M.Nakamura,K.Onaga: "Distributed stable marriage of autonomous mobile robots and battery charger stations" 電子情報通信学会英論文誌. E78-A. 1856-1859 (1996)
-
[Publications] S.Sakihara,H.Kinjo,M.Nakamura,and K.Onaga: "Distributed stable Marriage Problem and Its Computer Simulation" 日本ファジイ学会第31回ファジイOR研究会講演論文集. 7-12 (1997)
-
[Publications] 崎原,金城,名嘉村,翁長: "分散安定結婚問題におけるマッチングゲーム" 1997年電子情報通信学会総合大会講演論文集. A-12-3 (1997)
