Informatique théorique

Thema UYA

185 tuit · page 5/5

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 3: Social choice and influences

Ryan O'Donnell

7 juillet 2017 77 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierChoix SocialFonctions Booléennes

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 2: Probability densities and BLR linearity testing

Ryan O'Donnell

7 juillet 2017 72 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierFonctions BooléennesTest De Linéarité

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 10: LTFs and noise stability

Ryan O'Donnell

7 juillet 2017 78 min

★ ★ ★ ★ ★ 5/5

Fonctions BooléennesStabilité Au BruitFonctions De Seuil Linéaires

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 1: The Fourier expansion and basic formulas

Ryan O'Donnell

7 juillet 2017 71 min

★ ★ ★ ★ ★ 5/5

FourierFonctions BooléennesAnalyse Harmonique

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 23: The Polynomial Hierarchy

Anil Ada (conférencier invité), Ryan O'Donnell (chaîne)

3 juillet 2017 77 min

★ ★ ★ ★ ★ 5/5

ComplexitéHiérarchie PolynomialeNP

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 22: BPP

Venkatesan Guruswami

3 juillet 2017 79 min

★ ★ ★ ★ ☆ 4/5

ComplexitéBPPRandomisation

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 21: Randomized Complexity: RP, coRP, and ZPP

Ryan O'Donnell

3 juillet 2017 81 min

★ ★ ★ ★ ★ 5/5

Complexité AlgorithmiqueRandomisationRP

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 20: The Immerman--Szelepcsényi Theorem

Ryan O'Donnell

3 juillet 2017 81 min

★ ★ ★ ★ ★ 5/5

ComplexitéThéorème D'Immerman-SzelepcsényiNL=coNL

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 19: From P-Completeness to PSPACE-Completeness

Ryan O'Donnell

3 juillet 2017 79 min

★ ★ ★ ★ ★ 5/5

ComplexitéP-CompletPSPACE-Complet

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 18: NL-Completeness and Logspace Reductions

Ryan O'Donnell

3 juillet 2017 80 min

★ ★ ★ ★ ☆ 4/5

ComplexitéNL-CompletEspace Logarithmique

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 17: Savitch's Theorem and NL

Ryan O'Donnell

3 juillet 2017 81 min

★ ★ ★ ★ ★ 5/5

ComplexitéThéorème De SavitchNL

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 16: Space Complexity

Ryan O'Donnell

3 juillet 2017 81 min

★ ★ ★ ★ ★ 5/5

Complexité en EspaceMachine De TuringClasse L

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 15: coNP

Ryan O'Donnell

3 juillet 2017 81 min

★ ★ ★ ★ ★ 5/5

CoNPNPComplexité

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 9: Nondeterminism

Ryan O'Donnell

24 juin 2017 81 min

★ ★ ★ ★ ☆ 4/5

Non-DéterminismeComplexitéNP

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 8: NP

Ryan O'Donnell

24 juin 2017 81 min

★ ★ ★ ★ ★ 5/5

NPComplexité ComputationnelleThéorie De La Complexité

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 7: SAT

Ryan O'Donnell

24 juin 2017 80 min

★ ★ ★ ★ ☆ 4/5

SATComplexitéCircuits Booléens

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 6: Problems in P

Ryan O'Donnell

24 juin 2017 81 min

★ ★ ★ ★ ★ 5/5

Complexité AlgorithmiqueClasse PThéorie De La Calculabilité

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 5: Time Hierarchy Theorem

Ryan O'Donnell

24 juin 2017 80 min

★ ★ ★ ★ ★ 5/5

Théorème De Hiérarchie en TempsComplexité ComputationnelleMachine De Turing

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 4: Time Complexity and Universal Turing Machines

Ryan O'Donnell

24 juin 2017 77 min

★ ★ ★ ★ ★ 5/5

ComplexitéTempsMachine De Turing

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 14: Ladner's Theorem and Mahaney's Theorem

Ryan O'Donnell

24 juin 2017 82 min

★ ★ ★ ★ ★ 5/5

ComplexitéThéorème De LadnerThéorème De Mahaney

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 13: Search-to-Decision, Padding, Dichotomy Theorems

Ryan O'Donnell

24 juin 2017 79 min

★ ★ ★ ★ ★ 5/5

Complexité ComputationnelleRecherche-Vers-DécisionPadding

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 12: NP-Completeness Reductions

Ryan O'Donnell (conférencier invité : David Witmer)

24 juin 2017 80 min

★ ★ ★ ★ ☆ 4/5

NP-ComplétudeRéductionsComplexité

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 3: Simulations and Turing Machine Variants

Ryan O'Donnell

11 juin 2017 80 min

★ ★ ★ ★ ★ 5/5

ComplexitéMachines De TuringSimulation

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 2: Turing Machines

Ryan O'Donnell

11 juin 2017 79 min

★ ★ ★ ★ ★ 5/5

Machines De TuringComplexité ComputationnelleThèse De Church-Turing

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 1: Course Overview

Ryan O'Donnell

7 juin 2017 79 min

★ ★ ★ ★ ☆ 4/5

Complexité ComputationnelleP vs NPAlgorithmes