
Computational Indistinguishability || @ CMU || Lecture 25b of CS Theory Toolkit
Indiscernabilité Computationnelle || @ CMU || Conférence 25b de CS Theory Toolkit
Thema UYA

Indiscernabilité Computationnelle || @ CMU || Conférence 25b de CS Theory Toolkit


Le théorème Minimax de Yao et la complexité de communication d'IP_2 || @ CMU || Leçon 23d du CS Theory Toolkit

Complexité de communication aléatoire || @ CMU || Leçon 23c de la boîte à outils de théorie CS

Complexité de Communication Déterministe || @ CMU || Cours 23b de CS Theory Toolkit

Bases de la complexité de la communication || @ CMU || Conférence 23a du CS Theory Toolkit

Grandes idées en informatique théorique : Introduction (printemps 2016) réuploadé avec un son amélioré

Définitions de Treewidth || @ CMU || Lecture 22b de CS Theory Toolkit

Pseudo-espérances || @ CMU || Cours 21(d) du module d'outils théoriques en informatique

Le système de preuve de Somme de Carrés (SOS) || @ CMU || Conférence 21(c) de CS Theory Toolkit

Complexité des preuves pour les CSP || @ CMU || Cours 21a de CS Theory Toolkit

Approximabilité de CSP : Optimisation et Certification || @ CMU || Cours 20c de la boîte à outils de théorie CS

Problèmes de satisfaction de contraintes || @ CMU || Conférence 20b de CS Theory Toolkit

Goemans--Williamson: Arrondi du SDP de Max-Cut || @ CMU || Leçon 20a du CS Theory Toolkit

La relaxation SDP pour Max-Cut || @ CMU || Conférence 19b de CS Theory Toolkit

Min-st-Cut est le programme linéaire dual de Max-st-Flow || @ CMU || Cours 18d du CS Theory Toolkit

Arrondir les solutions LP : Min-Vertex-Cover || @ CMU || Cours 18c de CS Theory Toolkit

Relaxation des ILP en LP : Bipartite Max-Perfect-Matching || @ CMU || Leçon 18b du CS Theory Toolkit

Application Expander Graph 2 : Dérandomisation || @ CMU || Cours 16c du module CS Theory Toolkit

Inégalité de Cheeger || @ CMU || Cours 15d du module d'outils de théorie informatique

Générateurs à polarisation epsilon || @ CMU || Cours 12d du module d'outils de théorie informatique

Impagliazzo--Wigderson, et les PRG de Nisan || @ CMU || Conférence 12b du kit d'outils de théorie CS

Générateurs pseudo-aléatoires || @ CMU || Cours 12a du module d'outils théoriques en informatique

Colloque CQC2T/Séminaire QSI : Prof. Zhengfeng Ji, QSI, Complexité effrayante à distance, 26/03/2020

Polynômes multivariés et le lemme de Schwartz--Zippel || @ CMU || Leçon 10e du CS Theory Toolkit

Complexité de communication de l'égalité || @ CMU || Cours 10d du CS Theory Toolkit

Analyse des fonctions booléennes : Applications || @ CMU || Leçon 8c de la boîte à outils de théorie CS

Formules de Fourier booléennes || @ CMU || Conférence 8b du CS Theory Toolkit

Analyse de Fourier des fonctions booléennes || @ CMU || Cours 8a de la boîte à outils de théorie CS

Complexité de l'arithmétique de base || @ CMU || Cours 7a du CS Theory Toolkit

Le modèle RAM de mot || @ CMU || Leçon 6c de CS Theory Toolkit

Modèles de calcul : Circuits || @ CMU || Cours 6b de la boîte à outils de théorie informatique

Modèles computationnels : Machines de Turing || @ CMU || Leçon 6a de CS Theory Toolkit

Comment faire de la théorie de l'informatique || @ CMU || Conférence 1b de la boîte à outils de théorie de l'informatique

CS Theory Toolkit: Plan du cours || @ CMU || Cours 1a

La méthode de l'adversaire : Leçon 20 de Calcul quantique à CMU

Complexité des requêtes quantiques : Cours 19 d'informatique quantique à CMU

Le problème du sous-groupe caché : Cours 17 de calcul quantique à CMU

Algorithme de Simon : Conférence 13 de Calcul Quantique à CMU

Révéler les motifs XOR I : Leçon 11 de Calcul Quantique à CMU