Menu
Given \(n\) real numbers whose sum is zero, find one of the numbers that is non-negative. In the model under consideration, an algorithm is allowed to compute \(p\) linear forms in each time step until it knows an answer. We prove that exactly \(\lceil{\log n}/{\log(p+1)} \rceil\) time steps are required. Some connections with parallel group-testing problems are pointed out.