
Toda's 2nd Theorem and lower bounds for uniform ACC: Graduate Complexity Lecture 23 at CMU
Le deuxième théorème de Toda et les bornes inférieures pour ACC uniforme : Cours de complexité de troisième cycle 23 à CMU
Thema UYA

Le deuxième théorème de Toda et les bornes inférieures pour ACC uniforme : Cours de complexité de troisième cycle 23 à CMU
![Razborov--Smolensky lower bounds for AC0[p]: Graduate Complexity Lecture 22 at CMU](https://i.ytimg.com/vi/TI-xKI3Uy4E/maxresdefault.jpg)
Bornes inférieures de Razborov-Smolensky pour AC0[p] : Leçon 22 de complexité de troisième cycle à la CMU

Complexité ironique : Cours de complexité de niveau master, leçon 27 à CMU

Dureté vs. Aléatoire II : Conférence de complexité de troisième cycle 25 à CMU

Dureté vs. Aléatoire I: Conférence de complexité de deuxième cycle 24 à CMU

Amplification de la dureté : Cours de complexité de troisième cycle 26 à CMU

Bornes inférieures de circuits monotones : Cours de complexité de niveau graduate 21 à CMU

Le premier théorème de Toda et le permanent : Conférence de complexité de niveau graduate 14 à CMU

Permanent est #P-complet : Cours de complexité de troisième cycle 20 (hors ordre) à CMU

Le Lemme de Commutation : version PRST : Cours de Complexité de Troisième Cycle 19 à CMU

Algébrique "NP vs. P" vs. "NP booléen vs. P" : Cours de complexité de cycle supérieur 15 post-scriptum à CMU

Restrictions aléatoires et bornes inférieures de circuits AC0 : Cours de complexité de troisième cycle 18 à CMU

IP = PSPACE : Cours n° 17 sur la complexité pour les étudiants de troisième cycle à CMU

Vérification d'instance et le permanent : Conférence de complexité pour diplômés 16 à CMU

Complexité des circuits algébriques : Conférence de cycle supérieur 15 à CMU

Théorème de Valiant–Vazirani, et comptage exact (#P) : Cours de complexité de niveau graduate, leçon 13 à CMU

Comptage approximatif : Cours de complexité pour diplômés 12 à CMU

Plus sur les systèmes de preuve interactifs à tours constants : Cours 12 de complexité de deuxième cycle à CMU

Introduction aux classes Arthur-Merlin, MA et AM : Conférence 10 de complexité de niveau graduate à CMU

Compromis Temps/Espace pour SAT : Cours de complexité de niveau graduate 9 à CMU

La hiérarchie des temps polynomiaux : Cours 7 sur la complexité de niveau supérieur à CMU

Oracles, et la hiérarchie de temps polynomial vs. circuits : Cours de complexité de troisième cycle 8 à CMU

Théorème de Cook-Levin quasi-linéaire : Cours de complexité de cycle supérieur 6 à CMU

Classes de complexité probabilistes : Cours de complexité de cycle supérieur 5 à CMU

Théorème de Hopcroft-Paul-Valiant : Cours de complexité de troisième cycle 3 à CMU

Théorèmes de hiérarchie (Temps, Espace et Non déterministe) : Cours de complexité de niveau master 2 à l'Université Carnegie Mellon

Introduction et aperçu du cours : Cours magistral 1 sur la complexité au niveau supérieur à CMU

Circuits : Cours de complexité de niveau supérieur n° 4 à CMU

Tutoriel de Ryan O'Donnell sur la difficulté de l'approximation - Partie 3

Tutoriel de Ryan O'Donnell sur la difficulté de l'approximation - Partie 2

Tutoriel de Ryan O'Donnell sur la dureté de l'approximation - Partie 1

Cours de printemps 2013 Conférence 07 Complexité temporelle par défaut dade9f9e

Grandes idées en informatique théorique : L'héritage de Turing (Printemps 2015)

Grandes idées en informatique théorique : Algorithmes randomisés (printemps 2016)

Grandes idées en informatique théorique : marches aléatoires et chaînes de Markov (printemps 2016)

Grandes idées en informatique théorique : Probabilité 2 (Printemps 2015)

Grandes idées en informatique théorique : Probabilité 1 (Printemps 2013)

Grandes idées en informatique théorique : Polynômes (printemps 2015)

Grandes idées en informatique théorique : sur les preuves (Printemps 2016)

Grandes idées en informatique théorique : Logique (printemps 2013)