-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 On 06/11/14 08:43 AM, Ciaran McCreesh wrote: > On Thu, 06 Nov 2014 14:25:46 +0100 Jauhien Piatlicki > <jauh...@gentoo.org> wrote: >> Mathematics you said? That's nice. You can, for example, redesign >> our portage's dependency solving algorithm, as it is quite slow >> at the moment. ) I do not know what it does have inside right >> now, but using SAT solver can be a good idea (there is a >> successful example already: >> https://en.opensuse.org/openSUSE:Libzypp_satsolver) > > A SAT encoding for dependency resolution is a *terrible* idea, for > all kinds of reasons (some of which are Gentoo-specific, and some > of which are not). > > [ Snip! ] > > What you need is for someone who understands CP and SAT to write a > resolver using algorithms inspired by how CP and SAT solvers work, > but not just blindly copying them. Doing this well is at least a > full year Masters level project... >
...well, if this is an undergrad project, he could start with the SAT solver and then do what you recommend for his Masters' .. :) -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iF4EAREIAAYFAlRbkToACgkQ2ugaI38ACPBwYwEAtrXJFaVlf4WSv7eV8N+vX6T9 VFq56sh59LmeJ6+UMJcA/33trhsYdNAoRe6i/RWIIRQw8zyS37lIo6I9bLA7TEPg =7kZS -----END PGP SIGNATURE-----
