Local Proofs Approaching the Witness Length

Local Proofs Approaching the Witness Length

IEEE FOCS: Foundations of Computer Science via YouTube Direct link

Tensor Codes

11 of 15

11 of 15

Tensor Codes

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Local Proofs Approaching the Witness Length

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Probabilistically Checkable Proofs (PCPs)
  2. 2 PCP: Definition
  3. 3 PCP Theorem [...,ALMSS92,...]
  4. 4 Short PCPs: State of the Art
  5. 5 Interactive Oracle Proofs BCS16, RRR16
  6. 6 Interactive Oracle Proofs - Motivation
  7. 7 Main Result 1
  8. 8 PCP Length - Revisited
  9. 9 Warmup: 3SAT
  10. 10 Multiplication Codes
  11. 11 Tensor Codes
  12. 12 High Rate Tensor Code
  13. 13 Achieving 0(1) Query Complexity
  14. 14 Summary
  15. 15 Open Problems

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.