Exact optimal sample allocation: More efficient than Neyman

Neyman allocation (1) rarely yields integer solutions; (2) does not guarantee minimum sampling variance after rounding; and (3) can result in a stratum sample size that exceeds the overall stratum size. Using a simple decomposition, our exact optimal algorithms completely prevent these problems.