What on Earth is Recursion? - Computerphile

Поділитися
Вставка
  • Опубліковано 15 жов 2024
  • Audible Free Book: www.audible.com...
    Recursion; like something from the film "Inception". Even Professor Brailsford says it can be hard to get your head around - watch him make it much easier to understand...
    EXTRA BITS: • EXTRA BITS: Recursion ...
    Opening up the Original Mac: • Opening up the 30yr ol...
    / computerphile
    / computer_phile
    This video was filmed and edited by Sean Riley.
    Computer Science at the University of Nottingham: bit.ly/nottscom...
    Computerphile is a sister project to Brady Haran's Numberphile. See the full list of Brady's video projects at: bit.ly/bradycha...

КОМЕНТАРІ • 1,3 тис.

  • @docopoper
    @docopoper 10 років тому +1173

    I'm sad you didn't put a link to this video in the description.

  • @Misterz3r0
    @Misterz3r0 7 років тому +736

    4:52 The sound a compiler makes when executing a recursion call.

    • @Newborn228
      @Newborn228 7 років тому +64

      lol'd a little harder than I should've

    • @norbertmarko6479
      @norbertmarko6479 5 років тому +29

      I'm laughing at this for 2 straight minutes now

    • @ChunkyChest
      @ChunkyChest 5 років тому +5

      HAHAHA

    • @yashsvidixit7169
      @yashsvidixit7169 4 роки тому +12

      Except that compiler doesn't perform recursive calls due to some recursive code it's compiling.

    • @davidflores1645
      @davidflores1645 4 роки тому +5

      I just learned about this and I read this comment and was like "only lvl 2 monkey brain can understand why this joke is so funny"

  • @funastacia
    @funastacia 8 років тому +1134

    This is the clearest explanation I came across! Thanks so much! 👏

    • @geeves21312
      @geeves21312 6 років тому +9

      ^ came here to say the same thing: This was the only video I found that was concise. I think a number of other videos missed the linking finale of it.

    • @unda25
      @unda25 5 років тому

      i felt the same

    • @siddhantjha6649
      @siddhantjha6649 5 років тому

      same here

    • @frankynakamoto2308
      @frankynakamoto2308 5 років тому

      When there is a need to use recursion???

    • @tonyaltass30
      @tonyaltass30 4 роки тому

      @@frankynakamoto2308 Prolog makes use of recursion extensively

  • @newbie6036
    @newbie6036 5 років тому +92

    Honestly speaking, this is the best recursion explanation I've ever heard.

  • @Ronenlahat
    @Ronenlahat 9 років тому +494

    Google "recursion"... did you mean "recursion"?

    • @PraveenNelsonv6
      @PraveenNelsonv6 8 років тому +4

      seems like google has got a bug

    • @themeeman
      @themeeman 8 років тому +3

      LOL

    • @ShethBhavik
      @ShethBhavik 8 років тому +79

      It's not a bug. It was done intentionally by Google because of what recursion means.

    • @Spee2k12
      @Spee2k12 7 років тому +11

      lol as if this subject wasn't confusing enough google makes a joke and makes it more confusing in the process.

    • @Secretzstolen
      @Secretzstolen 7 років тому

      Awe didn't work. Would've been funny!

  • @alvaroplol
    @alvaroplol 9 років тому +273

    I already understood the basics of recursive functions in programming, but this explanation was really well done. This man makes programming beautiful!

    • @sirbottoms1998
      @sirbottoms1998 8 років тому +1

      Yep

    • @stevebez2767
      @stevebez2767 7 років тому

      Context is this situation,not all iteration uses!!! Syntacts is particular too this instance of a use of a method that is part of a topping logo ,Unknown or aligned,not Omni quotes of all code uses,you need Godel Bolle,which in this Time is semantically impossible too refine a study of?

    • @ddmuzyk
      @ddmuzyk Рік тому

      mr neural network?@@stevebez2767

    • @Triantalex
      @Triantalex 17 днів тому

      false.

  • @uexp4
    @uexp4 10 років тому +51

    I took computer science in high school and got a great teacher who really cared a lot about what she was teaching and understood what was important. She taught us recursion when most schools skipped this lesson (because it was not mandate to be taught by the ministry). When my prof in uni began the lecture about recursion I could hear the confusion in the room. Luckily, I had decent grasp of the concept before hand.

  • @khiryshank4930
    @khiryshank4930 8 років тому +42

    This is like the best recursion explanation of all time.

  • @yaweno9555
    @yaweno9555 Рік тому +3

    It's always exciting to discover a professor that can actually teach. Great intro to recursion.

  • @ajaxmaxxer
    @ajaxmaxxer Рік тому

    Best explanation of recursion. The key thing for me was the visualization of the stack, it helped me unlock everything, the key point is really understanding that whenever you enter the call the function inside of itself, it is being put inside of a call stack, waiting for the other calls, until it reaches the ending call, then allowing it to make its way back to the first call that was on the stack. Sorry for my english, it is not my main language !

  • @colza1025
    @colza1025 5 років тому +42

    Very good explanation. I feel these two parts are especially essential.
    04:48 I can't get the answer, so I need to jump back to the equation.
    05:47 Demonstrate with a stack diagram.

  • @unreciever_
    @unreciever_ Рік тому +1

    So many recursion explanations out there without a visual and straightforward demonstration of the stack calls, but this one is an amazing exception. Thank you Computerphile and Prof. Brailsford, this is a lifesaver!

  • @7th.Chosen
    @7th.Chosen 8 років тому +325

    to understand recursion first you need to understand recursion first you need to understand recursion first you need to understand recursion first you need to understand recursion first you need to understand recursion first you need....
    exception fault, out of memory.

    • @alexandersnell4550
      @alexandersnell4550 8 років тому +7

      Test your 0 statement better, jeez. Are you even qualified to use recursion? lol

    • @BosonCollider
      @BosonCollider 8 років тому +6

      Wrong, defining recursion as recursion is a tail recursive statement, so in a language with tail call optimization it won't cause a stack overflow. It's just an infinite loop.
      If he had said: define recursion as printing hello world, wait one second, and return recursion, he'd have an infinite loop that printed hello world once per second for all eternity. ; )

    • @prismickyubey1185
      @prismickyubey1185 7 років тому

      7thChosen Segmentation fault, stack ran into the heap. ( ⚆ ͜ʖ ⚆)

    • @7th.Chosen
      @7th.Chosen 7 років тому +2

      @Prismic Kyubey hey hey, watch your mouth! there are kids here... lawlz

    • @philspaghet
      @philspaghet 7 років тому +2

      There's no base case, RIP

  • @benphua
    @benphua 6 років тому +1

    Reviewing this concept a year later, Prof Barilsford's teaching style is still really one of the best

  • @X_Baron
    @X_Baron 10 років тому +130

    I personally wouldn't trust the Comic Sans n to return the correct value.

    • @zamfofex
      @zamfofex 9 років тому +4

      kek

    • @stevebez2767
      @stevebez2767 7 років тому

      Personalities Few Char RISC tick tick interrupted read turns?

    • @Triantalex
      @Triantalex 17 днів тому

      ??

  • @osvaldorendallevora8215
    @osvaldorendallevora8215 Рік тому

    This is the most comprehensive illustration of Factorial I've ever seen.. brilliant, simple, elegant. Thank you!!!

  • @75IFFY
    @75IFFY 9 років тому +5

    I really wish these videos were out when I was learning programming at uni. This is such a concise explanation. Thankyou!

  • @EsotericArnold
    @EsotericArnold 4 роки тому +1

    this is literally the best explanation of recursion I've seen yet. everyone seems to miss that critical part (pending multiply). thanks for this gem.

  • @averagegiuseppe5640
    @averagegiuseppe5640 3 роки тому +34

    This fellow deserves to be called an "educator".

  • @runeheidt
    @runeheidt 6 років тому +1

    This is by far the best explanation in youtube as to how recursion works. This recursion-thing is tricky.

  • @greeneightball
    @greeneightball 5 років тому +14

    I can always count on Computerphile as a perfect precursor to learning about a topic with their general, yet savvy and well formed explanations. Thank you

    • @Triantalex
      @Triantalex 17 днів тому

      ??

    • @greeneightball
      @greeneightball 11 днів тому

      @@Triantalex how am I supposed to know what I meant 5 years go

  • @mjrupprecht6458
    @mjrupprecht6458 Рік тому +1

    I must say, I now wish that you were a professor at my university. The simplicity and explanation is flawless. Thank you.

  • @NikolajLepka
    @NikolajLepka 10 років тому +150

    Recursion; (noun) see: Recursion

    • @Triantalex
      @Triantalex 17 днів тому

      ??

    • @NikolajLepka
      @NikolajLepka 17 днів тому

      @@Triantalex you clearly don't get it. I suggest you Google recursion

  • @jodn4435
    @jodn4435 2 роки тому

    mind-blowned me completely... I've been trying to find a clear and brief explanation to recursion while avoiding the hour lecture and this by far was the best analog I've come across. I wish he was my professor

  • @tobortine
    @tobortine 10 років тому +11

    I learned about recursion more than 25 years ago but it's still captivating listening to the Prof explaining how it works. One of the benefits of learning assembler languages is that you get to understand recursion and stacks pretty quickly because nothing is done for you.

  • @takatakboy
    @takatakboy 4 роки тому

    This explanation on recursion is the best I've seen. Using the stack and using each disk as a stackframe drove it home for me. I am an in awe.

  • @Sone418
    @Sone418 9 років тому +372

    Why can't you be my teacher.... for EVERYTHING

    • @AlexRubio
      @AlexRubio 8 років тому +13

      tried that and even wished it to Santa and it didn't happen.

    • @theflaggeddragon9472
      @theflaggeddragon9472 8 років тому +1

      +Reclaimer Halo 3 :D

    • @stevebez2767
      @stevebez2767 7 років тому +1

      U?K sixties constant repeater of reason why 'they're tired billions of Eins ago,post punch card formation of not too ACT out Bletchlys Trump ten from WoodenHut tourist postcard ruling Govs war den Skoool system eddy race raiser obv?

    • @MsJavaWolf
      @MsJavaWolf 6 років тому

      Even the dirty things in life?

    • @thezionjohnson3590
      @thezionjohnson3590 2 роки тому

      @@MsJavaWolf no such things has dirty

  • @danieltubonemi5882
    @danieltubonemi5882 2 роки тому

    I am wowed. I've fallen in love with Computerphile with this one video! This was as clear as day!

  • @kinnikuchu
    @kinnikuchu 2 роки тому +6

    Great explanation made by a true master.

  • @sejinmajnaric2884
    @sejinmajnaric2884 3 роки тому +1

    This is the best-explained recursion ever. Thank you so much for making these videos available to the public. Hope you stay safe and well.

  • @TomsMucenieks
    @TomsMucenieks 8 років тому +51

    *Thank you! Well explained!!!*

  • @rolandgerard6064
    @rolandgerard6064 5 років тому

    This professor is very talented, his explanations are clear as crystal

  • @anand26shweta
    @anand26shweta Рік тому +14

    This is such a simple and to-the-point explanation.

  • @dharma6662013
    @dharma6662013 7 років тому

    He's such a nice man - laid back and reflective. I bet he's an excellent teacher. Lots of academics prefer to show how much they know, instead of trying to make sure people can learn as much as possible. Thank you Prof Brailsford.

  • @viralpatelify
    @viralpatelify 10 років тому +11

    Hey I would have loved if you discussed what the benefits of recursively programming are. I mean in this case, my first thought was to do a while loop and multiply. This video gave me a new idea but failed to discuss benefit of it over the iterative method.

    • @diablominero
      @diablominero 3 роки тому

      You probably don't care anymore, but I'm here so I'm giving opinions. Recursion generally has worse efficiency than iteration, but in many cases makes the programmer's intent more obvious.

  • @evghend1714
    @evghend1714 6 років тому

    Watching your videos is such an easy way to learn English (both as programming), thank you guys!

  • @madghostek3026
    @madghostek3026 5 років тому +4

    I really liked how the stack was explained as "people" waiting for other person to do their job

  • @jiyoungyun7494
    @jiyoungyun7494 5 років тому +1

    you've explained the concept really beautifully and elegantly. totally in love

  • @mberoakoko24
    @mberoakoko24 9 років тому +163

    my dream is to be as good as this guy

    • @stevebez2767
      @stevebez2767 7 років тому

      'Guy' is the word as example recalls memories of long ago(whether this bloke exsist said now or not)as was shown UA-cam videos of the when OunchCards were input for UK dis effect of constant WoodShed LIVE at live in sixths non repulsive soup ER fighter war den but of order or fake strong were King men non kid cowpoke gun launch emself top of telegraph pole as miss star Xmas red robe judge you all too be killed hat red Unknown hoo haha Philadelphia Cheese program of no chat with that loon out sussee fake not n border create outsiders of war back pub line daily red war non mushroom fakes trump ten bakes hang lines of no give in total gift off boss said no you,pays???!

    • @derschwarzejulian7201
      @derschwarzejulian7201 5 років тому +2

      Youbhave to be surpass him and make other people wanting to be like you. Than you reached what this man reached an more!

    • @Triantalex
      @Triantalex 17 днів тому

      ??

  • @paulscott2502
    @paulscott2502 6 років тому

    Professor Brailsford's knowledge and ability to explain concepts is phenomenal.

  • @HandyAndyTechTips
    @HandyAndyTechTips 9 років тому +6

    Very helpful and useful for my CS class. Thanks a lot, a really informative video.

    • @sirbottoms1998
      @sirbottoms1998 8 років тому

      I know my teacher expects us to already be familiar with the concept but this topic is very confusing for people whose brains don't work like computer scientists

  • @kevinnderitu1389
    @kevinnderitu1389 Рік тому

    this is undoubtedly the best explanation video i have ever watched on youtube

  • @mrbitbot
    @mrbitbot 10 років тому +178

    So basically recursion is when a function calls itself.

    • @metafis2490
      @metafis2490 9 років тому +5

      Yes..like in those mandelbrot pattern, the basic equation for those is z = z2 + c, iterated a specified number of times.

    • @rich1051414
      @rich1051414 9 років тому +7

      Jason Wilkins iteration is not recursion. It is the same only in the way you evaluate it in your mind. For example...
      while(true);

    • @Tupster
      @Tupster 9 років тому +1

      Richard Smith No no no and again no. Did you not read this thread? Nothing, absolutely nothing, says that the second example has to cause a stack overflow. A compiler is free to output code that looks exactly the same as the first example. Please, this is a very basic thing and I'm not going to argue with you about it.

    • @rich1051414
      @rich1051414 9 років тому +3

      Jason Wilkins Not sure what compiler optimization has to do with anything. A train ride is not flying if sometimes your flight is grounded and you have to take a train...
      If the compiler does exactly what you tell it to, it will cause a stack overflow, because this is what endless recursion does. Any argument against that by adding layers of abstraction or correction is beside the point. If the compiler makes it iterative... well, its not recursive anymore is it? They are critically different in how exactly you are intending them to evaluate, getting the same answer is beside the point.
      Another analogy:
      If you were to say "I love my mom", autocorrect fixes it to"I make love to my mom" I can therefore assume this statement is the same as the one you were intending to make? Of course not, it changed it and no longer holds the same intention as the original. If you are doing something with the intention of it being recursive, then it being done on a stack is also implied. When it does not, then that specific language changed the intention of your code, which would very much be over zealous optimization, but it still is changing the intent of your original code.

    • @Tupster
      @Tupster 9 років тому

      I didn't say anything about compiler optimization.

  • @MeleeChannel
    @MeleeChannel 3 роки тому +2

    Incredibly well and thoughtfully explained, with plenty of visual aid to better understand the concept. Many thanks!

  • @SnedzTheBricklayer
    @SnedzTheBricklayer Рік тому +11

    This is hands the most straight forward explanation of recursion in the universe 😐

  • @s-code-b
    @s-code-b 2 роки тому

    That's the calmest explanation I've ever seen. He's explaining 'factorial', but it sounds like: The world is not coming to an end; all will be well; verdant ever after.

  • @NNOTM
    @NNOTM 10 років тому +36

    This looks so much nicer in haskell
    fac 1 = 1
    fac n = n * fac (n - 1)
    but of course, a much more idiomatic approach would be to just say
    fac n = product [1..n]

    • @JeyPeyy
      @JeyPeyy 7 років тому +1

      For some weird reason I can't see the replies to this comment, so sorry if someone already said the same thing.
      Not only does Haskell look nicer for these kind of things, but it also includes tail recursion optimisations, meaning no unnecessary stacking will be made.

    • @stevebez2767
      @stevebez2767 7 років тому +1

      Iteration is then web net cause algorithm riff err a? The=Quoter ,Java Oracle Main Frame X(25)Y bin light semantic rhythms syntactic,note key if C,knows?

    • @Triantalex
      @Triantalex 17 днів тому

      false.

  • @francisaiello6197
    @francisaiello6197 7 років тому

    Thank you Professor Brailsford - for such an elegant explanation and also to the videographer for filming the video.

  • @petrockspiracy3120
    @petrockspiracy3120 5 років тому +15

    2:12 OH MY GOD, the eureka moment. I never understood what was going on because people would say it's:
    factorial(4) *3 * 2 * 1
    And I was thinking no... it's not. You're multiplying by a function, not the actual number. But how you've explained it makes sense finally! Thank you thank you, I can tick recursion off my avoid-at-all-costs list now.

    • @Summer9604
      @Summer9604 5 років тому

      cool :D

    • @diablominero
      @diablominero 3 роки тому +1

      f(x) is a function (i.e., a rule for choosing the right number), whereas f(any specific x that someone chooses) is a number chosen using the function.

    • @Triantalex
      @Triantalex 17 днів тому

      ??

  • @joshuaplain6993
    @joshuaplain6993 6 років тому

    4 years later..... Still the best one on youtube!!!

  • @EmilMacko
    @EmilMacko 6 років тому +8

    I feel like the meseeks in that one episode of Rick & Morty are a perfect representation of this. (Despite how it looks, this is not an intelligence related Rick & Morty joke)

    • @jetison333
      @jetison333 3 роки тому

      Wow, I think your actually pretty right.

  • @zxkelxz
    @zxkelxz 2 роки тому

    Sir, just wanted to say thanks for this video. I swear when it comes to straight forwardness with engineering we miss the mark at times. This was a clear and concise explanation of recursion and what occurs in memory!

  • @ZipplyZane
    @ZipplyZane 10 років тому +3

    FYI, the actual canonical end of the factorial is fractorial(0) = 1. If 0! is not defined, formulas break. I take it no Numberphile people were involved in the making of this video. ;)

  • @abigguitar
    @abigguitar 7 років тому

    Thank you for the clear description showing why recursion needs a stack. A lot of novice programmers have no idea that recursive functions build and use a forward stack that it has to unwind itself on the back way out. However, even today, stack sizes can be limited unless explicitly increased. For example, Linux's default stack is still not that big, but can be increased. Depending on how many steps of recursion is needed to resolve an answer and unless you plan ahead, you could end up running out of stack at the most inopportune time. Iterative routines don't need stack amounts like this, but may need a whole lot more code writing. It wasn't so much that recursion isn't helpful in writing far less amounts of code for some use cases, it's that it's much more difficult to gauge just how much stack a function might require. If you underestimate the stack needed, you're now knee deep into the bog of debugging.

  • @moniruzzamanmoni676
    @moniruzzamanmoni676 4 роки тому

    Best recursion explanation,I have ever seen.Thanks @Computerphile for this video.

  • @JohnSmith-ut5th
    @JohnSmith-ut5th 8 років тому +3

    Actually, a better way would be to make factorial(0) = 1, otherwise factorial(0) fails with a stack overflow. Also, you need to check n >= 0 or otherwise handle those exception cases. But, he is clearly just using this as an example. I just wanted to be clear that 0! = 1 is an important case that must be handled.

    • @bytefu
      @bytefu 8 років тому

      Of course, a real factorial function, given a negative number, should throw an exception, if it's imperative style, or return a special monadic value, such as Either, if it's functional.

    • @JohnSmith-ut5th
      @JohnSmith-ut5th 7 років тому

      An imperative language can also return an error number (a quite common practice even these days). Now, of course, if we wanted to implement a Roman factorial instead, then all integer values would be valid so long as the data type can handle them. Exceptions or other error handling methods can be used in the case where you also want to catch potential stack overflows before they occur and handle them (if implemented recursively) or to limit the range of the factorial to valid values. However, in general, overuse of exceptions, while quite popular these days, can lead to extremely inefficient code, which is often not feasible in practice. In most practical design it is better to leave exceptions for things that actually are exceptions and handle errors directly.

    • @LunarySSF2
      @LunarySSF2 7 років тому

      what's the complexity of the function *factorial* ? n or 2n-1 ?

  • @alexitopro9635
    @alexitopro9635 2 роки тому

    Fantastic explanation. I really wanted to understand how a programming language dealt with recursion and this channel nailed it.

  • @DragoniteSpam
    @DragoniteSpam 10 років тому +8

    Short answer: Recursion is the _best thing ever._

  • @santiagomedina6799
    @santiagomedina6799 5 років тому

    5 years later and this is still the best explanation ever. Understand the stack is a key fundamental.

  • @BenjaminRavenstone
    @BenjaminRavenstone 10 років тому +7

    I do not find recursion difficult to understand at all (maybe because I code in Python, which is very easy to understand). But in case you don't understand recursion by the way it was explained here is an easy example.
    Recursion is mostly used when a number is compounding on itself (exponential growth usually). So say we start with a single bacteria and this bacteria will double its population every hour. In order to find how many bacteria there would be on the 6th hour you would use recursion.
    Hour 1 = 1 bacteria
    Hour 2 = 2 bacteria (Hour 1*2)
    Hour 3 = 4 bacteria (Hour 2*2)
    Hour 4 = 8 bacteria (Hour 3*2)
    Hour 5 = 16 bacteria (Hour 4*2)
    Hour 6 = 32 bacteria (Hour 5*2)
    In order to find how many bacteria there would be on any given hour, you would take the previous term and multiply by 2.

    • @TCWordz
      @TCWordz 9 років тому

      Well that's unnecessary in your example.
      _Hour _*_x_*_ = 2(Hour _*_x_*_ - 1)_

    • @anthonyalbertorio5180
      @anthonyalbertorio5180 9 років тому

      Tommy59375 Both ways are great explanations.

    • @anthonyalbertorio5180
      @anthonyalbertorio5180 9 років тому

      Great explanation.

    • @trppmdm
      @trppmdm 9 років тому +1

      Benjamin Tapia
      Explain the recursive implementation of solving Hanoi perfectly???
      As a programmer, that definition is barely true true and the word 'mostly' is horribly wrong. REALLY REALLY REALLY REALLY wrong. It's used whenever an iterative is impossible(since most languages do recursive a bit slower) and bad using memoization(a lot of things in a single recursive call). But it's really much more fundamental than change a number.

    • @xXxBladeStormxXx
      @xXxBladeStormxXx 9 років тому +1

      Benjamin Tapia If you say you don't find recursion difficult, it's probably because you don't understand it very well.
      Also, your explanation is wrong. Better not spread incorrect explanations like this online. Actually, better not spread any explanation of any technical subject unless you have a PhD or at least a Master's degree in that or a related subject.

  • @normanfrankiv5512
    @normanfrankiv5512 4 роки тому

    I love the programming community because all the comments always make everything easier to understand. This explanation in the video was excellent, but seeing the comments about "for understanding recursion, you must understand recursion" really made it clear. Thanks everyone.

  • @sagiksp4979
    @sagiksp4979 9 років тому +12

    Hey what's the deal about your background? I translated some to text, It's:
    T¬$ªdƒ¯•+
    It doesn't seem so random tho, as the pattern of &#, 3-Digit number, ; appears all throughout.
    Plz answer

    • @devanjith
      @devanjith 9 років тому +5

      שגיא קרמן Illuminati confirmed!

    • @ModKijko
      @ModKijko 9 років тому

      שגיא קרמן T¬?$ªdƒ¯•+

    • @sagiksp4979
      @sagiksp4979 9 років тому

      mod prime I know now but what do they mean?

    • @ModKijko
      @ModKijko 9 років тому

      שגיא קרמן If there is any meaning, it might rely on translating the other text which might provide formatting clues or necessary context. My guess is that they converted a HTML entity table into binary. I get that from the proximity of 172, 170 and 175, but it could just be random html entities converted to binary for the lulz. Difficult to say on the small sample we have I guess.

    • @Computerphile
      @Computerphile  9 років тому +15

      שגיא קרמן I hate to spoil your fun but when this was originally designed I was short of time so I simply leaned and tapped on the keyboard and probably because I'm a drummer that's could be why there are similar patterns in it (I did also do some cut & paste of the output of my leanings)
      -> having said that, there is a background on one film which was created from scratch, and you may have more fun looking for that one as I don't think anyone has spotted the message(s) yet.... the clue is that it was created from scratch for the film >Sean

  • @mumtahinarahman1075
    @mumtahinarahman1075 4 роки тому +5

    The professor has an ASMR-ish voice, close Bob Ross's. 💞

  • @wizardskills
    @wizardskills 10 років тому +1

    A nice simple explanation of recursion. Recursive CTEs in SQL Server are the bane of my life :P

  • @TheSlimyDog
    @TheSlimyDog 10 років тому +13

    I love recursion cause it's great to use in algorithms and programming competitions but in the real world besides these premade functions like mergesort, quicksort, dfs, bfs, etc. is there any need to make one's own recursive algorithm?

    • @outcastorange
      @outcastorange 10 років тому +3

      Recursion is a neat way to handle path finding, which I would argue is a real world application. For instance you can query surrounding routes and have those routes query routes surrounding them and so on. Eventually when you're location is found it feeds itself back up the stack, tacking on a reference to each route object along the way. This is a terrible way to do path finding, and I can't remember the better way at the moment, but I do recall that I ended up using recursion either way. Some sort of recursive function feeding off of a location vector maybe, but with ordered priorities to check near before far.

    • @Tupster
      @Tupster 10 років тому +3

      Of course. Any kind of parsing is recursive. Any kind of structure that can contain similar copies if itself (like HTML) requires recursion.

    • @CrateMuncher
      @CrateMuncher 10 років тому +2

      Definitely. I'm working on a code editor with commands and I've used recursion several times to parse a string into an S-expression (think lisp). Really useful.

    • @ghelyar
      @ghelyar 10 років тому +2

      An example use for recursion is to navigate a directory tree including all subdirectories. For example, the total size of a directory is equal to the total size of all of the files and all of the subdirectories inside that directory. You can also use it to search for files, hash check all of the files inside a directory, etc. Some commonly used tools include grep, find, ls, du, rsync, cp, tar, etc. just for the example of filesystem navigation alone.

    • @Tupster
      @Tupster 10 років тому

      Hurrrrrrrrrrly I can tell if you are trolling. Nobody could honestly hold that opinion. If I was a hiring manager and heard you make that remark your resume would go into the trash incredibly fast.

  • @rolandfisher
    @rolandfisher 2 роки тому

    This is the clearest explanation I've experienced. I always understood the calls, but this made the returns as simple as can be. Thank you.

  • @eagleeye1975
    @eagleeye1975 10 років тому +3

    I understood this when I was 16 years old, working in DOS 3.0... it's really not as difficult as described... but I understand why he did it the way he did.

  • @sadkfjasdkl4543
    @sadkfjasdkl4543 10 років тому

    This took my computer science teacher a month and a half to explain, and for me to fully understand. This video just did it in 10 minutes. Great video. I am sure people will find this useful.

  • @JoffreyB
    @JoffreyB 6 років тому +4

    4:52 thought that he was about to kick the bucket lol

  • @shashwatpandey3556
    @shashwatpandey3556 3 роки тому

    This, right here, is hands down the best and clear explanation of recursion on internet.

  • @bobmandude9889
    @bobmandude9889 10 років тому +12

    Don't you get a stack overflow if you do this with a number to big though?

    • @NNOTM
      @NNOTM 10 років тому +4

      In general, yes.
      There is a way to work around it, which isn't supported by all compilers. If you change your code so it looks more like
      fac(n) = go(1, n)
      go(a, n) = if (n == 1) then a else go(a*n, n-1)
      (which does the exact same thing), then some compilers can optimize out the tail call, and don't require a stack. Tail call means that in the recursive else clause, the outermost function you call is the recursive function itself. If you write
      fac(n) = n * fac(n-1)
      then the outermost function you call is *, so it doesn't work.
      But as you can see, we had to replace the stack with a second parameter in the recursive function.

    • @SevenDaysify
      @SevenDaysify 10 років тому

      yeah, but you can avoid that with tail calls

    • @murphy54000
      @murphy54000 10 років тому

      You'd hit problems with the number being too large before you hit stack overflow.

    • @Celrador
      @Celrador 10 років тому

      ***** I wonder, if that also is the case for a long double. :o
      Can't be arsed to research and calculate that now, though.

    • @murphy54000
      @murphy54000 10 років тому +1

      Celrador Doubles go to 10^308, iirc, and long doubles almost 10^5k. unsigned long int go to 4.2b minimum, stored in 4 bytes. 18 quintillion for a long long (8 byte/64bit).
      22! is 1.1e21 (110 quintillion) but is 10^9000
      And with tail recursion, you can have infinite recursions, so yes. That is very likely the case.

  • @LMacNeill
    @LMacNeill 10 років тому +2

    I think recursion is one of those things that you either intuitively understand, or you'll have a great deal of trouble with... I can remember back in high school learning how to do a Quicksort in Pascal using recursion.
    The trick is to realize that every time you call the function, it's making a "copy" of itself. And that copy is completely unaware of the other "copies" of the function that have been called before. All that copy knows is that it was given some data on which it needs to do an operation and then return the results of that operation to whatever called it. It doesn't know that the thing that gave it the data was another copy of itself -- it doesn't need to know that. If, in the process of performing that operation, it needs to make another copy of the function, it will do so and wait for that copy to return whatever result it comes up with. And this can repeat over and over again until the computer runs out of memory (or stack-space, actually, since the stack is never 100% of the computer's memory.)
    Once you see it as copies making copies, ad infinitum, it's much easier to picture in your head. It's also easier to realize why you need something that will finally return an actual number instead of making another copy of the function -- without that final answer somewhere, you'd run out of memory quite quickly.

  • @tzkelley
    @tzkelley 10 років тому +19

    Good example of why software is so buggy the example assumes the function will not be passed a negative number, which could lock up the computer until the stack overflows

    • @lordofduct
      @lordofduct 10 років тому +4

      *****
      I don't agree with tzkelley in that I don't think it's bad design to not check, because it's legitimate to have it fail if you pass in the wrong answer.
      But I disagree with you String.Epsilon, you're on the opposite side of it. Who says you shouldn't check in the operation? It's common practice I agree, but not necessarily correct.
      What's wrong with say checking, and throwing an exception or something... so as to keep from the stack overflowing. You still have the error, but you don't choke on it in the process.

    • @SkyrimHod
      @SkyrimHod 10 років тому

      It really depends on the specific operation and the application you're using it for. In this case, it's simply an example to show how recursion works, so it's entirely reasonable to avoid unnecessary distractions like error checking and just assume that the input is valid. In some other cases, you might be using your factorial function as part of some other larger program and already KNOW that the function which is calling factorial will only so do with a positive integer(such a function which counted the number of items in some other set) and therefore not need to check for that again.
      In most cases though, you would want to include some sort of error checking in the function itself so that the code can be more easily reused elsewhere rather than having to rewrite that error checking code separately for each time you want to use it. For something as trivial as a factorial function, this may not be much of an issue, but for more complicated functions, it might.
      Also, the base case used in the video is technically wrong. It should be defining 0! = 1, not 1!

    • @JamesCoyle95
      @JamesCoyle95 10 років тому +10

      Any competent programmer would handle that. The code here is simplified so it is easier for non-programmers to understand.

    • @JamesCoyle95
      @JamesCoyle95 10 років тому +1

      lordofduct It should be handled by throwing an out of range exception rather than letting the code execute until it fails.

    • @lordofduct
      @lordofduct 10 років тому

      James Coyle - agreed
      ***** - yes, you prefer it. My point for posting was because you phrased your statement not as how you prefer it, but as how it should be done.

  • @partspieces8165
    @partspieces8165 11 місяців тому

    So clear explanation, I haven't even learned trees & graphs but I already understood the basics of recursion thanks to computerphile!!

  • @GaryKildall
    @GaryKildall 10 років тому +7

    What would recursion be without a stack!

  • @TheOneMattWilkinson
    @TheOneMattWilkinson 8 років тому

    This is a great way of explaining how factorials actually work! This concept is often times tough to understand when first learning about the recursion. It's great to see how much more efficient recursion can be.

  • @ghelyar
    @ghelyar 10 років тому +13

    The base case for factorial is actually 0! = 1

    • @Mikey_in_Japan
      @Mikey_in_Japan 4 роки тому

      I was looking for this comment to see if anyone else caught that

    • @ivana4638
      @ivana4638 4 роки тому +4

      Yes, but it really has no purpose in code.

    • @7s9n
      @7s9n 4 роки тому

      I finally found someone he's thinking like me 💛

    • @MichaelLehnGermany
      @MichaelLehnGermany 3 роки тому

      @@Mikey_in_Japan Me too :D

    • @MichaelLehnGermany
      @MichaelLehnGermany 3 роки тому

      @@ivana4638 It certainly has.

  • @shehzan9263
    @shehzan9263 6 років тому

    I wish Professor Brailsford would have been my CS teacher. He certainly is a worthy man. Best explanation I've ever come across and Thank You Computerphile. Your content is always awesome.

  • @AleksandrVasilenko93
    @AleksandrVasilenko93 10 років тому +12

    Make a video about net neutrality.

  • @ufotofu9
    @ufotofu9 7 років тому

    I just love this guys voice, Very soothing.

  • @BorisMediaProds
    @BorisMediaProds 9 років тому +16

    Where can I learn to code with a marker and piece of paper

    • @UnordEntertainment
      @UnordEntertainment 9 років тому +2

      BorisMediaProds Make up your own pseudo-code or use existing pseudo-code and you're done!

    • @BorisMediaProds
      @BorisMediaProds 9 років тому

      Flumpanor I was making a joke lol

    • @UnordEntertainment
      @UnordEntertainment 9 років тому +1

      BorisMediaProds I wasn't xD

    • @fuppetti
      @fuppetti 9 років тому +3

      Flumpanor ah hahaha! [cheesy 80's music plays]

    • @stevebez2767
      @stevebez2767 7 років тому

      Dig a hole,beware,the Christian come two tea cheer you up an you will yell 'o,you made me talk I've been down this hole for billions of Eins for no utter known reason produce or worth work non known riding bicycles round the hole is not re curses pyramid is over there..)Eh? Python MonTeas..

  • @stefan1632
    @stefan1632 7 років тому

    Professor Brailsford is an excellent teacher, especially like the visual explanation toward the end of the video.

  • @FennecTECH
    @FennecTECH 8 років тому +100

    recursion is a whole disgusting evil thing you never want to touch it will only end in tears

    • @agentsmidt3209
      @agentsmidt3209 8 років тому +12

      too late.

    • @slamislife74
      @slamislife74 8 років тому +24

      I heard it doesn't make sense until a while after you learn it, then it clicks. Don't give up just because something's hard

    • @agentsmidt3209
      @agentsmidt3209 8 років тому +16

      lErssikeke lol! Programming in general can make potholes in your brain. I've had WTF moments with my own code i.e. not understanding my own legacy code.

    • @user-assia
      @user-assia 7 років тому +11

      noooo it's awsome ! you just need to be friends with it

    • @beri4138
      @beri4138 7 років тому +9

      The problem is you NEED to know it. If, for example, I ask you to make a calculator, how will you teach it the order of operations? (Exponentiation > Multiplication & Division > Addition and Subtraction). You will need to use a parser, which is a type of recursive function.
      Another example: I ask you to make an AI for tic tac toe. You'll need to use minimax: A recursive algorithm.

  • @litoxcas
    @litoxcas 3 роки тому

    A book I read taught me all I needed to know about recursion in the index: Recursion: See recursive Functions, Recursive Functions: See Recursion.

  • @MrStrongholdpro
    @MrStrongholdpro 10 років тому +20

    recursion:
    see recursion

  • @andreasatanasiu9665
    @andreasatanasiu9665 7 років тому

    A clean and clear explanation, plus the Professor seems to be a great guy.

  • @IceMetalPunk
    @IceMetalPunk 10 років тому +4

    I half-expected this to be a 10-minute video of him just repeating "recursion is recursion is recursion is...".

  • @TomJez100
    @TomJez100 5 років тому

    Another excellent video!!! Years of understanding needed to create such a simple explanation. Always enlightening, listening to first-person recounts from "veterans" in the trenches at the beginning stages of the computer "war." Unique perspective. Thank you.
    One suggestion on your model: perhaps two rods might help visually. One rod is "the called func" while the 2nd rod is the stack.
    White 4! first is on rod 1, can't be evaluated, then is moved to Rod 2. It then calls the n-1, new white disk, on Rod 1 (which can't be solved either, yet, so it moves to wait on Rod 2 and now calls new n-2 White disk onto Rod 1) ....
    At 1!, it can be evaluated so that white disk is replaced with its Black finished version. Now 2! White disk (2x1!) can be moved back to Rod 1 and with the Black disk can now be evaluated into its Black finished version. And so on.
    To me, it helps ground the different "n" values/iterations to something.
    Just your coming up with the Rod visualization was 99% of the hard work.
    Once again, Thank you very much for making your videos.

  • @PressStartLetsPlay
    @PressStartLetsPlay 9 років тому +6

    4:52 :)

  • @KamiYugure
    @KamiYugure 6 років тому

    Wow this is probably the most clear explanation of this that I have ever found and I've been struggling to wrap my brain around this practically (as opposed to conceptually - I've understood it more or less conceptually for a while) since High School, second year of computer science which was, not even joking, 2008. 10 years! And so many explanations of recursion I've found include this Towers of Hanoi style stack example but don't quite explain it in the very concise and clear way that you do here. I really really appreciate this and I honestly feel like a huge weight has been lifted from my shoulders.

  • @fadetounforgiven
    @fadetounforgiven 10 років тому +4

    Recursion can only be understood if you understand what recursion is.

  • @Dekoded
    @Dekoded 5 років тому

    This is such a good explanation. Went to recreate this in JS and it makes perfect sense. The way I like to picture it is as each number that gets recursed is its own scope, and the value of n will always be shadowed until it hits back to the global scope, where n is the lexical value

  • @Rob-bh9gt
    @Rob-bh9gt 9 років тому +6

    to understand what recusion is, you must first understand recursion.

  • @kamikaze9271
    @kamikaze9271 10 місяців тому

    This explanation is so lucid and so amusing! It's like poetry

  • @Nekotamer
    @Nekotamer 10 років тому +22

    i dont like recursion when programming, gets out of control way too fast. i prefer cycles, far more reliable.

    • @beri4138
      @beri4138 7 років тому +1

      What are "cycles"?

    • @stevebez2767
      @stevebez2767 7 років тому

      As under control ,do you view presidents on TV?

    • @MrCmon113
      @MrCmon113 6 років тому +1

      Of course. Recursive definitions are for a better understanding. In code however they may lead to a horrible runtime and memory usage.

    • @Triantalex
      @Triantalex 17 днів тому

      ??

  • @alanlane5961
    @alanlane5961 4 роки тому

    This has been the clearest explanation of recursion that I have found, but its still clear as mud to me!!

  • @tabularasa0606
    @tabularasa0606 10 років тому +44

    Recursion isn't hard at all, it's pretty simple.

    • @prismickyubey1185
      @prismickyubey1185 7 років тому +6

      tabularasa0606 *Triggered*

    • @tabularasa0606
      @tabularasa0606 7 років тому

      No, removed comments. Also necro-post

    • @prismickyubey1185
      @prismickyubey1185 7 років тому

      tabularasa0606 I was joking that I was triggered lel

    • @LaVivien
      @LaVivien 7 років тому +1

      it seems recursion is factorial, factorial is recursion;)

    • @stevebez2767
      @stevebez2767 7 років тому

      Why easy spy skitso read your mind invade dark side copywrited you out send you back too work no known uses,beeeznest of livers supported by you will now get rid of techno as roosters spy act invade live off you in great common agreements,get too work,pays?

  • @truth-12345.
    @truth-12345. 10 місяців тому

    This video lecture is the true definition of Computer Science course.

  • @sporkafife
    @sporkafife 10 років тому +10

    Now time to explain how to make a computer do it iteratively? :D

  • @christo-j5507
    @christo-j5507 4 роки тому +1

    The best video to explain recursion I found on UA-cam. Thank you!