arXiv++ Combinatorics

We provide a characterization of maximal left-compressed families based on their generating sets $\mathcal{G}\subseteq 2^{[n]}$. We show that there is a one-to-one correspondence between maximal left-compressed families $\mathcal{A}\subseteq \binom{[n]}{k}$ and principal generating sets. Moreover, we give a complete description of maximal left-compressed intersecting families having exactly two maximal generators. Based on this, for any $X\subseteq [2,n]$, we compare $\mathcal{A}(X)$, where $\mathcal{A}$ is a rank-2 maximal left-compressed intersecting family with exactly two maximal generators, and $\mathcal{S}(X)$, where $\mathcal{S}$ denotes the Star family.

We construct a left-compressed family F(n, k, G) generated by a collection of generating sets G, and identify conditions on G under which F(n, k, G) is an intersecting family. From this, we obtain a convenient method to construct left-compressed intersecting families. After that, we provide some comparisons between the theorem of Bond and our result. Finally, we present some results on the generators of a maximal left-compressed intersecting family.

An episode of Futurama features a two-body mind-switching machine which will not work more than once on the same pair of bodies. After the Futurama community engages in a mind-switching spree, the question is asked, "Can the switching be undone so as to restore all minds to their original bodies?" Ken Keeler found an algorithm that undoes any mind-scrambling permutation with the aid of two "outsiders." We refine Keeler's result by providing a more efficient algorithm that uses the smallest possible number of switches. We also present best possible algorithms for undoing two natural sequences of switches, each sequence effecting a cyclic mind-scrambling permutation in the symmetric group S_n. Finally, we give necessary and sufficient conditions on m and n for the identity permutation to be expressible as a product of m distinct transpositions in S_n.