Reduce pattern

The reduce pattern is a data pattern that combines all the values in a data set using a binary combination operation.

The interface to the reduce pattern is provided by function grppi::reduce(). As all functions in GrPPI, this function takes as its first argument an execution policy.

grppi::reduce(exec, other_arguments...);

Reduction variants

There is a single variant of the reduction:

• Sequence reduction without initial value: Reduces a sequence of values with no initial value.
• Sequence reduction with initial value: Reduces a sequence of values with an initial value.

Key elements in a reduction

The key element of a reduction is the Combiner operation.

A Combiner is any C++ callable entity, that is able to combine two values into a single value. A Combiner cmb is any operation taking two values x and y of types T and U and returning a combined value of type T, making valid the following:

T x;
U y;
T res = cmb(x,y);

Details on reduction variants

Sequence reduction with identity

Performs a reduction of a sequence of values x1, x2, ..., xN by combining them with a Combiner cmb that has an identity value id. The first argument of a combination may be either the identity value or the result of another combination. The combinations assume that cmb is associative, but not commutative. Consequently, different associative orders may be used:

• cmb(cmb(cmb(cmb(cmb(id,x1),x2),x3), ...),xN)
• cmb(cmb(cmb(cmb(id,x1),x2),cmb(cmb(id,x3),x4)),...)
• ...

The only interface currently offered for this pattern is based in iterators (following the C++ standard library conventions):

• The input data set is specified by two iterators.
• The identity value is provided as an input value.
• The result of the reduction is returned.

---

Example: Add the lenghts of a sequence of strings.

vector<string> v = get_the_vector();
auto result = reduce(exec,
  begin(v), end(ve), 0
  [](int n, string s) { return n + s.length(); }
);

---

Note: Reducing with identity value an empty sequence has a result the identity value.