Skip to main contentSkip to search
Episciences
Open Access Journals
Sign in(new window)
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Sign in(new window)
Articles & Issues
All articlesAll accepted articlesAll volumesLast volumeSectionsSpecial issuesAuthors
About
The journalIndexing
Boards
Publish
For authorsEthical charter
Submit
Discrete Mathematics & Theoretical Computer Science logo
Contact
|
Credits
eISSN 1365-8050
|
RSS
|
Atom
Episciences
Documentation
|
Acknowledgements
|
Publishing policy
Accessibility: non-compliant
|
Legal mentions
|
Privacy statement
|
Terms of use
  1. Home > Articles & Issues >
  2. Articles >
  3. Pinwheel Scheduling ...
Article

Pinwheel Scheduling with Real Periods

Hiroshi Fujiwara (1), Kota Miyagi (2), Katsuhisa Ouchi (1)
(1) Shinshu University
(2) University of Electro-Communications
Download article
Open on arXiv
Submitted on
March 6, 2026
Accepted on
July 7, 2026
Published on
August 17, 2026
Last modified on
August 17, 2026
Special issue 28
vol. 28:4, SOFSEM 2026
Special issues
DOI
10.46298/dmtcs.17657
License
arXiv.org - Non-exclusive license to distribute
Indicators
134
Views
67
Downloads

Pinwheel Scheduling with Real Periods

Hiroshi Fujiwara (1), Kota Miyagi (2), Katsuhisa Ouchi (1)
(1) Shinshu University
(2) University of Electro-Communications
Abstract
For a sequence of tasks, each with a positive integer period, the pinwheel scheduling problem involves finding a valid schedule in the sense that the schedule performs one task per day and each task is performed at least once every consecutive days of its period. It had been conjectured by Chan and Chin (1993) that there exists a valid schedule for any sequence of tasks with density, the sum of the reciprocals of each period, at most $\frac{5}{6}$. Recently, Kawamura (2024, in press) settled this conjecture affirmatively. In this paper we consider an extended version with real periods proposed by Kawamura, in which a valid schedule must perform each task $i$ having a real period~$a_{i}$ at least $l$ times in any $\lceil l a_{i} \rceil$ consecutive days for all positive integer $l$. We show that any sequence of tasks such that the periods take three distinct real values and the density is at most $\frac{5}{6}$ admits a valid schedule. We hereby conjecture that the conjecture of Chan and Chin is true also for real periods.
Keywords
  • Discrete Mathematics
  • Data Structures and Algorithms
Preview
Loading PDF preview...
References
  1. M. Y. Chan and F. Chin. Schedulers for larger classes of pinwheel instances. Algorithmica, 9:425-462, 1993.

    DOI : 10.1007/bf01187034
  2. P. C. Fishburn and J. C. Lagarias. Pinwheel scheduling: Achievable densities. Algorithmica, 34(1):14-38, 2002.

    DOI : 10.1007/s00453-002-0938-9
  3. L. Gąsieniec, B. Smith, and S. Wild. Towards the 5/6-density conjecture of pinwheel scheduling. In Proc. ALENEX '22, pages 91-103, 2022.

    DOI : 10.1137/1.9781611977042.8
  4. L. Gąsieniec, T. Jurdziński, R. Klasing, C. Levcopoulos, A. Lingas, J. Min, and T. Radzik. Perpetual maintenance of machines with different urgency requirements. J. Comput. Syst. Sci., 139:103476, 2024.

    DOI : 10.1016/j.jcss.2023.103476
  5. S. W. Golomb. The "sales tax" theorem. Mathematics Magazine, 49(4):187-189, 1976.

    DOI : 10.2307/2690117
  6. R. Holte, A. Mok, L. Rosier, I. Tulchinsky, and D. Varvel. The pinwheel: a real-time scheduling problem. In Proc. 22nd Annual Hawaii International Conference on System Sciences, volume 2, pages 693-702, 1989.

    DOI : 10.1109/hicss.1989.48075
  7. A. Kawamura. Proof of the density threshold conjecture for pinwheel scheduling. In Proc. STOC '24, pages 1816-1819, 2024.

    DOI : 10.1145/3618260.3649757
  8. A. Kawamura. Perpetual scheduling under frequency constraints. In S. Minato, T. Uno, N. Yasuda, T. Horiyama, K. Kawarabayashi, S. Yamashita, and H. Ono, editors, Algorithmic Foundations for Social Advancement: Recent Progress on Theory and Practice, pages 353-361. Springer Nature Singapore, 2025.

    DOI : 10.1007/978-981-96-0668-9_23
  9. A. Kawamura. Proof of the density threshold conjecture for pinwheel scheduling. Proc. Natl. Acad. Sci. U.S.A., 2026.

    DOI : 10.1073/pnas.2530214123
  10. A. Kawamura and M. Soejima. Simple strategies versus optimal schedules in multi-agent patrolling. Theor. Comput. Sci., 839:195-206, 2020.

    DOI : 10.1016/j.tcs.2020.07.037
  11. A. Kawamura, Y. Kobayashi, and Y. Kusano. Pinwheel covering. In Proc. CIAC '25, Part II, volume 15680 of LNCS, page 185-199. Springer, 2025.

    DOI : 10.1007/978-3-031-92935-9_12
  12. S. S. Lin and K. J. Lin. A pinwheel scheduler for three distinct numbers with a tight schedulability bound. Algorithmica, 19(4):411-426, 1997.

    DOI : 10.1007/pl00009181