Menu
Sign In Search Podcasts Libraries Charts People & Topics Add Podcast API Blog Pricing

Avi Wigderson

๐Ÿ‘ค Speaker
109 total appearances

Appearances Over Time

Podcast Appearances

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

You mentioned NP-Hard, NP-Complete, NP-EP.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

I know there's other complexity classes.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

Maybe you could give some more context on kind of the whole space of complexity classes.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

You mentioned that these NP-complete problems, they kind of are all equivalent in some way.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

What's the proof to equate a SAT solving problem to like a graph coloring problem or something like that?

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

Are they all similar in nature or are they kind of bespoke to the problem you're going to and from?

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

You mentioned time complexity and space complexity, and I think intuitively, like in software engineering, we often trade those off for each other.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

Is there a general theory on that, on how these two trade off?

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

What's the trick?

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

If you could explain intuitively or is it too deep to explain?

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

So if you're counting arbitrarily large, that is information, and you're saying maybe the intuition is that information is encoded in the sequence of operations.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

We talked about the equivalence between these NP-complete problems.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

And then I know, in practice, a lot of people, to solve the other problems, they just use SAT solvers.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

I would have thought that would be less efficient, though, because you got to kind of translate it and then you're doing it in almost like a different problem space.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

We talked about all the different types of resources in an algorithm.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

And in one of your talks, you said something where you consider randomness another resource for an algorithm.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

What do you mean when you say randomness is a resource for an algorithm?

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

You mentioned a few times the quality of the randomness.

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

How do you quantify the quality of random bits?

The Peterman Pod
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

In one of your lectures, actually, you mentioned that and you gave a good example.