Mobility Matters
Home›Search in geometric domains›Search, evacuation and patrolling›Search with segment visibility

Search with segment visibility

Robots search the plane for a point that they see when it lies on the segment joining two of them.

Problem statement and measuresexpand

\(k \ge 2\) robots of unit speed start together at the origin \(O\) of the plane, share a coordinate frame and a clock, and move deterministically. A stationary target lies at an unknown point \(x \ne O\) at distance \(d = \|x\| > 0\). The target is found at the first time \(t\) at which \(x\) lies on the closed segment joining the positions of two robots at time \(t\); robots learn nothing about the target before. Depending on the setting the robots know \(d\) or not; they never know the direction of \(x\). Time is the competitive ratio: the supremum, over targets, of the time until the target is found divided by \(d\).

Measures: Competitive ratio, worst-case time until the target lies on a segment between two robots, divided by its distance \(d\) from the origin.

tight near-optimal polynomial gap unknown impossible· rows follow the assumption tree; each cell: best upper bound vs lower bound, and what forces the lower bound
Setting
Competitive ratio
—
Two robots, unknown distance \(d\) unknown, + no faults, + equal speeds
2 open · 1 results
polynomial gap \(e^{\pi\lambda^*}\sqrt{1+\lambda^{*2}}/\lambda^* \approx 8.9285\) vs \(\sqrt3+\pi/6+\sqrt{17}/4 \approx 3.2864\) unknown distance
Two robots, known distance + \(d\) known, + no faults, + equal speeds
0 open · 1 results
tight \(1+\sqrt3+\pi/6\) vs \(1+\sqrt3+\pi/6\) unknown direction
\(k \ge 3\) robots, unknown distance any \(k\), \(d\) unknown, + no faults, + equal speeds
0 open · 1 results
tight \(\sec(\pi/k)\) vs \(\sec(\pi/k)\) unknown direction
\(k \ge 3\) robots, known distance any \(k\), + \(d\) known, + no faults, + equal speeds
0 open · 1 results
tight \(\sec(\pi/k)\) vs \(\sec(\pi/k)\) unknown direction

Know a better result, or found a mistake? Suggest a result · Report an error. Accepted contributions are acknowledged.