next up previous
Next: A Competitive Ratio Examination Up: Semi-Planar Performance Analysis and Previous: Semi-Planar Rendezvous Search Recast

Rendezvous Search in the Plane

We consider the case of 2 unit speed agents searching the plane for a single target. The agents can sense a region in the plane in a disk about their position of radius, r. We will assume that both agents adopt the same search strategy, so that without loss of generality, we can perform analysis on the half-plane and a single agentgif.

Following the advice of [4] we will adopt the appropriate model of spiral search as the exploration strategy. In this circumstance, spiral search simplifies to walking concentric circles of odd radius, so that the boundary of the sensed regions just touch. This leaves a measure zero set ( tex2html_wrap_inline235 ) of the plane unsearched so that we are guaranteed to find the target if it lies within the searched region. See figure 1 for a description of the search pattern.

   figure48
Figure 1: The path traced by tex2html_wrap_inline237 of concentric hemi-circles.

The family of rendezvous strategies that we will consider can be described as follows. Every time our agent arrives back at the border of the half plane she has a choice to move back to the origin to meet with the other agent, or continue to search the next level out of her region. We will evaluate and analyze the cost of the alternate behaviors and attempt to categorize the strategy family. Let us describe the strategies in the following manner, let tex2html_wrap_inline239 be the strategy that rendezvous is attempted upon every i-th arrival at the search boundary. Let tex2html_wrap_inline243 be the positive integers then rendezvous is attempted at border encounters from the set, tex2html_wrap_inline245 , for strategy tex2html_wrap_inline247 . Define tex2html_wrap_inline237 to be the strategy of spiral search without rendezvous attempts (since tex2html_wrap_inline251 ). Consider the distance that is traversed during this search,

  align59

In fact we can easily go ahead and categorize the distance traversed by each strategy in the family, by applying similar analysis. Note that the sum is chosen to reflect the distance traveled between rendezvous attempts, breaking the infinite sum in this way will be useful when analyzing the strategies according to rendezvous attempts and we can safely take the sum term-wise due to the compactness of the plane. Yielding the sequence,

   align65

taking the sum, of course as tex2html_wrap_inline253 . But splitting the sums up in this fashion allows us to see the pattern that evolves by the members on each of the respective rendezvous attempts. The pattern that evolves is intuitive enough since for each member the distance traveled between rendezvous iterations consecutive odd traversals of hemi-circles, followed by the trip to the origin. This accounts for the terms in (4), the tex2html_wrap_inline255 term for the exploration trips, and the r term accounting for the rendezvous trips.

Now we can characterize the distance that is wasted, tex2html_wrap_inline259 , performing rendezvous by taking the difference of (4) and (2) resulting in the extra distance traveled at each iteration.

  align78

How then does this figure into our performance scheme (1)? If this is the accumulated distance that we waste at each iteration then our opportunity cost is searching this far into the next level of the exploration. So what is our expected gain from further search? It is the area, A, that we will see on the next iteration of the search strategy. This is easy enough to figure out, we have already seen this as the area, tex2html_wrap_inline255 , term in (4).

   align89

Then from (1) we see that what we expect to gain is area of the next iteration of search for our strategy, tex2html_wrap_inline265 . This is in inverse proportion to the accumulated distance that we have walked for rendezvous purposes. That proportion is what we need to understand.

 

   figure119
Figure: The Quantitative Performance (1) of exploration versus rendezvous overhead

The function is plotted in figure 2 and is seen to have quadratic cost in terms of the strategy chosen. It makes sense to have strategies of j<1, which would correspond to not exploring the entire semi-circle before returning to the rendezvous origin, perhaps in circumstance where the sensing region was very large relative to the speed moved, tex2html_wrap_inline269 .


next up previous
Next: A Competitive Ratio Examination Up: Semi-Planar Performance Analysis and Previous: Semi-Planar Rendezvous Search Recast

M. Scott Burlington
Wed Apr 8 12:02:33 EDT 1998