The pyramid path-search equality for triangular query budgets
Pyramid path-search conjecture. If sl=1+2+…+ls_l=1+2+\ldots+lsl=1+2+…+l for some lll, then
MathDB