2012-2013 Seminars

Sep
25
2012

Computer Science/Discrete Mathematics Seminar II

Koiran + Geometric Topology implies "Knottedness is in NP"
Greg Kuperberg
10:30am|S-101

In this seminar I will discuss the details of the result that knottedness is in NP assuming the generalized Riemann hypothesis. The main part of the work is to properly understand Koiran's construction that solvability of a system of algebraic...

Sep
24
2012

Computer Science/Discrete Mathematics Seminar I

The Computational Complexity of Geometric Topology Problems
Greg Kuperberg
11:15am|S-101

This talk will be a partial survey of the first questions in the complexity theory of geometric topology problems. What is the complexity, or what are known complexity bounds, for distinguishing n-manifolds for various n? For distinguishing knots...