Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Light Minkowski sum array #350

Closed
mforets opened this issue May 22, 2018 · 1 comment
Closed

Light Minkowski sum array #350

mforets opened this issue May 22, 2018 · 1 comment
Assignees
@schillic
Labels
feature ➕ A new feature performance 🐎 More efficient code
Milestone
TAC

Comments

@mforets
Copy link
Member

mforets commented May 22, 2018

#349 adds caching for the M-sum array, quoting from @schillic's comment:

Possible future work: Currently the sum stores all sets, which takes a lot of memory. In applications where we always query the same support vector(s) and then add a new set in a loop, we could also provide a variant that only stores the newest sets.
@schillic schillic added feature ➕ A new feature performance 🐎 More efficient code labels May 23, 2018
@schillic schillic added this to the TAC milestone May 25, 2018
@schillic
Copy link
Member

We need this to analyze the FOM model. The lazy sets become too big otherwise.

@schillic schillic self-assigned this May 27, 2018
@schillic schillic mentioned this issue May 27, 2018
Merged
schillic added a commit that referenced this issue May 27, 2018
@schillic
Merge pull request #354 from JuliaReach/schillic/350
92e7920 
#350 - Add forget_sets! function to CacheMinkowskiSum
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@schillic schillic

Labels
feature ➕ A new feature performance 🐎 More efficient code
Projects
None yet
Milestone
TAC
Development

No branches or pull requests
2 participants
@schillic @mforets