Mining coal or finding terrorists: the expanding search paradigm

We show how to optimize the search for a hidden object, terrorist, or simply Hider, located at a point H according to a known or unknown distribution v on a rooted network Q. We modify the traditional "pathwise search" approach to a more general notion of "expanding search." When the Hider is restricted to the nodes of Q, an expanding search S consists of an ordering (a1, a2,⋯) of the arcs of a spanning subtree such that the root node is in a1 and every arc ai is adjacent to a previous arc aj , j < i. If ak contains H, the search time T is . λ(a1)+⋯+ λ(ak5), where . is length measure on Q. For more general distributions v, an expanding search S is described by the nested family of connected sets S4t5 that specify the area of Q that has been covered by time t. S(0) is the root, λ(S(t)) = t, and T = min{t: H 2 S(t)}. For a known Hider distribution v on a tree Q, the expected time minimizing strategy SN begins with the rooted subtree Q′ maximizing the "density" v(Q′)/ λ (Q′). (For arbitrary networks, we use this criterion on all spanning subtrees.) The search SN can be interpreted as the optimal method of mining known coal seams, when the time to move miners or machines is negligible compared to digging time. When the Hider distribution is unknown, we consider the zero-sum search game where the Hider picks H, the Searcher S, and the payoff is T . For trees Q, the value is V = (λ(Q) + D)/2, where D is a mean distance from root to leaf nodes. If Q is 2-arc connected, V = λ(Q)/2. Applications and interpretations of the expanding search paradigm are given, particularly to multiple agent search.