Unless otherwise specified, the complexity requirements of ExecutionPolicy
algorithm overloads are relaxed from the complexity requirements of the overloads
without as follows:
when the guarantee says “at most expr” or “exactly expr”
and does not specify the number of assignments or swaps, and expr
is not already expressed with O() notation, the complexity of the algorithm
shall be O(expr).