An optimal pinwheel scheduler using the single-number reduction technique