Главная
Study mode:
on
1
Introduction
2
Cycle covers
3
Reducing cycle covers
4
Reducing weights
5
Reducing exponentially large weights
6
The nand graph
7
Sharp 3sat
8
Main reduction
9
Clause gadget
10
Consistency
11
Subdividing
12
Bonus twist
13
Identifying pairs of edges
14
Hole reduction
15
Weak identification
16
Analysis
Description:
Explore the complexity of the permanent problem in this graduate-level lecture on Computational Complexity Theory. Delve into the proof that the permanent is #P-complete, covering topics such as cycle covers, weight reductions, the NAND graph, and Sharp 3SAT. Learn about clause gadgets, consistency checks, and hole reductions as part of the main reduction strategy. Analyze the intricacies of weak identification and edge pair identification in this advanced exploration of computational complexity concepts.

Permanent is #P-Complete: Graduate Complexity Lecture at CMU

Ryan O'Donnell
Add to list
0:00 / 0:00