Savitch's Theorem (Complexity Theory), Statement and Proof

แชร์
ฝัง
  • เผยแพร่เมื่อ 8 ม.ค. 2025

ความคิดเห็น • 12

  • @EasyTheory
    @EasyTheory  3 ปีที่แล้ว

    Thanks to Micah Wood (Platinum), and Josh Hibschman, Timmy Gy, Patrik Keinonen, and Travis Schnider (Silver) for helping support this video. If you want to contribute, links are in the video description.

  • @judgebot5943
    @judgebot5943 2 ปีที่แล้ว +3

    just brilliant mate. Kind of content youtube was made for . Enjoyed every bit of this video

  • @boazbar-david182
    @boazbar-david182 2 ปีที่แล้ว +1

    Brilliant, thank you!

  • @emperorzurg7258
    @emperorzurg7258 3 ปีที่แล้ว +1

    Thank you so much.

  • @eugut
    @eugut 4 หลายเดือนก่อน

    In 4:40 Shouldn't be space=d^(2^(f(n))?

  • @brendawilliams8062
    @brendawilliams8062 3 หลายเดือนก่อน

    Thankyou. Are you using a reverse at some Turin machine state

  • @sambhunathdey4367
    @sambhunathdey4367 ปีที่แล้ว

    Fine demonstrations.
    Is it true for n dim space ?

  • @pinacolada6879
    @pinacolada6879 ปีที่แล้ว

    is f(n) in this case log n? because the space can be seen as SPACE(f(n)^2) and the reachability should bein SPACE(log^2 n)...?

  • @AliAhmadi-u7v
    @AliAhmadi-u7v 2 หลายเดือนก่อน

    Can anyone please explain why depth is 2^ O(f(n))?

  • @DannyPhantumm
    @DannyPhantumm 2 ปีที่แล้ว

    You would have got my subscription, but too many ads man. Isn't the typical YT approach to build a sizeable subscriber count before monetizing?

    • @6Pope9
      @6Pope9 ปีที่แล้ว +2

      what do u know about it lol

    • @brendawilliams8062
      @brendawilliams8062 3 หลายเดือนก่อน

      I’d still try but not everyone abstracts the same