On Packed Passenger Permutations
An occupied seat in a binary row is called packed if both of its immediate neighbors are occupied. We give a self-contained combinatorial account of this statistic, equivalently the number of overlapping occurrences of 111. An occupied-block decomposition yields a coefficient formula at fixed occupancy and a direct proof of the sharp minimum max{0,3m-2n-2} for m passengers in n seats, including arrangements attaining the bound. The same decomposition gives a rational generating function, recurrences, expectations, and avoidance asymptotics. Full rows, in which every empty seat would become packed upon being filled, are related to independent sets of a path. A neighborhood-union expansion also gives exact counts on rectangular grids. The emphasis is a unified elementary presentation and explicit extremal constructions, rather than a new general enumeration method.