Quasilinear Cook--Levin Theorem: Graduate Complexity Lecture 6 at CMU
Théorème de Cook-Levin quasi-linéaire : Cours de complexité de cycle supérieur 6 à CMU
★
★
★
★
★
5/5
Informatique théorique
Thema UYA
Probabilistic Complexity Classes: Graduate Complexity Lecture 5 at CMU
Classes de complexité probabilistes : Cours de complexité de cycle supérieur 5 à CMU
★
★
★
★
★
5/5
Hopcroft--Paul--Valiant Theorem: Graduate Complexity Lecture 3 at CMU
Théorème de Hopcroft-Paul-Valiant : Cours de complexité de troisième cycle 3 à CMU
★
★
★
★
★
5/5
Hierarchy Theorems (Time, Space, and Nondeterministic): Graduate Complexity Lecture 2 at CMU
Théorèmes de hiérarchie (Temps, Espace et Non déterministe) : Cours de complexité de niveau master 2 à l'Université Carnegie Mellon
★
★
★
★
★
5/5
Course Introduction and Overview: Graduate Complexity Lecture 1 at CMU
Introduction et aperçu du cours : Cours magistral 1 sur la complexité au niveau supérieur à CMU
★
★
★
★
★
5/5
Circuits: Graduate Complexity Lecture 4 at CMU
Circuits : Cours de complexité de niveau supérieur n° 4 à CMU
★
★
★
★
★
5/5
Ryan O'Donnell tutorial on Hardess of Approximation - Part 3
Tutoriel de Ryan O'Donnell sur la difficulté de l'approximation - Partie 3
★
★
★
★
☆
4/5
Ryan O'Donnell tutorial on Hardess of Approximation - Part 2
Tutoriel de Ryan O'Donnell sur la difficulté de l'approximation - Partie 2
★
★
★
★
☆
4/5
Ryan O'Donnell tutorial on Hardess of Approximation - Part 1
Tutoriel de Ryan O'Donnell sur la dureté de l'approximation - Partie 1
★
★
★
★
☆
4/5
Spring 2013 Lecture 07 Time Complexity default dade9f9e
Cours de printemps 2013 Conférence 07 Complexité temporelle par défaut dade9f9e
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: Turing's Legacy (Spring 2015)
Grandes idées en informatique théorique : L'héritage de Turing (Printemps 2015)
★
★
★
★
★
5/5
Great Ideas in Theoretical Computer Science: Randomized Algorithms (Spring 2016)
Grandes idées en informatique théorique : Algorithmes randomisés (printemps 2016)
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: Random Walks and Markov Chains (Spring 2016)
Grandes idées en informatique théorique : marches aléatoires et chaînes de Markov (printemps 2016)
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: Probability 2 (Spring 2015)
Grandes idées en informatique théorique : Probabilité 2 (Printemps 2015)
★
★
★
★
★
5/5
Great Ideas in Theoretical Computer Science: Probability 1 (Spring 2013)
Grandes idées en informatique théorique : Probabilité 1 (Printemps 2013)
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: Polynomials (Spring 2015)
Grandes idées en informatique théorique : Polynômes (printemps 2015)
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: On Proofs (Spring 2016)
Grandes idées en informatique théorique : sur les preuves (Printemps 2016)
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: Logic (Spring 2013)
Grandes idées en informatique théorique : Logique (printemps 2013)
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: Linear Algebra (Spring 2016)
Grandes idées en informatique théorique : Algèbre linéaire (Printemps 2016)
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: Graphs: The Basics (Spring 2015)
Grandes idées en informatique théorique : Graphes : Les bases (Printemps 2015)
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: Finite Automata (Spring 2015)
Grandes Idées en Informatique Théorique : Automates Finis (Printemps 2015)
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: Epilogue: Why Max-Cut is My Favorite (Spring 2015)
Grandes idées en informatique théorique : Épilogue : Pourquoi Max-Cut est mon préféré (Printemps 2015)
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: Deductive Systems (Spring 2015)
Grandes idées en informatique théorique : Systèmes déductifs (Printemps 2015)
★
★
★
★
☆
4/5
Great Ideas in Theoretical Computer Science: Countability and Diagonalization (Spring 2013)
Grandes idées en informatique théorique : dénombrabilité et diagonalisation (Printemps 2013)
★
★
★
★
★
5/5
Great Ideas in Theoretical Computer Science: Computability (Spring 2013)
Grandes idées en informatique théorique : Calculabilité (printemps 2013)
★
★
★
★
★
5/5
Analysis of Boolean Functions at CMU - Lecture 23: Open problems
Analyse des fonctions booléennes à CMU - Cours 23 : Problèmes ouverts
★
★
★
★
★
5/5
Analysis of Boolean Functions at CMU - Lecture 19: Invariance theorems
Analyse des fonctions booléennes à CMU - Leçon 19 : Théorèmes d'invariance
★
★
★
★
★
5/5
Analysis of Boolean Functions at CMU - Lecture 17: UG-hardness results from dictator tests
Analyse des fonctions booléennes à CMU - Cours 17 : Résultats de dureté UG issus de tests de dictateur
★
★
★
★
☆
4/5
Analysis of Boolean Functions at CMU - Lecture 16: Håstad's hardness theorems
Analysis of Boolean Functions at CMU - Lecture 16: Théorèmes de dureté de Håstad
★
★
★
★
★
5/5
Analysis of Boolean Functions at CMU - Lecture 15: Constraint satisfacation problems
Analyse de fonctions booléennes à CMU - Cours 15 : Problèmes de satisfaction de contraintes
★
★
★
★
★
5/5
Analysis of Boolean Functions at CMU - Lecture 14: Probabilistically checkable proofs of proximity
Analyse des fonctions booléennes à l'Université Carnegie Mellon - Leçon 14 : Preuves vérifiables de manière probabiliste de proximité
★
★
★
★
★
5/5
Analysis of Boolean Functions at CMU - Lecture 13: Dictator Testing and the FKN Theorem
Analyse des fonctions booléennes à CMU - Leçon 13 : Test du dictateur et théorème FKN
★
★
★
★
★
5/5
Analysis of Boolean Functions at CMU - Lecture 11: Level-1 inequality and the 2/pi Theorem
Analyse des fonctions booléennes à CMU - Cours 11 : Inégalité de niveau 1 et théorème des 2/pi
★
★
★
★
★
5/5
Undergrad Complexity at CMU - Lecture 28: Why is P vs. NP Difficult?
Complexité de premier cycle à la CMU - Leçon 28 : Pourquoi P vs. NP est-il difficile ?
★
★
★
★
★
5/5
Undergrad Complexity at CMU - Lecture 27: Hardness within P
Undergrad Complexity at CMU - Lecture 27: Difficulté dans P
★
★
★
★
☆
4/5
Undergrad Complexity at CMU - Lecture 26: Beyond Worst-Case Analysis
Complexité de Premier Cycle à CMU - Cours 26 : Au-delà de l'Analyse du Pire Cas
★
★
★
★
☆
4/5
Undergrad Complexity at CMU - Lecture 25: Interactive Proofs: IP=PSPACE
Complexité de premier cycle à CMU - Leçon 25 : Preuves interactives : IP=PSPACE
★
★
★
★
★
5/5
Undergrad Complexity at CMU - Lecture 24: Oracle Turing Machines and P^NP
Complexité en licence à CMU - Cours 24 : Machines de Turing à oracle et P^NP
★
★
★
★
★
5/5
Analysis of Boolean Functions at CMU - Lecture 9: Majority, LTFs, and the CLT
Analyse des fonctions booléennes à la CMU - Leçon 9 : Majorité, fonctions linéaires à seuil et le TCL
★
★
★
★
★
5/5
Analysis of Boolean Functions at CMU - Lecture 8: Linial--Mansour--Nisan Theorems
Analyse des fonctions booléennes à CMU - Leçon 8 : Théorèmes de Linial--Mansour--Nisan
★
★
★
★
★
5/5