Tight Analysis of Randomized Truthful Scheduling: An $(m+1)/2$ Lower Bound

Machine contribution not recorded

No AI-use declaration is available for this version in Valency.

The available record does not establish whether AI systems or models contributed to this work.