The pinwheel: a real-time scheduling problem

Some satellites transmit a piece of information for a set duration, then proceed with another piece of information. A ground station receiving from several such satellites and wishing to avoid data loss faces a real-time scheduling problem. The pinwheel is a formalization of this problem. Given a multiset A of integers=(a/sub 1/, a/sub 2/, . . ., a/sub n/), a successful schedule S is an infinite sequence over (1, 2, . . ., n) such that any subsequence of a/sub i/ (1>