Computational complexity theory

Mahaney's theorem

Mahaney's theorem is a theorem in computational complexity theory proven by Stephen Mahaney that states that if any sparse language is NP-complete, then P = NP. Also, if any sparse language is NP-complete with respect to Turing reductions, then the polynomial-time hierarchy collapses to . Mahaney's argument does not actually require the sparse language to be in NP, so there is a sparse NP-hard set if and only if P = NP. This is because the existence of an NP-hard sparse set implies the existence of an NP-complete sparse set. (Wikipedia).

Video thumbnail

The Campbell-Baker-Hausdorff and Dynkin formula and its finite nature

In this video explain, implement and numerically validate all the nice formulas popping up from math behind the theorem of Campbell, Baker, Hausdorff and Dynkin, usually a.k.a. Baker-Campbell-Hausdorff formula. Here's the TeX and python code: https://gist.github.com/Nikolaj-K/8e9a345e4c932

From playlist Algebra

Video thumbnail

Mohan Ramachandran

https://www.math.ias.edu/files/media/agenda.pdf More videos on http://video.ias.edu

From playlist Mathematics

Video thumbnail

The Fundamental Theorem of Calculus | Algebraic Calculus One | Wild Egg

In this video we lay out the Fundamental Theorem of Calculus --from the point of view of the Algebraic Calculus. This key result, presented here for the very first time (!), shows how to generalize the Fundamental Formula of the Calculus which we presented a few videos ago, incorporating t

From playlist Algebraic Calculus One

Video thumbnail

Sean Parker, "A Conversation with Sean Parker" - Web 2.0 Summit 2011

Sean Parker (Founders Fund) talks to John Battelle (Federated Media Publishing) during the 2011 Web 2.0 Summit. Parker is the co-founder of Supyo, and previously founded or co-founded Napster, Plaxo, Facebook, and the "Causes" application on Facebook. Don't miss an upload! Subscribe! http

From playlist Web 2.0 Summit 2011

Video thumbnail

A Beautiful Proof of Ptolemy's Theorem.

Ptolemy's Theorem seems more esoteric than the Pythagorean Theorem, but it's just as cool. In fact, the Pythagorean Theorem follows directly from it. Ptolemy used this theorem in his astronomical work. Google for the historical details. Thanks to this video for the idea of this visual

From playlist Mathy Videos

Video thumbnail

Existence & Uniqueness Theorem, Ex1.5

Existence & Uniqueness Theorem for differential equations. Subscribe for more math for fun videos 👉 https://bit.ly/3o2fMNo For more calculus & differential equation tutorials, check out @justcalculus 👉 https://www.youtube.com/justcalculus To learn how to solve different types of d

From playlist Differential Equations: Existence & Uniqueness Theorem (Nagle Sect1.2)

Video thumbnail

A Conversation with Eric Schmidt - Web 2.0 Summit 2010

