Fibonacci Heaps or "How to invent an extremely clever data structure"

[@sithdev8206]

There are a couple of things I wanted to mention but eventually decided against because I felt the would break the flow of the video. For those who are interested: 03:22 Throughout the video I'm assuming you can find any given heap element in constant time using some sort of lookup table. This is easier said than done. Depending on your data, you might need to rely on randomization (e.g. universal hashing). 06:08 The textbook Fibonacci Heap implementation uses circular linked lists, while I use regular linked lists. Circular linked lists reduce the space requirements, but they make the operations a bit harder to explain. Just be aware that my operations are slightly different to the ones found in most textbooks. 13:06 This analysis is subtly inaccurate. The size of the root list at this point is O(#trees + max degree), not #trees, because in phase 1, we moved the children of the minimum into the root list. In Big O notation, however, this makes no difference. 14:12 It's actually the maximum degree plus 1 because we need to include degree 0. Again, it doesn't matter in Big O notation. 20:03 One detail I included in the visualization but didn't actually mention: Tree roots are never cut out or marked. They are never cut out, because there part of the root list already. And they are never marked, because it's simply not necessary for bounding the node degrees (cf. 25:50). 27:30 You don't actually need to involve the golden ratio to see that the Fibonacci numbers grow exponentially. It's easy to see that the i-th number in the sequence is at least twice as big as the i-minus-2-th (due to the construction of the sequence and the fact that it grows monotonically). 28:16 There are more Fibonacci Heap operations, which I didn't mention: You can union two Heaps in constant time, simply by concatenating their root lists. You can also implement the operations "Remove" and "IncreaseKey" using a combination of the operations from the video. 28:31 That ExtractMin can't be improved only holds for the general case where your priority queue stores arbitrary values and you find the minimum using comparisons. In special cases (like if all values are integers within a certain range) this running time can be improved.

[@strictnonconformist7369]

Unioning two heaps in constant time has potentially great value in constructive solid geometry, so I wonder if that may be one of the interesting use-cases, assuming other details aren’t too expensive for implementation to be worth it compared to other structures and algorithms.

[@algorists]

Great video. You made it with Manim?

[@ashutoshmahapatra537]

@@algorists yes he did to confirm you can see description.

[@algorists]

@@ashutoshmahapatra537 yes. I overlooked it

[@bachirmohamedakram2976]

it's sad he dont include the code it would be a wonderful documentation and resource

[@DeGuerre]

28:45 There are a couple of extremely important use cases that I know of. In the interest of full disclosure, I've worked on both of these. First use case, in bioinformatics. Machines that read strands of DNA are not perfect; they make errors. The way we typically fix this is to read lots of copies of the same DNA, and then correct the ones that have low counts using ones that have high counts. For de novo sequence assembly, the algorithm of choice is known as the Tour Bus algorithm. Tour Bus involves putting the DNA sequences into a graph (called a "de Bruijn graph"), and then running Dijkstra's all shortest paths algorithm on it, traversing high-count paths first, then low-count paths, and then using counts and edit distance to see if it's a worthy correction. And because this is Dijkstra's all shortest paths algorithm at scale (billions of nodes!), we use Fibonacci heaps. See the Velvet paper for details: www.ncbi.nlm.nih.gov/pmc/articles/PMC2336801/ Second use case, in certain kinds of physical simulation. Physical simulation often involves a time step, which has to be carefully chosen: Too small, and the simulation takes ages to run. Too large, and you lose accuracy. There are physical systems where the appropriate time step varies widely over the simulation domain. An example is carbon sequestration, were you take CO2 off a power plant (say) and inject it into an underground reservoir, such as an old oil well. These reservoirs are essentially rocks with pores and fractures, so fluid flows at geologic speeds. Even though you might inject CO2 at a speed measured in metres per second, the plume through the reservoir might advance at a speed measured in centimetres per year. The solution is to use different time steps in different areas, a technique known as discrete event simulation (or DES for short). When you advance through time, you need to find the next part of the domain to perform a simulation step. When performing a simulation step, you may find that this affects surrounding areas such that they need to use a smaller time step for their next iteration (which is "decrease key" by any other name). Again, Fibonacci heaps are the tool of choice here. See, for example: papers.ssrn.com/sol3/papers.cfm?abstract_id=3365738

[@Larsien973]

Thank you for sharing

[@izarscharf7845]

vnice

[@beardlyinteresting]

Ooh, those papers look interesting, I think I know what I'll be reading this weekend.

