Ryan O'Donnell

@RyanODonnellTeaching

368 tuit · page 4/10

Sciences formelles & physiques Informatique & Cybersécurité

Moments, Concentration, and Initializing an Array || @ CMU || Recitation 4 of CS Theory Toolkit

Ryan O'Donnell

9 février 2022 71 min

★ ★ ★ ★ ☆ 4/5

Informatique ThéoriqueInégalités De ConcentrationInitialisation De Tableau

Sciences formelles & physiques Informatique & Cybersécurité

Layer cakes and slivers || @ CMU || Recitation 3 of CS Theory Toolkit

Ryan O'Donnell

2 février 2022 65 min

★ ★ ★ ★ ☆ 4/5

Formule De StirlingThéorème De Berry-EsseenLayer Cake

Sciences formelles & physiques Informatique & Cybersécurité

Inequalities, asymptotics, primes || @ CMU || Homework 1 / Recitation 2 of CS Theory Toolkit

Ryan O'Donnell

26 janvier 2022 60 min

★ ★ ★ ★ ☆ 4/5

InégalitésAsymptotiquesNombres Premiers

Sciences formelles & physiques Mathématiques

The Central Binomial Coefficient || @ CMU || Recitation 1 of CS Theory Toolkit

Ryan O'Donnell

19 janvier 2022 60 min

★ ★ ★ ★ ☆ 4/5

Coefficient BinomialAsymptotiqueThéorie Des Nombres

Sciences formelles & physiques Informatique & Cybersécurité

Panteleev--Kalachev Codes: Asymptotically good quantum LDPC codes and classical LTCs

Ryan O'Donnell

24 décembre 2021 67 min

★ ★ ★ ★ ★ 5/5

Codes LDPCCodes QuantiquesCodes Localement Testables

Sciences formelles & physiques Informatique & Cybersécurité

Quantum Computing with Just 1 Qubit | The Elitzur--Vaidman Bomb 'Algorithm'

Ryan O'Donnell

21 décembre 2021 67 min

★ ★ ★ ★ ☆ 4/5

Calcul QuantiqueQubitAlgorithme D'Elitzur-Vaidman

Sciences formelles & physiques Informatique & Cybersécurité

The Switching Lemma

Ryan O'Donnell

30 août 2021 30 min

★ ★ ★ ★ ★ 5/5

Switching LemmaHåstadAC0

Sciences formelles & physiques Informatique & Cybersécurité

Pauli error estimation via Population Recovery

Ryan O'Donnell

1 juillet 2021 29 min

★ ★ ★ ★ ☆ 4/5

Informatique QuantiqueCanal De PauliRécupération De Population

Sciences formelles & physiques Informatique & Cybersécurité

Improved Quantum Data Analysis (Shadow Tomography)

Ryan O'Donnell

6 février 2021 58 min

★ ★ ★ ★ ☆ 4/5

Shadow TomographyQuantum ComputingAdaptive Data Analysis

Sciences formelles & physiques Mathématiques

Fourier Analysis of Boolean Functions, in Harvard's CS 121 class. Learning, quantum, voting, & more!

Ryan O'Donnell

27 septembre 2020 72 min

★ ★ ★ ★ ☆ 4/5

Analyse De FourierFonctions BooléennesInformatique Théorique

Sciences formelles & physiques Informatique & Cybersécurité

Dinur's proof of the PCP Theorem: the Powering step || @ CMU || Lecture 27d of CS Theory Toolkit

Ryan O'Donnell

24 juillet 2020 18 min

★ ★ ★ ★ ★ 5/5

PCP TheoremDinurPowering

Sciences formelles & physiques Informatique & Cybersécurité

Dinur's PCP: degree-reduction, expanderizing, mini-PCP || @ CMU || Lecture 27c of CS Theory Toolkit

Ryan O'Donnell

23 juillet 2020 25 min

★ ★ ★ ★ ☆ 4/5

Théorème PCPExpandeursComplexité

Sciences formelles & physiques Informatique & Cybersécurité

Dinur's Proof of the PCP Theorem: outline || @ CMU || Lecture 27b of CS Theory Toolkit

Ryan O'Donnell

22 juillet 2020 29 min

★ ★ ★ ★ ☆ 4/5

Théorème PCPPreuve De DinurAmplification De Trou

Sciences formelles & physiques Informatique & Cybersécurité