- Don't miss an upload! Subscribe! http://goo.gl/szEauh - A conversation with Eric Schmidt (Google), John Battelle (Federated Media Publishing) and Tim O'Reilly (O'Reilly Media, Inc.) during Web 2.0 Summit 2010. Stay Connected to O'Reilly Media - Visit http://oreillymedia.com Sign up to

From playlist Web 2.0 Summit 2010

Video thumbnail

Calculus - The Fundamental Theorem, Part 1

The Fundamental Theorem of Calculus. First video in a short series on the topic. The theorem is stated and two simple examples are worked.

From playlist Calculus - The Fundamental Theorem of Calculus

Video thumbnail

Verifying a solution to the differential equation y''+y=tan(x)

Verifying a solution to the differential equation y''+y=tan(x) Subscribe for more math for fun videos 👉 https://bit.ly/3o2fMNo For more calculus & differential equation tutorials, check out @justcalculus 👉 https://www.youtube.com/justcalculus To learn how to solve different types of

From playlist Differential Equations: Existence & Uniqueness Theorem (Nagle Sect1.2)

Video thumbnail

Central Limit Theorem: Verification using Poisson Distribution with Lambda = 1

This script is to verify the Central Limit Theorem in probability theory or statistics. The Central Limit Theorem states that, regardless of the distribution of the population, the sampling distribution of the sample means, assuming all samples are identical in size, will approach a norma

From playlist Probability Theory/Statistics

Video thumbnail

Jackson Institute Conversations on Leadership Series

A discussion on leadership with GEN (Ret.) Stan McChrystal and Greg Mortenson, bestselling author of Three Cups of Tea, co-founder of nonprofit Central Asia Institute, and founder of Pennies For Peace. Part of the Jackson Institute Conversations on Leadership Series. For more details visi

From playlist YBMC Video Projects

Video thumbnail

Converse Pythagorean Theorem & Pythagorean Triples

I explain the Converse Pythagorean Theorem and what Pythagorean Triples are. Find free review test, useful notes and more at http://www.mathplane.com If you'd like to make a donation to support my efforts look for the "Tip the Teacher" button on my channel's homepage www.YouTube.com/Profro

From playlist Geometry

Video thumbnail

Calculus 1 (Stewart) Ep 22, Mean Value Theorem (Oct 28, 2021)

This is a recording of a live class for Math 1171, Calculus 1, an undergraduate course for math majors (and others) at Fairfield University, Fall 2021. The textbook is Stewart. PDF of the written notes, and a list of all episodes is at the class website. Class website: http://cstaecker.f

From playlist Math 1171 (Calculus 1) Fall 2021

Video thumbnail

Equidistribution of Unipotent Random Walks on Homogeneous spaces by Emmanuel Breuillard

PROGRAM : ERGODIC THEORY AND DYNAMICAL SYSTEMS (HYBRID) ORGANIZERS : C. S. Aravinda (TIFR-CAM, Bengaluru), Anish Ghosh (TIFR, Mumbai) and Riddhi Shah (JNU, New Delhi) DATE : 05 December 2022 to 16 December 2022 VENUE : Ramanujan Lecture Hall and Online The programme will have an emphasis

From playlist Ergodic Theory and Dynamical Systems 2022

Video thumbnail

What is Green's theorem? Chris Tisdell UNSW

This lecture discusses Green's theorem in the plane. Green's theorem not only gives a relationship between double integrals and line integrals, but it also gives a relationship between "curl" and "circulation". In addition, Gauss' divergence theorem in the plane is also discussed, whic

From playlist Vector Calculus @ UNSW Sydney. Dr Chris Tisdell

Video thumbnail

Real Analysis Ep 32: The Mean Value Theorem

Episode 32 of my videos for my undergraduate Real Analysis course at Fairfield University. This is a recording of a live class. This episode is more about the mean value theorem and related ideas. Class webpage: http://cstaecker.fairfield.edu/~cstaecker/courses/2020f3371/ Chris Staecker

From playlist Math 3371 (Real analysis) Fall 2020

Video thumbnail

Pythagorean theorem - What is it?

► My Geometry course: https://www.kristakingmath.com/geometry-course Pythagorean theorem is super important in math. You will probably learn about it for the first time in Algebra, but you will literally use it in Algebra, Geometry, Trigonometry, Precalculus, Calculus, and beyond! That’s

From playlist Geometry

Video thumbnail

Wolfram Physics Project: Working Session Sept. 15, 2020 [Physicalization of Metamathematics]

This is a Wolfram Physics Project working session on metamathematics and its physicalization in the Wolfram Model. Begins at 10:15 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the

From playlist Wolfram Physics Project Livestream Archive

Video thumbnail

Ptolemy's theorem and generalizations | Rational Geometry Math Foundations 131 | NJ Wildberger

The other famous classical theorem about cyclic quadrilaterals is due to the great Greek astronomer and mathematician, Claudius Ptolemy. Adopting a rational point of view, we need to rethink this theorem to state it in a purely algebraic way, without resort to `distances' and the correspon

From playlist Math Foundations

Video thumbnail

Johnathan Bush (7/8/2020): Borsuk–Ulam theorems for maps into higher-dimensional codomains

Title: Borsuk–Ulam theorems for maps into higher-dimensional codomains Abstract: I will describe Borsuk-Ulam theorems for maps of spheres into higher-dimensional codomains. Given a continuous map from a sphere to Euclidean space, we say the map is odd if it respects the standard antipodal

From playlist AATRN 2020

Related pages

Sparse language | Polynomial hierarchy | Turing reduction | Computational complexity theory