[@MCLooyverse]

Wow! I wonder if you might also lose accuracy with a time step that is too small? Like, if the coordinates of a thing and the velocity of the thing are many orders of magnitude apart, then adding a tiny time-step times that velocity will get rounding-errored to no change. I've never thought much about having different parts of a simulation running on different time steps. That's such a cool idea to have basically an "update priority" for each object in your sim.

[@DeGuerre]

@@MCLooyverse There's almost always no penalty for using a time step that is too small, apart from performance. The only thing that comes close is probably catastrophic cancellation if values are too close, but numeric analysts are good at avoiding that.

[@PhilipSmolen]

The only things I remember from school: Merging two Fibonacci heaps was fast.

[@prabhavagrawal1712]

Does these things really being taught in your school 😐

[@3ombieautopilot]

You know more than most developers

[@piaoyugexia]

@@prabhavagrawal1712 Ye, data structure mentioned it as a minor improvement for some graph’s spanning tree algorithm I think, already forgot which lol.

[@sithdev8206]

@@piaoyugexia You probably mean Prim's algorithm, where you start from some vertex and build up a tree from there by repeatedly adding the edge with the smallest weight. It can be implemented in O(n²) using a Fibonacci Heap (just like Dijkstra).

[@piaoyugexia]

@@sithdev8206 AHHH YES! Thanks for the information :D The memories start to come back XD

[@vokuheila]

This channel needs way more views and subscribers. I was shocked by the production quality relative to view count.

[@hjfreyer]

Really good! I like your thesis that sometimes we overvalue elegance of implementation - often things are just hard to get right. There's also a lesson here that sometimes a data structure will maintain an elegant invariant (e.g., Fibonacci heaps, Red-Black trees) that makes analysis easy, but actually implementing a data structure that maintains that invariant is kinda grungy.

[@silentobserver3433]

