Hacker News new | ask | show | jobs
by nabla9 714 days ago
The algorithm is near linear asymptotically at the limit when n -> inf.

In the end of video they tell there is no way that any implementation of their algorithm gets close to beating existing algorithms in the real world.

https://cacm.acm.org/research/almost-linear-time-algorithms-...

4 comments

So it's another galactic algorithm?

https://en.wikipedia.org/wiki/Galactic_algorithm

I imagine the point of this algorithm, like a lot of algorithm research, is to prove the upper bound of complexity for this problem. Not to be used in practice (despite what this article seem to suggest).

On a similar note, there's a lot of work put into optimal matrix multiplication algorithm. We know the lower bound is N*2, the obvious upper bound is N*3, the best (complexity wise, not practical at all) current algorithm is N*2.37, but we don't know how fast can it really get. Is it possible to write N*2 algorithm? We don't know.

Both N^2 and N*2 are fine, but N*2 should really not mean what you want it to mean…
Now reading my comment again, I probably understand what happened. I typed N*2, and yet it showed as N*2. Probably this is why.
I mean nobody is stopping me from writing an exponential time algorithm.
Knowing an upper bound means you know that the best solution for the problem takes at most that much work. It does not mean that you can’t find worse solutions.
Sure? If you're slow on purpose that doesn't affect the upper bound set by the "obvious" method.
I think they’re replying to the claimed upper bound of n^3. I’m not actually sure what that means.
see schoolbook algorithm for the n^3 bound: https://en.wikipedia.org/wiki/Computational_complexity_of_ma...

It comes from directly applying the definition of matrix multiplication on a square matrix.

I'm not sure how to phrase this better than saying it's the bound set by the obvious method. Are you familiar with the obvious method of multiplying a matrix? It's n operations for each cell, and you have n^2 cells.

Being worse on purpose is always possible, but it doesn't change that bound.

It's the "obvious" upper bound, not the "how did you even get here without noticing the obvious method" upper bound.

Thank you for introducing a term and concept I was not familiar with.
From that page:

> Available computational power may catch up to the crossover point, so that a previously impractical algorithm becomes practical.

Are there examples of Galactic Algorithms that now aren't Galactic Algorithms?

edit: turns out some matmul algorithms are?

I was about to ask if there was a term for this
That's a let down after all the hype in the opening pages.
I have to say that when I saw the headline I was extremely skeptical. "Fastest possible" is a very, very bold claim.
yeah, and another caveat tends to be with these kinds of cases is that you nearly need the absolute optimum - something that gets a 99% in 1% the time tends to be much more practical