filmov
tv
The PCP theorem - Irit Dinur
Показать описание
Hermann Weyl Lectures
Topic: The PCP theorem
Speaker: Irit Dinur
Affiliation: Weizmann Institute of Science; Visiting Professor, School of Mathematics
Date: November 18, 2019
Topic: The PCP theorem
Speaker: Irit Dinur
Affiliation: Weizmann Institute of Science; Visiting Professor, School of Mathematics
Date: November 18, 2019
0:59:05
The PCP theorem - Irit Dinur
1:14:51
The PCP theorem, locally testable codes, and property testing - Irit Dinur
0:18:49
Dinur's proof of the PCP Theorem: the Powering step || @ CMU || Lecture 27d of CS Theory Toolki...
0:29:02
Dinur's Proof of the PCP Theorem: outline || @ CMU || Lecture 27b of CS Theory Toolkit
0:14:05
Statement of the PCP Theorem || @ CMU || Lecture 27a of CS Theory Toolkit
0:25:47
Dinur's PCP: degree-reduction, expanderizing, mini-PCP || @ CMU || Lecture 27c of CS Theory Too...
0:58:15
Irit Dinur: High dimensional expansion and PCPs
1:12:06
Crash Course on Probabilistically Checkable Proofs (PCP): Parallel Repetition
0:53:51
Subhash Khot: Hardness of Approximation: From the PCP Theorem to the 2-to-2 Games Theorem
1:03:35
Lecture B.9: PCP composition and the PCP theorem
1:05:10
METRIC 2011 - Probabilistically Checkable Proofs - Lecture 1 - Irit Dinur
1:00:48
Crash Course on Probabilistically Checkable Proofs (PCP): Introduction
1:01:32
METRIC 2011 - Probabilistically Checkable Proofs - Lecture 2 - Irit Dinur
1:08:10
'P, NP, and Probabilistically Checkable Proofs' by Irit Dinur - MATH+ Friday Colloquium
0:50:04
High Dimensional Expanders and PCPs
1:05:56
Hardness of Approximation: From the PCP Theorem to the 2-to-2 Games Theorem
1:18:27
Crash Course on Probabilistically Checkable Proofs (PCP)...
1:50:52
High dimensional expansion and agreement testing - Irit Dinur
0:00:39
What does probabilistically checkable proof mean?
0:49:04
Boaz Barak: Dreams of a PCP theorem
0:48:19
Irit Dinur: On the Structure of NP-Hard 3-SAT Instances
1:17:07
Crash Course on Probabilistically Checkable Proofs (PCP): Optimal Inapproximability Results
0:23:32
Revisiting Alphabet Reduction in Dinur’s PCP
1:34:33
Irit Dinur 'Locally testable codes with constant rate, distance, and locality' | Big Semin...
Комментарии