[xdavidliu]

out of curiosity, is there anywhere else that uses the CLRS definition? All other sources, including wikipedia and academic papers that I've found use the Knuth definition.