English

A Nearly Tight Lower Bound for the $d$-Dimensional Cow-Path Problem

Data Structures and Algorithms 2022-09-20 v1

Abstract

In the dd-dimensional cow-path problem, a cow living in Rd\mathbb{R}^d must locate a (d1)(d - 1)-dimensional hyperplane HH whose location is unknown. The only way that the cow can find HH is to roam Rd\mathbb{R}^d until it intersects H\mathcal{H}. If the cow travels a total distance ss to locate a hyperplane HH whose distance from the origin was r1r \ge 1, then the cow is said to achieve competitive ratio s/rs / r. It is a classic result that, in R2\mathbb{R}^2, the optimal (deterministic) competitive ratio is 99. In R3\mathbb{R}^3, the optimal competitive ratio is known to be at most 13.811\approx 13.811. But in higher dimensions, the asymptotic relationship between dd and the optimal competitive ratio remains an open question. The best upper and lower bounds, due to Antoniadis et al., are O(d3/2)O(d^{3/2}) and Ω(d)\Omega(d), leaving a gap of roughly d\sqrt{d}. In this note, we achieve a stronger lower bound of Ω~(d3/2)\tilde{\Omega}(d^{3/2}).

Cite

@article{arxiv.2209.08427,
  title  = {A Nearly Tight Lower Bound for the $d$-Dimensional Cow-Path Problem},
  author = {Nikhil Bansal and John Kuszmaul and William Kuszmaul},
  journal= {arXiv preprint arXiv:2209.08427},
  year   = {2022}
}
R2 v1 2026-06-28T01:30:49.344Z