Thread overview | ||||||||
---|---|---|---|---|---|---|---|---|
|
December 18, 2016 [WIP] A Big O notation and algebra for D | ||||
---|---|---|---|---|
| ||||
Article: http://erdani.com/d/bigo.html (do not publish; should do it with Mike) Code (preliminary): https://github.com/dlang/phobos/pull/4965 Andrei |
December 18, 2016 Re: [WIP] A Big O notation and algebra for D | ||||
---|---|---|---|---|
| ||||
Posted in reply to Andrei Alexandrescu | On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei Alexandrescu wrote: > Article: http://erdani.com/d/bigo.html (do not publish; should do it with Mike) > > Code (preliminary): https://github.com/dlang/phobos/pull/4965 > > > Andrei > static assert( > complexity!(insertFrontMany!MyC) <= O("n2") * log(O("n1")), > "Too high complexity for insertFrontMany."); You defined insertFrontMany as taking 2 template arguments, but here you only give it 1. > as the top of the lattice defined by the partial order ≤. reads weird to me. s/lattice/ladder ? |
December 18, 2016 Re: [WIP] A Big O notation and algebra for D | ||||
---|---|---|---|---|
| ||||
Posted in reply to John Colvin Attachments:
| https://en.wikipedia.org/wiki/Lattice_(order) On Sun, Dec 18, 2016 at 10:46 AM, John Colvin via Digitalmars-d < digitalmars-d@puremagic.com> wrote: > On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei Alexandrescu wrote: > >> Article: http://erdani.com/d/bigo.html (do not publish; should do it >> with Mike) >> >> Code (preliminary): https://github.com/dlang/phobos/pull/4965 >> >> >> Andrei >> > > static assert( >> complexity!(insertFrontMany!MyC) <= O("n2") * log(O("n1")), >> "Too high complexity for insertFrontMany."); >> > > You defined insertFrontMany as taking 2 template arguments, but here you only give it 1. > > as the top of the lattice defined by the partial order ≤. >> > > reads weird to me. s/lattice/ladder ? > |
June 30, 2017 Re: [WIP] A Big O notation and algebra for D | ||||
---|---|---|---|---|
| ||||
Posted in reply to Andrei Alexandrescu | On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei Alexandrescu wrote:
> Article: http://erdani.com/d/bigo.html (do not publish; should do it with Mike)
>
> Code (preliminary): https://github.com/dlang/phobos/pull/4965
>
>
> Andrei
Was this project abandoned? It's no longer in std/experimental.
|
June 30, 2017 Re: [WIP] A Big O notation and algebra for D | ||||
---|---|---|---|---|
| ||||
Posted in reply to Mark | On 06/30/2017 12:01 PM, Mark wrote:
> On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei Alexandrescu wrote:
>> Article: http://erdani.com/d/bigo.html (do not publish; should do it with Mike)
>>
>> Code (preliminary): https://github.com/dlang/phobos/pull/4965
>>
>>
>> Andrei
>
> Was this project abandoned? It's no longer in std/experimental.
I'll get to it. -- Andrei
|
June 30, 2017 Re: [WIP] A Big O notation and algebra for D | ||||
---|---|---|---|---|
| ||||
Posted in reply to Andrei Alexandrescu | On Friday, 30 June 2017 at 16:28:18 UTC, Andrei Alexandrescu wrote:
> On 06/30/2017 12:01 PM, Mark wrote:
>> On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei Alexandrescu wrote:
>>> Article: http://erdani.com/d/bigo.html (do not publish; should do it with Mike)
>>>
>>> Code (preliminary): https://github.com/dlang/phobos/pull/4965
>>>
>>>
>>> Andrei
>>
>> Was this project abandoned? It's no longer in std/experimental.
>
> I'll get to it. -- Andrei
No hurry. It just seemed really interesting. :)
|
Copyright © 1999-2021 by the D Language Foundation