arXiv++ Combinatorics

Let the vertices of a graph be revealed one at a time in a uniformly random order, and let the last-isolation time be the last time at which the induced graph on the revealed vertices contains an isolated vertex. For the cycle C_n, write K_n for the number of vertices still unrevealed at this time. We obtain an exact finite-n tail formula for K_n in terms of Stirling numbers of the second kind, together with a compact bivariate generating function. The enumeration comes from reversing the process. An isolated revealed vertex then corresponds to the cyclic pattern 101, but the tail event requires this pattern to be absent from every earlier prefix, not merely from the final set. This prefix condition forces the final one-blocks to be separated by zero-gaps of length at least two and forces the reveal order inside each one-block to be peakless. Since a block of size m has 2^{m-1} peakless orders, summing over block sizes produces the Stirling numbers. We also prove K_n/sqrt(n) -> R, with P(R>x)=e^{-x^2}, and, for every fixed d>=1, K_{n,d}/n^{1-1/(2d)} -> W_d, with P(W_d>x)=e^{-x^{2d}}. Uniform stretched-exponential tail bounds imply convergence of all fixed positive moments. Thus the ordinary cycle has a Rayleigh limit, while its fixed powers give a Weibull family with shape parameter 2d.

We study the initial run of equal adjacent parts in an integer composition. For a composition alpha, let P(alpha) be the common value of the parts in the initial run, let K(alpha) be the number of parts in that run, and set S(alpha)=P(alpha)K(alpha). We obtain exact finite formulas for the joint parameters (P,K,S) and the corresponding limiting laws. In the unrestricted model, each fixed event (P,K)=(p,k) reaches its limiting probability once n is above an explicit threshold. The limiting distribution of the total size is P(S=s)=2^{-s} sum_{d|s}(1-2^{-d}). Pointing a unit cell in the initial run gives M_1(z)=((1-z)/(1-2z)) sum_{m>=1} sigma_1(m) z^m. For every r>=1, the r-th power-moment generating function has coefficient function A_r(n)=sum_{j=1}^r (-1)^{j+1} binom(r,j) n^{r-j} sigma_j(n), so higher moments involve explicit finite combinations of generalized divisor sums. We also give factorial-moment formulas for the initial-run length and extend the construction to compositions with parts in a prescribed set A, where the corresponding formulas involve restricted divisor sums and the dominant root of the part generating function. Copy

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.