Sciences formelles & physiques Informatique & CybersécuritéFRAnalysis of Boolean functions: Applications || @ CMU || Lecture 8c of CS Theory ToolkitRyan O'Donnell12 mars 2020 13 min★ ★ ★ ★ ☆ 4/5Fonctions BooléennesAnalyse De FourierChoix Social
Sciences formelles & physiques Informatique & CybersécuritéFRBoolean Fourier formulas || @ CMU || Lecture 8b of CS Theory ToolkitRyan O'Donnell11 mars 2020 34 min★ ★ ★ ★ ★ 5/5FourierFonctions BooléennesTransformée De Walsh-Hadamard
Sciences formelles & physiques Informatique & CybersécuritéFRFourier Analysis of Boolean functions || @ CMU || Lecture 8a of CS Theory ToolkitRyan O'Donnell10 mars 2020 32 min★ ★ ★ ★ ★ 5/5Analyse De FourierFonctions BooléennesInformatique Théorique
Sciences formelles & physiques Informatique & CybersécuritéFRComplexity of Basic Arithmetic || @ CMU || Lecture 7a of CS Theory ToolkitRyan O'Donnell5 mars 2020 26 min★ ★ ★ ★ ★ 5/5Complexité AlgorithmiqueMultiplication D'entiersTransformée De Fourier Rapide
Sciences formelles & physiques Informatique & CybersécuritéFRThe Word RAM Model || @ CMU || Lecture 6c of CS Theory ToolkitRyan O'Donnell4 mars 2020 25 min★ ★ ★ ★ ★ 5/5Word RAMModèle De CalculTri
Sciences formelles & physiques Informatique & CybersécuritéFRComputational Models: Circuits || @ CMU || Lecture 6b of CS Theory ToolkitRyan O'Donnell3 mars 2020 29 min★ ★ ★ ★ ★ 5/5Circuits BooléensComplexitéInformatique Théorique
Sciences formelles & physiques Informatique & CybersécuritéFRComputational Models: Turing Machines || @ CMU || Lecture 6a of CS Theory ToolkitRyan O'Donnell2 mars 2020 25 min★ ★ ★ ★ ★ 5/5Machines De TuringModèles De CalculComplexité
Sciences formelles & physiques Informatique & CybersécuritéFRHow to do CS Theory || @ CMU || Lecture 1b of CS Theory ToolkitRyan O'Donnell22 janvier 2020 35 min★ ★ ★ ★ ☆ 4/5RechercheInformatique ThéoriqueMéthodologie
Sciences formelles & physiques Informatique & CybersécuritéFRCS Theory Toolkit: Course Outline || @ CMU || Lecture 1aRyan O'Donnell22 janvier 2020 10 min★ ★ ★ ★ ☆ 4/5Théorie De La ComplexitéAlgorithmesCours Magistral
Sciences formelles & physiques Informatique & CybersécuritéFRThe Adversary Method: Lecture 20 of Quantum Computation at CMURyan O'Donnell26 novembre 2018 60 min★ ★ ★ ★ ★ 5/5Calcul QuantiqueComplexité De RequêtesMéthode De L'adversaire
Sciences formelles & physiques Informatique & CybersécuritéFRQuantum Query Complexity: Lecture 19 of Quantum Computation at CMURyan O'Donnell19 novembre 2018 81 min★ ★ ★ ★ ★ 5/5Complexité De RequêteInformatique QuantiqueModèle Oracle
Sciences formelles & physiques Informatique & CybersécuritéFRThe Hidden Subgroup Problem: Lecture 17 of Quantum Computation at CMURyan O'Donnell3 novembre 2018 83 min★ ★ ★ ★ ★ 5/5Informatique QuantiqueProblème Du Sous-Groupe CachéAlgorithme De Shor
Sciences formelles & physiques Informatique & CybersécuritéFRSimon's Algorithm: Lecture 13 of Quantum Computation at CMURyan O'Donnell23 octobre 2018 81 min★ ★ ★ ★ ★ 5/5Algorithme De SimonCalcul QuantiqueTransformée De Fourier
Sciences formelles & physiques Informatique & CybersécuritéFRRevealing XOR-patterns I: Lecture 11 of Quantum Computation at CMURyan O'Donnell14 octobre 2018 83 min★ ★ ★ ★ ★ 5/5Quantum ComputingXORFourier Transform
Sciences formelles & physiques Informatique & CybersécuritéFRToda's 2nd Theorem and lower bounds for uniform ACC: Graduate Complexity Lecture 23 at CMURyan O'Donnell15 décembre 2017 76 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleThéorème De TodaACC
Sciences formelles & physiques Informatique & CybersécuritéFRRazborov--Smolensky lower bounds for AC0[p]: Graduate Complexity Lecture 22 at CMURyan O'Donnell15 décembre 2017 72 min★ ★ ★ ★ ★ 5/5ComplexitéCircuitsAC0
Sciences formelles & physiques Informatique & CybersécuritéFRIronic complexity: Graduate Complexity Lecture 27 at CMURyan O'Donnell15 décembre 2017 79 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleBornes InférieuresCircuits
Sciences formelles & physiques Informatique & CybersécuritéFRHardness vs. Randomness II: Graduate Complexity Lecture 25 at CMURyan O'Donnell15 décembre 2017 77 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleDureté vs AléaGénérateurs Pseudo-Aléatoires
Sciences formelles & physiques Informatique & CybersécuritéFRHardness vs. Randomness I: Graduate Complexity Lecture 24 at CMURyan O'Donnell15 décembre 2017 82 min★ ★ ★ ★ ★ 5/5ComplexitéDérandomisationGénérateurs Pseudo-Aléatoires
Sciences formelles & physiques Informatique & CybersécuritéFRHardness amplification: Graduate Complexity Lecture 26 at CMURyan O'Donnell15 décembre 2017 79 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleAmplification De DuretéYao's XOR Lemma
Sciences formelles & physiques Informatique & CybersécuritéFRMonotone circuit lower bounds: Graduate Complexity Lecture 21 at CMURyan O'Donnell19 novembre 2017 83 min★ ★ ★ ★ ★ 5/5ComplexitéCircuits MonotonesBornes Inférieures
Sciences formelles & physiques Informatique & CybersécuritéFRToda's 1st Theorem and the Permanent: Graduate Complexity Lecture 14 at CMURyan O'Donnell12 novembre 2017 78 min★ ★ ★ ★ ☆ 4/5Complexité ComputationnelleThéorème De TodaPermanent
Sciences formelles & physiques Informatique & CybersécuritéFRPermanent is #P-complete: Graduate Complexity Lecture 20 (out of order) at CMURyan O'Donnell12 novembre 2017 73 min★ ★ ★ ★ ★ 5/5ComplexitéPermanent#P-Complet
Sciences formelles & physiques Informatique & CybersécuritéFRThe Switching Lemma: PRST version: Graduate Complexity Lecture 19 at CMURyan O'Donnell8 novembre 2017 55 min★ ★ ★ ★ ★ 5/5Switching LemmaComplexitéCircuits
Sciences formelles & physiques Informatique & CybersécuritéFRAlgebraic "NP vs. P" vs. "Boolean NP vs. P": Graduate Complexity Lecture 15 postscript at CMURyan O'Donnell7 novembre 2017 14 min★ ★ ★ ★ ☆ 4/5Complexité AlgébriqueNP vs PP/Poly
Sciences formelles & physiques Informatique & CybersécuritéFRRandom Restrictions and AC0 Circuit Lower Bounds: Graduate Complexity Lecture 18 at CMURyan O'Donnell5 novembre 2017 79 min★ ★ ★ ★ ★ 5/5AC0Bornes InférieuresRestrictions Aléatoires
Sciences formelles & physiques Informatique & CybersécuritéFRIP = PSPACE: Graduate Complexity Lecture 17 at CMURyan O'Donnell5 novembre 2017 78 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleIPPSPACE
Sciences formelles & physiques Informatique & CybersécuritéFRInstance Checking and the Permanent: Graduate Complexity Lecture 16 at CMURyan O'Donnell5 novembre 2017 80 min★ ★ ★ ★ ★ 5/5Complexité ComputationnellePermanentInstance Checking
Sciences formelles & physiques Informatique & CybersécuritéFRAlgebraic Circuit Complexity: Graduate Complexity Lecture 15 at CMURyan O'Donnell5 novembre 2017 80 min★ ★ ★ ★ ☆ 4/5Complexité AlgébriqueCircuits ArithmétiquesPermanent
Sciences formelles & physiques Informatique & CybersécuritéFRValiant--Vazirani Theorem, and Exact Counting (#P): Graduate Complexity Lecture 13 at CMURyan O'Donnell21 octobre 2017 76 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleThéorème De Valiant-VaziraniClasse #P
Sciences formelles & physiques Informatique & CybersécuritéFRApproximate counting: Graduate Complexity Lecture 12 at CMURyan O'Donnell21 octobre 2017 79 min★ ★ ★ ★ ☆ 4/5ComplexitéComptage ApproximatifAM
Sciences formelles & physiques Informatique & CybersécuritéFRMore on constant-round interactive proof systems: Graduate Complexity Lecture 12 at CMURyan O'Donnell19 octobre 2017 81 min★ ★ ★ ★ ☆ 4/5Complexité ComputationnellePreuves InteractivesClasses MA/AM
Sciences formelles & physiques Informatique & CybersécuritéFRIntroduction to Arthur-Merlin classes, MA and AM: Graduate Complexity Lecture 10 at CMURyan O'Donnell19 octobre 2017 82 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleClasses Arthur-MerlinMA
Sciences formelles & physiques Informatique & CybersécuritéFRTime/Space Tradeoffs for SAT: Graduate Complexity Lecture 9 at CMURyan O'Donnell3 octobre 2017 91 min★ ★ ★ ★ ☆ 4/5Complexité ComputationnelleSATCompromis Temps-Espace
Sciences formelles & physiques Informatique & CybersécuritéFRThe Polynomial Time Hierarchy: Graduate Complexity Lecture 7 at CMURyan O'Donnell29 septembre 2017 79 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleHiérarchie PolynomialeNP
Sciences formelles & physiques Informatique & CybersécuritéFROracles, and the Polynomial Time Hierarchy vs. circuits: Graduate Complexity Lecture 8 at CMURyan O'Donnell29 septembre 2017 82 min★ ★ ★ ★ ★ 5/5ComplexitéOracleHiérarchie Polynomiale
Sciences formelles & physiques Informatique & CybersécuritéFRQuasilinear Cook--Levin Theorem: Graduate Complexity Lecture 6 at CMURyan O'Donnell22 septembre 2017 77 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleThéorème De Cook-LevinTemps Quasi-Linéaire
Sciences formelles & physiques Informatique & CybersécuritéFRProbabilistic Complexity Classes: Graduate Complexity Lecture 5 at CMURyan O'Donnell19 septembre 2017 80 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleClasses ProbabilistesBPP
Sciences formelles & physiques Informatique & CybersécuritéFRHopcroft--Paul--Valiant Theorem: Graduate Complexity Lecture 3 at CMURyan O'Donnell18 septembre 2017 80 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleThéorème De Hopcroft-Paul-ValiantClasses De Complexité
Sciences formelles & physiques Informatique & CybersécuritéFRHierarchy Theorems (Time, Space, and Nondeterministic): Graduate Complexity Lecture 2 at CMURyan O'Donnell18 septembre 2017 81 min★ ★ ★ ★ ★ 5/5Théorème De HiérarchieComplexité ComputationnelleDiagonalisation
![Razborov--Smolensky lower bounds for AC0[p]: Graduate Complexity Lecture 22 at CMU](https://i.ytimg.com/vi/TI-xKI3Uy4E/maxresdefault.jpg)
