Search for a moving target
A target starts at unknown distance \(d\) from the origin of a line (or of \(m\) rays) and moves at constant speed \(u\); how fast can robots capture it, depending on what they know about \(d\) and \(u\)?
Problem statement and measuresexpand
Robots of unit speed start at the origin of the line (or of \(m\) rays). The target starts at distance \(d \ge 1\) from the origin, on a side (ray) unknown to the robots, and moves along it at constant speed \(u\), either away from the origin (\(u < 1\), since a faster target can never be caught) or toward it (\(u \ge 0\)); the robots know which. The target cannot change its speed or direction. Depending on the setting the robots know \(d\), \(u\), both or neither. The target is captured when every robot stands on it. Time is the competitive ratio: the supremum, over the target's initial positions and speeds, of the capture time divided by the time the robots would need if they knew the target's initial position.
Measures: Competitive ratio, worst-case capture time divided by the capture time of robots that know the target's initial position.
Line, two face-to-face robots, away, \(d\) known
draftKnowing only the initial distance, two face-to-face robots capture a target moving away with ratio \(O(M^8\log^2 M)\), \(M = 1/(1-u)\).
Assumed (added on the last edge are outlined)
Not assumed
Formal definitions of this setting
- Domain: line
- The real line; the target moves along one side of the origin.
- Number of robots: two robots
- Two robots, both of which must reach the target.
- Direction of the target: away
- The target moves away from the origin at constant speed \(u < 1\), and the robots know it.
- Knowledge of the target: distance known
- The robots know \(d\) but not \(u\).
- Communication: face-to-face
- Face-to-face: two robots exchange information only when they are at the same point at the same time.
- Faults: no faults
- Every robot detects and reports the target.
- Speeds: equal speeds
- All robots move at most at unit speed.
- Randomness: deterministic
- Trajectories are fixed functions of the information received.
What is known
- bound for robots that know \(d\) and \(u\) (Theorem 2.2 of Jawhar & Kranakis 2026b)
- the argument does not use the communication model
Results, in order of publication
Introductory and best (Algorithm 8, Theorem 4.1): the robots walk apart, guessing speeds \(1-2^{-2^i}\), and speed up when a guess fails; three turns (Theorem 4.2).
Open questions
None recorded for this variant.
Notes
For one robot, Coleman et al. 2022 give \(O(M^4\log^2 M)\) (Theorem 12), and Coleman et al. 2026a \(O(M^{4-(\log_2\log_2 M)^{-2}})\) (Theorem 2) against no \(O(M^{4-\varepsilon})\) (Theorem 1).
What carries over from neighbouring settings
Read off the order of assumptions, not checked case by case: results may carry extra assumptions (shown on their pages), and asynchronous time is measured in epochs.
Algorithms from weaker settings work here
Lower bounds from stronger settings hold here
Know a better result for this setting, or found a mistake? Suggest a result · Report an error. Accepted contributions are acknowledged.