[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Multiple profiles with Guix Home

From: zimoun
Subject: Re: Multiple profiles with Guix Home
Date: Fri, 06 May 2022 01:53:08 +0200

On Thu, 05 May 2022 at 21:44, Maxime Devos <> wrote:

>> Again, k(n log n) <= nk log nk, for k >= 1.
> Logarithms are mostly neglible though in practice?
> And
>   kn log nk = kn log n + kn log k ≅ kn log n
> for small 'log k'.

>From a practical point of view,

1. this complexity of O(n log n) is from a magic hat.

2. n and k are the same order of magnitude; say n from 10 to 100 and k
   from 5 to 50, from my magic hat.

3. this discussion about complexity is totally pointless.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]