Random Reversible Circuits || For Tim Gowers's 60th Birthday Workshop
Random Reversible Circuits || Pour l'atelier du 60e anniversaire de Tim Gowers
★
★
★
★
☆
4/5
Informatique théorique
Thema UYA
A problem re the k-Consistency Algorithm for CSPs || @ CMU || Recitation 11 of CS Theory Toolkit
Un problème concernant l'algorithme de k-Consistance pour les CSPs || @ CMU || Récitation 11 de CS Theory Toolkit
★
★
★
★
☆
4/5
Moments, Concentration, and Initializing an Array || @ CMU || Recitation 4 of CS Theory Toolkit
Moments, Concentration, et Initialisation d'un Tableau || @ CMU || Récitation 4 de la Boîte à Outils de Théorie CS
★
★
★
★
☆
4/5
Panteleev--Kalachev Codes: Asymptotically good quantum LDPC codes and classical LTCs
Codes Panteleev--Kalachev : Codes LDPC quantiques asymptotiquement bons et LTC classiques
★
★
★
★
★
5/5
IQIS Lecture 6.2 — Abstract computation and reversible computation
Cours IQIS 6.2 — Calcul abstrait et calcul réversible
★
★
★
★
☆
4/5
AQIS '20: Zhengfeng Ji, Spooky complexity at a distance
AQIS '20: Zhengfeng Ji, Complexité effrayante à distance
★
★
★
★
★
5/5
AQIS '20: François Le Gall, Average-Case Quantum Advantage with Shallow Circuits
AQIS '20: François Le Gall, Avantage quantique dans le cas moyen avec des circuits peu profonds
★
★
★
★
☆
4/5
Noisy Variational Quantum Algorithm Simulation lecture by Yipeng Huang
Simulation d'algorithme quantique variationnel bruyant conférence par Yipeng Huang
★
★
★
★
☆
4/5
Dinur's proof of the PCP Theorem: the Powering step || @ CMU || Lecture 27d of CS Theory Toolkit
La preuve de Dinur du théorème PCP : l'étape de puissance || @ CMU || Cours 27d de CS Theory Toolkit
★
★
★
★
★
5/5
Dinur's PCP: degree-reduction, expanderizing, mini-PCP || @ CMU || Lecture 27c of CS Theory Toolkit
PCP de Dinur : réduction de degré, expansion, mini-PCP || @ CMU || Cours 27c du CS Theory Toolkit
★
★
★
★
☆
4/5
Dinur's Proof of the PCP Theorem: outline || @ CMU || Lecture 27b of CS Theory Toolkit
Preuve de Dinur du théorème PCP : plan || @ CMU || Leçon 27b de CS Theory Toolkit
★
★
★
★
☆
4/5
Statement of the PCP Theorem || @ CMU || Lecture 27a of CS Theory Toolkit
Énoncé du théorème PCP || @ CMU || Cours 27a du kit d'outils de théorie CS
★
★
★
★
☆
4/5
NP-Hardness of Approximation || @ CMU || Lecture 26e of CS Theory Toolkit
NP-difficulté de l'approximation || @ CMU || Cours 26e du kit d'outils de théorie informatique
★
★
★
★
★
5/5
Exponential Time Hypotheses: ETH and SETH || @ CMU || Lecture 26d of CS Theory Toolkit
Hypothèses de temps exponentiel : ETH et SETH || @ CMU || Conférence 26d de CS Theory Toolkit
★
★
★
★
★
5/5
Hardness of Random 3XOR and 3Sat || @ CMU || Lecture 26c of CS Theory Toolkit
Dureté des 3XOR et 3Sat aléatoires || @ CMU || Conférence 26c de la boîte à outils de théorie CS
★
★
★
★
★
5/5
Computational Indistinguishability || @ CMU || Lecture 25b of CS Theory Toolkit
Indiscernabilité Computationnelle || @ CMU || Conférence 25b de CS Theory Toolkit
★
★
★
★
☆
4/5
Yao's Minimax Theorem & IP_2's Communication Complexity || @ CMU || Lecture 23d of 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
★
★
★
★
★
5/5
Randomized Communication Complexity || @ CMU || Lecture 23c of CS Theory Toolkit
Complexité de communication aléatoire || @ CMU || Leçon 23c de la boîte à outils de théorie CS
★
★
★
★
☆
4/5
Deterministic Communication Complexity || @ CMU || Lecture 23b of CS Theory Toolkit
Complexité de Communication Déterministe || @ CMU || Cours 23b de CS Theory Toolkit
★
★
★
★
★
5/5
Basics of Communication Complexity || @ CMU || Lecture 23a of CS Theory Toolkit
Bases de la complexité de la communication || @ CMU || Conférence 23a du CS Theory Toolkit
★
★
★
★
★
5/5
Great Ideas in Theoretical Computer Science: Introduction (Spring 2016) reupload with improved audio
Grandes idées en informatique théorique : Introduction (printemps 2016) réuploadé avec un son amélioré
★
★
★
★
☆
4/5
Treewidth Definitions || @ CMU || Lecture 22b of CS Theory Toolkit
Définitions de Treewidth || @ CMU || Lecture 22b de CS Theory Toolkit
★
★
★
★
★
5/5
Pseudoexpectations || @ CMU || Lecture 21(d) of CS Theory Toolkit
Pseudo-espérances || @ CMU || Cours 21(d) du module d'outils théoriques en informatique
★
★
★
★
☆
4/5
The Sum-of-Squares (SOS) Proof System || @ CMU || Lecture 21(c) of CS Theory Toolkit
Le système de preuve de Somme de Carrés (SOS) || @ CMU || Conférence 21(c) de CS Theory Toolkit
★
★
★
★
★
5/5
Proof Complexity for CSPs || @ CMU || Lecture 21a of CS Theory Toolkit
Complexité des preuves pour les CSP || @ CMU || Cours 21a de CS Theory Toolkit
★
★
★
★
☆
4/5
CSP Approximability: Optimization and Certification || @ CMU || Lecture 20c of CS Theory Toolkit
Approximabilité de CSP : Optimisation et Certification || @ CMU || Cours 20c de la boîte à outils de théorie CS
★
★
★
★
★
5/5
Constraint Satisfaction Problems || @ CMU || Lecture 20b of CS Theory Toolkit
Problèmes de satisfaction de contraintes || @ CMU || Conférence 20b de CS Theory Toolkit
★
★
★
★
★
5/5
Goemans--Williamson: Rounding the Max-Cut SDP || @ CMU || Lecture 20a of CS Theory Toolkit
Goemans--Williamson: Arrondi du SDP de Max-Cut || @ CMU || Leçon 20a du CS Theory Toolkit
★
★
★
★
★
5/5
The SDP Relaxation for Max-Cut || @ CMU || Lecture 19b of CS Theory Toolkit
La relaxation SDP pour Max-Cut || @ CMU || Conférence 19b de CS Theory Toolkit
★
★
★
★
★
5/5
Min-st-Cut is the dual LP of Max-st-Flow || @ CMU || Lecture 18d of CS Theory Toolkit
Min-st-Cut est le programme linéaire dual de Max-st-Flow || @ CMU || Cours 18d du CS Theory Toolkit
★
★
★
★
★
5/5
Rounding LP Solutions: Min-Vertex-Cover || @ CMU || Lecture 18c of CS Theory Toolkit
Arrondir les solutions LP : Min-Vertex-Cover || @ CMU || Cours 18c de CS Theory Toolkit
★
★
★
★
★
5/5
Relaxing ILPs to LPs: Bipartite Max-Perfect-Matching || @ CMU || Lecture 18b of CS Theory Toolkit
Relaxation des ILP en LP : Bipartite Max-Perfect-Matching || @ CMU || Leçon 18b du CS Theory Toolkit
★
★
★
★
★
5/5
Expander Graph Application 2: Derandomization || @ CMU || Lecture 16c of CS Theory Toolkit
Application Expander Graph 2 : Dérandomisation || @ CMU || Cours 16c du module CS Theory Toolkit
★
★
★
★
☆
4/5
Cheeger's Inequality || @ CMU || Lecture 15d of CS Theory Toolkit
Inégalité de Cheeger || @ CMU || Cours 15d du module d'outils de théorie informatique
★
★
★
★
★
5/5
Epsilon-biased Generators || @ CMU || Lecture 12d of CS Theory Toolkit
Générateurs à polarisation epsilon || @ CMU || Cours 12d du module d'outils de théorie informatique
★
★
★
★
☆
4/5
Impagliazzo--Wigderson, and Nisan's PRGs || @ CMU || Lecture 12b of CS Theory Toolkit
Impagliazzo--Wigderson, et les PRG de Nisan || @ CMU || Conférence 12b du kit d'outils de théorie CS
★
★
★
★
☆
4/5