What algorithm does the svp function actually use?

22 views
Skip to first unread message

Noah Stephens-Davidowitz

unread,
Sep 27, 2021, 2:35:48 PM9/27/21
to fplll-devel
Hi all,
Thanks for making fplll!

I apologize for the dumb question, but I just want to know what algorithm(s) fplll actually runs when I run -a svp.  I couldn't find a description in the documentation. (Am I missing something obvious?) Poking around in the code a little bit, it looks like it's doing some kind of enumeration, but I'm not totally confident that this is what's happening. If someone could point me in the right direction, I'd be quite grateful.

-Noah

Martin R. Albrecht

unread,
Sep 27, 2021, 4:24:59 PM9/27/21
to fplll...@googlegroups.com
Hi Noah,

Yep, it’s unpruned enumeration. We kinda say something to this effect in the README:

> It also includes a floating-point implementation of the Kannan-Fincke-Pohst algorithm [K83,FP85] that finds a shortest non-zero lattice vector.

But perhaps that should be more explicitly linked to fplll -svp?

Cheers,
Martin
--

_pgp: https://keybase.io/martinralbrecht
_www: https://malb.io
_prn: he/him or they/them

This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.

Noah Stephens-Davidowitz

unread,
Sep 27, 2021, 11:33:43 PM9/27/21
to Martin R. Albrecht, fplll...@googlegroups.com
Thanks!

Yeah.. at least to me, it wasn't clear that this was referring to -svp, though I suppose it's relatively clear now that you point it out :).

-Noah

--
You received this message because you are subscribed to the Google Groups "fplll-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fplll-devel...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/fplll-devel/87tui5epgo.fsf%40royalholloway.ac.uk.
Reply all
Reply to author
Forward
0 new messages