Great video! Another thing I'd like to add though is that in a lot of cases you don't even have to use heaps for priority queues. For example, in the example problem shown in the video, how many different priorities the router can have? 3? 10? 256? Either way, it is still a really small number in most cases, and it is know in advance. You can then just have a list (a bucket) for every possible priority, and put a message in the bucket with the corresponding priority once it arrives. That's O(1) Insert. You can also store a pointer to the lowest non-empty bucket, that's O(1) GetMin. DecreaseKey is also easy - just move a message from one bucket to another and maybe update the pointer. And ExtractMin just takes one message from the bucket and if it becomes empty, move the pointer to the next bucket until you hit a non-empty one. That operation is just O(#buckets), which is supposedly a small constant number that doesn't increase with the number of messages, so that's just O(1). This way you get a priority queue with _all_ operations being O(1), as long as your priorities are just small integers. Even if you don't know their maximum value in advance, you can just add new buckets later, and the queue will continue being fast as long as that maximum priority is still small. This data structure is called a Bucket Queue and it is honestly the best choice for most of the applications, given how simple and fast it is. You can even optimize it if priorities slowly grow over time: all that matters is the number of priority values in the heap at any given time. Of course, you would still need binary of Fibonacci Heaps if your priorities are floating point numbers or more complicated data, as is needed in some algorithms like Dijkstra's

[@sithdev8206]

Good point! In special cases you can do much better than O(log(n)) for ExtractMin. I added a note in my pinned comment. Something like your approach is probably the best solution for my motivating example in the beginning. So-called Van Emde Boas Trees extend your idea even further and allow you to implement ExtractMin in O(log(log(#buckets))).

[@framegrace1]

I know it doesn't really add much value and is kind of trivial. But just in case someone is interested: In reallity, routers (And kernel priorities, for example) use even a dumber approach. Priorities are inmutable, never change. So they don't need the full set of operations. Just put and get. Is usually solved with an array of piles for each priority, just pop form high to low while empty and return the first found.

[@stephenJpollei]

@@framegrace1 It also kind of reminded me of how Linux Kernel used to do timeouts. The time to call the callback is kind of priority. They had a series of buckets where the time-resolution would be more coarse the further out. So series A would have 16 buckets each one jiffy resolution and would cover 0 to 15 jiffies into future. Series B would again have 16 buckets but with each bucket would have 16 jiffy resolution. , together they'd cover 16 to 255 jiffies into future. Series C, D, and E again increase resolution and range. Every 16 jiffies a bucket from B series would be distributed to the A series buckets. Every 256 jiffies a bucket from C series would be distributed to the B series buckets. Every 4096 jiffies a bucket from D series would be distributed to the C series buckets. So they'd get progressively better sorted as expiry time approached. One reason that it finally got changed was the periodic latency bump.

[@gwentarinokripperinolkjdsf683]

A* is a good example where your priority que will have many possible priorities

[@Animaniac-vd5st]

Really interesting and smart - great presentation Just a few things: - You defined the runtime of DecreaseKey in the heap as O(1) by using a hash table in 4:50. But lookup in a hashtable doesn't come for free in many cases and often will be seen in O(log n) (if you're NOT looking at amortized complexity of a perfect implementation tailored for exactly the data you're using) - You ARE looking at amortized complexity in your heap, but that is something that only experienced programmers (or the opposite if suited with enough ignorance) should be doing and it would have been great if you explained why this can be a trap in some situations. Depending on use-case you rather have a slower but smoother algorithm than one of amortized speed that will just freeze your code flow for a second or so every now and then. Nothing wrong with amortized complexity per se, but the user needs to be aware of its constraints.

[@sithdev8206]

You're bringing up some valid points. I'm definitely being handwavy about how you actually find the value to decrease. I've added a note to my pinned comment to address this. Although I largely agree with your second point as well, this more general discussion of amortized complexity seems to fall outside the scope of this video.

[@Animaniac-vd5st]

@@sithdev8206 Yeah, the video is pretty long as it is, but as small comment could have made sense in that chapter. Other than that, i really enjoyed your work. Will watch your other stuff soon.

[@emmettraymond8058]

Frankly, this sort of stop-the-world algorithm is often a nightmare for user experience.

[@circuitcraft2399]

​@@emmettraymond8058There's a variation on this structure called the "Strict Fibonacci Heap" that gets the same bounds without amortization. The cost is, of course, even bigger constant factors.

[@chennebicken372]

29:20 „Fibonacci Heaps have shown that more often than not a solution to a sprecific problem is messy.“ Love that insight.

[@roelyoon3466]

Criminally underrated channel. You explained everything so well and the animations are incredibly well-made!

[@theandy20131]

Dude, this is amazing. Incredible quality, rigorous, well explained. By far the best CS video I've seen on KZbin

[@minerscale]

Fantastic choice of music! The Goldbergs with their perfect ratios are a very clever nod to the material you're covering as well. Well explained as well.

[@albertmagician8613]

Any sort of background noice is distracting. I loose 10 iq points and can no longer follow the line of reasoning. There is no point in occupying part of my brain like this.

[@areadenial2343]

@@albertmagician8613 Good for you -- not even joking, due to the concerning decrease in people's attention span these days -- but you really have trouble concentrating on the voice over -10 decibels of the most chill piano suite ever? That's rough, buddy.

[@DFPercush]

This is the kind of thing a standard library developer might write and just call "heap" without 99% of users ever knowing about it. Crazy complicated but very clever. I guess having at least one operation be O(log n) is unavoidable, but the impressive part is the DecreaseKey operation being constant time while still maintaining the rest. In practice though, a regular binary tree would probably do ok at it, because the priority probably doesn't change that much in a single iteration. It would likely only need to move up 0 or 1 levels. It's one of those times when big O notation can be deceptive, because if you have to balance 0-2 trees vs swapping 0 or 1 nodes (assuming certain constraints), yes those are both constant but one is still greater. But the Fib. tree guarantees it no matter what. Definitely an interesting structure.

[@michaelbuckers]

And then in practice turns out that there are only 2 data structures that are actually good for performance: arraylist and hashmap, and everything else was basically just academic curiosity. Maybe it was different back when RAM was actually true to its namesake, and didn't act like a fast magnetic tape. Then again, with RAM sizes and CPU speeds at the time you could simply scan the entire thing faster than the algorithmic overhead from using advanced data structures.

[@DFPercush]

@@michaelbuckers Hmm, I would add quad trees and octrees to that list, they're very useful for selecting subsets of data by spatial proximity. But you have a point. Good use of the cache can often negate any theoretical benifit of more complex structures.

[@michaelbuckers]

​@@DFPercush Quadtree isn't really a data structure, it's more like a spatial index. You need it because you're shoving multidimensional data into a single-dimensions array. To that end honestly simple chunk partitioning works better, which is a spatial equivalent of plain array. Quadtrees can't even really boast not requiring hyperparameter tuning - that honor goes to KD trees and as you imagine they're not great performance-wise.

[@antoine2571]

actually it is impossible to create a structure with insert & extract min in O(1). Given such a hypothetical structure and n elements, create a min-heap in O(n) (n insertions at constant time) and extract n times the min You just sorted an array in O(n) using comparisons, which is known to be impossible since the decision tree of a comparison algorithm has n! leafs, hence it has height >= log(n!) ~ nlog(n), hence the worst case is at least nlog(n)

[@theblinkingbrownie4654]

​@@antoine2571with comparisons yeah. If you knew the possible values beforehand you can do all 4 in O(1)

[@sanketdatta9874]

I was struggling to understand this concept and you saved me! Tons of thanks

[@sdk28]

It was one of the best videos I have ever watched. There are many videos which will clear the concepts of Fibonacci Heap, but these are the kinds of videos, which give a feeling of how interesting a seemingly boring and intimidating topic can be. It motivates me to dive deeper into the subject.

[@BenjaminOstrovsky]

This is the best made, most clear video on the topic I have ever seen. Amazing!

[@ianmoses3140]

This is THE DEFINITIVE video on Fibonacci heaps and priority queues. Well done!

[@nicowe123]

Incredible quality, I hope you'll keep producing great content :)

[@namankapoor4234]

Everything was going smooth till 6:08, then madness ensues. Great video, btw

[@clemguitarechal]

Thank you so much for this video. I've just spent a beautiful half hour, laid in my bed, my brain in constant and calm concentration.

[@mularys]

I was lost listening my professor introducing Fibonacci Heaps for 3 hours but have got better idea watching your 30-minute video!

[@rfs8194]

I don't often use videos for learning about computer science, but I randomly got this recommended, and the animations were really helpful! Great work!

[@yeahjason7226]

Hey! Just wanna tell you! You are way much better than our professor speaking 3hours but still got me confusing!!!!!!!!! You literally killed it !!!

[@wackydacky5753]

This made learning Fib heaps so much easier. I was so confused by what my professor was trying to teach until I found this video. You explain everything so well, thank you so much, you're a life saver

[@innertuber4049]

This is the best format I've ever seen for teaching a heap data structure!

[@alanyang6912]

Brilliant visuals, great use of Manim, and crystal-clear presentation! I hope you post more Comp Sci content!

[@dasten123]

This is so damn interesting! I wish we covered stuff like this when I studied computer science. Unfortunately we spent wayy to much time drawing absolute useless and boring UML diagrams :/

[@mikefochtman7164]

Ever since I first learned of red-black trees, I've been interested in the various ways trees can be used/maintained to keep data organized. This is an interesting approach.

[@jkrigelman]

That was a rollercoaster. I couldn't repeat back any of that but that really helped to clear it up.

[@_soundwave_]

Now that is what i want from a teacher. Explaining the why instead of just going with the how and what.

[@NebelwerferII]

I enjoyed this video twice: while watching it and while reading the pinned comment. Excellent work, I hope this channel skyrockets. One final word for you: more

[@someonesalt5084]

very well done, was just researching this general topic of inventive computer science, love that I stumbled on this video.. 3b1b’s summer math exposition has really made a bunch of interesting video come to life 💜💜

[@Rezenbekk]

This is a lesson about the importance of accounting for constant time. If you only have a few elements (say, 100k) in your structure to worry about, it really doesn't matter that this super cool algorithm you found outperforms the others... starting at a 1B count and more.

[@oscarmulin114]

Linked list == missed CPU caches (or any non-contiguous memory, really)

[@tempse]

Absolutely fantastic, high-quality content! An outstanding example of an educational video. I rarely write KZbin comments on such topics, but after watching this, I felt compelled to let you know how much I appreciated your work!

[@takshpatel8109]

I don't know how much time you had spent in this content and awesome animation so it doesn't become college lecture. Thank you so much for this

[@jaydharmadhikari4921]

This is an incredibly intuitive way to explain these concepts, great video!

[@harshchauhan8175]

Great explanation; I'll need to rewatch it again several times to really understand it. Superb Work 👍👍🙏🙏

[@gara8142]

Gorgeous video and amazing production and explanation. Congrats!

[@nickstaresinic9933]

Not just highly informative, but very stylishly composed and presented. (Quite a bit of work, I imagine, to produce something this well done.)

[@kasuha]

The algorithm is fascinating but I can see why it isn't used much. Since each element has precisely one Insert an one Extract operation on it (once it becomes the minimum) it seems to make sense only if there's substantial amount of DecreaseKey operations per element (such as proportional to number of elements in the heap) and in scenarios which don't have strict requirements on time spent on individual operations, typical for realtime environment.

[@michmart9261]

I think the main problem with fibonacci heaps is the relative unpredictability of the extract min, because it can spend a lot of time on the merging

[@sithdev8206]

You're absolutely right. The problem with DecreaseKey is that, due to amortization, its overhead is quite substantial, which is why Fibonacci heaps are often slower than other data structures even if there are lots of DecreaseKey calls.

[@vxanica]

@@michmart9261 Yes, in modern stocking exchanging system, extraction operation needs to be very fast for every order. So we need use 2,4 tree or TreeMap in Java.

[@fabiannedelcu3492]

Absolute gem! You look like you just started and I wish you good luck, I'd love to see more of this!

[@chianlee1381]

Best explanation about the fibonacci heap. It is incredible!

[@beardlyinteresting]

I love implementing and working with data structures, they tickle my brain in just the right way. It's why they're my goto project when learning a new language. I'd never actually heard of fibonacci heaps before but they do look super interesting looking forward to implementing one and playing around with it. Thanks for the video really well put together and informative.

[@olafzijnbuis]

Very nice video! Good explanation and no over-the-top animations. But... Why the background music? I like Bach and have the Golberg Variations on CD (Glenn Gould) Why not start the video with a recommendation of background music and leave it to the viewer to start a CD or Spotify? My mind keeps switching between listening to the music and the narration. And is not that the background music makes it difficult to follow the narration.

[@xlerb2286]

As to whether knowing about Fibonacci heaps is a useful thing, yes. It's something to have in your bag of tools. It may not be a tool you use more than a few times. But when you find that scenario that can benefit from it, you'll be glad you know it. Another concept that you may find interesting to do a video on is a Hughes list. It's another tricky little item for your bag of tools you won't use often. Eric Lippert did a couple well written blog posts on them but I think they could use some KZbin presence.

[@anon746912]

Posting here before your channel blows up. The quality of your videos is really good! Keep it up and in sure your channel will grow!

[@timesf2350]

23:00 The first question may not take O(1) in the worst case, if you consider the rare possibility that the lineage of parents leading back to the root are all already marked. This means that the worst case is actually O(log2(n)). To better visualize this, the longest chain in a heap of size 16 from root to tail is 5, but we wouldn't be cutting out the root node, so at max we cut out 4 nodes in one DecreaseKey() call. log2(16) is indeed 4. If there's something I'm missing please let me know, but this video was great! Really well made!

[@sithdev8206]

Actually, the worst case running time of DecreaseKey is O(n) since we only limit the degrees of the nodes, not their height. The time bound of O(1) is only correct if we include amortization. Quoting my reply to a previous comment: Think of every DecreaseKey paying for cutting out two nodes: the one whose key it decreased (this time is spent immediately) and the one that it marks (the marked node is not cut out right now; this time will be spent in a later DecreaseKey). If a DecreaseKey needs to cut out several marked nodes, the time for doing so has already been paid for by the previous DecreaseKey calls that marked these nodes. Another way to think of this is by imagining that each marked node stores one unit of time. This time is released when the marked node is cut out (remember that when cutting out a node, we remove its marking). When we assign the time for cutting out two nodes to each DecreaseKey (as we just did), after any DecreaseKey the time for cutting out the nodes will be covered by some previous DecreaseKey. So k DecreaseKey calls cut out at most 2k nodes.

[@callmeshen9754]

Wow I'm so bless to start the weekend watching this video, Probably made my weekend. Amazing explanation and demonstrations, Much appreciated.

[@tholfikarmohammed887]

08:26 On what rule we sort the nodes in those subtrees? for example we can put all nodes of the second tree in the first one in some kind of ascending order according to original node of the first tree, so if we can why we separate those nodes in another tree?!

[@xijingjian]

Thanks a lot！！！ Usually our teacher teach us fibonacci heap but we do not know why?Your video really easy to know.

[@ShaileshDagar]

A beautiful and elegant explanation. Thanks!

[@SaMusz73]

Thanks for the content. Your explanations were very clear and accessible. Loved the music also, the only drawback was to chose to really listen to only one of them !

[@LycanFayn]

Gotta admit, when I checked your subscriber count I misread it as 'M' because there was no way this quality would go unseen. Well, +1 to sub count and I can't wait to see what more you do!

[@emirsaidhaliloglu2523]

Best ds video ever. Great music, great animations, amazing expression. Thank you

[@theaureliasys6362]

A really brilliant solution for an interesting problem.

[@kevintyrrell7409]

This data structure is my absolute favorite, and has been for years. Second place to Red Black Trees or Circular arrays (vectors). I remember when I first saw the algorithm for how trees are merged, I exclaimed that it's absolutely genius how it works.

[@GyroCannon]

The main thing that came to mind when explaining why the FIbonacci Heap isn't more commonly used was entirely the amortized complexity thing - if you're running a server, life is great until your clients start doing a bunch of debt-accruing actions (inserts, decreases) and then calling extract min. Whoever called extract min won't be happy. It's great in a world where you're only crunching numbers and waiting for a single final result after a lot of heap operations (which is why people listed a lot of scientific applications), but most of the computation in a normal day is business logic, which serve lots of individual requests, and therefore much prefer consistency over raw speed.

[@Hinyousha]

This has the same level of good explanation as Reducible videos, that I love, really good and enjoyable video

[@Soraphis91]

super nice quality, good explanation. Video duration fits the contents complexity. Thanks! You deserve way more views/subscribers!

[@antoine2571]

25:52 that's SO clever. Like really. Thank you for this video. it was truly enlightening

[@vxanica]

Wow~, I stopped reading Introduction to Algorithm since I cannot quite get Fibonacci heap. After watching your video, I think I can continue now. Thx a lot. And BTW, I enjoyed the piano very much

[@sajalsinghal8514]

Great video, it made it so easy to grasp all the concepts. Also it shows why it may not always be practical to use the most optimal structure for everything in a weirdly beautiful way. Thanks so much!

[@martinschulte3613]

Great - except for the horrible background music.... Is there any way to remove it?

[@dkosolobov]

There is a good argument to consider the Fibonacci heaps outdated: (a) for teaching purposes, there are quake heaps, which retain the same good features as the Fibonacci heaps while being waaay simpler; (b) for practical purposes, there are rank-pairing and pairing heaps, which both are substantially faster (the former have good theoretical guarantees too but the latter are better in practice, albeit providing slightly worse theoretical guarantees).

[@9891904317589]

Question about the decreaseKey. Considering that a extractMin results in a cleanup on the trees, what would be the times if in the decreaseKey you make the root a single-node tree, and the children as other trees?

[@Pystro]

What do you mean by root? the root of the tree that the decreased element was in? That decreased element might have been 10 layers down in that tree. Or the parent of the decreased element? That would leave the grandparent with one child less.

[@9891904317589]

@@Pystro Take the root of the tree, making it a single-node tree, the children become trees by themselves. Repeat while needed. This creates a bunch of trees, but in the next extractMin they are rebalanced. How would this change the performance of it?

[@Pystro]

@@9891904317589 Ah, I was missing that repeat part of the information. Well, assume the depth of the tree in that operation is d; since you are keeping degrees perfectly binomial, the order of its root would also be d. If you decreased the value of a node towards the bottom, you'd create 1+2+3+...+d new trees, which is on the order of d². In terms of scaling with the number of nodes though it would be O(log²(n)), right? That's worse than O(log(n)) I would think? Not 100% sure though. Doesn't seem better than a Binomial Heap where you just swap the decreased element up through the tree, which takes O(log(n)).

[@9891904317589]

@@Pystro Thanks for the info, I needed some clarity on this

[@sithdev8206]

If I understand you correctly, for DecreaseKey, you want to cut out nodes until all (sub)trees are binomial trees again. Just from playing around, it seems like you need to cut out surprisingly few nodes, maybe even ≤d (if d is the root degree). Might be a fun exercise to prove this. In any case, your DecreaseKey running time would be Ω(log n) in the worst case, even accounting for amortization. You could have an alternating sequence of ExtractMins and DecreaseKeys where every DecreaseKey runs into the worst case.

[@sundrake6236]

I love your videos so much, they are super well-produced, informative, and helpful. I hope you keep making them.

[@pyromen321]

Awesome video! KZbin actually did a good job with recommendations! I remember when I was in school a professor briefly mentioned this data structure, but I never looked into it.

[@ankitrana2748]

Makes me want to to pay you tuition! Great content, brilliant explanation.

[@craftycurate]

Very interesting video and well presented. Personally I found the piano music created a competing point of mental focus which distracted a bit from your content … maybe have something more ambient and backgroundy, or have no music at all, but overall a very enjoyable video thanks!

[@hosseinsamaei5779]

so sad that this channel has not posted anything since last year. such a high quality content, i wish i could see more from this channel. I hope the admin is fine

[@sagargupta3144]

This is one of the most amazing video on algorithm

[@shantanunene4389]

Great video, easily my favourite SoME2 submission!

[@DanDan0101]

A beautifully explained video that has renewed my interest in CS! It makes me want to take an algos class now

[@mrtfttkhv]

Hey! This video is an absolute banger, so when I got to choose a topic for a homework in my uni I instantly picked Fib Heaps. No matter what I'm gonna use your video as a reference, but I don't have time for all the manim shenanigans. So maybe you can send me a repo or something of your code, I then could appreciate it enough

[@madlep]

Great video! Was waiting for the "but they're not actually that useful in practice" at the end :P . Pairing heaps are usually a good first choice for a heap data structure. Relatively easy to implement and understand (even in pure/immutable languages), and tend to perform well for most things. Computer Scientists hate them though because actually proving runtime complexity of them has been hell, and while they look worse on paper than fibonacci etc heaps, they run faster in practice.

[@andrewferguson6901]

Computer scientists are stuffy nerds who should code more ;)

[@acasualviewer5861]

often times complexity ignores cache behavior as well so more memory compact data structures often perform better also, for a lot of these problems concurrency matters as well, and if you need to modify a lot of nodes sometimes it's hard to do the locking in a safe way that is also performant in parallel

[@blobthekat]

This feels like Universal Search, where we add so many tasks and tricks to try to hide the real runtime behind big-O notation. The threshold for fibonacci heaps to be faster than binary heaps grows O(2^n) where n = number of steps per method. This means that if one of the methods take on average 50 times as long as a single value swap, it would still be O(1), and one may be fooled into thinking it would be better than binary heaps for large inputs, but in reality, for that to be the case, the tree would need to contain at least 2^50 (or 1125899906842624) nodes. The fact is, for average input size n, an algorithm better than binary heap would need its Insert, DecreaseKey, etc... to be less than log2(n) instructions

[@joaogabrielfekete9754]

Good video! I still need to learn a lot in order to fully understand the explanation, but I'll get there some day. Untill then, I'll be watching more of your videos to learn more!

[@kcthomas8392]

26:15 "I know this was a lot to grasp, so feel free to rewatch this part if you didn't get it right away." Rewatches entire video

[@pra.]

29:08 the diss xD, amazing video!

[@TheFwip]

The explanation at 22:30 about (max nodes cut during DecreaseKey = 2k) doesn't make sense to me. The implementation of cut_node() is recursive, so you don't need to consider just the nodes parent, but all of its ancestors. The maximum nodes to cut seems like it would be d*k, where d is the depth of the nodes in their trees.

[@sithdev8206]

This is the power of amortization. If we are allowed to re-distribute the total time spent cutting out nodes, this analysis does indeed work out: Think of every DecreaseKey paying for cutting out two nodes: the one whose key it decreased (this time is spent immediately) and the one that it marks (the marked node is not cut out right now; this time will be spent in a later DecreaseKey). If a DecreaseKey needs to cut node several marked nodes, the time for doing so has already been paid for by the previous DecreaseKey calls that marked these nodes. Another way to think of this is by imagining that each marked node stores one unit of time. This time is released when the marked node is cut out (remember that when cutting out a node, we remove its marking). When we assign the time for cutting out two nodes to each DecreaseKey (as we just did), after any DecreaseKey the time for cutting out the nodes will be covered by some previous DecreaseKey. So k DecreaseKey calls cut out at most 2k nodes. Sorry for the long answer. I hope I could clear up some confusion.

[@Garryl367]

Am I missing something, or is the explanation of the maximum degree in merging at 12:15 incomplete? Since adding keys can be done without triggering a merge, you can get any number of degree 0 trees in the heap before you start merging. Even in the absence of other trees, those k degree 0 trees alone would merge together into at least one tree with degree = floor(log2(k)), plus potentially other trees with smaller degree. That would increase the size of the array to max degree + log2(#trees). I'm pretty sure that doesn't change the big O notation for Extract Min, though, since that's just log(n) + log(n), which is still O(log(n)).

[@sithdev8206]

You're right! The worst case running time of ExtractMin is O(k) if k is the size of the root list, and k can be much larger than log(n). This is why we need amortization. Each node in the root list was inserted into the list by some a previous operation (Insert, DecreaseKey, ExtractMin). During ExtractMin, each node in the root list also requires O(1) time during the merging phase. We charge this time to the operation that inserted the node. This way, the merging phase is essentially free because it's payed for completely by previous operations. Does this answer your question?

[@edderiofer]

12:42 : What happens if we have to merge two trees of the maximum degree?

[@sithdev8206]

Good question! It's actually impossible to have 2 maximum degree trees because together they would contain more values than the entire heap. Let's assume a degree k tree contains 2^k nodes (as seen later in the video, this is not quite true but it's easier to explain with 2 than with φ). Let's also assume that d is the maximum degree. 2 maximum degree trees would then contain 2 * 2^d = 2^(d + 1) > n nodes. This is because d is the maximum degree and by definition a tree with a higher degree would contain more values than the entire heap.

[@vitaliitomas4057]

This was a very convenient video to come up. Thanks!

[@Elyandarin]

This was fun, but if I did a priority queue, I'd probably just define about 5 priorities, put tasks in 5 FIFO buckets, then alternate so you do two priority-1 tasks for every priority-2 task, two priority-2 tasks for every priority-3 task, etc. (Or whatever ratio works best in practice.) You wouldn't even need a DecreaseMin function at all!

[@sithdev8206]

Absolutely! The introductory example is not meant as an actual use case for Fibonacci Heaps. It's only supposed to give you an idea for why priority queues in general might be useful.

[@itellyouforfree7238]

you don't have the slightest idea of what you are talking about, do you? there are graph algorithms that require having priority queues with more than 5 buckets. what do you do then? surrender for shortage of buckets?

[@mystic3549]

gem :) or an entire fkin treasure ,,,,how can someone be soo clear and precise with their approach of explanation

[@tommasochiti4237]

Whats the advantage of using this data structure rather than a btree or a skip list?

[@stellaura3400]

Thanks for your amazing video. The quality of this video is amazingly high, this channel needs more subscribe!

[@yashmandaviya1356]

best video of this year so far as a computer science student!!

[@thomasmeslin8399]

Impressive ! I have almost inderstood everything

[@wdobni]

i'm more fascinated by the kind of mind that invents a heap data structure than with the data structure itself .... logic and imagination and inventiveness, and it all resembles wandering around on the surface of a strange new planet trying to decipher what the little green men who live there are trying to say..... but it requires a mathematical mind to travel to this new heap data world of flashing nodes and find it 'beautiful'

[@shubhamathawane]

That was really easy to learn, Appreciated Bruh 😄

[@kallehed6330]

great video, even better music choice

[@mattihappy]

This is fantastic content, it deserves much more views!

[@mehmeterenbulut6076]

Beautiful work! It’s really inspiring to see that there are people creating this kinds of fabulous content.

[@cmilkau]

I like unbalanced binary trees where each node is the minimum of its right subtree (no constraints on the left subtree). Very easy to implement using list sorting, constant insert, constant delete, constant merge and amortized log min

[@aqeelal-shakhouri7572]

Great video, you should do more of these. Algo needs a lot of visualisations to grasp.

[@Dent42]

This inspired me to try and design a Fibonacci heap circuit. No idea if it’ll be useful, but it’s certainly interesting!

[@artyhedgehog]

Oh my god, this is so beautiful! Thank you for a great, very accessible deliver of the topic!

[@micahcowan]

27:48 I'm enjoying how this graphic shows how 0 · φ approximately equals 1 😊

[@IElial]

Hi and thanks for you video. I Don't totally understand Amortized Analysis. Is that a pure theoretical point of view to re-distribute work or is that actually implemented in code (more work done at each insert does lower the burden of first extractMin) ?

[@sithdev8206]

The idea of work re-distribution is only useful for analysis. It does not have any effect on how the operations are implemented. Amortized running times mean: "If we run a sequence of operations, the total time behaves as if the operations had these running times." And one way to show this is by re-distributing the work of certain operations. But this re-distribution only happens inside our heads. The actual running time of a single operation stays exactly the same.

[@IElial]

@@sithdev8206 Ok, so in practice the first ExtractMin will still "bottleneck" performance though theoretically we can think as if it was more evenly spreaded for Big O() measurement.

[@sithdev8206]

Yes, exactly. Depending on the concrete use case this may or may not be an issue. If you use a Fibonacci Heap as part of an algorithm (like Dijkstra), then you probably only care about the total running time anyway. But for a real-time application, using a data structure that heavily relies on amortization is probably not a very good idea.

[@mikeciul8599]

Does it matter that the trees are unbalanced? Is it still O(log n) in the worst case scenario where you're going down the rightmost branch every time?