Statement of the PCP Theorem || @ CMU || Lecture 27a of CS Theory Toolkit

Ryan O'Donnell

21 juillet 2020 14 min

★ ★ ★ ★ ☆ 4/5

Théorème PCPComplexité AlgorithmiquePreuves Vérifiables Probabilistiquement

Sciences formelles & physiques Informatique & Cybersécurité

NP-Hardness of Approximation || @ CMU || Lecture 26e of CS Theory Toolkit

Ryan O'Donnell

20 juillet 2020 16 min

★ ★ ★ ★ ★ 5/5

NP-DuretéApproximationLabel Cover

Sciences formelles & physiques Informatique & Cybersécurité

Exponential Time Hypotheses: ETH and SETH || @ CMU || Lecture 26d of CS Theory Toolkit

Ryan O'Donnell

17 juillet 2020 23 min

★ ★ ★ ★ ★ 5/5

ETHSETHComplexité

Sciences formelles & physiques Informatique & Cybersécurité

Hardness of Random 3XOR and 3Sat || @ CMU || Lecture 26c of CS Theory Toolkit

Ryan O'Donnell

16 juillet 2020 23 min

★ ★ ★ ★ ★ 5/5

ComplexitéNP-Dureté3SAT

Sciences formelles & physiques IA — Modèles & Recherche

Learning Parity with Noise|| @ CMU || Lecture 26b of CS Theory Toolkit

Ryan O'Donnell

15 juillet 2020 11 min

★ ★ ★ ★ ☆ 4/5

LPNCryptographieApprentissage Automatique

Sciences formelles & physiques Sciences — Généralités & Histoire

Learning With Errors (LWE) and Public Key Encryption || @ CMU || Lecture 25d of CS Theory Toolkit

Ryan O'Donnell

13 juillet 2020 25 min

★ ★ ★ ★ ★ 5/5

Learning With ErrorsCryptographieLattices

Sciences formelles & physiques Sciences — Généralités & Histoire

From One-Way Functions to Symmetric Key Encryption || @ CMU || Lecture 25c of CS Theory Toolkit

Ryan O'Donnell

10 juillet 2020 27 min

★ ★ ★ ★ ★ 5/5

CryptographieGénérateur Pseudo-AléatoireFonction À Sens Unique

Sciences formelles & physiques Informatique & Cybersécurité

Computational Indistinguishability || @ CMU || Lecture 25b of CS Theory Toolkit

Ryan O'Donnell

9 juillet 2020 13 min

★ ★ ★ ★ ☆ 4/5

CryptographieIndistingabilité ComputationnelleHybrid Argument

Sciences formelles & physiques Sciences — Généralités & Histoire

Intro to Cryptography || @ CMU || Lecture 25a of CS Theory Toolkit

Ryan O'Donnell

8 juillet 2020 16 min

★ ★ ★ ★ ☆ 4/5

CryptographieCryptographie SymétriqueOne-Time Pad

Sciences formelles & physiques Informatique & Cybersécurité

Information Complexity || @ CMU || Lecture 24c of CS Theory Toolkit

Ryan O'Donnell

7 juillet 2020 28 min

★ ★ ★ ★ ☆ 4/5

Complexité De CommunicationThéorie De L'informationInformatique Théorique

Sciences formelles & physiques Sciences — Généralités & Histoire

Mutual Information || @ CMU || Lecture 24b of CS Theory Toolkit

Ryan O'Donnell

6 juillet 2020 28 min

★ ★ ★ ★ ★ 5/5

Information MutuelleEntropieThéorie De L'information

Sciences formelles & physiques Sciences — Généralités & Histoire

Entropy || @ CMU || Lecture 24a of CS Theory Toolkit

Ryan O'Donnell

3 juillet 2020 24 min

★ ★ ★ ★ ☆ 4/5

EntropieThéorie De L'informationInformatique Théorique

Sciences formelles & physiques Informatique & Cybersécurité

Yao's Minimax Theorem & IP_2's Communication Complexity || @ CMU || Lecture 23d of CS Theory Toolkit

Ryan O'Donnell

2 juillet 2020 19 min

★ ★ ★ ★ ★ 5/5

Complexité De CommunicationThéorème Minimax De YaoAnalyse De Fourier

Sciences formelles & physiques Informatique & Cybersécurité

