search

AtticusKuhn / parallel-algorithms

Proving the correctness and performance of certain parallel algorithms
4 stars 0 forks source link

Cost of Closed Cartesian Category #2

Closed AtticusKuhn closed 1 year ago

AtticusKuhn commented 1 year ago

In this PR, I defined parallelCost, which gives the cost of any algorithm in a closed Cartesian category. I then proved that a reduction of a tree with height n takes n time.

AtticusKuhn commented 1 year ago

This PR is related to https://github.com/AtticusKuhn/parallel-algorithms/issues/1#issuecomment-1558388234