Here are some of the more commonly known problems that are PSPACE-complete when expressed as decision problems. This list is in no way comprehensive. (Wikipedia).
Turing Machines and The Halting Problem (Part 2)
The Halting Problem has fascinated thousands of computer scientists from around the world. A major part of Computing Logic, the proof of the halting problem proves that computers can't do everything. Check out the video to learn more about why computers work the way they do! For Turing Ma
From playlist Math
NP-Completeness - Intro to Algorithms
This video is part of an online course, Intro to Algorithms. Check out the course here: https://www.udacity.com/course/cs215.
From playlist Introduction to Algorithms
GeoGebra Link: https://www.geogebra.org/m/ketkkfuj
From playlist Geometry: Challenge Problems
Complexity Theory, Quantified Boolean Formula
Theory of Computation 15. Complexity Theory, Quantified Boolean Formula ADUni
From playlist [Shai Simonson]Theory of Computation
The Longest Math Video on Youtube
The Longest Math Video on Youtube This video contains 204 math problems in the following topics. Advanced Calculus Abstract Algebra Linear Algebra Calculus 1, 2, 3 Differential Equations Complex Analysis College Algebra Triogonometry Precalculus Please leave any comments or questions in
From playlist Cool Math Stuff
Circuit Lower Bounds for Nondeterministic Quasi-Polytime... - Cody Murray
Computer Science/Discrete Mathematics Seminar I Topic: Circuit Lower Bounds for Nondeterministic Quasi-Polytime: An Easy Witness Lemma for NP and NQP Speaker: Cody Murray Affiliation: Massachusetts Institute of Technology Date: March 26, 2018 For more videos, please visit http://video.ia
From playlist Mathematics
Halting Problem & Quantum Entanglement 2020 Breakthrough result [MIP*=RE]
This video explains the MIP*=RE result. We skip the proof details, just explain what the result means. Please leave comments in the comment section if something is unclear. The links mentioned in the video: 1) Proof that the halting problem can't be solved: https://youtu.be/92WHN-pAFCs
From playlist Animated Physics Simulations
Theory of Computation 14. Decidability ADUni
From playlist [Shai Simonson]Theory of Computation
Greedy Algs. II & Intro to NP Completeness - Lecture 15
All rights reserved for http://www.aduni.org/ Published under the Creative Commons Attribution-ShareAlike license http://creativecommons.org/licenses/by-sa/2.0/ Tutorials by Instructor: Shai Simonson. http://www.stonehill.edu/compsci/shai.htm Visit the forum at: http://www.coderisland.c
From playlist ArsDigita Algorithms by Shai Simonson
Structure vs Randomness in Complexity Theory - Rahul Santhanam
Computer Science/Discrete Mathematics Seminar I Topic: Structure vs Randomness in Complexity Theory Speaker: Rahul Santhanam Affiliation: University of Oxford Date: April 20, 2020 For more video please visit http://video.ias.edu
From playlist Mathematics
GeoGebra Link: https://www.geogebra.org/m/yvqwqk6h
From playlist Geometry: Challenge Problems
MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: https://ocw.mit.edu/18-404JF20 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY Quickly reviewed last lecture. Proved Savitch’s Theorem: NSPACE(f(n))
From playlist MIT 18.404J Theory of Computation, Fall 2020
17. Space Complexity, PSPACE, Savitch's Theorem
MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: https://ocw.mit.edu/18-404JF20 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY Quickly reviewed last lecture. Introduced space complexity. Defined S
From playlist MIT 18.404J Theory of Computation, Fall 2020
CERIAS Security: Attribute-Based Access Control 3/6
Clip 3/6 Speaker: William Winsborough · George Mason University Basing authorization on attributes of the resource requester provides flexibility and scalability that is essential in the context of large distributed systems. Logic programming provides an convenient, expressive, and we
From playlist The CERIAS Security Seminars 2004
Transcendental Functions 25 Example Problems 3 Part 1.mp4
Example problems.
From playlist Transcendental Functions
A PSPACE construction of a hitting set for the closure of small algebraic circuits - Amir Shpilka
Computer Science/Discrete Mathematics Seminar II Topic: A PSPACE construction of a hitting set for the closure of small algebraic circuits Speaker: Amir Shpilka Affiliation: Tel Aviv University Date: December 12, 2017 For more videos, please visit http://video.ias.edu
From playlist Mathematics
GeoGebra Link: https://www.geogebra.org/m/f5zgupmz
From playlist Geometry: Challenge Problems