Randomized Communication Complexity || @ CMU || Lecture 23c of CS Theory Toolkit

Ryan O'Donnell

1 juillet 2020 13 min

★ ★ ★ ★ ☆ 4/5

Complexité De CommunicationRandomisationThéorie De L'information

Sciences formelles & physiques Informatique & Cybersécurité

Deterministic Communication Complexity || @ CMU || Lecture 23b of CS Theory Toolkit

Ryan O'Donnell

30 juin 2020 37 min

★ ★ ★ ★ ★ 5/5

Complexité De CommunicationInformatique ThéoriqueProtocoles

Sciences formelles & physiques Informatique & Cybersécurité

Basics of Communication Complexity || @ CMU || Lecture 23a of CS Theory Toolkit

Ryan O'Donnell

29 juin 2020 19 min

★ ★ ★ ★ ★ 5/5

Complexité De CommunicationInformatique ThéoriqueAlgorithmes

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Introduction (Spring 2016) reupload with improved audio

Ryan O'Donnell

28 juin 2020 72 min

★ ★ ★ ★ ☆ 4/5

Informatique ThéoriqueAlgorithmesComplexité

Sciences formelles & physiques Informatique & Cybersécurité

Algorithms for Bounded Treewidth || @ CMU || Lecture 22(c) of CS Theory Toolkit

Ryan O'Donnell

26 juin 2020 28 min

★ ★ ★ ★ ★ 5/5

TreewidthAlgorithmesThéorie Des Graphes

Sciences formelles & physiques Informatique & Cybersécurité

Treewidth Definitions || @ CMU || Lecture 22b of CS Theory Toolkit

Ryan O'Donnell

25 juin 2020 32 min

★ ★ ★ ★ ★ 5/5

TreewidthThéorie Des GraphesComplexité Algorithmique

Sciences formelles & physiques Mathématiques

Trees and Series-Parallel Graphs || @ CMU || Lecture 22a of CS Theory Toolkit

Ryan O'Donnell

24 juin 2020 21 min

★ ★ ★ ★ ★ 5/5

GraphesAlgorithmiqueComplexité

Sciences formelles & physiques Informatique & Cybersécurité

Pseudoexpectations || @ CMU || Lecture 21(d) of CS Theory Toolkit

Ryan O'Donnell

23 juin 2020 13 min

★ ★ ★ ★ ☆ 4/5

PseudoexpectationsSherali-AdamsSOS

Sciences formelles & physiques Informatique & Cybersécurité

The Sum-of-Squares (SOS) Proof System || @ CMU || Lecture 21(c) of CS Theory Toolkit

Ryan O'Donnell

22 juin 2020 22 min

★ ★ ★ ★ ★ 5/5

Sum-of-SquaresPreuvesOptimisation Combinatoire

Sciences formelles & physiques Mathématiques

Sherali--Adams Proof System || @ CMU || Lecture 21b of CS Theory Toolkit

Ryan O'Donnell

19 juin 2020 36 min

★ ★ ★ ★ ☆ 4/5

Sherali-AdamsSystème De PreuveComplexité

Sciences formelles & physiques Informatique & Cybersécurité

Proof Complexity for CSPs || @ CMU || Lecture 21a of CS Theory Toolkit

Ryan O'Donnell

18 juin 2020 12 min

★ ★ ★ ★ ☆ 4/5

Complexité Des PreuvesCSPProgrammation Linéaire

Sciences formelles & physiques Informatique & Cybersécurité

CSP Approximability: Optimization and Certification || @ CMU || Lecture 20c of CS Theory Toolkit

Ryan O'Donnell

17 juin 2020 33 min

★ ★ ★ ★ ★ 5/5

CSPApproximationComplexité

Sciences formelles & physiques Informatique & Cybersécurité

Constraint Satisfaction Problems || @ CMU || Lecture 20b of CS Theory Toolkit

Ryan O'Donnell

16 juin 2020 31 min

★ ★ ★ ★ ★ 5/5

CSPSatisfiabilitéDichotomie

Sciences formelles & physiques Informatique & Cybersécurité

Goemans--Williamson: Rounding the Max-Cut SDP || @ CMU || Lecture 20a of CS Theory Toolkit

Ryan O'Donnell

15 juin 2020 31 min

★ ★ ★ ★ ★ 5/5

Max-CutSDPGoemans-Williamson