TQBF PSPACE-complete, Space Hierarchy Theorem - CSE355 Intro Theory of Computation 8/03 Pt. 1

In which we show the proof that TQBF is PSPACE-complete, and prove the space hierarchy theorem.

🔔 Hit the bell next to Subscribe so you never miss a video!
❤️ Like, Comment and Subscribe if you are new on the channel!
🔥 Comment if you liked the video!

► Who are you?
I am a Computer Science professor who makes lecture videos on various subjects, mostly Computer Science, on Youtube. I received my Ph.D. at Arizona State University in 2019, and got my B.S. in 2015, also at ASU.

► What is your goal with your videos?
My goal is to teach as many people about Computer Science as I can, from those who are just starting out with their first programming venture, or are Ph.D. students about to graduate. I have currently several hundred lectures recorded, so you are very likely to find something that is interesting or relevant to you.

► Where can I learn more?
You can visit some of the many playlists on this channel by going to    / ryandoughertyviolin   and picking the course or material that you are interested in.

► Where can I contribute to ensure more videos like this?
You don't have to donate anything, as these videos will remain forever free! But contact me at my business email (ryan.e.dougherty@icloud.com) if you want to donate. I believe that information should remain as free as possible, and as available to everyone as possible.

► How come there are no advertisements on these videos?
Once I reach 1000 subscribers and 4000 hours of viewed videos in the last year, I can turn on advertisements (currently don't meet that requirement). If you subscribe and watch my videos, then I can meet these requirements faster!