TFNP Characterizations of Proof Systems and Monotone Circuits

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=84CDHMHyZDY


Duration: 20:13
592 views
0

Authors: Noah Fleming (Memorial University); Sam Buss, Russell Impagliazzo (University of California, San Diego)
ITCS - Innovations in Theoretical Computer Science



Other Videos By Simons Institute for the Theory of Computing


2023-01-18The Power of Distinguishing Simple From Random (Part I)
2023-01-18Intro to Meta-Complexity: Part 2
2023-01-17Intro to Meta-Complexity: Part 1
2023-01-15Constant-depth sorting networks
2023-01-12Black-box Constructive Proofs are Unavoidable
2023-01-11On Oracles and Algorithmic Methods for Proving Lower Bounds
2023-01-09On disperser/lifting properties of the Index and Inner-Product functions
2023-01-09Bit Complexity of Jordan Normal Form and Spectral Factorization
2023-01-08Certification with an NP Oracle
2023-01-08Matrix multiplication via matrix groups
2023-01-06TFNP Characterizations of Proof Systems and Monotone Circuits
2023-01-06Resilience of 3-Majority Dynamics to Non-Uniform Schedulers
2023-01-05Exponential separations using guarded extension variables
2023-01-05Beyond Worst-Case Budget-Feasible Mechanism Design
2023-01-05HappyMap: A Generalized Multicalibration Method
2023-01-05Worst-Case to Expander-Case Reductions
2023-01-04Proofs of Quantumness from Trapdoor Permutations
2023-01-04On computing homological hitting sets
2023-01-04A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear Systems
2023-01-04Generalized Private Selection and Testing with High Confidence
2023-01-04All-Norm Load Balancing in Graph Streams via the Multiplicative Weights Update Method


Tags:
Simons Institute
theoretical computer science
UC Berkeley
Computer Science
Theory of Computation
Theory of Computing
ITCS - Innovations in Theoretical Computer Science