| Project: | Programming Language C++ | 
| Document Number: | WG21/P0523R1 | 
| Date: | 2017-03-01 | 
| Author: | Detlef Vollmann, dv@vollmann.ch | 
| Target audience: | SG1, LWG | 
In 25.2.5 [algorithms.parallel.overloads] add another paragraph after p2:
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 doesn't specify the number of assignments or swaps, and expr isn't already an O-Notation, the complexity of the algorithm shall be "O(expr)".
In 25.4.4p4 [alg.transform], change:
Complexity: Exactly last1 - first1 applications of op or binary_op. This requirement also applies to the overload with an ExecutionPolicy.