gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4 stars 3 forks source link

Generalized kd-trees and kd-tree-downsets #46

Open gaperez64 opened 4 months ago

gaperez64 commented 4 months ago

There are some things to try which require modifying kdtree.hh and the downset implementations based on it.

  1. kdtree.hh should be parameterized to determine whether the median is used as pivot or the vector currently in the middle is used (cheaper, but does not guarantee balancedness). In the latter case, maybe one can even disable the tricks introduced for the order to be strict.
  2. kdtree.hh should also allow for a height parameter that determines when the tree stops. This means leaves are no longer vectors in general, rather they are sets of vectors. For this, there is probably another parameter to be introduced for the implementation of the downset at the leaves.
  3. The downset implementations using kdtree.hh have to be updated accordingly.