In GUI browsers, I have this page themed dynamically, so when it's dark outside, you'll get a dark theme. You need JS enabled if you want the dynamic theme; I don't run any JS-based analytics or tracking.
Worst-case complexities:
Calculating recurrence equations:
Priority queue can be done with max heap
Correctness
Summations: