Parallele Folds

nach Definition:

  foldr f z [x1, x2, x3]
= f x1 (f x2 (f x3 z)))
wenn f assoziativ ist, dann
= f (f x1 x2) (f x3 z)
und das kann man parallel ausrechnen.



Johannes Waldmann 2011-01-18