@regehr@mastodon.social @lritter@mastodon.gamedev.place Don't know when complexity theorists started using it, but evidently it was already standard terminology by 1973: https://web.archive.org/web/20230319210201/https://cse.ucdenver.edu/~cscialtman/complexity/Relativizations%20of%20the%20P=NP%20Question%20(Original).pdf (see usage on first page)