Sciences formelles & physiques MathématiquesFRSolving the Max-Cut SDP || @ CMU || Lecture 19c of CS Theory ToolkitRyan O'Donnell12 juin 2020 15 min★ ★ ★ ★ ☆ 4/5SDPMax-CutEllipsoïde
Sciences formelles & physiques Informatique & CybersécuritéFRThe SDP Relaxation for Max-Cut || @ CMU || Lecture 19b of CS Theory ToolkitRyan O'Donnell11 juin 2020 33 min★ ★ ★ ★ ★ 5/5Max-CutSDPOptimisation
Sciences formelles & physiques MathématiquesFRThe Ellipsoid Algorithm || @ CMU || Lecture 19a of CS Theory ToolkitRyan O'Donnell10 juin 2020 30 min★ ★ ★ ★ ★ 5/5Algorithme De L'ellipsoïdeProgrammation LinéaireOptimisation Convexe
Sciences formelles & physiques Informatique & CybersécuritéFRMin-st-Cut is the dual LP of Max-st-Flow || @ CMU || Lecture 18d of CS Theory ToolkitRyan O'Donnell9 juin 2020 19 min★ ★ ★ ★ ★ 5/5Dualité en Programmation LinéaireFlot MaximalCoupe Minimale
Sciences formelles & physiques Informatique & CybersécuritéFRRounding LP Solutions: Min-Vertex-Cover || @ CMU || Lecture 18c of CS Theory ToolkitRyan O'Donnell8 juin 2020 17 min★ ★ ★ ★ ★ 5/5Programmation LinéaireVertex CoverApproximation
Sciences formelles & physiques Informatique & CybersécuritéFRRelaxing ILPs to LPs: Bipartite Max-Perfect-Matching || @ CMU || Lecture 18b of CS Theory ToolkitRyan O'Donnell5 juin 2020 28 min★ ★ ★ ★ ★ 5/5Programmation LinéaireCouplage ParfaitGraphe Biparti
Sciences formelles & physiques MathématiquesFRMax-st-Flow is an LP || @ CMU || Lecture 18a of CS Theory ToolkitRyan O'Donnell4 juin 2020 14 min★ ★ ★ ★ ☆ 4/5Programmation LinéaireFlot MaximumOptimisation Combinatoire
Sciences formelles & physiques MathématiquesFRLinear Programming: Optimization Reduces to Feasibility || @ CMU || Lecture 17d of CS Theory ToolkitRyan O'Donnell3 juin 2020 22 min★ ★ ★ ★ ☆ 4/5Programmation LinéaireRéduction PolynomialeOracle De Faisabilité
Sciences formelles & physiques MathématiquesFRLinear Programming: Bit Complexity || @ CMU || Lecture 17c of CS Theory ToolkitRyan O'Donnell2 juin 2020 24 min★ ★ ★ ★ ★ 5/5Programmation LinéaireComplexité en BitsNP
Sciences formelles & physiques MathématiquesFRLinear Programming Duality || @ CMU || Lecture 17b of CS Theory ToolkitRyan O'Donnell1 juin 2020 22 min★ ★ ★ ★ ★ 5/5Programmation LinéaireDualitéLemme De Farkas
Sciences formelles & physiques MathématiquesFRLinear Programming: Definitions || @ CMU || Lecture 17a of CS Theory ToolkitRyan O'Donnell29 mai 2020 10 min★ ★ ★ ★ ☆ 4/5Programmation LinéaireInformatique ThéoriqueOptimisation
Sciences formelles & physiques MathématiquesFRExpander Graphs Overview || @ CMU || Lecture 16a of CS Theory ToolkitRyan O'Donnell4 mai 2020 28 min★ ★ ★ ★ ★ 5/5Graphes ExpanseursInformatique ThéoriqueComplexité
Sciences formelles & physiques MathématiquesFRExpander Graphs Application 1: Good Codes || @ CMU || Lecture 16b of CS Theory ToolkitRyan O'Donnell4 mai 2020 26 min★ ★ ★ ★ ☆ 4/5Graphes ExpanseursCodes CorrecteursInformatique Théorique
Sciences formelles & physiques MathématiquesFRExpander Graph Constructions || @ CMU || Lecture 16d of CS Theory ToolkitRyan O'Donnell4 mai 2020 48 min★ ★ ★ ★ ☆ 4/5Graphes ExpanseursThéorie Spectrale Des GraphesConstructions Explicites
Sciences formelles & physiques Informatique & CybersécuritéFRExpander Graph Application 2: Derandomization || @ CMU || Lecture 16c of CS Theory ToolkitRyan O'Donnell4 mai 2020 22 min★ ★ ★ ★ ☆ 4/5Graphes ExpanseursDérandomisationComplexité
Sciences formelles & physiques Informatique & CybersécuritéFRCheeger's Inequality || @ CMU || Lecture 15d of CS Theory ToolkitRyan O'Donnell3 mai 2020 61 min★ ★ ★ ★ ★ 5/5Inégalité De CheegerThéorie Spectrale Des GraphesConductance
Sciences formelles & physiques MathématiquesFRSpectral Graph Theory: mixing time || @ CMU || Lecture 15c of CS Theory ToolkitRyan O'Donnell2 mai 2020 39 min★ ★ ★ ★ ☆ 4/5Théorie SpectraleMarche AléatoireTemps De Mélange
Sciences formelles & physiques MathématiquesFRSpectral Graph Theory: conductance and Sparsest-Cut || @ CMU || Lecture 15b of CS Theory ToolkitRyan O'Donnell1 mai 2020 18 min★ ★ ★ ★ ☆ 4/5Théorie Spectrale Des GraphesConductanceSparsest-Cut
Sciences formelles & physiques MathématiquesFRSpectral Graph Theory: eigenvalues || @ CMU || Lecture 15a of CS Theory ToolkitRyan O'Donnell30 avril 2020 22 min★ ★ ★ ★ ★ 5/5Théorie SpectraleGraphesValeurs Propres
Sciences formelles & physiques MathématiquesFRSpectral Graph Theory: the Laplacian, and the Spectral Theorem || @ CMU || 14b of CS Theory ToolkitRyan O'Donnell29 avril 2020 37 min★ ★ ★ ★ ★ 5/5Théorie Spectrale Des GraphesLaplacienThéorème Spectral
Sciences formelles & physiques MathématiquesFRSpectral Graph Theory: the Markov transition operator || @ CMU || Lecture 14a of CS Theory ToolkitRyan O'Donnell28 avril 2020 41 min★ ★ ★ ★ ☆ 4/5Théorie Spectrale Des GraphesOpérateur De MarkovMarche Aléatoire
Sciences formelles & physiques MathématiquesFRSpectral Graph Theory: Minimizing/Maximizing the Quadratic Form || @ CMU || 13d of CS Theory ToolkitRyan O'Donnell27 avril 2020 33 min★ ★ ★ ★ ★ 5/5Théorie Spectrale Des GraphesForme QuadratiqueInformatique Théorique
Sciences formelles & physiques MathématiquesFRSpectral Graph Theory: Enter Linear Algebra || @ CMU || Lecture 13c of CS Theory ToolkitRyan O'Donnell26 avril 2020 20 min★ ★ ★ ★ ☆ 4/5Théorie Spectrale Des GraphesAlgèbre LinéaireMarche Aléatoire
Sciences formelles & physiques MathématiquesFRSpectral Graph Theory: The Standard Random Walk || @ CMU || Lecture 13b of CS Theory ToolkitRyan O'Donnell25 avril 2020 24 min★ ★ ★ ★ ★ 5/5Théorie Spectrale Des GraphesMarche AléatoireDistribution Invariante
Sciences formelles & physiques MathématiquesFRSpectral Graph Theory: The Quadratic Form || @ CMU || Lecture 13a of CS Theory ToolkitRyan O'Donnell24 avril 2020 22 min★ ★ ★ ★ ★ 5/5Théorie Spectrale Des GraphesForme QuadratiqueLaplacien
Sciences formelles & physiques Informatique & CybersécuritéFREpsilon-biased Generators || @ CMU || Lecture 12d of CS Theory ToolkitRyan O'Donnell23 avril 2020 23 min★ ★ ★ ★ ☆ 4/5Epsilon-Biased GeneratorsPseudorandomnessCodes Correcteurs
Sciences formelles & physiques Informatique & CybersécuritéFRk-wise Independent Generators || @ CMU || Lecture 12c of CS Theory ToolkitRyan O'Donnell22 avril 2020 26 min★ ★ ★ ★ ☆ 4/5Générateurs Pseudo-AléatoiresIndépendance K-WiseCodes Correcteurs
Sciences formelles & physiques Informatique & CybersécuritéFRImpagliazzo--Wigderson, and Nisan's PRGs || @ CMU || Lecture 12b of CS Theory ToolkitRyan O'Donnell21 avril 2020 12 min★ ★ ★ ★ ☆ 4/5ComplexitéPseudo-AléatoireDérandomisation
Sciences formelles & physiques Informatique & CybersécuritéFRPseudorandom Generators || @ CMU || Lecture 12a of CS Theory ToolkitRyan O'Donnell20 avril 2020 20 min★ ★ ★ ★ ☆ 4/5PseudorandomnessDérandomisationBPP
Sciences formelles & physiques Sciences — Généralités & HistoireFRAsymptotically "Good" Codes || @ CMU || Lecture 11e of CS Theory ToolkitRyan O'Donnell9 avril 2020 10 min★ ★ ★ ★ ☆ 4/5Codes CorrecteursThéorie De L'informationComplexité
Sciences formelles & physiques Sciences — Généralités & HistoireFRReed--Solomon Codes || @ CMU || Lecture 11d of CS Theory ToolkitRyan O'Donnell8 avril 2020 12 min★ ★ ★ ★ ★ 5/5Codes CorrecteursReed-SolomonInformatique Théorique
Sciences formelles & physiques Sciences — Généralités & HistoireFRHamming Code and Hadamard Code || @ CMU || Lecture 11c of CS Theory ToolkitRyan O'Donnell7 avril 2020 21 min★ ★ ★ ★ ★ 5/5Code CorrecteurCode De HammingCode De Hadamard
Sciences formelles & physiques Sciences — Généralités & HistoireFRLinear Error Correcting Codes || @ CMU || Lecture 11b of CS Theory ToolkitRyan O'Donnell6 avril 2020 20 min★ ★ ★ ★ ☆ 4/5Codes CorrecteursAlgèbre LinéaireInformatique Théorique
Sciences formelles & physiques Sciences — Généralités & HistoireFRError Correcting Codes || @ CMU || Lecture 11a of CS Theory ToolkitRyan O'Donnell31 mars 2020 16 min★ ★ ★ ★ ☆ 4/5Codes Correcteurs D'erreursDistance De HammingThéorie De L'information
Sciences formelles & physiques Informatique & CybersécuritéFRMultivariate Polynomials and the Schwartz--Zippel Lemma || @ CMU || Lecture 10e of CS Theory ToolkitRyan O'Donnell28 mars 2020 18 min★ ★ ★ ★ ★ 5/5Polynômes MultivariésLemme De Schwartz-ZippelComplexité Algorithmique
Sciences formelles & physiques Informatique & CybersécuritéFRCommunication Complexity of Equality || @ CMU || Lecture 10d of CS Theory ToolkitRyan O'Donnell27 mars 2020 15 min★ ★ ★ ★ ★ 5/5Complexité De CommunicationPolynômesCorps Finis
Sciences formelles & physiques MathématiquesFRNon-Prime Fields || @ CMU || Lecture 10c of CS Theory ToolkitRyan O'Donnell25 mars 2020 20 min★ ★ ★ ★ ★ 5/5Corps FinisPolynômes IrréductiblesThéorie Des Codes
Sciences formelles & physiques MathématiquesFRPrimes and Prime Fields || @ CMU || Lecture 10b of CS Theory ToolkitRyan O'Donnell24 mars 2020 16 min★ ★ ★ ★ ☆ 4/5Nombres PremiersCorps FinisAlgorithme D'Euclide
Sciences formelles & physiques MathématiquesFRExpander Graphs (full lecture) || @ CMU || Lecture 16 of CS Theory ToolkitRyan O'Donnell19 mars 2020 125 min★ ★ ★ ★ ★ 5/5Graphes ExpanseursInformatique ThéoriqueCodes Correcteurs
Sciences formelles & physiques Informatique & CybersécuritéFRGrover's Algorithm || @ CMU || Lecture 9c of CS Theory ToolkitRyan O'Donnell15 mars 2020 23 min★ ★ ★ ★ ☆ 4/5Algorithme De GroverInformatique QuantiqueComplexité
