My OEIS counts of dependency charts, and the conjecture from them that Roberto Blanco Gómez proved
A dependency chart (a labeled DAG) is a set of tasks in which some tasks wait on others and nothing waits on itself, even indirectly. I counted the charts in which each task waits on at most two others, up to tasks, and at most three, up to . These were the first OEIS entries for these counts, and the only earlier table, from 2017, stopped at . I listed a pattern in their remainders as a conjecture in OEIS A397711, and in October 2026 Roberto Blanco Gómez proved it in a preprint posted on Zenodo, not yet refereed.
Checked outside this site
- PreprintRoberto Blanco Gómez’s proof, not yet refereed by a journal, . Zenodo preprint
- OEIS editorSean A. Irvine approved his note of the proof on my entry, . OEIS A397711
- OEIS editorSean A. Irvine approved the entry itself, . OEIS A397711