De ez igazából párhuzamosítható feladat, mint az összeg, maximum kiválasztás, rendezés stb: két részre osztom, megoldom a problémát mindkét részen, kapok (maxval_1,[keys]_1) (maxval_2,[keys]_2) és innen már értelemszerű. Vagy n részre osztom. Vagy ahogy a legkezelhetőbb algebrailag.
Keresgéltem hogy minek kell teljesülnie egy rekurzív, párhuzamosítható függvényre hogy valami képes legyen magától párhuzamosítani, de nem találtam semmit, talán még nem tart itt a tudomány.
(És akkor a probléma megoldása is csak ennyi: a két/n részre osztásos rekurzió több algoritmusnál előjön, hasznos, biztosan valaki megírta már, és akkor csak azt a részt kell megírnunk nekünk hogy mivel térjen vissza f ( (maxval_1,[keys]_1) , (maxval_2,[keys]_2) ) . )