arXiv++ Combinatorics

We study a cooperative search game with $N$ lockers, $N-1$ labelled objects, one empty locker, and $N-1$ players. Player $i$ seeks object $i$ and may inspect at most two lockers; the second inspection may depend on the content of the first. The players may coordinate beforehand but receive no information about the searches of other players after play begins. We prove that the maximum probability that every player finds the assigned object is $I_N/N!$, where $I_N$ is the number of involutions of $N$ elements. An optimal strategy represents the blank by the common fictitious symbol $N$ and follows pointers: player $i$ first opens locker $i$, then opens the locker whose number was observed. The upper bound holds for every deterministic or randomized adaptive strategy and follows from a deletion lemma and two recurrences. We give explicit examples, identify the three-door case with an isomorphic "Return of Monty Hall" game, and report a reproducible mixed-integer verification for $N=2,3,4,5$. The computation is independent of, and not needed for, the proof.

Motivated by the problem of determining unknotted routes for the scaffolding strand in DNA origami self-assembly, we examine existence and knottedness of A-trails in graphs embedded on the torus. We show that any A-trail in a checkerboard-colorable torus graph is unknotted and characterize the existence of A-trails in checkerboard-colorable torus graphs in terms of pairs of quasitrees in associated embeddings. Surface meshes are frequent targets for DNA nanostructure self-assembly, and so we study both triangular and rectangular torus grids. We show that, aside from one exceptional family, a triangular torus grid contains an A-trail if and only if it has an odd number of vertices, and that such an A-trail is necessarily unknotted. On the other hand, while every rectangular torus grid contains an unknotted A-trail, we also show that any torus knot can be realized as an A-trail in some rectangular grid. Lastly, we use a gluing operation to construct infinite families of triangular and rectangular grids containing unknotted A-trails on surfaces of arbitrary genus. We also give infinite families of triangular grids containing no unknotted A-trail on surfaces of arbitrary nonzero genus.