Searching for quicksand ideals in partially ordered sets
We consider a combinatorial question about searching for an unknown ideal $μ$ within a known poset $λ$. Elements of $λ$ may be queried for membership in $μ$, but at most $k$ positive query results are permitted. The goal is to find a search strategy which guarantees a solution in a minimal total number $m_k(λ)$ of queries. We provide tight bounds for $m_k(λ)$, and construct optimal search strategies for the case where $k=2$ and $λ$ is the product poset of totally ordered finite sets, one of which has cardinality not more than six.