YoVDO

Composition Theorems via Lifting

Offered By: IEEE via YouTube

Tags

IEEE FOCS: Foundations of Computer Science Courses Mathematical logic Courses Theoretical Computer Science Courses Boolean Circuits Courses

Course Description

Overview

Explore the Karchmer-Razborov-Wigderson (KRW) composition theorems in this 22-minute IEEE conference talk. Delve into Boolean circuits, the KRW approach, and the KRW conjecture. Learn about the Karchmer-Wigderson Theorem and the current state of the art in the field. Examine the monotone KRW conjecture and the presenters' monotone result. Investigate semi-monotone composition and the speakers' findings in this area. Gain insights from experts Susanna F. de Rezende, Or Meir, Jakob Nordstrvm, Toniann Pitassi, and Robert Robere as they discuss their research and contributions to the field of computational complexity theory.

Syllabus

Intro
Boolean circuits
The KRW approach
The KRW conjecture
Our results (very informal)
Karchmer-Wigderson Theorem
State of the art
Monotone KRW conjecture
Our monotone result
Semi-monotone composition
Our semi-monotone result


Taught by

IEEE FOCS: Foundations of Computer Science

Tags

Related Courses

An Improved Exponential-Time Approximation Algorithm for Fully-Alternating Games Against Nature
IEEE via YouTube
Computation in the Brain Tutorial - Part 2
IEEE via YouTube
Computation in the Brain - Part 1
IEEE via YouTube
Spectral Independence in High-Dimensional Expanders and Applications to the Hardcore Model
IEEE via YouTube
Cookbook Lower Bounds for Statistical Inference in Distributed and Constrained Settings - Part 1
IEEE via YouTube